dblp.uni-trier.dewww.uni-trier.de

Radu Mateescu Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
38EERadu Mateescu, Anton Wijs: Hierarchical Adaptive State Space Caching Based on Level Sampling. TACAS 2009: 215-229
2008
37EERadu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong: Computation Tree Regular Logic for Genetic Regulatory Networks. ATVA 2008: 48-63
36EERadu Mateescu, Sylvain Rampacek: Formal Modeling and Discrete-Time Analysis of BPEL Web Services. CIAO! / EOMAS 2008: 179-193
35EEPedro 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
34EEPedro 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
33EERadu Mateescu, Damien Thivolle: A Model Checking Language for Concurrent Value-Passing Systems. FM 2008: 148-164
32EERadu Mateescu, Pascal Poizat, Gwen Salaün: Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC 2008: 84-99
31EERadu Mateescu, Emilie Oudot: Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. MEMOCODE 2008: 73-74
30EERadu Mateescu, Emilie Oudot: Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. SPIN 2008: 196-213
2007
29EERadu Mateescu, Pascal Poizat, Gwen Salaün: Behavioral adaptation of component compositions based on process algebra encodings. ASE 2007: 385-388
28EEHubert 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
27EEChristophe Joubert, Radu Mateescu: Distributed On-the-Fly Model Checking and Test Case Generation. SPIN 2006: 126-145
26EEHubert 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
25EERadu 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)
24EERadu Mateescu: CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems. STTT 8(1): 37-56 (2006)
2005
23EEGré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
22EEGré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
21EEChristophe Joubert, Radu Mateescu: Distributed Local Resolution of Boolean Equation Systems. PDP 2005: 264-271
20EEDamien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu: BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. TACAS 2005: 581-585
19EEChristophe Joubert, Radu Mateescu: Distributed On-the-Fly Equivalence Checking. Electr. Notes Theor. Comput. Sci. 128(3): 47-62 (2005)
2004
18EERadu Mateescu: Model Checking for Software Architectures. EWSA 2004: 219-224
17EEHubert Garavel, Radu Mateescu: SEQ.OPEN: A Tool for Efficient Trace-Based Verification. SPIN 2004: 151-157
16EEGré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
14EEGordon J. Pace, Frédéric Lang, Radu Mateescu: Calculating-Confluence Compositionally. CAV 2003: 446-459
13EERadu Mateescu: A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. TACAS 2003: 81-96
12EERadu Mateescu: On-the-Fly Verification using CADP. Electr. Notes Theor. Comput. Sci. 80: (2003)
11EERadu Mateescu, Mihaela Sighireanu: Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program. 46(3): 255-281 (2003)
10EERadu 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
9EEHubert Garavel, Frédéric Lang, Radu Mateescu: Compiler Construction Using LOTOS NT. CC 2002: 9-13
8EERadu 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
6EEHubert Garavel, Radu Mateescu, Irina M. Smarandache: Parallel State Space Construction for Model-Checking. SPIN 2001: 217-234
2000
5EERadu Mateescu: Efficient Diagnostic Generation for Boolean Equation Systems. TACAS 2000: 251-265
1999
4EEWil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen: Model Checking for Managers. SPIN 1999: 92-107
1998
3EEJan Friso Groote, Radu Mateescu: Verification of Temporal Properties of Processes in a Setting with Data. AMAST 1998: 74-90
2EEMihaela 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
1EEJean-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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)