Search the dblp DataBase
Radu Mateescu :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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 ] 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 ] Gordon J. Pace , Frédéric Lang , Radu Mateescu Calculating-Confluence Compositionally. [Citation Graph (0, 0)][DBLP ] CAV, 2003, pp:446-459 [Conf ] Hubert Garavel , Frédéric Lang , Radu Mateescu Compiler Construction Using LOTOS NT. [Citation Graph (0, 0)][DBLP ] CC, 2002, pp:9-13 [Conf ] 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 ] Radu Mateescu Model Checking for Software Architectures. [Citation Graph (0, 0)][DBLP ] EWSA, 2004, pp:219-224 [Conf ] 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 ] 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 ] Christophe Joubert , Radu Mateescu Distributed Local Resolution of Boolean Equation Systems. [Citation Graph (0, 0)][DBLP ] PDP, 2005, pp:264-271 [Conf ] 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 ] 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 ] 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 ] 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 ] Hubert Garavel , Radu Mateescu SEQ.OPEN: A Tool for Efficient Trace-Based Verification. [Citation Graph (0, 0)][DBLP ] SPIN, 2004, pp:151-157 [Conf ] 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 ] 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 ] Radu Mateescu Efficient Diagnostic Generation for Boolean Equation Systems. [Citation Graph (0, 0)][DBLP ] TACAS, 2000, pp:251-265 [Conf ] 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 ] 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 ] Radu Mateescu A Generic Framework for Model Checking Software Architectures. [Citation Graph (0, 0)][DBLP ] VVEIS, 2004, pp:1- [Conf ] 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 ] Radu Mateescu On-the-Fly Verification using CADP. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2003, v:80, n:, pp:- [Journal ] 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 ] 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 ] 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 ] 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 ] 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 ] Modeling Multiprocessor Cache Protocol Impact on MPI Performance. [Citation Graph (, )][DBLP ] Computation Tree Regular Logic for Genetic Regulatory Networks. [Citation Graph (, )][DBLP ] Formal Modeling and Discrete-Time Analysis of BPEL Web Services. [Citation Graph (, )][DBLP ] Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. [Citation Graph (, )][DBLP ] Temporal logic patterns for querying dynamic models of cellular interaction networks. [Citation Graph (, )][DBLP ] Partial Order Reductions Using Compositional Confluence Detection. [Citation Graph (, )][DBLP ] A Model Checking Language for Concurrent Value-Passing Systems. [Citation Graph (, )][DBLP ] Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. [Citation Graph (, )][DBLP ] Behavioral adaptation of component compositions based on process algebra encodings. [Citation Graph (, )][DBLP ] Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. [Citation Graph (, )][DBLP ] Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. [Citation Graph (, )][DBLP ] Hierarchical Adaptive State Space Caching Based on Level Sampling. [Citation Graph (, )][DBLP ] A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. [Citation Graph (, )][DBLP ] A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.006secs