Radu Mateescu

Publication Activity (10 Years)

Years Active: 1996-2023
Publications (10 Years): 31

Top Venues

Int. J. Softw. Tools Technol. Transf.

MARS@ETAPS

ICSE (Companion Volume)

IFM

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

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) (2023)
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)
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 (2022)
Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe
Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. MARS@ETAPS (2022)
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) (2022)
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)
Frédéric Lang, Radu Mateescu, Franco Mazzanti
Compositional verification of concurrent systems by combining bisimulations. Formal Methods Syst. Des. 58 (1-2) (2021)
Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
Seamless Reconfiguration of Rule-based IoT Applications. SEAMS@ICSE (2021)
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
Is CADP an Applicable Formal Method? AppFM@FM (2021)
Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks. MARS@ETAPS (2020)
Frédéric Lang, Radu Mateescu, Franco Mazzanti
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. TACAS (2) (2020)
Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün
MOZART: Design and Deployment of Advanced IoT Applications. WWW (Companion Volume) (2020)
Lina Marsso, Radu Mateescu, Wendelin Serwe
Automated Transition Coverage in Behavioural Conformance Testing. ICTSS (2020)
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)
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
Rigorous design and deployment of IoT applications. FormaliSE@ICSE (2019)
Frédéric Lang, Radu Mateescu, Franco Mazzanti
Compositional Verification of Concurrent Systems by Combining Bisimulations. FM (2019)
Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
IoT composer: composition and deployment of IoT applications. ICSE (Companion Volume) (2019)
Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe
Asynchronous Testing of Synchronous Components in GALS Systems. IFM (2019)
Philippe Ledent, Anshul Paigwar, Alessandro Renzaglia, Radu Mateescu, Christian Laugier
Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving. CIS/RAM (2019)
Lina Marsso, Radu Mateescu, Wendelin Serwe
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. TACAS (2) (2018)
Radu Mateescu
Recent advances in interactive and automated analysis. Int. J. Softw. Tools Technol. Transf. 20 (2) (2018)
Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa
A Formal TLS Handshake Model in LNT. MARS/VPT@ETAPS (2018)
Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu, Wendelin Serwe
Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits. ASYNC (2018)
Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa
Using LNT Formal Descriptions for Model-Based Diagnosis. DX (2018)
Radu Mateescu, José Ignacio Requeno
On-the-fly model checking for extended action-based probabilistic operators. Int. J. Softw. Tools Technol. Transf. 20 (5) (2018)
Hubert Garavel, Radu Mateescu
Reflections on Bernhard Steffen's Physics of Software Tools. Models, Mindsets, Meta (2018)
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)
Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
specifications using CADP. Formal Aspects Comput. 28 (1) (2016)
Radu Mateescu, José Ignacio Requeno
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators. SPIN (2016)
Fatma Jebali, Frédéric Lang, Radu Mateescu
Formal modelling and verification of GALS systems using GRL and CADP. Formal Aspects Comput. 28 (5) (2016)
Hubert Garavel, Frédéric Lang, Radu Mateescu
Compositional verification of asynchronous concurrent systems using CADP. Acta Informatica 52 (4-5) (2015)
Radu Mateescu, Gwen Salaün, Lina Ye
Quantifying the parallelism in BPMN processes using model checking. CBSE (2014)
Radu Mateescu, Anton Wijs
Property-dependent reductions adequate with divergence-sensitive branching bisimilarity. Sci. Comput. Program. 96 (2014)
Fatma Jebali, Frédéric Lang, Radu Mateescu
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. ICFEM (2014)
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) (2013)
Hubert Garavel, Radu Mateescu, Wendelin Serwe
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. Electron. Notes Theor. Comput. Sci. 296 (2013)
Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
Specifications Using CADP. IFM (2013)
Radu Mateescu, Gwen Salaün
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. TACAS (2013)
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)
Radu Mateescu, Wendelin Serwe
Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols. Sci. Comput. Program. 78 (7) (2013)
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) (2013)
Radu Mateescu, Anton Wijs
Sequential and distributed on-the-fly computation of weak tau-confluence. Sci. Comput. Program. 77 (10-11) (2012)
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) (2012)
Frédéric Lang, Radu Mateescu
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems. TACAS (2012)
Radu Mateescu, Anton Wijs
Property-Dependent Reductions for the Modal Mu-Calculus. SPIN (2011)
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) (2011)
Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. TACAS (2011)
Radu Mateescu, Wendelin Serwe
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. FMICS (2010)
Radu Mateescu, Gwen Salaün
Translating Pi-Calculus into LOTOS NT. IFM (2010)
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)
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)
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 (2009)
Frédéric Lang, Radu Mateescu
Partial Order Reductions Using Compositional Confluence Detection. FM (2009)
Radu Mateescu, Anton Wijs
Hierarchical Adaptive State Space Caching Based on Level Sampling. TACAS (2009)
Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu
Modeling Multiprocessor Cache Protocol Impact on MPI Performance. AINA Workshops (2009)
Radu Mateescu, Sylvain Rampacek
Formal Modeling and Discrete-Time Analysis of BPEL Web Services. CIAO! / EOMAS (2008)
Radu Mateescu, Sylvain Rampacek
Formal modelling and discrete-time analysis of BPEL web services. Int. J. Simul. Process. Model. 4 (3/4) (2008)
Radu Mateescu, Emilie Oudot
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. MEMOCODE (2008)
Radu Mateescu, Pascal Poizat, Gwen Salaün
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC (2008)
Radu Mateescu, Emilie Oudot
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. SPIN (2008)
Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
Computation Tree Regular Logic for Genetic Regulatory Networks. ATVA (2008)
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)
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)
Radu Mateescu, Damien Thivolle
A Model Checking Language for Concurrent Value-Passing Systems. FM (2008)
Radu Mateescu, Pascal Poizat, Gwen Salaün
Behavioral adaptation of component compositions based on process algebra encodings. ASE (2007)
Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. CAV (2007)
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) (2006)
Christophe Joubert, Radu Mateescu
Distributed On-the-Fly Model Checking and Test Case Generation. SPIN (2006)
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)
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) (2006)
Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. TACAS (2005)
Christophe Joubert, Radu Mateescu
Distributed Local Resolution of Boolean Equation Systems. PDP (2005)
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)
Radu Mateescu
On-the-fly state space reductions for weak equivalences. FMICS (2005)
Christophe Joubert, Radu Mateescu
Distributed On-the-Fly Equivalence Checking. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider
. ISMB (Supplement of Bioinformatics) (2005)
Radu Mateescu
A Generic Framework for Model Checking Software Architectures. VVEIS (2004)
Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu
Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN (2004)
Hubert Garavel, Radu Mateescu
SEQ.OPEN: A Tool for Efficient Trace-Based Verification. SPIN (2004)
Radu Mateescu
Model Checking for Software Architectures. EWSA (2004)
Radu Mateescu
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. TACAS (2003)
Radu Mateescu
Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones. Tech. Sci. Informatiques 22 (4) (2003)
Radu Mateescu
On-the-Fly Verification using CADP. Electron. Notes Theor. Comput. Sci. 80 (2003)
Gordon J. Pace, Frédéric Lang, Radu Mateescu
Calculating-Confluence Compositionally. CAV (2003)
Radu Mateescu, Mihaela Sighireanu
Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program. 46 (3) (2003)
Radu Mateescu
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. TACAS (2002)
Hubert Garavel, Frédéric Lang, Radu Mateescu
Compiler Construction Using LOTOS NT. CC (2002)
Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma
Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. DAIS (2001)
Hubert Garavel, Radu Mateescu, Irina M. Smarandache
Parallel State Space Construction for Model-Checking. SPIN (2001)
Radu Mateescu
Efficient Diagnostic Generation for Boolean Equation Systems. TACAS (2000)
Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen
Model Checking for Managers. SPIN (1999)
Jan Friso Groote, Radu Mateescu
Verification of Temporal Properties of Processes in a Setting with Data. AMAST (1998)
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) (1998)
Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu
CADP - A Protocol Validation and Verification Toolbox. CAV (1996)

Radu Mateescu.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Radu Mateescu