Radu Mateescu - RankMe

99 papers A* 5A 12B 8C 12Journal 24Unranked 37

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Assessing Test Scenarios for Autonomous Driving Using Probabilistic Model Checking. ICTSS Jean-Baptiste Horel, Philippe Ledent, Radu Mateescu, Wendelin Serwe, Aline Uwimbabazi
2025	C	`conf`	Formal Methods for Residual Risk Reduction in Cyber-Physical Systems. QRS David Kaufmann, Radu Mateescu, Lucie Muller, Wendelin Serwe, Franz Wotawa
2024	C	`conf`	Improving PSS Test Generation Using Model Checking and Conformance Testing. FDL Philippe Ledent, Radu Mateescu, Wendelin Serwe
2024	—	`conf`	Testing Resource Isolation for System-on-Chip Architectures. MARS Philippe Ledent, Radu Mateescu, Wendelin Serwe
2023	J	`jnl`	Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model. J. Intell. Robotic Syst. Jean-Baptiste Horel, Philippe Ledent, Lina Marsso, Lucie Muller, Christian Laugier, Radu Mateescu, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
2022	J	`jnl`	Design and Deployment of Expressive and Correct Web of Things Applications. ACM Trans. Internet Things Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2022	—	`conf`	Formally Modeling Autonomous Vehicles in LNT for Simulation and Testing. MARS Lina Marsso, Radu Mateescu, Lucie Muller, Wendelin Serwe
2022	J	`jnl`	Models and analysis for user-driven reconfiguration of rule-based IoT applications. Internet Things Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2022	A	`conf`	Using Formal Conformance Testing to Generate Scenarios for Autonomous Vehicles. DATE Jean-Baptiste Horel, Christian Laugier, Lina Marsso, Radu Mateescu, Lucie Muller, Anshul Paigwar, Alessandro Renzaglia, Wendelin Serwe
2021	J	`jnl`	Compositional verification of concurrent systems by combining bisimulations. Formal Methods Syst. Des. Frédéric Lang, Radu Mateescu, Franco Mazzanti
2021	—	`conf`	Is CADP an Applicable Formal Method? AppFM@FM Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2021	—	`conf`	R-MOZART: A Reconfiguration Tool for WebThings Applications. ICSE (Companion Volume) Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2021	—	`conf`	Seamless Reconfiguration of Rule-based IoT Applications. SEAMS@ICSE Francisco Durán, Ajay Krishna, Michel Le Pallec, Radu Mateescu, Gwen Salaün
2020	C	`conf`	Automated Transition Coverage in Behavioural Conformance Testing. ICTSS Lina Marsso, Radu Mateescu, Wendelin Serwe
2020	—	`conf`	MOZART: Design and Deployment of Advanced IoT Applications. WWW (Companion Volume) Ajay Krishna, Michel Le Pallec, Alejandro Martinez, Radu Mateescu, Gwen Salaün
2020	—	`conf`	Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks. MARS Radu Mateescu, Wendelin Serwe, Aymane Bouzafour, Marc Renaudin
2020	—	`conf`	Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities. TACAS (2) Frédéric Lang, Radu Mateescu, Franco Mazzanti
2019	B	`conf`	Asynchronous Testing of Synchronous Components in GALS Systems. IFM Lina Marsso, Radu Mateescu, Ioannis Parissis, Wendelin Serwe
2019	B	`conf`	Compositional Verification of Concurrent Systems by Combining Bisimulations. FM Frédéric Lang, Radu Mateescu, Franco Mazzanti
2019	—	`conf`	Formal Validation of Probabilistic Collision Risk Estimation for Autonomous Driving. CIS/RAM Philippe Ledent, Anshul Paigwar, Alessandro Renzaglia, Radu Mateescu, Christian Laugier
2019	—	`conf`	Hunting Superfluous Locks with Model Checking. From Software Engineering to Formal Methods and Tools, and Back Viet-Anh Nguyen, Wendelin Serwe, Radu Mateescu, Eric Jenn
2019	—	`conf`	IoT composer: composition and deployment of IoT applications. ICSE (Companion Volume) Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
2019	—	`conf`	Rigorous design and deployment of IoT applications. FormaliSE@ICSE Ajay Krishna, Michel Le Pallec, Radu Mateescu, Ludovic Noirie, Gwen Salaün
2018	—	`conf`	A Formal TLS Handshake Model in LNT. MARS/VPT Josip Bozic, Lina Marsso, Radu Mateescu, Franz Wotawa
2018	—	`conf`	Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits. ASYNC Aymane Bouzafour, Marc Renaudin, Hubert Garavel, Radu Mateescu, Wendelin Serwe
2018	J	`jnl`	On-the-fly model checking for extended action-based probabilistic operators. Int. J. Softw. Tools Technol. Transf. Radu Mateescu, José Ignacio Requeno
2018	J	`jnl`	Recent advances in interactive and automated analysis. Int. J. Softw. Tools Technol. Transf. Radu Mateescu
2018	—	`conf`	Reflections on Bernhard Steffen's Physics of Software Tools. Models, Mindsets, Meta Hubert Garavel, Radu Mateescu
2018	—	`conf`	TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation. TACAS (2) Lina Marsso, Radu Mateescu, Wendelin Serwe
2018	—	`conf`	Using LNT Formal Descriptions for Model-Based Diagnosis. DX Birgit Hofer, Radu Mateescu, Wendelin Serwe, Franz Wotawa
2017	—	`conf`	The ContextAct@A4H Real-Life Dataset of Daily-Living Activities - Activity Recognition Using Model Checking. CONTEXT Paula Lago, Frédéric Lang, Claudia Roncancio, Claudia Jiménez-Guarín, Radu Mateescu, Nicolas Bonnefond
2016	J	`jnl`	Formal modelling and verification of GALS systems using GRL and CADP. Formal Aspects Comput. Fatma Jebali, Frédéric Lang, Radu Mateescu
2016	—	`conf`	On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators. SPIN Radu Mateescu, José Ignacio Requeno
2016	J	`jnl`	Verification of EB Formal Aspects Comput. Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
2015	J	`jnl`	Compositional verification of asynchronous concurrent systems using CADP. Acta Informatica Hubert Garavel, Frédéric Lang, Radu Mateescu
2014	C	`conf`	GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems. ICFEM Fatma Jebali, Frédéric Lang, Radu Mateescu
2014	J	`jnl`	Property-dependent reductions adequate with divergence-sensitive branching bisimilarity. Sci. Comput. Program. Radu Mateescu, Anton Wijs
2014	—	`conf`	Quantifying the parallelism in BPMN processes using model checking. CBSE Radu Mateescu, Gwen Salaün, Lina Ye
2013	J	`jnl`	CADP 2011: a toolbox for the construction and analysis of distributed processes. Int. J. Softw. Tools Technol. Transf. Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2013	J	`jnl`	Composition and abstraction of logical regulatory modules: application to multicellular systems. Bioinform. Nuno D. Mendes, Frédéric Lang, Yves-Stan Le Cornec, Radu Mateescu, Grégory Batt, Claudine Chaouiya
2013	J	`jnl`	Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols. Sci. Comput. Program. Radu Mateescu, Wendelin Serwe
2013	A	`conf`	PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus. TACAS Radu Mateescu, Gwen Salaün
2013	J	`jnl`	Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems. Log. Methods Comput. Sci. Frédéric Lang, Radu Mateescu
2013	B	`conf`	Verification of EB IFM Dimitris Vekris, Frédéric Lang, Catalin Dima, Radu Mateescu
2012	J	`jnl`	Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. IEEE Trans. Software Eng. Radu Mateescu, Pascal Poizat, Gwen Salaün
2012	—	`conf`	Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids. PASM/PDMC Hubert Garavel, Radu Mateescu, Wendelin Serwe
2012	A	`conf`	Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems. TACAS Frédéric Lang, Radu Mateescu
2012	J	`jnl`	Sequential and distributed on-the-fly computation of weak tau-confluence. Sci. Comput. Program. Radu Mateescu, Anton Wijs
2011	A	`conf`	CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes. TACAS Hubert Garavel, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2011	J	`jnl`	CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks. Theor. Comput. Sci. Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
2011	—	`conf`	Property-Dependent Reductions for the Modal Mu-Calculus. SPIN Radu Mateescu, Anton Wijs
2010	C	`conf`	A Study of Shared-Memory Mutual Exclusion Protocols Using CADP. FMICS Radu Mateescu, Wendelin Serwe
2010	—	`conf`	Modeling and formal verification of biological regulatory networks: An integrative approach. BIBM Workshops Pedro T. Monteiro, Ana T. Freitas, Delphine Ropers, Radu Mateescu, Hidde de Jong
2010	—	`conf`	Ten Years of Performance Evaluation for Concurrent Systems Using CADP. ISoLA (2) Nicolas Coste, Hubert Garavel, Holger Hermanns, Frédéric Lang, Radu Mateescu, Wendelin Serwe
2010	B	`conf`	Translating Pi-Calculus into LOTOS NT. IFM Radu Mateescu, Gwen Salaün
2009	J	`jnl`	A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks. BMC Bioinform. Pedro T. Monteiro, Estelle Dumas, Bruno Besson, Radu Mateescu, Michel Page, Ana T. Freitas, Hidde de Jong
2009	A	`conf`	Hierarchical Adaptive State Space Caching Based on Level Sampling. TACAS Radu Mateescu, Anton Wijs
2009	—	`conf`	Modeling Multiprocessor Cache Protocol Impact on MPI Performance. AINA Workshops Ghassan Chehaibar, Meriem Zidouni, Radu Mateescu
2009	B	`conf`	Partial Order Reductions Using Compositional Confluence Detection. FM Frédéric Lang, Radu Mateescu
2008	B	`conf`	A Model Checking Language for Concurrent Value-Passing Systems. FM Radu Mateescu, Damien Thivolle
2008	A	`conf`	Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques. ICSOC Radu Mateescu, Pascal Poizat, Gwen Salaün
2008	C	`conf`	Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems. MEMOCODE Radu Mateescu, Emilie Oudot
2008	B	`conf`	Computation Tree Regular Logic for Genetic Regulatory Networks. ATVA Radu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong
2008	—	`conf`	Formal Modeling and Discrete-Time Analysis of BPEL Web Services. CIAO! / EOMAS Radu Mateescu, Sylvain Rampacek
2008	J	`jnl`	Formal modelling and discrete-time analysis of BPEL web services. Int. J. Simul. Process. Model. Radu Mateescu, Sylvain Rampacek
2008	—	`conf`	Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems. SPIN Radu Mateescu, Emilie Oudot
2008	A	`conf`	Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks. ECAI Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong
2008	C	`conf`	Temporal logic patterns for querying dynamic models of cellular interaction networks. ECCB Pedro T. Monteiro, Delphine Ropers, Radu Mateescu, Ana T. Freitas, Hidde de Jong
2007	A*	`conf`	Behavioral adaptation of component compositions based on process algebra encodings. ASE Radu Mateescu, Pascal Poizat, Gwen Salaün
2007	A*	`conf`	CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. CAV Hubert Garavel, Radu Mateescu, Frédéric Lang, Wendelin Serwe
2006	J	`jnl`	CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems. Int. J. Softw. Tools Technol. Transf. Radu Mateescu
2006	A	`conf`	DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation. TACAS Hubert Garavel, Radu Mateescu, Damien Bergamini, Adrian Curic, Nicolas Descoubes, Christophe Joubert, Irina Smarandache-Sturm, Gilles Stragier
2006	—	`conf`	Distributed On-the-Fly Model Checking and Test Case Generation. SPIN Christophe Joubert, Radu Mateescu
2006	J	`jnl`	pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures. ACM SIGSOFT Softw. Eng. Notes Radu Mateescu, Flávio Oquendo
2005	A*	`conf`	Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach. IJCAI Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider
2005	A	`conf`	BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. TACAS Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu
2005	C	`conf`	Distributed Local Resolution of Boolean Equation Systems. PDP Christophe Joubert, Radu Mateescu
2005	C	`conf`	On-the-fly state space reductions for weak equivalences. FMICS Radu Mateescu
2005	—	`conf`	Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in ISMB (Supplement of Bioinformatics) Grégory Batt, Delphine Ropers, Hidde de Jong, Johannes Geiselmann, Radu Mateescu, Michel Page, Dominique Schneider
2004	—	`conf`	A Generic Framework for Model Checking Software Architectures. VVEIS Radu Mateescu
2004	—	`conf`	Distributed On-the-Fly Equivalence Checking. PDMC Christophe Joubert, Radu Mateescu
2004	—	`conf`	Model Checking Genetic Regulatory Networks Using GNA and CADP. SPIN Grégory Batt, Damien Bergamini, Hidde de Jong, Hubert Garavel, Radu Mateescu
2004	—	`conf`	Model Checking for Software Architectures. EWSA Radu Mateescu
2004	—	`conf`	SEQ.OPEN: A Tool for Efficient Trace-Based Verification. SPIN Hubert Garavel, Radu Mateescu
2003	A	`conf`	A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems. TACAS Radu Mateescu
2003	A*	`conf`	Calculating-Confluence Compositionally. CAV Gordon J. Pace, Frédéric Lang, Radu Mateescu
2003	J	`jnl`	Efficient on-the-fly model-checking for regular alternation-free mu-calculus. Sci. Comput. Program. Radu Mateescu, Mihaela Sighireanu
2003	J	`jnl`	Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones. Tech. Sci. Informatiques Radu Mateescu
2003	C	`conf`	On-the-Fly Verification using CADP. FMICS Radu Mateescu
2002	B	`conf`	Compiler Construction Using LOTOS NT. CC Hubert Garavel, Frédéric Lang, Radu Mateescu
2002	A	`conf`	Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems. TACAS Radu Mateescu
2001	—	`conf`	Parallel State Space Construction for Model-Checking. SPIN Hubert Garavel, Radu Mateescu, Irina M. Smarandache
2001	C	`conf`	Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications. DAIS Manuel Aguilar Cornejo, Hubert Garavel, Radu Mateescu, Noel De Palma
2000	A	`conf`	Efficient Diagnostic Generation for Boolean Equation Systems. TACAS Radu Mateescu
1999	—	`conf`	Model Checking for Managers. SPIN Wil Janssen, Radu Mateescu, Sjouke Mauw, Peter Fennema, Petra van der Stappen
1998	—	`conf`	Verification of Temporal Properties of Processes in a Setting with Data. AMAST Jan Friso Groote, Radu Mateescu
1998	J	`jnl`	Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS. Int. J. Softw. Tools Technol. Transf. Mihaela Sighireanu, Radu Mateescu
1998	—	`—`	Vérification des propriétés temporelles des programmes parallèles. (Verification of temporal properties of parallel programs). Radu Mateescu
1996	A*	`conf`	CADP - A Protocol Validation and Verification Toolbox. CAV Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu