According to our database1, Radu Mateescu authored at least 73 papers between 1996 and 2019.
Legend:Book In proceedings Article PhD thesis Other
IoT composer: composition and deployment of IoT applications.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Rigorous design and deployment of IoT applications.
Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019
Recent advances in interactive and automated analysis.
A Formal TLS Handshake Model in LNT.
Proceedings of the Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation, 2018
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018
Using LNT Formal Descriptions for Model-Based Diagnosis.
Proceedings of the 29th International Workshop on Principles of Diagnosis co-located with 10th IFAC Symposium on Fault Detection, 2018
Reflections on Bernhard Steffen's Physics of Software Tools.
Proceedings of the Models, Mindsets, 2018
Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits.
Proceedings of the 24th IEEE International Symposium on Asynchronous Circuits and Systems, 2018
The ContextAct@A4H Real-Life Dataset of Daily-Living Activities - Activity Recognition Using Model Checking.
Proceedings of the Modeling and Using Context, 2017
Formal modelling and verification of GALS systems using GRL and CADP.
Formal Asp. Comput., 2016
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016
Compositional verification of asynchronous concurrent systems using CADP.
Acta Inf., 2015
Property-dependent reductions adequate with divergence-sensitive branching bisimilarity.
Sci. Comput. Program., 2014
GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems.
Proceedings of the Formal Methods and Software Engineering, 2014
Quantifying the parallelism in BPMN processes using model checking.
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
CADP 2011: a toolbox for the construction and analysis of distributed processes.
Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols.
Sci. Comput. Program., 2013
Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids.
Electr. Notes Theor. Comput. Sci., 2013
Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems.
Logical Methods in Computer Science, 2013
Composition and abstraction of logical regulatory modules: application to multicellular systems.
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013
Verification of EB3 Specifications Using CADP.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013
Sequential and distributed on-the-fly computation of weak tau-confluence.
Sci. Comput. Program., 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
CTRL: Extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks.
Theor. Comput. Sci., 2011
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011
Property-Dependent Reductions for the Modal Mu-Calculus.
Proceedings of the Model Checking Software, 2011
Ten Years of Performance Evaluation for Concurrent Systems Using CADP.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Translating Pi-Calculus into LOTOS NT.
Proceedings of the Integrated Formal Methods - 8th International Conference, 2010
A Study of Shared-Memory Mutual Exclusion Protocols Using CADP.
Proceedings of the Formal Methods for Industrial Critical Systems, 2010
A service-oriented architecture for integrating the modeling and formal verification of genetic regulatory networks.
BMC Bioinformatics, 2009
Hierarchical Adaptive State Space Caching Based on Level Sampling.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009
Partial Order Reductions Using Compositional Confluence Detection.
Proceedings of the FM 2009: Formal Methods, 2009
Modeling Multiprocessor Cache Protocol Impact on MPI Performance.
Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009
Formal modelling and discrete-time analysis of BPEL web services.
Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.
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
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.
Proceedings of the Service-Oriented Computing, 2008
A Model Checking Language for Concurrent Value-Passing Systems.
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
Formal Modeling and Discrete-Time Analysis of BPEL Web Services.
Proceedings of the Advances in Enterprise Engineering I, 2008
Computation Tree Regular Logic for Genetic Regulatory Networks.
Proceedings of the Automated Technology for Verification and Analysis, 2008
Behavioral adaptation of component compositions based on process algebra encodings.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007
CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes.
Proceedings of the Computer Aided Verification, 19th International Conference, 2007
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems.
pi-AAL: an architecture analysis language for formally specifying and verifying structural and behavioural properties of software architectures.
ACM SIGSOFT Software Engineering Notes, 2006
DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006
Distributed On-the-Fly Model Checking and Test Case Generation.
Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006
Distributed On-the-Fly Equivalence Checking.
Electr. Notes Theor. Comput. Sci., 2005
BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005
Distributed Local Resolution of Boolean Equation Systems.
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 Escherichia coli.
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
A Generic Framework for Model Checking Software Architectures.
Proceedings of the Verification and Validation of Enterprise Information Systems, 2004
SEQ.OPEN: A Tool for Efficient Trace-Based Verification.
Proceedings of the Model Checking Software, 2004
Model Checking Genetic Regulatory Networks Using GNA and CADP.
Proceedings of the Model Checking Software, 2004
Model Checking for Software Architectures.
Proceedings of the Software Architecture, First European Workshop, 2004
Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones.
Technique et Science Informatiques, 2003
Efficient on-the-fly model-checking for regular alternation-free mu-calculus.
Sci. Comput. Program., 2003
On-the-Fly Verification using CADP.
Electr. Notes Theor. Comput. Sci., 2003
A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003
Proceedings of the Computer Aided Verification, 15th International Conference, 2003
Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002
Compiler Construction Using LOTOS NT.
Proceedings of the Compiler Construction, 11th International Conference, 2002
Parallel State Space Construction for Model-Checking.
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
Efficient Diagnostic Generation for Boolean Equation Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000
Model Checking for Managers.
Proceedings of the Theoretical and Practical Aspects of SPIN Model Checking, 1999
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.
Verification of Temporal Properties of Processes in a Setting with Data.
Proceedings of the Algebraic Methodology and Software Technology, 1998
CADP - A Protocol Validation and Verification Toolbox.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996