![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Radu Mateescu 0001
Person information
- affiliation: Inria Grenoble - Rhône-Alpes, France
- award (2023): ETAPS Test-of-Time Tool Award
- award (2021): Inria - Académie des Sciences - Dassault Systèmes Innovation Prize
Other persons with the same name
- Radu Mateescu 0002 — IBM Canada
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c71]Philippe Ledent, Radu Mateescu, Wendelin Serwe:
Testing Resource Isolation for System-on-Chip Architectures. MARS@ETAPS 2024: 129-168 - 2023
- [j24]Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe:
Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. J. Intell. Robotic Syst. 107(4): 59 (2023) - 2022
- [j23]Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün:
Models and analysis for user-driven reconfiguration of rule-based IoT applications. Internet Things 19: 100515 (2022) - [j22]Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün:
Design and Deployment of Expressive and Correct Web of Things Applications. ACM Trans. Internet Things 3(1): 1:1-1:30 (2022) - [c70]Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia
, Wendelin Serwe:
Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. DATE 2022: 532-537 - [c69]Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe:
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. MARS@ETAPS 2022: 60-117 - 2021
- [j21]Frédéric Lang, Radu Mateescu, Franco Mazzanti:
Compositional verification of concurrent systems by combining bisimulations. Formal Methods Syst. Des. 58(1-2): 83-125 (2021) - [c68]Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün:
R-MOZART: A Reconfiguration Tool for WebThings Applications. ICSE (Companion Volume) 2021: 41-44 - [c67]Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün:
Seamless Reconfiguration of Rule-based IoT Applications. SEAMS@ICSE 2021: 142-148 - [c66]Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe:
Is CADP an Applicable Formal Method? AppFM@FM 2021: 1-11 - 2020
- [c65]Lina Marsso, Radu Mateescu, Wendelin Serwe:
Automated Transition Coverage in Behavioural Conformance Testing. ICTSS 2020: 219-235 - [c64]Frédéric Lang, Radu Mateescu, Franco Mazzanti:
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. TACAS (2) 2020: 57-76 - [c63]Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün:
MOZART: Design and Deployment of Advanced IoT Applications. WWW (Companion Volume) 2020: 163-166 - [c62]Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin:
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks. MARS@ETAPS 2020: 200-239
2010 – 2019
- 2019
- [c61]Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn:
Hunting Superfluous Locks with Model Checking. From Software Engineering to Formal Methods and Tools, and Back 2019: 416-432 - [c60]Frédéric Lang, Radu Mateescu, Franco Mazzanti:
Compositional Verification of Concurrent Systems by Combining Bisimulations. FM 2019: 196-213 - [c59]Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün:
IoT composer: composition and deployment of IoT applications. ICSE (Companion Volume) 2019: 19-22 - [c58]Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün:
Rigorous design and deployment of IoT applications. FormaliSE@ICSE 2019: 21-30 - [c57]Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe:
Asynchronous Testing of Synchronous Components in GALS Systems. IFM 2019: 360-378 - [c56]Philippe Ledent, Anshul Paigwar, Alessandro Renzaglia, Radu Mateescu, Christian Laugier:
Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving. CIS/RAM 2019: 433-438 - 2018
- [j20]Radu Mateescu:
Recent advances in interactive and automated analysis. Int. J. Softw. Tools Technol. Transf. 20(2): 119-123 (2018) - [j19]Radu Mateescu, José Ignacio Requeno
:
On-the-fly model checking for extended action-based probabilistic operators. Int. J. Softw. Tools Technol. Transf. 20(5): 563-587 (2018) - [c55]Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu, Wendelin Serwe:
Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits. ASYNC 2018: 34-42 - [c54]Hubert Garavel, Radu Mateescu:
Reflections on Bernhard Steffen's Physics of Software Tools. Models, Mindsets, Meta 2018: 186-207 - [c53]Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa:
Using LNT Formal Descriptions for Model-Based Diagnosis. DX 2018 - [c52]Lina Marsso, Radu Mateescu, Wendelin Serwe:
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. TACAS (2) 2018: 211-228 - [c51]Josip Bozic
, Lina Marsso, Radu Mateescu, Franz Wotawa
:
A Formal TLS Handshake Model in LNT. MARS/VPT@ETAPS 2018: 1-40 - 2017
- [c50]Paula Lago
, Frédéric Lang, Claudia Roncancio
, Claudia Jiménez-Guarín, Radu Mateescu, Nicolas Bonnefond:
The ContextAct@A4H Real-Life Dataset of Daily-Living Activities - Activity Recognition Using Model Checking. CONTEXT 2017: 175-188 - 2016
- [j18]Dimitris Vekris, Frédéric Lang, Catalin Dima
, Radu Mateescu:
Verification of EB3 specifications using CADP. Formal Aspects Comput. 28(1): 145-178 (2016) - [j17]Fatma Jebali, Frédéric Lang, Radu Mateescu:
Formal modelling and verification of GALS systems using GRL and CADP. Formal Aspects Comput. 28(5): 767-804 (2016) - [c49]Radu Mateescu, José Ignacio Requeno
:
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators. SPIN 2016: 189-207 - 2015
- [j16]Hubert Garavel, Frédéric Lang, Radu Mateescu:
Compositional verification of asynchronous concurrent systems using CADP. Acta Informatica 52(4-5): 337-392 (2015) - 2014
- [j15]Radu Mateescu, Anton Wijs
:
Property-dependent reductions adequate with divergence-sensitive branching bisimilarity. Sci. Comput. Program. 96: 354-376 (2014) - [c48]Radu Mateescu, Gwen Salaün, Lina Ye:
Quantifying the parallelism in BPMN processes using model checking. CBSE 2014: 159-168 - [c47]Fatma Jebali, Frédéric Lang, Radu Mateescu:
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. ICFEM 2014: 219-234 - 2013
- [j14]Nuno D. Mendes
, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya
:
Composition and abstraction of logical regulatory modules: application to multicellular systems. Bioinform. 29(6): 749-757 (2013) - [j13]Frédéric Lang, Radu Mateescu:
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems. Log. Methods Comput. Sci. 9(4) (2013) - [j12]Radu Mateescu, Wendelin Serwe:
Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols. Sci. Comput. Program. 78(7): 843-861 (2013) - [j11]Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe:
CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. 15(2): 89-107 (2013) - [c46]Dimitris Vekris, Frédéric Lang, Catalin Dima
, Radu Mateescu:
Verification of EB3 Specifications Using CADP. IFM 2013: 61-76 - [c45]Radu Mateescu, Gwen Salaün:
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. TACAS 2013: 192-198 - 2012
- [j10]Radu Mateescu, Anton Wijs
:
Sequential and distributed on-the-fly computation of weak tau-confluence. Sci. Comput. Program. 77(10-11): 1075-1094 (2012) - [j9]Radu Mateescu, Pascal Poizat
, Gwen Salaün:
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. IEEE Trans. Software Eng. 38(4): 755-777 (2012) - [c44]Frédéric Lang, Radu Mateescu:
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems. TACAS 2012: 141-156 - [c43]Hubert Garavel, Radu Mateescu, Wendelin Serwe:
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. PASM/PDMC 2012: 145-161 - 2011
- [j8]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. Theor. Comput. Sci. 412(26): 2854-2883 (2011) - [c42]Radu Mateescu, Anton Wijs
:
Property-Dependent Reductions for the Modal Mu-Calculus. SPIN 2011: 2-19 - [c41]Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe:
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. TACAS 2011: 372-387 - 2010
- [c40]Pedro T. Monteiro
, Ana T. Freitas
, Delphine Ropers
, Radu Mateescu, Hidde de Jong
:
Modeling and formal verification of biological regulatory networks: An integrative approach. BIBM Workshops 2010: 812-813 - [c39]Radu Mateescu, Wendelin Serwe:
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. FMICS 2010: 180-197 - [c38]Radu Mateescu, Gwen Salaün:
Translating Pi-Calculus into LOTOS NT. IFM 2010: 229-244 - [c37]Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe:
Ten Years of Performance Evaluation for Concurrent Systems Using CADP. ISoLA (2) 2010: 128-142
2000 – 2009
- 2009
- [j7]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 Bioinform. 10: 450 (2009) - [c36]Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu:
Modeling Multiprocessor Cache Protocol Impact on MPI Performance. AINA Workshops 2009: 1073-1078 - [c35]Frédéric Lang, Radu Mateescu:
Partial Order Reductions Using Compositional Confluence Detection. FM 2009: 157-172 - [c34]Radu Mateescu, Anton Wijs
:
Hierarchical Adaptive State Space Caching Based on Level Sampling. TACAS 2009: 215-229 - 2008
- [j6]Radu Mateescu, Sylvain Rampacek:
Formal modelling and discrete-time analysis of BPEL web services. Int. J. Simul. Process. Model. 4(3/4): 183-194 (2008) - [c33]Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong:
Computation Tree Regular Logic for Genetic Regulatory Networks. ATVA 2008: 48-63 - [c32]Radu Mateescu, Sylvain Rampacek:
Formal Modeling and Discrete-Time Analysis of BPEL Web Services. CIAO! / EOMAS 2008: 179-193 - [c31]Pedro 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 - [c30]Pedro 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 - [c29]Radu Mateescu, Damien Thivolle:
A Model Checking Language for Concurrent Value-Passing Systems. FM 2008: 148-164 - [c28]Radu Mateescu, Pascal Poizat, Gwen Salaün:
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC 2008: 84-99 - [c27]Radu Mateescu, Emilie Oudot:
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. MEMOCODE 2008: 73-74 - [c26]Radu Mateescu, Emilie Oudot:
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. SPIN 2008: 196-213 - 2007
- [c25]Hubert 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 - [c24]Radu Mateescu, Pascal Poizat
, Gwen Salaün:
Behavioral adaptation of component compositions based on process algebra encodings. ASE 2007: 385-388 - 2006
- [j5]Radu Mateescu, Flávio Oquendo:
pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. ACM SIGSOFT Softw. Eng. Notes 31(2): 1-19 (2006) - [j4]Radu Mateescu:
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems. Int. J. Softw. Tools Technol. Transf. 8(1): 37-56 (2006) - [c23]Christophe Joubert
, Radu Mateescu:
Distributed On-the-Fly Model Checking and Test Case Generation. SPIN 2006: 126-145 - [c22]Hubert 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 - 2005
- [c21]Radu Mateescu:
On-the-fly state space reductions for weak equivalences. FMICS 2005: 80-89 - [c20]Gré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 - [c19]Gré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 - [c18]Christophe Joubert
, Radu Mateescu:
Distributed Local Resolution of Boolean Equation Systems. PDP 2005: 264-271 - [c17]Damien Bergamini, Nicolas Descoubes, Christophe Joubert
, Radu Mateescu:
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. TACAS 2005: 581-585 - 2004
- [c16]Radu Mateescu:
Model Checking for Software Architectures. EWSA 2004: 219-224 - [c15]Hubert Garavel, Radu Mateescu:
SEQ.OPEN: A Tool for Efficient Trace-Based Verification. SPIN 2004: 151-157 - [c14]Grégory Batt, Damien Bergamini, Hidde de Jong
, Hubert Garavel, Radu Mateescu:
Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN 2004: 158-163 - [c13]Radu Mateescu:
A Generic Framework for Model Checking Software Architectures. VVEIS 2004: 1 - [c12]Christophe Joubert
, Radu Mateescu:
Distributed On-the-Fly Equivalence Checking. PDMC 2004: 47-62 - 2003
- [j3]Radu Mateescu, Mihaela Sighireanu:
Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program. 46(3): 255-281 (2003) - [j2]Radu Mateescu:
Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones. Tech. Sci. Informatiques 22(4): 461-495 (2003) - [c11]Gordon J. Pace, Frédéric Lang, Radu Mateescu:
Calculating-Confluence Compositionally. CAV 2003: 446-459 - [c10]Radu Mateescu:
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. TACAS 2003: 81-96 - [c9]Radu Mateescu:
On-the-Fly Verification using CADP. FMICS 2003: 279-283 - 2002
- [c8]Hubert Garavel, Frédéric Lang, Radu Mateescu:
Compiler Construction Using LOTOS NT. CC 2002: 9-13 - [c7]Radu Mateescu:
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. TACAS 2002: 281-295 - 2001
- [c6]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-242 - [c5]Hubert Garavel, Radu Mateescu, Irina M. Smarandache:
Parallel State Space Construction for Model-Checking. SPIN 2001: 217-234 - 2000
- [c4]Radu Mateescu:
Efficient Diagnostic Generation for Boolean Equation Systems. TACAS 2000: 251-265
1990 – 1999
- 1999
- [c3]Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen:
Model Checking for Managers. SPIN 1999: 92-107 - 1998
- [b1]Radu Mateescu:
Vérification des propriétés temporelles des programmes parallèles. (Verification of temporal properties of parallel programs). Grenoble Institute of Technology, France, 1998 - [j1]Mihaela Sighireanu, Radu Mateescu:
Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. Int. J. Softw. Tools Technol. Transf. 2(1): 68-88 (1998) - [c2]Jan Friso Groote
, Radu Mateescu:
Verification of Temporal Properties of Processes in a Setting with Data. AMAST 1998: 74-90 - 1996
- [c1]Jean-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
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint