Radu Mateescu

According to our database1, Radu Mateescu
  • authored at least 67 papers between 1996 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

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
Verification of EB3 specifications using CADP.
Formal Asp. Comput., 2016

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

2015
Compositional verification of asynchronous concurrent systems using CADP.
Acta Inf., 2015

2014
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

2013
CADP 2011: a toolbox for the construction and analysis of distributed processes.
STTT, 2013

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.
Bioinformatics, 2013

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

2012
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques.
IEEE Trans. Software Eng., 2012

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

2011
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

2010
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

2009
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

2008
Formal modelling and discrete-time analysis of BPEL web services.
IJSPM, 2008

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

2007
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

2006
CAESAR_SOLVE: A generic library for on-the-fly resolution of alternation-free Boolean equation systems.
STTT, 2006

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

2005
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

2004
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

2003
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

Calculating-Confluence Compositionally.
Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002
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

2001
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

2000
Efficient Diagnostic Generation for Boolean Equation Systems.
Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1999
Model Checking for Managers.
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.
STTT, 1998

Verification of Temporal Properties of Processes in a Setting with Data.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1996
CADP - A Protocol Validation and Verification Toolbox.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996


  Loading...