Radu Mateescu

Available identifiers

zbMath Open mateescu.raduMaRDI QIDQ282109

List of research outcomes

Publication	Date of Publication	Type
Compositional verification of concurrent systems by combining bisimulations	2024-03-14	Paper
Compositional verification of concurrent systems by combining bisimulations	2022-06-20	Paper
Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities	2021-11-10	Paper
Formal modelling and verification of GALS systems using GRL and CADP	2016-09-20	Paper
On-the-Fly Model Checking for Extended Action-Based Probabilistic Operators	2016-06-22	Paper
Verification of \(\mathrm{EB}^3\) specifications using CADP	2016-05-12	Paper
Compositional verification of asynchronous concurrent systems using CADP	2015-06-24	Paper
Partial model checking using networks of labelled transition systems and Boolean equation systems	2013-10-16	Paper
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus	2013-08-05	Paper
Sequential and distributed on-the-fly computation of weak tau-confluence	2012-07-20	Paper
Partial Model Checking Using Networks of Labelled Transition Systems and Boolean Equation Systems	2012-06-29	Paper
CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks	2011-06-28	Paper
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes	2011-05-19	Paper
Computer Aided Verification	2010-04-20	Paper
Hierarchical Adaptive State Space Caching Based on Level Sampling	2009-03-31	Paper
Computation Tree Regular Logic for Genetic Regulatory Networks	2008-11-20	Paper
Model Checking Software	2007-09-28	Paper
Model Checking Software	2007-09-28	Paper
Model Checking Software	2007-05-02	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
https://portal.mardi4nfdi.de/entity/Q4738368	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4472245	2004-08-04	Paper
https://portal.mardi4nfdi.de/entity/Q4417915	2003-07-30	Paper
Efficient on-the-fly model-checking for regular alternation-free \(\mu\)-calculus	2003-05-14	Paper
Verification of the link layer protocol of the IEEE-1394 serial bus (FireWire): An experiment with E-LOTOS	2003-02-02	Paper
https://portal.mardi4nfdi.de/entity/Q4530809	2002-06-09	Paper
Specification and verification of a dynamic reconfiguration protocol for agent-based applications	2002-05-02	Paper
https://portal.mardi4nfdi.de/entity/Q4518897	2001-05-20	Paper
https://portal.mardi4nfdi.de/entity/Q4250361	1999-06-17	Paper

Research outcomes over time

This page was built for person: Radu Mateescu