Radu Mateescu

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	Peter Fennema	[4]
7	Jean-Claude Fernandez	[1]
8	Hubert Garavel	[1] [6] [7] [9] [16] [17] [26] [28]
9	Johannes Geiselmann	[22] [23]
10	Jan Friso Groote	[3]
11	Wil Janssen	[4]
12	Hidde de Jong	[16] [22] [23]
13	Christophe Joubert	[19] [20] [21] [26] [27]
14	Alain Kerbrat	[1]
15	Frédéric Lang	[9] [14] [28]
16	Sjouke Mauw	[4]
17	Laurent Mounier	[1]
18	Flávio Oquendo	[25]
19	Gordon J. Pace	[14]
20	Michel Page	[22] [23]
21	Noel De Palma	[7]
22	Pascal Poizat	[29]
23	Delphine Ropers	[22] [23]
24	Gwen Salaün	[29]
25	Dominique Schneider	[22] [23]
26	Wendelin Serwe	[28]
27	Mihaela Sighireanu	[1] [2] [11]
28	Irina M. Smarandache	[6]
29	Irina Smarandache-Sturm	[26]
30	Petra van der Stappen	[4]
31	Gilles Stragier	[26]

Colors in the list of coauthors