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
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
Sequential and Distributed On-the-Fly Computation of Weak Tau-Confluence.
Science of Computer Programming, 2012. Note: To appear.
bibtex/ html
2011
3
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
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
BMC Bioinformatics, dec 2009.
Pdf-128x128abstract ]
bibtex/ html
2008
5
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks.
Bioinformatics, 24(16):i227--i233, 2008.
Www-128x128
bibtex/ html
6
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
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
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
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
Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus.
scp, 46(3):255--281, mar 2003.
bibtex/ html
2002
11
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
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
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
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
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
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-128x128abstract ]
bibtex/ html
17
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-128x128abstract ]
bibtex/ html
18
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-128x128abstract ]
bibtex/ html
2009
19
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
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
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-128x128abstract ]
bibtex/ html
22
Partial Order Reductions using Compositional Confluence Detection.
16th International Symposium on Formal Methods FM'2009, Eindhoven Pays-Bas, nov 2009.
Pdf-128x128abstract ]
bibtex/ html
23
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-128x128abstract ]
bibtex/ html
2008
24
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Verifying Business Processes using SPIN.
Proceedings of the 4th International SPIN Workshop (Paris, France), :21--36, Paris, nov 1998.
bibtex/ html
58
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
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
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
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
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
Specification and Analysis of Asynchronous Systems using CADP.
5, :141--170, ISTE publishing / John Wiley, 2008.
Www-128x128
bibtex/ html
2006
64
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
Composants génériques pour l'analyse des systèmes de transitions.
Habilitation à Diriger des Recherches, Sep 2007.
bibtex/ html
1998
66
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
Bioinformatique~: de la cellule à la puce.
may 2008. Note: La Recherche no.~419.
bibtex/ html
Other Publications [AP]
2009
68
Partial Order Reductions using Compositional Confluence Detection.
Research Report, ({RR}-7078):28, INRIA, 2009.
Pdf-128x128abstract ]
bibtex/ html
69
Efficient On-the-Fly Computation of Weak Tau-Confluence.
Research Report, ({RR}-7000):42, INRIA, 2009.
Pdf-128x128abstract ]
bibtex/ html
70
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-128x128abstract ]
bibtex/ html
2008
71
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
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
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
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
ArchWare Architecture Analysis Tool by Model-Checking.
Project Deliverable, (D3.6b), IST Project 2001-32360 ``ArchWare'', jun 2004.
bibtex/ html
76
Final ArchWare Architecture Analysis Tool by Model-Checking.
Project Deliverable, (D3.6c), IST Project 2001-32360 ``ArchWare'', dec 2004.
bibtex/ html
2003
77
The ArchWare Architecture Analysis Language.
Project Deliverable, (D3.1), European project IST 2001-32360 ``ArchWare'', jan 2003.
bibtex/ html
78
Definition of the Architecture Analysis Formalism for Model-Checking.
Project Deliverable, (D3.3), European project IST 2001-32360 ``ArchWare'', jun 2003.
bibtex/ html
79
Preliminary ArchWare Architecture Analysis Tool by Model-Checking.
Project Deliverable, (D3.6a), European project IST 2001-32360 ``ArchWare'', dec 2003.
bibtex/ html
80
Enhanced Model-Checker for Architecture Analysis.
Project Deliverable, (D3.8), European project IST 2001-32360 ``ArchWare'', jan 2003.
bibtex/ html
1996
81
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
Binary Coded Graphs --- Reference Manuals of the BCG Tools.
Rapport SPECTRE, (95-13), INRIA Rhône-Alpes, Grenoble, oct 1995.
bibtex/ html
1994
83
Définition et compilation d'un méta-langage pour l'implémentation des logiques temporelles.
jun 1994.
bibtex/ html
1993
84
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