Publications HAL de Radu,MATEESCU de la collection LIG
titre
IoT Composer: Composition and Deployment of IoT Applications
auteur
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
article
ICSE 2019 - IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings, May 2019, Montreal, Canada. pp.19-22, ⟨10.1109/ICSE-Companion.2019.00028⟩
titre
Rigorous Design and Deployment of IoT Applications
auteur
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
article
FormaliSE 2019 - 7th International Conference on Formal Methods in Software Engineering, May 2019, Montreal, Canada. pp.21-30, ⟨10.1109/FormaliSE.2019.00011⟩
titre
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
auteur
Radu Mateescu, José Requeno
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2018, 20 (5), pp.563-587. ⟨10.1007/s10009-018-0499-0⟩
titre
A Formal TLS Handshake Model in LNT
auteur
Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa
article
MARS/VPT 2018 - 3nd Workshop on Models for Formal Analysis of Real Systems and 6th International Workshop on Verification and Program Transformation, Apr 2018, Thessaloniki, Greece. pp.1 - 40, ⟨10.4204/EPTCS.268.1⟩
titre
Model-checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits
auteur
Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu, Wendelin Serwe
article
ASYNC'18 - 24th IEEE International Symposium on Asynchronous Circuits and Systems , May 2018, Vienne, Austria
titre
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation
auteur
Lina Marsso, Radu Mateescu, Wendelin Serwe
article
TACAS 2018 - 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Apr 2018, Thessaloniki, Greece. pp.211-228, ⟨10.1007/978-3-319-89963-3_13⟩
titre
Using LNT Formal Descriptions for Model-Based Diagnosis
auteur
Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa
article
DX 2018 - 29th International Workshop on Principles of Diagnosis, Aug 2018, Warsaw, Poland. pp.1-8
titre
Recent advances in interactive and automated analysis
auteur
Radu Mateescu
article
France. International Journal on Software Tools for Technology Transfer, 20 (2), pp.119 - 123, 2018, ⟨10.1007/s10009-017-0477-y⟩
titre
The ContextAct@A4H real-life dataset of daily-living activities Activity recognition using model checking
auteur
Paula Lago, Frederic Lang, Claudia Roncancio, Claudia Jiménez-Guarín, Radu Mateescu, Nicolas Bonnefond
article
10th International and Interdisciplinary Conference - CONTEXT 2017, Jun 2017, Paris, France. pp.175-188, ⟨10.1007/978-3-319-57837-8_14⟩
titre
Verification of EB3 specifications using CADP
auteur
Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
article
Formal Aspects of Computing, Springer Verlag, 2016, 28 (1), pp.145-178. ⟨10.1007/s00165-016-0362-6⟩
titre
Formal Modelling and Verification of GALS Systems Using GRL and CADP
auteur
Fatma Jebali, Frédéric Lang, Radu Mateescu
article
Formal Aspects of Computing, Springer Verlag, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩
titre
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
auteur
Radu Mateescu, José Ignacio Requeno
article
23rd International SPIN symposium on Model Checking of Software, Apr 2016, Eindhoven, Netherlands. ⟨10.1007/978-3-319-32582-8_13⟩
titre
Compositional Verification of Asynchronous Concurrent Systems using CADP
auteur
Hubert Garavel, Frédéric Lang, Radu Mateescu
article
Acta Informatica, Springer Verlag, 2015, 52 (4), pp.56. ⟨10.1007/s00236-015-0226-1⟩
titre
Compositional Verification of Asynchronous Concurrent Systems using CADP (extended version)
auteur
Hubert Garavel, Frédéric Lang, Radu Mateescu
article
[Research Report] RR-8708, INRIA Grenoble - Rhône-Alpes. 2015
titre
Property-Dependent Reductions Adequate with Divergence-Sensitive Branching Bisimilarity
auteur
Radu Mateescu, Anton Wijs
article
Science of Computer Programming, Elsevier, 2014, ⟨10.1016/j.scico.2014.04.004⟩
titre
Modélisation et validation formelle de systèmes globalement asynchrones et localement synchrones
auteur
Fatma Jebali, Mouna Tka Mnad, Christophe Deleuze, Frédéric Lang, Radu Mateescu, Ioannis Parissis
article
Approches Formelles dans l'Assistance au Développement de Logiciels, Jun 2014, Paris, France. pp.97--102
titre
Quantifying the Parallelism in BPMN Processes using Model Checking
auteur
Radu Mateescu, Gwen Salaün, Lina Ye
article
The 17th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2014), Jun 2014, Lille, France
titre
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems
auteur
Fatma Jebali, Frédéric Lang, Radu Mateescu
article
Proceedings of the 16th International Conference on Formal Engineering Methods (ICFEM’14), Nov 2014, Luxembourg, Luxembourg. pp.219-234, ⟨10.1007/978-3-319-11737-9_15⟩
titre
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems (Syntax and Formal Semantics)
auteur
Fatma Jebali, Frédéric Lang, Radu Mateescu
article
[Research Report] RR-8527, INRIA. 2014
titre
Formal Modeling and Verification of GALS Systems Using GRL and CADP
auteur
Fatma Jebali, Frédéric Lang, Eric Léo, Radu Mateescu
article
2014
titre
CADP 2011: A Toolbox for the Construction and Analysis of Distributed Processes
auteur
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 2013, 15 (2), pp.89-107. ⟨10.1007/s10009-012-0244-z⟩
titre
Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems
auteur
Frederic Lang, Radu Mateescu
article
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2013, 9 (4), ⟨http://www.lmcs-online.org/ojs/viewarticle.php?id=1241&layout=abstract⟩
titre
Composition and abstraction of logical regulatory modules: application to multicellular systems
auteur
Nuno D Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya
article
Bioinformatics, Oxford University Press (OUP), 2013, 29 (6), pp.749-757. ⟨10.1093/bioinformatics/btt033⟩
titre
Génération et manipulation d'espaces d'états distribués avec CADP : expériences sur Grid'5000
auteur
Hubert Garavel, Radu Mateescu, Wendelin Serwe
article
Conférence en Parallélisme, Architecture et Système ComPAS'2013, Jan 2013, Grenoble, France
titre
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
auteur
Radu Mateescu, Gwen Salaün
article
TACAS - 19th International Conference on Tools and Algorithms for the Construction and Analysis of Systems - 2013, Mar 2013, Rome, Italy. pp.192-198, ⟨10.1007/978-3-642-36742-7_14⟩
titre
Verification of EB3 Specifications Using CADP
auteur
Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
article
iFM 2013 - 10th International Conference on integrated Formal Methods, Jun 2013, Turku, Finland. ⟨10.1007/978-3-642-38613-8_5⟩
titre
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques
auteur
Radu Mateescu, Pascal Poizat, Gwen Salaün
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, 2012, ⟨10.1109/TSE.2011.62⟩
titre
Sequential and distributed on-the-fly computation of weak tau-confluence
auteur
Radu Mateescu, Anton Wijs
article
Science of Computer Programming, Elsevier, 2012, 77 (10-11), pp.1075-1094. ⟨10.1016/j.scico.2011.07.004⟩
titre
Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols
auteur
Radu Mateescu, Wendelin Serwe
article
Science of Computer Programming, Elsevier, 2012, 78 (7), pp.843-861. ⟨10.1016/j.scico.2012.01.003⟩
titre
Large-Scale Distributed Verification using CADP: Beyond Clusters to Grids
auteur
Hubert Garavel, Radu Mateescu, Wendelin Serwe
article
11th International Workshop on Parallel and Distributed Methods in verifiCation, Sep 2012, London, United Kingdom
titre
Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems
auteur
Frédéric Lang, Radu Mateescu
article
Cormac Flanagan and Barbara König. Tools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia. Springer, 2012
titre
CADP : une boîte à outils pour la conception et l'analyse de systèmes distribués
auteur
Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe
article
Approches Formelles dans l'Assistance au Développement de Logiciels, Jan 2012, Grenoble, France. 2012
titre
CADP: A Toolbox for the Construction and Analysis of Distributed Processes
auteur
Hubert Garavel, Frédéric Lang, Radu Mateescu, Gwen Salaün, Wendelin Serwe
article
FM - 18th International Symposium on Formal Methods - 2012, Aug 2012, Paris, France
titre
CTRL: Extension of CTL with Regular Expressions and Fairness Operators to Verify Genetic Regulatory Networks
auteur
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde De Jong
article
Theoretical Computer Science, Elsevier, 2011, Foundations of Formal Reconstruction of Biochemical Networks, 412 (26), pp.2854-2883. ⟨http://www.sciencedirect.com/science/article/pii/S0304397510002902⟩. ⟨10.1016/j.tcs.2010.05.009⟩
titre
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes
auteur
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
article
Tools and Algorithms for the Construction and Analysis of Systems - TACAS 2011, Mar 2011, Saabrucken, Germany
titre
Property-Dependent Reductions for the Modal Mu-Calculus
auteur
Radu Mateescu, Anton Wijs
article
[Research Report] RR-7690, INRIA. 2011, pp.30
titre
Translating Pi-Calculus into LOTOS NT
auteur
Radu Mateescu, Gwen Salaün
article
Integrated Formal Methods - IFM 2010, INRIA Nancy Grand Est, Oct 2010, Nancy, France. pp.229-244
titre
A Study of Shared-Memory Mutual Exclusion Protocols using CADP
auteur
Radu Mateescu, Wendelin Serwe
article
15th International Workshop on Formal Methods for Industrial Critical Systems '2010, Sep 2010, Antwerp, Belgium
titre
Ten Years of Performance Evaluation for Concurrent Systems Using CADP
auteur
Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe
article
4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation ISoLA 2010, Oct 2010, Amirandes, Heraclion, Greece. pp.128-142
titre
Modeling and formal verification of biological regulatory networks: an integrative approach
auteur
Pedro T. Monteiro, Ana T. Freitas, Delphine Ropers, Radu Mateescu, Hidde Jong
article
Proceedings of the IEEE International Conference on Bioinformatics & Biomedicine (BIBM 2010). First Workshop on Knowledge Engineering, Discovery and Dissemination in Health (KEDDH10), 2010, Ottawa, Canada
titre
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks
auteur
Pedro Monteiro, Estelle Dumas, Bruno Besson, Radu Mateescu, Michel Page, Ana Freitas, Hidde de Jong
article
BMC Bioinformatics, BioMed Central, 2009, 10 (1), pp.450. ⟨10.1186/1471-2105-10-450⟩
titre
Modeling Multiprocessor Cache Protocol Impact on MPI Performance
auteur
Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu
article
The 2009 IEEE International Workshop on Quantitative Evaluation of large-scale Systems and Technologies, May 2009, Bradford, United Kingdom
titre
Hierarchical Adaptive State Space Caching based on Level Sampling
auteur
Radu Mateescu, Anton Wijs
article
The 15th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Mar 2009, York, United Kingdom. pp.215-229, ⟨10.1007/978-3-642-00768-2_21⟩
titre
Partial Order Reductions using Compositional Confluence Detection
auteur
Frédéric Lang, Radu Mateescu
article
16th International Symposium on Formal Methods FM'2009, Nov 2009, Eindhoven, Netherlands
titre
Partial Order Reductions using Compositional Confluence Detection
auteur
Frederic Lang, Radu Mateescu
article
[Research Report] RR-7078, INRIA. 2009, pp.28
titre
Efficient On-the-Fly Computation of Weak Tau-Confluence
auteur
Radu Mateescu, Anton Wijs
article
[Research Report] RR-7000, INRIA. 2009, pp.42
titre
Extending SPARQL with Temporal Logic
auteur
Radu Mateescu, Sébastien Meriot, Sylvain Rampacek
article
2009
titre
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
auteur
Radu Mateescu, Sylvain Rampacek
article
International Journal of Simulation and Process Modelling, Inderscience, 2008, ⟨10.1504/IJSPM.2008.023680⟩
titre
De la cellule à la puce
auteur
Hidde de Jong, Delphine Ropers, Radu Mateescu, Johannes Geiselmann
article
Les Cahiers de l'INRIA - La Recherche, INRIA, 2008, 419, pp.I-II
titre
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks
auteur
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong
article
Bioinformatics, Oxford University Press (OUP), 2008, ECCB 2008 CONFERENCE PROCEEDINGS 22-26 SEPTEMBER 2008, CAGLIARI, ITALY, 24 (16), pp.i227-i233. ⟨10.1093/bioinformatics/btn275⟩
titre
Formal Modeling and Discrete-Time Analysis of BPEL Web Services
auteur
Radu Mateescu, Sylvain Rampacek
article
EOMAS 2008, Jun 2008, Montpellier, France. pp.179-193, ⟨10.1007/978-3-540-68644-6_13⟩
titre
A Model Checking Language for Concurrent Value-Passing Systems
auteur
Radu Mateescu, Damien Thivolle
article
FM 2008, May 2008, Turku, Finland. pp.148-164, ⟨10.1007/978-3-540-68237-0_12⟩
titre
Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques
auteur
Radu Mateescu, Pascal Poizat, Gwen Salaün
article
6th International Conference on Service Oriented Computing ICSOC'2008, Dec 2008, Sydney, Australia. pp.84-99, ⟨10.1007/978-3-540-89652-4_10⟩
titre
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks
auteur
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong
article
18th European Conference on Artificial Intelligence, Aug 2008, Patras, Greece
titre
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems
auteur
Radu Mateescu, Emilie Oudot
article
MEMOCODE'2008, Jun 2008, Anaheim, United States. ⟨10.1109/MEMCOD.2008.4547690⟩
titre
Specification and Analysis of Asynchronous Systems using CADP
auteur
Radu Mateescu
article
Stephan Merz and Nicolas Navet. Modeling and Verification of Real-Time Systems - Formalisms and Software Tools, ISTE publishing / John Wiley, 2008
titre
Computation Tree Regular Logic for genetic regulatory networks
auteur
Radu Mateescu, Pedro Tiago Monteiro, Estelle Dumas, Hidde de Jong
article
S. Cha and J.-Y. Choi and M. Kim and I. Lee and M. Viswanathan. Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis (ATVA'08), 5311, Springer-Verlag, pp.48-63, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-88387-6_6⟩
titre
Improved On-the-Fly Equivalence Checking using Boolean Equation Systems
auteur
Radu Mateescu, Emilie Oudot
article
[Research Report] RR-6777, INRIA. 2008, pp.31
titre
Temporal Logic Patterns for Querying Dynamic Models of Cellular Interaction Networks
auteur
Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong
article
[Research Report] RR-6470, INRIA. 2008
titre
Computation Tree Regular Logic for Genetic Regulatory Networks
auteur
Radu Mateescu, Pedro Monteiro, Estelle Dumas, Hidde de Jong
article
[Research Report] RR-6521, INRIA. 2008, pp.53
titre
Behavioral Adaptation of Component Compositions based on Process Algebra Encodings
auteur
Radu Mateescu, Pascal Poizat, Gwen Salaün
article
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 07), 2007, Atlanta, United States. pp.385--388, ⟨10.1145/1321631.1321690⟩
titre
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes
auteur
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
article
Computer Aided Verification (CAV'2007), Jul 2007, Berlin, Germany. pp.158-163
titre
Behavioral Adaptation of Component Compositions based on Process Algebra Encodings
auteur
Radu Mateescu, Pascal Poizat, Gwen Salaun
article
[Research Report] RR-6362, INRIA. 2007, pp.25
titre
π-AAL: An Architecture Analysis Language for Formally Specifying and Verifying Structural and Behavioural Properties of Software Architectures
auteur
Radu Mateescu, Flavio Oquendo
article
ACM SIGSOFT Software Engineering Notes, ACM, 2006, 31 (2), pp.1-19
titre
Distributed On-the-Fly Model Checking and Test Case Generation
auteur
Christophe Joubert, Radu Mateescu
article
[Research Report] RR-5880, INRIA. 2006
titre
Modélisation et analyse de systèmes asynchrones avec CADP
auteur
Radu Mateescu
article
[Rapport de recherche] RR-5953, INRIA. 2006, pp.31
titre
CAESAR_SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems
auteur
Radu Mateescu
article
[Research Report] RR-5948, INRIA. 2006, pp.38
titre
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
auteur
Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu
article
Nicolas Halbwachs and Leonore D. Zuck. TACAS 2005, Apr 2005, Edinburgh, United Kingdom. Springer, 3440, pp.581-585, 2005, Lecture Notes in Computer Science. 〈10.1007/978-3-540-31980-1_42〉
titre
Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus
auteur
Radu Mateescu, Mihaela Sighireanu
article
Science of Computer Programming, Elsevier, 2003, 46(3), pp.255-281
titre
Calculating tau-Confluence Compositionally
auteur
Gordon Pace, Frédéric Lang, Radu Mateescu
article
RR-4918, INRIA. 2003
titre
Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones
auteur
Radu Mateescu
article
RR-5032, INRIA. 2003
titre
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems
auteur
Radu Mateescu
article
RR-4711, INRIA. 2003
titre
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems
auteur
Radu Mateescu
article
RR-4430, INRIA. 2002
titre
Parallel State Space Construction for Model-Checking
auteur
Hubert Garavel, Radu Mateescu, Irina Smarandache
article
[Research Report] RR-4341, INRIA. 2001
titre
Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications
auteur
Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noël de Palma
article
[Research Report] RR-4222, INRIA. 2001
titre
An overview of CADP 2001
auteur
Hubert Garavel, Frédéric Lang, Radu Mateescu
article
[Research Report] RT-0254, INRIA. 2001, pp.15
titre
Efficient Diagnostic Generation for Boolean Equation Systems
auteur
Radu Mateescu
article
RR-3861, INRIA. 2000
titre
Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus
auteur
Radu Mateescu, Mihaela Sighireanu
article
[Research Report] RR-3899, INRIA. 2000
titre
Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (``FireWire''): an Experiment with E-LOTOS
auteur
Mihaela Sighireanu, Radu Mateescu
article
International Journal on Software Tools for Technology Transfer, Springer Verlag, 1998, 2(1), pp.68-88
titre
Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus («FireWire»): an Experiment with E-LOTOS
auteur
Mihaela Sighireanu, Radu Mateescu
article
[Research Report] RR-3172, INRIA. 1997