The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Radu Mateescu: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Jan Friso Groote, Radu Mateescu
    Verification of Temporal Properties of Processes in a Setting with Data. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:74-90 [Conf]
  2. Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
    CADP - A Protocol Validation and Verification Toolbox. [Citation Graph (0, 0)][DBLP]
    CAV, 1996, pp:437-440 [Conf]
  3. Gordon J. Pace, Frédéric Lang, Radu Mateescu
    Calculating-Confluence Compositionally. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:446-459 [Conf]
  4. Hubert Garavel, Frédéric Lang, Radu Mateescu
    Compiler Construction Using LOTOS NT. [Citation Graph (0, 0)][DBLP]
    CC, 2002, pp:9-13 [Conf]
  5. Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma
    Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. [Citation Graph (0, 0)][DBLP]
    DAIS, 2001, pp:229-244 [Conf]
  6. Radu Mateescu
    Model Checking for Software Architectures. [Citation Graph (0, 0)][DBLP]
    EWSA, 2004, pp:219-224 [Conf]
  7. Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider
    Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. [Citation Graph (0, 0)][DBLP]
    IJCAI, 2005, pp:370-375 [Conf]
  8. Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider
    Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in Escherichia coli. [Citation Graph (0, 0)][DBLP]
    ISMB (Supplement of Bioinformatics), 2005, pp:19-28 [Conf]
  9. Christophe Joubert, Radu Mateescu
    Distributed Local Resolution of Boolean Equation Systems. [Citation Graph (0, 0)][DBLP]
    PDP, 2005, pp:264-271 [Conf]
  10. Hubert Garavel, Radu Mateescu, Irina M. Smarandache
    Parallel State Space Construction for Model-Checking. [Citation Graph (0, 0)][DBLP]
    SPIN, 2001, pp:217-234 [Conf]
  11. Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu
    Model Checking Genetic Regulatory Networks Using GNA and CADP. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:158-163 [Conf]
  12. Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen
    Model Checking for Managers. [Citation Graph (0, 0)][DBLP]
    SPIN, 1999, pp:92-107 [Conf]
  13. Christophe Joubert, Radu Mateescu
    Distributed On-the-Fly Model Checking and Test Case Generation. [Citation Graph (0, 0)][DBLP]
    SPIN, 2006, pp:126-145 [Conf]
  14. Hubert Garavel, Radu Mateescu
    SEQ.OPEN: A Tool for Efficient Trace-Based Verification. [Citation Graph (0, 0)][DBLP]
    SPIN, 2004, pp:151-157 [Conf]
  15. Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu
    BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. [Citation Graph (0, 0)][DBLP]
    TACAS, 2005, pp:581-585 [Conf]
  16. Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier
    DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. [Citation Graph (0, 0)][DBLP]
    TACAS, 2006, pp:445-449 [Conf]
  17. Radu Mateescu
    Efficient Diagnostic Generation for Boolean Equation Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2000, pp:251-265 [Conf]
  18. Radu Mateescu
    Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:281-295 [Conf]
  19. Radu Mateescu
    A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:81-96 [Conf]
  20. Radu Mateescu
    A Generic Framework for Model Checking Software Architectures. [Citation Graph (0, 0)][DBLP]
    VVEIS, 2004, pp:1- [Conf]
  21. Christophe Joubert, Radu Mateescu
    Distributed On-the-Fly Equivalence Checking. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:3, pp:47-62 [Journal]
  22. Radu Mateescu
    On-the-Fly Verification using CADP. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal]
  23. Radu Mateescu, Mihaela Sighireanu
    Efficient on-the-fly model-checking for regular alternation-free mu-calculus. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2003, v:46, n:3, pp:255-281 [Journal]
  24. Mihaela Sighireanu, Radu Mateescu
    Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. [Citation Graph (0, 0)][DBLP]
    STTT, 1998, v:2, n:1, pp:68-88 [Journal]
  25. Radu Mateescu
    CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems. [Citation Graph (0, 0)][DBLP]
    STTT, 2006, v:8, n:1, pp:37-56 [Journal]
  26. Radu Mateescu
    Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones. [Citation Graph (0, 0)][DBLP]
    Technique et Science Informatiques, 2003, v:22, n:4, pp:461-495 [Journal]
  27. Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe
    CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. [Citation Graph (0, 0)][DBLP]
    CAV, 2007, pp:158-163 [Conf]

  28. Modeling Multiprocessor Cache Protocol Impact on MPI Performance. [Citation Graph (, )][DBLP]


  29. Computation Tree Regular Logic for Genetic Regulatory Networks. [Citation Graph (, )][DBLP]


  30. Formal Modeling and Discrete-Time Analysis of BPEL Web Services. [Citation Graph (, )][DBLP]


  31. Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. [Citation Graph (, )][DBLP]


  32. Temporal logic patterns for querying dynamic models of cellular interaction networks. [Citation Graph (, )][DBLP]


  33. Partial Order Reductions Using Compositional Confluence Detection. [Citation Graph (, )][DBLP]


  34. A Model Checking Language for Concurrent Value-Passing Systems. [Citation Graph (, )][DBLP]


  35. Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. [Citation Graph (, )][DBLP]


  36. Behavioral adaptation of component compositions based on process algebra encodings. [Citation Graph (, )][DBLP]


  37. Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. [Citation Graph (, )][DBLP]


  38. Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. [Citation Graph (, )][DBLP]


  39. Hierarchical Adaptive State Space Caching Based on Level Sampling. [Citation Graph (, )][DBLP]


  40. A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. [Citation Graph (, )][DBLP]


  41. A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. [Citation Graph (, )][DBLP]


Search in 0.052secs, Finished in 0.055secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002