Ban3

Informations sur l'auteur

Radu Mateescu

http://pistou.imag.fr/site/author/270

  
Équipe(s) :
VASY Du 01/10/1998 au 31/12/2099
CONVECS Du 01/01/2012 au 31/12/2099 		 

Publications de l'auteur

La liste contient 84 élément(s)

(Les éditeurs apparaissent en italique)


Ajouter toute la liste au panier

Exporter la liste au format
Retrier la liste par :

International peer reviewed journal [ACL]
2012
1
Radu Mateescu, Pascal Poizat, Gwen Salaün.
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques.
IEEE Transactions on Software Engineering, 2012. Note: To appear.
bibtex/ html
2
Radu Mateescu, Anton Wijs.
Sequential and Distributed On-the-Fly Computation of Weak Tau-Confluence.
Science of Computer Programming, 2012. Note: To appear.
bibtex/ html
2011
3
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong.
CTRL: Extension of CTL with Regular Expressions and Fairness Operators to Verify Genetic Regulatory Networks.
Theoretical Computer Science, 412(26):2854--2883, jun 2011.
bibtex/ html
2009
4
Pedro T. Monteiro, Estelle Dumas, Bruno Besson, Radu Mateescu, Michel Page, Ana T. Freitas, Hidde de Jong.
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
BMC Bioinformatics, dec 2009.
Pdf-128x128 [ abstract ]
bibtex/ html
2008
5
Hidde de Jong, Pedro Tiago Monteiro, Delphine Ropers, Radu Mateescu, Ana Teresa Freitas.
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks.
Bioinformatics, 24(16):i227--i233, 2008.
Www-128x128
bibtex/ html
6
Radu Mateescu, Sylvain Rampacek.
Formal Modelling and Discrete-Time Analysis of BPEL Web Services.
International Journal of Simulation and Process Modelling, 4(3--4):183--194, 2008.
bibtex/ html
2006
7
Radu Mateescu.
John Hatcliff.
CAESAR_{SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems.
Springer International Journal on Software Tools for Technology Transfer (STTT), 8(1):37--56, feb 2006. Note: Full version available as INRIA Research Report RR-5948, July 2006.
Www-128x128
bibtex/ html
2005
8
Hidde de Jong, Grégory Batt, Delphine Ropers, Johannes Geiselmann, Radu Mateescu, Michel Page, Daniel K. Schneider.
Validation of Qualitative Models of Genetic Regulatory Networks by Model Checking: Analysis of the Nutritional Stress Response in Escherichia Coli.
Bioinformatics, 21(Suppl~1):i19--i28, 2005.
bibtex/ html
2003
9
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. Note: Full version available as INRIA Research Report~RR-5032.
bibtex/ html
10
Radu Mateescu, Mihaela Sighireanu.
Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus.
scp, 46(3):255--281, mar 2003.
bibtex/ html
2002
11
Hubert Garavel, Frederic Lang, Radu Mateescu.
An Overview of CADP 2001.
European Association for Software Science and Technology (EASST) Newsletter, 4:13--24, aug 2002. Note: Also available as INRIA Technical Report~RT-0254 (December 2001).
bibtex/ html
1997
12
Radu Mateescu.
Vérification de systèmes répartis~: l'exemple du protocole BRP.
Technique et Science Informatiques, 16(6):725--751, jun 1997.
bibtex/ html
International peer-reviewed conference proceedings [ACT]
2012
13
Frederic Lang, Radu Mateescu.
Cormac Flanagan, Barbara König.
Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems.
Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'12), LNCS, mar 2012.
bibtex/ html
2011
14
Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe.
A. Abdulla Parosh, K. Rustan M. Leino.
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.
Proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2011 (Saarbrücken, Germany), 6605:372--387, Lecture Notes in Computer Science, Mar 2011.
Www-128x128
bibtex/ html
15
Radu Mateescu, Anton Wijs.
Alex Groce, Madanlal Musuvathi.
Property-Dependent Reductions for the Modal Mu-Calculus.
Proceedings of the 18th International SPIN Workshop on Model Checking Software (SPIN'11), 6823:2--19, LNCS, 2011.
bibtex/ html
2010
16
Radu Mateescu, Gwen Salaün.
Dominique Mery, Stephan Merz.
Translating Pi-Calculus into LOTOS NT.
Integrated Formal Methods - IFM 2010 Integrated Formal Methods - 8th International Conference, IFM 2010, 6396:229-244, Lecture Notes in Computer Science, Nancy France, Oct 2010. Note: The original publication is available at www.springerlink.com.
Pdf-128x128 [ abstract ]
bibtex/ html
17
Radu Mateescu, Wendelin Serwe.
A Study of Shared-Memory Mutual Exclusion Protocols using CADP.
15th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2010, Antwerp, Belgium, Sep 2010.
Pdf-128x128 [ abstract ]
bibtex/ html
18
Nicolas Coste, Hubert Garavel, Holger Hermanns, Frederic Lang, Radu Mateescu, Wendelin Serwe.
Tiziana Margaria, Bernhard Steffen.
Ten Years of Performance Evaluation for Concurrent Systems Using CADP.
4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2010, 6416:128-142, Heraclion, Greece, Oct 2010.
Pdf-128x128 [ abstract ]
bibtex/ html
2009
19
Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu.
Modeling Multiprocessor Cache Protocol Impact on MPI Performance.
Proceedings of the 2009 IEEE International Workshop on Quantitative Evaluation of Large-Scale Systems and Technologies QuEST'09 (Bradford, UK), May 2009.
Www-128x128
bibtex/ html
20
Radu Mateescu, Anton Wijs.
Stefan Kowalewski, Anna Philippou.
Hierarchical Adaptive State Space Caching based on Level Sampling.
Proceedings of the 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'09 (York, UK), 5505:215-229, Lecture Notes in Computer Science, Mar 2009.
Www-128x128
bibtex/ html
21
Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu.
Modeling Multiprocessor Cache Protocol Impact on MPI Performance.
The 2009 IEEE International Workshop on Quantitative Evaluation of large-scale Systems and Technologies IEEE-QuEST'2009, Bradford Royaume-Uni, 2009. Note: B.: Hardware/B.3: {MEMORY} {STRUCTURES}/B.3.3: Performance Analysis and Design Aids/B.3.3.0: Formal models, B.: Hardware/B.8: {PERFORMANCE} {AND} {RELIABILITY}/B.8.2: Performance Analysis and Design Aids Multival.
Pdf-128x128 [ abstract ]
bibtex/ html
22
Frederic Lang, Radu Mateescu.
Partial Order Reductions using Compositional Confluence Detection.
16th International Symposium on Formal Methods FM'2009, Eindhoven Pays-Bas, nov 2009.
Pdf-128x128 [ abstract ]
bibtex/ html
23
Radu Mateescu, Anton Wijs.
Stefan Kowalewski, Anna Philippou.
Hierarchical Adaptive State Space Caching based on Level Sampling.
The 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2009, 5505:215-229, Lecture Notes in Computer Science, York Royaume-Uni, 2009. Note: D.: Software/D.2: {SOFTWARE} {ENGINEERING}/D.2.4: Software/Program Verification/D.2.4.4: Model checking {EC}-{MOAN}.
Pdf-128x128 Www-128x128 [ abstract ]
bibtex/ html
2008
24
Hidde de Jong, Radu Mateescu, Pedro Tiago Monteiro, Estelle Dumas.
Sung Deok Cha, Jin-Young Choi, Moonzoo Kim, Insup Lee, Mahesh Viswanathan.
Computation Tree Regular Logic for Genetic Regulatory Networks.
Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis ATVA'08 (Seoul, South Korea), 5311:48--63, Lecture Notes in Computer Science, oct 2008. Note: Full version available as INRIA Research Report~RR-6521.
Www-128x128
bibtex/ html
25
Radu Mateescu, Emilie Oudot.
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems.
Proceedings of the 6th ACM-IEEE International Conference on Formal Methods and Models for Codesign MEMOCODE'2008 (Anaheim, CA, USA), :73--74, jun 2008.
Www-128x128
bibtex/ html
26
Radu Mateescu, Emilie Oudot.
Klaus Havelund, Rupak Majumdar, Jens Palberg.
Improved On-the-Fly Equivalence Checking using Boolean Equation Systems.
Proceedings of the 15th International SPIN Workshop on Model Checking of Software SPIN'2008 (Los Angeles, USA), (5156):196--213, Lecture Notes in Computer Science, aug 2008. Note: Full version available as INRIA Research Report~RR-6777.
Www-128x128
bibtex/ html
27
Radu Mateescu, Pascal Poizat, Gwen Salaün.
Athman Bouguettaya, Ingolf Krueger, Tiziana Margaria.
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques.
Proceedings of the 6th International Conference on Service Oriented Computing ICSOC'08 (Sydney, Australia), 5364:84--99, Lecture Notes in Computer Science, dec 2008.
Www-128x128
bibtex/ html
28
Radu Mateescu, Sylvain Rampacek.
Joseph Barjis, Murali Mohan Narasipuram, Peter Rittgen.
Formal Modeling and Discrete-Time Analysis of BPEL Web Services.
Proceedings of the 4th International Workshop on Enterprise and Organizational Modeling and Simulation EOMAS'08 (Montpellier, France), 10:179--193, Lecture Notes in Business Information Processing, jun 2008.
Www-128x128
bibtex/ html
29
Radu Mateescu, Damien Thivolle.
Jorge Cuellar, Tom Maibaum, Kaisa Sere.
A Model Checking Language for Concurrent Value-Passing Systems.
Proceedings of the 15th International Symposium on Formal Methods FM'08 (Turku, Finland), (5014):148--164, Lecture Notes in Computer Science, may 2008.
Www-128x128
bibtex/ html
30
Hidde de Jong, Pedro Tiago Monteiro, Delphine Ropers, Radu Mateescu, Ana Teresa Freitas.
Malik Ghallab.
Temporal Logic Patterns for Querying Qualitative Models of Genetic Interaction Networks.
Proceedings of the 18th European Conference on Artificial Intelligence ECAI'08 (Patras, Greece), :229--233, jul 2008.
Www-128x128
bibtex/ html
31
Pedro Tiago Monteiro, Delphine Ropers, Radu Mateescu, Ana Teresa Freitas.
Anna Tramontano.
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks.
Proceedings of the 7th European Conference on Computational Biology ECCB'08 (Cagliari, Sardinia-Italy), sep 2008. Note: Full version available as INRIA Research Report RR-6470.
Www-128x128
bibtex/ html
2007
32
Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe.
Werner Damm, Holger Hermanns.
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes.
Proceedings of the 19th International Conference on Computer Aided Verification CAV'2007 (Berlin, Germany), 4590:158--163, Lecture Notes in Computer Science, jul 2007.
bibtex/ html
33
Radu Mateescu, Pascal Poizat, Gwen Salaün.
Alexander Egyed, Bernd Fischer.
Behavioral Adaptation of Component Compositions based on Process Algebra Encodings.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering ASE'2007 (Atlanta, Georgia, USA), :385--388, nov 2007. Note: Full version available as INRIA Research Report~RR-6362.
bibtex/ html
2006
34
Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier.
Holger Hermanns, Jens Palberg.
DISTRIBUTOR and BCG_{MERGE: Tools for Distributed Explicit State Space Generation.
Proceedings of the 12th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2006 (Vienna, Austria), 3920:445--449, Lecture Notes in Computer Science, mar 2006.
bibtex/ html
35
Christophe Joubert, Radu Mateescu.
Antti Valmari.
Distributed On-the-Fly Model Checking and Test Case Generation.
Proceedings of the 13th International SPIN Workshop on Model Checking of Software SPIN'2006 (Vienna, Austria), 3925:126--145, Lecture Notes in Computer Science, mar 2006.
bibtex/ html
2005
36
Hidde de Jong, Grégory Batt, Delphine Ropers, Johannes Geiselmann, Radu Mateescu, Michel Page, Daniel K. Schneider.
Leslie Pack Kaelbling, Alessandro Saffiotti.
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach.
Proceedings of the 19th International Joint Conference on Artificial Intelligence IJCAI'05 (Edinburgh, Scotland), :370--375, jul 2005.
bibtex/ html
37
Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu.
Nicolas Halbwachs, Lenore Zuck.
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.
Proceedings of the 11th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2005 (Edinburgh, Scotland, UK), 3440:581--585, Lecture Notes in Computer Science, apr 2005.
bibtex/ html
38
Christophe Joubert, Radu Mateescu.
Francisco Tirado, Manuel Prieto.
Distributed Local Resolution of Boolean Equation Systems.
Proceedings of the 13th Euromicro Conference on Parallel, Distributed and Network-Based Processing PDP'2005 (Lugano, Switzerland), :264--271, feb 2005.
bibtex/ html
39
Radu Mateescu.
Tiziana Margaria, Mieke Massink.
On-the-fly State Space Reductions for Weak Equivalences.
Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems FMICS'05 (Lisbon, Portugal), :80--89, sep 2005.
bibtex/ html
2004
40
Grégory Batt, Damien Bergamini, Hubert Garavel, Radu Mateescu.
Susanne Graf, Laurent Mounier.
Model Checking Genetic Regulatory Networks using GNA and CADP.
Proceedings of the 11th International SPIN Workshop on Model Checking of Software SPIN'2004 (Barcelona, Spain), 2989:156--161, Lecture Notes in Computer Science, apr 2004.
bibtex/ html
41
Hubert Garavel, Radu Mateescu.
Susanne Graf, Laurent Mounier.
SEQ.OPEN: A Tool for Efficient Trace-Based Verification.
Proceedings of the 11th International SPIN Workshop on Model Checking of Software SPIN'2004 (Barcelona, Spain), 2989:150--155, Lecture Notes in Computer Science, apr 2004.
bibtex/ html
42
Christophe Joubert, Radu Mateescu.
Lubos Brim, Martin Leucker.
Distributed On-the-Fly Equivalence Checking.
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification PDMC'2004 (London, UK), 128, Electronic Notes in Theoretical Computer Science, 2004.
bibtex/ html
43
Radu Mateescu.
Flavio Oquendo, Brian Warboys, Ron Morrison.
Model Checking for Software Architectures.
Proceedings of the 1st European Workshop on Software Architecture EWSA'2004 (St Andrews, Scotland, UK), 3047:219--224, Lecture Notes in Computer Science, may 2004.
bibtex/ html
44
Radu Mateescu.
Juan Carlos Augusto, Ulrich Ultes-Nitsche.
A Generic Framework for Model Checking Software Architectures.
Proceedings of the 2nd International Workshop on Verification and Validation of Enterprise Information Systems VVEIS'2004 (Porto, Portugal), apr 2004. Note: Keynote presentation.
bibtex/ html
2003
45
Radu Mateescu.
Hubert Garavel, John Hatcliff.
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems.
Proceedings of the 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2003 (Warsaw, Poland), 2619:81--96, lncs, apr 2003. Note: Full version available as INRIA Research Report~RR-4711.
bibtex/ html
46
Radu Mateescu.
Thomas Arts, Wan Fokkink.
On-the-Fly Verification using CADP.
Proceedings of the 8th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2003 (Trondheim, Norway), 80, Electronic Notes in Theoretical Computer Science, jun 2003.
bibtex/ html
47
Gordon Pace, Frederic Lang, Radu Mateescu.
Jr Warren A. Hunt, Fabio Somenzi.
Calculating $tau$-Confluence Compositionally.
Proceedings of the 15th International Conference on Computer Aided Verification CAV'2003 (Boulder, Colorado, USA), 2725:446--459, lncs, jul 2003. Note: Full version available as INRIA Research Report~RR-4918.
bibtex/ html
2002
48
Hubert Garavel, Frederic Lang, Radu Mateescu.
Nigel Horspool.
Compiler Construction using LOTOS NT.
Proceedings of the 11th International Conference on Compiler Construction CC 2002 (Grenoble, France), 2304:9--13, lncs, apr 2002.
bibtex/ html
49
Radu Mateescu.
Joost-Pieter Katoen, Perdita Stevens.
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems.
Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2002 (Grenoble, France), 2280:281--295, lncs, apr 2002. Note: Full version available as INRIA Research Report~RR-4430.
bibtex/ html
2001
50
Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De palma.
Aleksander Laurentowski, Jacek Kosinski, Zofia Mossurska, Radoslaw Ruchala.
Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications.
Proceedings of the 3rd IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems DAIS'2001 (Krakow, Poland), :229--242, sep 2001. Note: Full version available as INRIA Research Report~RR-4222.
bibtex/ html
51
Hubert Garavel, Radu Mateescu, Irina Smarandache.
Matthew B. Dwyer.
Parallel State Space Construction for Model-Checking.
Proceedings of the 8th International SPIN Workshop on Model Checking of Software SPIN'2001 (Toronto, Canada), 2057:217--234, lncs, Berlin, may 2001. Note: Revised version available as INRIA Research Report~RR-4341 (December 2001).
bibtex/ html
52
Gavril Godza, Valentin Cristea, Radu Mateescu.
Formal Specification of Checkpointing Algorithms.
Proceedings of 13th International Conference on Control Systems and Computer Science CSCS~13 (Bucharest, Romania), :311--317, may 2001.
bibtex/ html
2000
53
Radu Mateescu.
Susanne Graf, Michael Schwartzbach.
Efficient Diagnostic Generation for Boolean Equation Systems.
Proceedings of 6th International Conference on Tools and Algorithms for the Construction and Analysis of Systems TACAS'2000 (Berlin, Germany), 1785:251--265, lncs, mar 2000. Note: Full version available as INRIA Research Report~RR-3861.
bibtex/ html
54
Radu Mateescu, Mihaela Sighireanu.
Stefania Gnesi, Ina Schieferdecker, Axel Rennoch.
Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus.
Proceedings of the 5th International Workshop on Formal Methods for Industrial Critical Systems FMICS'2000 (Berlin, Germany), :65--86, GMD Report 91, Berlin, apr 2000. Note: Also available as INRIA Research Report~RR-3899.
bibtex/ html
1999
55
Jan Friso Groote, Radu Mateescu.
Armando Martín Haeberer.
Verification of Temporal Properties of Processes in a Setting with Data.
Proceedings of the 7th International Conference on Algebraic Methodology and Software Technology AMAST'98 (Amazonia, Brazil), 1548:74--90, lncs, jan 1999. Note: Full version available as CWI Technical Report~SEN-R9804, Amsterdam, The Netherlands.
bibtex/ html
56
Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen.
Dennis Dams, Rob Gerth, Stefan Leue, Mieke Massink.
Model Checking for Managers.
Proceedings of the 5th and 6th International SPIN Workshops on Theoretical and Practical Aspects of SPIN Model Checking, Trento (Italy), Toulouse (France), 1680:92--107, lncs, sep 1999.
bibtex/ html
1998
57
Wil Janssen, Radu Mateescu, Sjouke Mauw, Jan Springintveld.
Gerard Holzmann, Elie Najm, Ahmed Serhrouchni.
Verifying Business Processes using SPIN.
Proceedings of the 4th International SPIN Workshop (Paris, France), :21--36, Paris, nov 1998.
bibtex/ html
58
Radu Mateescu.
Annalisa Bossi, Agostino Cortesi, Francesca Levi.
Local Model-Checking of an Alternation-Free Value-Based Modal Mu-Calculus.
Proceedings of the 2nd International Workshop on Verification, Model Checking and Abstract Interpretation VMCAI'98 (Pisa, Italy), sep 1998.
bibtex/ html
59
Radu Mateescu, Hubert Garavel.
Tiziana Margaria.
XTL: A Meta-Language and Tool for Temporal Logic Model-Checking.
Proceedings of the International Workshop on Software Tools for Technology Transfer STTT'98 (Aalborg, Denmark), :33--42, jul 1998.
bibtex/ html
1997
60
Hubert Garavel, Mark Jorgensen, Radu Mateescu, Charles Pecheur, Mihaela Sighireanu, Bruno Vivien.
Ignac Lovrek.
CADP'97 -- Status, Applications and Perspectives.
Proceedings of the 2nd COST 247 International Workshop on Applied Formal Methods in System Design (Zagreb, Croatia), jun 1997.
bibtex/ html
1996
61
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Radu Mateescu, Laurent Mounier, Mihaela Sighireanu.
Rajeev Alur, Thomas A. Henzinger.
CADP (CÆSAR/ALDEBARAN Development Package): A Protocol Validation and Verification Toolbox.
Proceedings of the 8th Conference on Computer-Aided Verification (New Brunswick, New Jersey, USA), 1102:437--440, lncs, aug 1996.
bibtex/ html
62
Radu Mateescu.
Z. Brezočnik, T. Kapus.
Formal Description and Analysis of a Bounded Retransmission Protocol.
Proceedings of the COST 247 International Workshop on Applied Formal Methods in System Design (Maribor, Slovenia), :98--113, jun 1996. Note: Also available as INRIA Research Report~RR-2965.
bibtex/ html
Scientific books and chapter [OS]
2008
63
Radu Mateescu.
Stephan Merz, Nicolas Navet.
Specification and Analysis of Asynchronous Systems using CADP.
5, :141--170, ISTE publishing / John Wiley, 2008.
Www-128x128
bibtex/ html
2006
64
Radu Mateescu.
Nicolas Navet.
Modélisation et analyse de systèmes asynchrones avec CADP.
Traité IC2, 5, :151--180, Lavoisier, 2006. Note: Full version available as INRIA Research Report RR-5953.
Www-128x128
bibtex/ html
Doctoral Dissertations and Habilitations Theses [TH]
2007
65
Radu Mateescu.
Composants génériques pour l'analyse des systèmes de transitions.
Habilitation à Diriger des Recherches, Sep 2007.
bibtex/ html
1998
66
Radu Mateescu.
Vérification des propriétés temporelles des programmes parallèles.
Thèse de Doctorat, Institut National Polytechnique de Grenoble, apr 1998.
bibtex/ html
Scientific popularization [OV]
2008
67
Hidde de Jong, Delphine Ropers, Radu Mateescu, Johannes Geiselmann.
Bioinformatique~: de la cellule à la puce.
may 2008. Note: La Recherche no.~419.
bibtex/ html
Other Publications [AP]
2009
68
Frederic Lang, Radu Mateescu.
Partial Order Reductions using Compositional Confluence Detection.
Research Report, ({RR}-7078):28, INRIA, 2009.
Pdf-128x128 [ abstract ]
bibtex/ html
69
Radu Mateescu, Anton Wijs.
Efficient On-the-Fly Computation of Weak Tau-Confluence.
Research Report, ({RR}-7000):42, INRIA, 2009.
Pdf-128x128 [ abstract ]
bibtex/ html
70
Radu Mateescu, Sébastien Meriot, Sylvain Rampacek.
Extending SPARQL with Temporal Logic.
oct 2009. Note: H.: Information Systems/H.2: {DATABASE} {MANAGEMENT}/H.2.3: Languages/H.2.3.3: Query languages, D.: Software/D.2: {SOFTWARE} {ENGINEERING}/D.2.4: Software/Program Verification/D.2.4.4: Model checking.
Pdf-128x128 [ abstract ]
bibtex/ html
2008
71
Hidde de Jong, Lubos Brim, Radu Mateescu.
Definition and Temporal Logic Translation of Query Templates.
Project deliverable D.3.1, FP6-NEST-STREP 043235 project EC-MOAN, mar 2008.
bibtex/ html
72
Hidde de Jong, Radu Mateescu, Hans Westerhoff, Johannes Geiselmann, Igor Goryanin.
Properties of E. Coli Carbon and Nitrogen Metabolism.
Project deliverable D.4.1, FP6-NEST-STREP 043235 project EC-MOAN, aug 2008.
bibtex/ html
73
Hidde de Jong, Radu Mateescu, Lubos Brim, Jaco van de Pol.
Model Checking Algorithms for the Properties Encoding the Templates.
Project deliverable D.3.2, FP6-NEST-STREP 043235 project EC-MOAN, aug 2008.
bibtex/ html
2007
74
Radu Mateescu.
Temporal Logics for the Specification of Concurrent Systems -- version 1.0 alpha.
Project deliverable {F3.10.1}, AESE (em pôle de compétitivité mondial Midi-Pyrénées & Aquitaine: Aéronautique, Espace et Systèmes Embarqués/}) project Topcased, nov 2007.
bibtex/ html
2004
75
Damien Bergamini, David Champelovier, Nicolas Descoubes, Hubert Garavel, Radu Mateescu, Wendelin Serwe.
ArchWare Architecture Analysis Tool by Model-Checking.
Project Deliverable, (D3.6b), IST Project 2001-32360 ``ArchWare'', jun 2004.
bibtex/ html
76
Damien Bergamini, David Champelovier, Nicolas Descoubes, Hubert Garavel, Radu Mateescu, Wendelin Serwe.
Final ArchWare Architecture Analysis Tool by Model-Checking.
Project Deliverable, (D3.6c), IST Project 2001-32360 ``ArchWare'', dec 2004.
bibtex/ html
2003
77
Ilham Alloui, Hubert Garavel, Radu Mateescu, Flavio Oquendo.
The ArchWare Architecture Analysis Language.
Project Deliverable, (D3.1), European project IST 2001-32360 ``ArchWare'', jan 2003.
bibtex/ html
78
Alban Catry, David Champelovier, Hubert Garavel, Radu Mateescu.
Definition of the Architecture Analysis Formalism for Model-Checking.
Project Deliverable, (D3.3), European project IST 2001-32360 ``ArchWare'', jun 2003.
bibtex/ html
79
Alban Catry, David Champelovier, Hubert Garavel, Radu Mateescu.
Preliminary ArchWare Architecture Analysis Tool by Model-Checking.
Project Deliverable, (D3.6a), European project IST 2001-32360 ``ArchWare'', dec 2003.
bibtex/ html
80
Hubert Garavel, Radu Mateescu.
Enhanced Model-Checker for Architecture Analysis.
Project Deliverable, (D3.8), European project IST 2001-32360 ``ArchWare'', jan 2003.
bibtex/ html
1996
81
Hubert Garavel, Radu Mateescu.
French-Romanian Proposal for Capture of Requirements and Expression of Properties in E-LOTOS Modules.
Rapport SPECTRE, (96-04), VERIMAG, Grenoble, may 1996. Note: Input document [KC4] to the ISO/IEC JTC1/SC21/WG7 Meeting on Enhancements to LOTOS (1.21.20.2.3), Kansas City, Missouri, USA, May, 12--21, 1996.
bibtex/ html
1995
82
Hubert Garavel, Radu Mateescu, Renaud Ruffiot, Louis-Pascal Tock.
Binary Coded Graphs --- Reference Manuals of the BCG Tools.
Rapport SPECTRE, (95-13), INRIA Rhône-Alpes, Grenoble, oct 1995.
bibtex/ html
1994
83
Radu Mateescu.
Définition et compilation d'un méta-langage pour l'implémentation des logiques temporelles.
jun 1994.
bibtex/ html
1993
84
Radu Mateescu.
Optimisation de la compilation des types abstraits algébriques du langage LOTOS.
Mémoire d'ingénieur, Institut Polytechnique de Bucarest, sep 1993.
bibtex/ html