Radu Mateescu
Affiliations:- Inria Grenoble - Rhône-Alpes, France
According to our database1,
Radu Mateescu
authored at least 92 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
2023
Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model.
J. Intell. Robotic Syst., April, 2023
2022
ACM Trans. Internet Things, 2022
Internet Things, 2022
Proceedings of the Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, 2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
2021
Formal Methods Syst. Des., 2021
Proceedings of the Proceedings First Workshop on Applicable Formal Methods, 2021
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021
2020
Modeling an Asynchronous Circuit Dedicated to the Protection Against Physical Attacks.
Proceedings of the 4th Workshop on Models for Formal Analysis of Real Systems, 2020
Proceedings of the Companion of The 2020 Web Conference 2020, 2020
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020
Proceedings of the Testing Software and Systems, 2020
2019
Proceedings of the 2019 IEEE International Conference on Cybernetics and Intelligent Systems (CIS) and IEEE Conference on Robotics, 2019
Proceedings of the Integrated Formal Methods - 15th International Conference, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
Int. J. Softw. Tools Technol. Transf., 2018
Int. J. Softw. Tools Technol. Transf., 2018
Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018
Proceedings of the Models, Mindsets, 2018
Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018
2017
The ContextAct@A4H Real-Life Dataset of Daily-Living Activities - Activity Recognition Using Model Checking.
Proceedings of the Modeling and Using Context, 2017
2016
Formal Aspects Comput., 2016
Formal Aspects Comput., 2016
2015
Acta Informatica, 2015
2014
Property-dependent reductions adequate with divergence-sensitive branching bisimilarity.
Sci. Comput. Program., 2014
Proceedings of the Formal Methods and Software Engineering, 2014
Proceedings of the CBSE'14, Proceedings of the 17th International ACM SIGSOFT Symposium on Component-Based Software Engineering (part of CompArch 2014), Marcq-en-Baroeul, Lille, France, June 30, 2014
2013
Int. J. Softw. Tools Technol. Transf., 2013
Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols.
Sci. Comput. Program., 2013
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems.
Log. Methods Comput. Sci., 2013
Composition and abstraction of logical regulatory modules: application to multicellular systems.
Bioinform., 2013
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
2012
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.
IEEE Trans. Software Eng., 2012
Sci. Comput. Program., 2012
Proceedings of the Proceedings the Sixth International Workshop on the Practical Application of Stochastic Modelling, 2012
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2012
2011
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks.
Theor. Comput. Sci., 2011
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Proceedings of the Model Checking Software, 2011
2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
Proceedings of the Formal Methods for Industrial Critical Systems, 2010
Modeling and formal verification of biological regulatory networks: An integrative approach.
Proceedings of the 2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops, 2010
2009
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
BMC Bioinform., 2009
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
Proceedings of the FM 2009: Formal Methods, 2009
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009
2008
Int. J. Simul. Process. Model., 2008
Proceedings of the Model Checking Software, 2008
Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems.
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008
Proceedings of the FM 2008: Formal Methods, 2008
Temporal logic patterns for querying dynamic models of cellular interaction networks.
Proceedings of the ECCB'08 Proceedings, 2008
Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks.
Proceedings of the ECAI 2008, 2008
Proceedings of the Advances in Enterprise Engineering I, 2008
Proceedings of the Automated Technology for Verification and Analysis, 2008
2007
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
2006
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems.
Int. J. Softw. Tools Technol. Transf., 2006
pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
ACM SIGSOFT Softw. Eng. Notes, 2006
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006
2005
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Proceedings of the 13th Euromicro Workshop on Parallel, 2005
Validation of qualitative models of genetic regulatory networks by model checking: analysis of the nutritional stress response in <i>Escherichia coli</i>.
Proceedings of the Proceedings Thirteenth International Conference on Intelligent Systems for Molecular Biology 2005, 2005
Analysis and Verification of Qualitative Models of Genetic Regulatory Networks: A Model-Checking Approach.
Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005
Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
2004
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004
A Generic Framework for Model Checking Software Architectures.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004
Proceedings of the Model Checking Software, 2004
Proceedings of the Model Checking Software, 2004
Proceedings of the Software Architecture, First European Workshop, 2004
2003
Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones.
Tech. Sci. Informatiques, 2003
Sci. Comput. Program., 2003
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
2002
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
Proceedings of the Compiler Construction, 11th International Conference, 2002
2001
Proceedings of the Model Checking Software, 2001
Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications.
Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001
2000
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
1999
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999
1998
Vérification des propriétés temporelles des programmes parallèles. (Verification of temporal properties of parallel programs).
PhD thesis, 1998
Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS.
Int. J. Softw. Tools Technol. Transf., 1998
Proceedings of the Algebraic Methodology and Software Technology, 1998
1996
Proceedings of the Computer Aided Verification, 8th International Conference, 1996