Radu Mateescu

2009
38	EE	Radu Mateescu, Anton Wijs: Hierarchical Adaptive State Space Caching Based on Level Sampling. TACAS 2009: 215-229
2008
37	EE	Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong: Computation Tree Regular Logic for Genetic Regulatory Networks. ATVA 2008: 48-63
36	EE	Radu Mateescu, Sylvain Rampacek: Formal Modeling and Discrete-Time Analysis of BPEL Web Services. CIAO! / EOMAS 2008: 179-193
35	EE	Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong: Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. ECAI 2008: 229-233
34	EE	Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong: Temporal logic patterns for querying dynamic models of cellular interaction networks. ECCB 2008: 227-233
33	EE	Radu Mateescu, Damien Thivolle: A Model Checking Language for Concurrent Value-Passing Systems. FM 2008: 148-164
32	EE	Radu Mateescu, Pascal Poizat, Gwen Salaün: Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC 2008: 84-99
31	EE	Radu Mateescu, Emilie Oudot: Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. MEMOCODE 2008: 73-74
30	EE	Radu Mateescu, Emilie Oudot: Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. SPIN 2008: 196-213
2007
29	EE	Radu Mateescu, Pascal Poizat, Gwen Salaün: Behavioral adaptation of component compositions based on process algebra encodings. ASE 2007: 385-388
28	EE	Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe: CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. CAV 2007: 158-163
2006
27	EE	Christophe Joubert, Radu Mateescu: Distributed On-the-Fly Model Checking and Test Case Generation. SPIN 2006: 126-145
26	EE	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. TACAS 2006: 445-449
25	EE	Radu Mateescu, Flávio Oquendo: pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. ACM SIGSOFT Software Engineering Notes 31(2): 1-19 (2006)
24	EE	Radu Mateescu: CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems. STTT 8(1): 37-56 (2006)
2005
23	EE	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. IJCAI 2005: 370-375
22	EE	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. ISMB (Supplement of Bioinformatics) 2005: 19-28
21	EE	Christophe Joubert, Radu Mateescu: Distributed Local Resolution of Boolean Equation Systems. PDP 2005: 264-271
20	EE	Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu: BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. TACAS 2005: 581-585
19	EE	Christophe Joubert, Radu Mateescu: Distributed On-the-Fly Equivalence Checking. Electr. Notes Theor. Comput. Sci. 128(3): 47-62 (2005)
2004
18	EE	Radu Mateescu: Model Checking for Software Architectures. EWSA 2004: 219-224
17	EE	Hubert Garavel, Radu Mateescu: SEQ.OPEN: A Tool for Efficient Trace-Based Verification. SPIN 2004: 151-157
16	EE	Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu: Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN 2004: 158-163
15		Radu Mateescu: A Generic Framework for Model Checking Software Architectures. VVEIS 2004: 1
2003
14	EE	Gordon J. Pace, Frédéric Lang, Radu Mateescu: Calculating-Confluence Compositionally. CAV 2003: 446-459
13	EE	Radu Mateescu: A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. TACAS 2003: 81-96
12	EE	Radu Mateescu: On-the-Fly Verification using CADP. Electr. Notes Theor. Comput. Sci. 80: (2003)
11	EE	Radu Mateescu, Mihaela Sighireanu: Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program. 46(3): 255-281 (2003)
10	EE	Radu Mateescu: Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones. Technique et Science Informatiques 22(4): 461-495 (2003)
2002
9	EE	Hubert Garavel, Frédéric Lang, Radu Mateescu: Compiler Construction Using LOTOS NT. CC 2002: 9-13
8	EE	Radu Mateescu: Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. TACAS 2002: 281-295
2001
7		Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma: Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. DAIS 2001: 229-244
6	EE	Hubert Garavel, Radu Mateescu, Irina M. Smarandache: Parallel State Space Construction for Model-Checking. SPIN 2001: 217-234
2000
5	EE	Radu Mateescu: Efficient Diagnostic Generation for Boolean Equation Systems. TACAS 2000: 251-265
1999
4	EE	Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen: Model Checking for Managers. SPIN 1999: 92-107
1998
3	EE	Jan Friso Groote, Radu Mateescu: Verification of Temporal Properties of Processes in a Setting with Data. AMAST 1998: 74-90
2	EE	Mihaela Sighireanu, Radu Mateescu: Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. STTT 2(1): 68-88 (1998)
1996
1		Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu: CADP - A Protocol Validation and Verification Toolbox. CAV 1996: 437-440

Coauthor Index

1	Grégory Batt	[16] [22] [23]
2	Damien Bergamini	[16] [20] [26]
3	Manuel Aguilar Cornejo	[7]
4	Adrian Curic	[26]
5	Nicolas Descoubes	[20] [26]
6	Estelle Dumas	[37]
7	Peter Fennema	[4]
8	Jean-Claude Fernandez	[1]
9	Ana T. Freitas	[34] [35]
10	Hubert Garavel	[1] [6] [7] [9] [16] [17] [26] [28]
11	Johannes Geiselmann	[22] [23]
12	Jan Friso Groote	[3]
13	Wil Janssen	[4]
14	Hidde de Jong	[16] [22] [23] [34] [35] [37]
15	Christophe Joubert	[19] [20] [21] [26] [27]
16	Alain Kerbrat	[1]
17	Frédéric Lang	[9] [14] [28]
18	Sjouke Mauw	[4]
19	Pedro T. Monteiro	[34] [35] [37]
20	Laurent Mounier	[1]
21	Flávio Oquendo	[25]
22	Emilie Oudot	[30] [31]
23	Gordon J. Pace	[14]
24	Michel Page	[22] [23]
25	Noel De Palma	[7]
26	Pascal Poizat	[29] [32]
27	Sylvain Rampacek	[36]
28	Delphine Ropers	[22] [23] [34] [35]
29	Gwen Salaün	[29] [32]
30	Dominique Schneider	[22] [23]
31	Wendelin Serwe	[28]
32	Mihaela Sighireanu	[1] [2] [11]
33	Irina M. Smarandache	[6]
34	Irina Smarandache-Sturm	[26]
35	Petra van der Stappen	[4]
36	Gilles Stragier	[26]
37	Damien Thivolle	[33]
38	Anton Wijs	[38]

Colors in the list of coauthors