Publications HAL de Radu,MATEESCU de la collection LIG

Résultats de la recherche --> Url version détaillée , Url version formatée
Critères : Author : "Radu,MATEESCU", Collection(s) : "LIG"
Nombre d'occurrences trouvées : 98.

titre: Models and analysis for user-driven reconfiguration of rule-based IoT applications
auteur: Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
article: Internet of Things, 2022, 19, pp.100515. ⟨10.1016/j.iot.2022.100515⟩

titre: Design and Deployment of Expressive and Correct Web of Things Applications
auteur: Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
article: ACM Transactions on Internet of Things, 2022, 3, pp.1 - 30. ⟨10.1145/3475964⟩

titre: Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing
auteur: Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe
article: Mars 2022 - 5th Workshop on Models for Formal Analysis of Real Systems, Apr 2022, Munich, Germany. pp.60-117, ⟨10.4204/EPTCS.355.5⟩

titre: Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles
auteur: Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
article: DATE/ASD 2022 - Design, Automation and Test in Europe - Autonomous Systems Design, Mar 2022, Antwerp, Belgium. pp.532-537, ⟨10.23919/DATE54114.2022.9774581⟩

titre: Compositional Verification of Concurrent Systems by Combining Bisimulations
auteur: Frederic Lang, Radu Mateescu, Franco Mazzanti
article: Formal Methods in System Design, 2021, ⟨10.1007/s10703-021-00360-w⟩

titre: Is CADP an Applicable Formal Method?
auteur: Hubert Garavel, Frederic Lang, Radu Mateescu, Wendelin Serwe
article: AppFM 2021 - 1st International Workshop on Applicable Formal Methods, Nov 2021, Bejing, China. ⟨10.48550/arXiv.2111.08203⟩

titre: R-MOZART: A Reconfiguration Tool for WebThings Applications
auteur: Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
article: 2021 IEEE/ACM 43rd International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), May 2021, Madrid / Virtual, Spain. pp.41-44, ⟨10.1109/ICSE-Companion52605.2021.00031⟩

titre: Seamless Reconfiguration of Rule-Based IoT Applications
auteur: Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
article: SEAMS 2021 - 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2021, Madrid / Virtual, Spain. pp.142-148

titre: Automated Transition Coverage in Behavioural Conformance Testing
auteur: Lina Marsso, Radu Mateescu, Wendelin Serwe
article: ICTSS 2020 - 32nd IFIP International Conference on Testing Software and Systems, Dec 2020, Napoli, Italy. pp.219-235, ⟨10.1007/978-3-030-64881-7_14⟩

titre: Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities
auteur: Frédéric Lang, Radu Mateescu, Franco Mazzanti
article: TACAS 2020 - Tools and Algorithms for the Construction and Analysis of Systems, Apr 2020, Dublin, Ireland. pp.57-76, ⟨10.1007/978-3-030-45237-7_4⟩

titre: MOZART: Design and Deployment of Advanced IoT Applications
auteur: Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün
article: WWW 2020 - International World Wide Web Conference, Apr 2020, Taipei, Taiwan. pp.1-4, ⟨10.1145/3366424.3383532⟩

titre: Using Model Checking to Identify Timing Interferences on Multicore Processors
auteur: Viet Anh Nguyen, Eric Jenn, Wendelin Serwe, Frederic Lang, Radu Mateescu
article: ERTS 2020 - 10th European Congress on Embedded Real Time Software and Systems, Jan 2020, Toulouse, France. pp.1-10

titre: Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks
auteur: Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin
article: MARS 2020 - 4th Workshop on Models for Formal Analysis of Real Systems, 2020, Dublin, Ireland. pp.200-239, ⟨10.4204/EPTCS.316.8⟩

titre: Asynchronous Testing of Synchronous Components in GALS Systems
auteur: Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe
article: IFM'2019 - 15th International Conference on Integrated Formal Methods, Dec 2019, Bergen, Norway. pp.360-378, ⟨10.1007/978-3-030-34968-4_20⟩

titre: Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving
auteur: Philippe Ledent, Anshul Paigwar, Alessandro Renzaglia, Radu Mateescu, Christian Laugier
article: CIS-RAM 2019 - 9th IEEE International Conference on Cybernetics and Intelligent Systems (CIS) Robotics, Automation and Mechatronics (RAM), Nov 2019, Bangkok, Thailand. pp.1-6

titre: Compositional Verification of Concurrent Systems by Combining Bisimulations
auteur: Frédéric Lang, Radu Mateescu, Franco Mazzanti
article: FM 2019 - 23rd International Conference on Formal Methods, Oct 2019, Porto, Portugal. pp.196-213, ⟨10.1007/978-3-030-30942-8_13⟩

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: 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: Hunting Superfluous Locks with Model Checking
auteur: Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn
article: From Software Engineering to Formal Methods and Tools, and Back, 11865, Springer Verlag, pp.416-432, 2019, Lecture Notes in Computer Science, ⟨10.1007/978-3-030-30985-5_24⟩

titre: Reflections on Bernhard Steffen’s Physics of Software Tools
auteur: Hubert Garavel, Radu Mateescu
article: Models, Mindsets, Meta: The What, the How, and the Why Not?, Springer Verlag, pp.186-207, 2019, ⟨10.1007/978-3-030-22348-9_12⟩

titre: On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators
auteur: Radu Mateescu, José Ignacio Requeno
article: International Journal on Software Tools for Technology Transfer, 2018, 20 (5), pp.563-587. ⟨10.1007/s10009-018-0499-0⟩

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: 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: 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: 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: 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: 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, 2016, 28 (5), pp.767-804. ⟨10.1007/s00165-016-0373-3⟩

titre: Verification of EB3 specifications using CADP
auteur: Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
article: Formal Aspects of Computing, 2016, 28 (1), pp.145-178. ⟨10.1007/s00165-016-0362-6⟩

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, 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, 2014, ⟨10.1016/j.scico.2014.04.004⟩

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: 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: 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: 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: Partial Model Checking using Networks of Labelled Transition Systems and Boolean Equation Systems
auteur: Frederic Lang, Radu Mateescu
article: Logical Methods in Computer Science, 2013, 9 (4)

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, 2013, 29 (6), pp.749-757. ⟨10.1093/bioinformatics/btt033⟩

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, 2013, 15 (2), pp.89-107. ⟨10.1007/s10009-012-0244-z⟩

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: 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: 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: Model Checking and Performance Evaluation with CADP Illustrated on Shared-Memory Mutual Exclusion Protocols
auteur: Radu Mateescu, Wendelin Serwe
article: Science of Computer Programming, 2012, 78 (7), pp.843-861. ⟨10.1016/j.scico.2012.01.003⟩

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, 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, 2012, 77 (10-11), pp.1075-1094. ⟨10.1016/j.scico.2011.07.004⟩

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: Tools and Algorithms for the Construction and Analysis of Systems, Mar 2012, Tallinn, Estonia

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: 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: 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, 2011, Foundations of Formal Reconstruction of Biochemical Networks, 412 (26), pp.2854-2883. ⟨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: 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: 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 {FMICS}'2010, Sep 2010, Antwerp, Belgium

titre: Modeling and formal verification of biological regulatory networks: an integrative approach
auteur: Pedro T. Monteiro, Ana T. Freitas, Delphine Ropers, Radu Mateescu, Hidde De 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, 2009, 10 (1), pp.450. ⟨10.1186/1471-2105-10-450⟩

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: 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: Efficient On-the-Fly Computation of Weak Tau-Confluence
auteur: Radu Mateescu, Anton Wijs
article: [Research Report] RR-7000, INRIA. 2009, pp.42

titre: Partial Order Reductions using Compositional Confluence Detection
auteur: Frederic Lang, Radu Mateescu
article: [Research Report] RR-7078, INRIA. 2009, pp.28

titre: Extending SPARQL with Temporal Logic
auteur: Radu Mateescu, Sébastien Meriot, Sylvain Rampacek
article: 2009

titre: De la cellule à la puce
auteur: Hidde de Jong, Delphine Ropers, Radu Mateescu, Johannes Geiselmann
article: Les Cahiers de l'INRIA - La Recherche, 2008, 419, pp.I-II

titre: Formal Modeling and Discrete-Time Analysis of BPEL Web Services
auteur: Radu Mateescu, Sylvain Rampacek
article: International Journal of Simulation and Process Modelling, 2008, ⟨10.1504/IJSPM.2008.023680⟩

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, 2008, ECCB 2008 CONFERENCE PROCEEDINGS 22-26 SEPTEMBER 2008, CAGLIARI, ITALY, 24 (16), pp.i227-i233. ⟨10.1093/bioinformatics/btn275⟩

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: 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: 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: 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: 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: 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: 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: 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: 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: 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 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: 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: Software Engineering Notes, 2006, 31 (2), pp.1-19

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: Distributed On-the-Fly Model Checking and Test Case Generation
auteur: Christophe Joubert, Radu Mateescu
article: [Research Report] RR-5880, INRIA. 2006

titre: BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking
auteur: Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu
article: TACAS 2005, Apr 2005, Edinburgh, United Kingdom. pp.581-585, ⟨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, 2003, 46(3), pp.255-281. ⟨10.1016/s0167-6423(02)00094-1⟩

titre: Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones
auteur: Radu Mateescu
article: RR-5032, INRIA. 2003

titre: Calculating tau-Confluence Compositionally
auteur: Gordon Pace, Frédéric Lang, Radu Mateescu
article: RR-4918, 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: An overview of CADP 2001
auteur: Hubert Garavel, Frédéric Lang, Radu Mateescu
article: [Research Report] RT-0254, INRIA. 2001, pp.15

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: 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, 1998, 2(1), pp.68-88. ⟨10.1007/s100090050018⟩

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