Radu Mateescu

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Using LNT Formal Descriptions for Model-Based Diagnosis.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Models, Mindsets, 2018

Model-Checking Synthesizable SystemVerilog Descriptions of Asynchronous Circuits.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Paula Lago

Claudia Roncancio

Claudia Jiménez-Guarín

Nicolas Bonnefond

Proceedings of the Modeling and Using Context, 2017

2016

Verification of EB<sup>3</sup> specifications using CADP.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2016

Formal modelling and verification of GALS systems using GRL and CADP.

[BibT_eX]

[DOI]

Fatma Jebali

Formal Aspects Comput., 2016

2015

Compositional verification of asynchronous concurrent systems using CADP.

[BibT_eX]

[DOI]

Acta Informatica, 2015

2014

Property-dependent reductions adequate with divergence-sensitive branching bisimilarity.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

GRL: A Specification Language for Globally Asynchronous Locally Synchronous Systems.

[BibT_eX]

[DOI]

Fatma Jebali

Proceedings of the Formal Methods and Software Engineering, 2014

Quantifying the parallelism in BPMN processes using model checking.

[BibT_eX]

[DOI]

Lina Ye

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.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2013

Model checking and performance evaluation with CADP illustrated on shared-memory mutual exclusion protocols.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2013

Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2013

Composition and abstraction of logical regulatory modules: application to multicellular systems.

[BibT_eX]

[DOI]

Bioinform., 2013

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Pascal Poizat

IEEE Trans. Software Eng., 2012

Sequential and distributed on-the-fly computation of weak tau-confluence.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Large-scale Distributed Verification Using CADP: Beyond Clusters to Grids.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2011

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2011

Property-Dependent Reductions for the Modal Mu-Calculus.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2011

2010

Ten Years of Performance Evaluation for Concurrent Systems Using CADP.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Translating Pi-Calculus into LOTOS NT.

[BibT_eX]

[DOI]

Proceedings of the Integrated Formal Methods - 8th International Conference, 2010

A Study of Shared-Memory Mutual Exclusion Protocols Using CADP.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2010

Modeling and formal verification of biological regulatory networks: An integrative approach.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

BMC Bioinform., 2009

Hierarchical Adaptive State Space Caching Based on Level Sampling.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

Partial Order Reductions Using Compositional Confluence Detection.

[BibT_eX]

[DOI]

Proceedings of the FM 2009: Formal Methods, 2009

Modeling Multiprocessor Cache Protocol Impact on MPI Performance.

[BibT_eX]

[DOI]

Ghassan Chehaibar

Meriem Zidouni

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

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

[BibT_eX]

[DOI]

Sylvain Rampacek

Int. J. Simul. Process. Model., 2008

Improved On-the-Fly Equivalence Checking Using Boolean Equation Systems.

[BibT_eX]

[DOI]

Emilie Oudot

Proceedings of the Model Checking Software, 2008

Bisimulator 2.0: An On-the-Fly Equivalence Checker based on Boolean Equation Systems.

[BibT_eX]

[DOI]

Emilie Oudot

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

A Model Checking Language for Concurrent Value-Passing Systems.

[BibT_eX]

[DOI]

Damien Thivolle

Proceedings of the FM 2008: Formal Methods, 2008

Temporal logic patterns for querying dynamic models of cellular interaction networks.

[BibT_eX]

[DOI]

Proceedings of the ECCB'08 Proceedings, 2008

Temporal Logic Patterns for Querying Qualitative Models of Genetic Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the ECAI 2008, 2008

Formal Modeling and Discrete-Time Analysis of BPEL Web Services.

[BibT_eX]

[DOI]

Sylvain Rampacek

Proceedings of the Advances in Enterprise Engineering I, 2008

Computation Tree Regular Logic for Genetic Regulatory Networks.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2008

2007

Behavioral adaptation of component compositions based on process algebra encodings.

[BibT_eX]

[DOI]

Pascal Poizat

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Flávio Oquendo

ACM SIGSOFT Softw. Eng. Notes, 2006

DISTRIBUTOR and BCG_MERGE: Tools for Distributed Explicit State Space Generation.

[BibT_eX]

[DOI]

Irina Smarandache-Sturm

Gilles Stragier

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2006

Distributed On-the-Fly Model Checking and Test Case Generation.

[BibT_eX]

[DOI]

Christophe Joubert

Proceedings of the Model Checking Software, 13th International SPIN Workshop, Vienna, Austria, March 30, 2006

2005

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2005

Distributed Local Resolution of Boolean Equation Systems.

[BibT_eX]

[DOI]

Christophe Joubert

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>.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, Edinburgh, Scotland, UK, July 30, 2005

On-the-fly state space reductions for weak equivalences.

[BibT_eX]

[DOI]

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005

2004

Distributed On-the-Fly Equivalence Checking.

[BibT_eX]

[DOI]

Christophe Joubert

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

A Generic Framework for Model Checking Software Architectures.

[BibT_eX]

Proceedings of the Verification and Validation of Enterprise Information Systems, 2004

SEQ.OPEN: A Tool for Efficient Trace-Based Verification.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2004

Model Checking Genetic Regulatory Networks Using GNA and CADP.

[BibT_eX]

[DOI]

Proceedings of the Model Checking Software, 2004

Model Checking for Software Architectures.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, First European Workshop, 2004

2003

Logiques temporelles basées sur actions pour la vérification des systèmes asynchrones.

[BibT_eX]

[DOI]

Tech. Sci. Informatiques, 2003

Efficient on-the-fly model-checking for regular alternation-free mu-calculus.

[BibT_eX]

[DOI]

Mihaela Sighireanu

Sci. Comput. Program., 2003

On-the-Fly Verification using CADP.

[BibT_eX]

[DOI]

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

A Generic On-the-Fly Solver for Alternation-Free Boolean Equation Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

Calculating-Confluence Compositionally.

[BibT_eX]

[DOI]

Gordon J. Pace

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Local Model-Checking of Modal Mu-Calculus on Acyclic Labeled Transition Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Compiler Construction Using LOTOS NT.

[BibT_eX]

[DOI]

Proceedings of the Compiler Construction, 11th International Conference, 2002

2001

Parallel State Space Construction for Model-Checking.

[BibT_eX]

[DOI]

Irina M. Smarandache

Proceedings of the Model Checking Software, 2001

Specification and Verification of a Dynamic Reconfiguration Protocol for Agent-Based Applications.

[BibT_eX]

[DOI]

Manuel Aguilar Cornejo

Noel De Palma

Proceedings of the New Developments in Distributed Applications and Interoperable Systems, 2001

2000

Efficient Diagnostic Generation for Boolean Equation Systems.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 2000

1999

Model Checking for Managers.

[BibT_eX]

[DOI]

Petra van der Stappen

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).

[BibT_eX]

[DOI]

PhD thesis, 1998

Verification of the Link Layer Protocol of the IEEE-1394 Serial Bus (FireWire): An Experiment with E-LOTOS.

[BibT_eX]

[DOI]

Mihaela Sighireanu

Int. J. Softw. Tools Technol. Transf., 1998

Verification of Temporal Properties of Processes in a Setting with Data.

[BibT_eX]

[DOI]

Jan Friso Groote