Hubert Garavel

Available identifiers

zbMath Open garavel.hubertMaRDI QIDQ225071

List of research outcomes

Publication	Date of Publication	Type
Equivalence checking 40 years after: a review of bisimulation tools	2023-07-26	Paper
From LOTOS to LNT	2022-11-09	Paper
Automatic Decomposition of Petri Nets into Automata Networks – A Synthetic Account	2022-09-01	Paper
Efficient algorithms for three reachability problems in safe Petri nets	2022-03-21	Paper
On the Most Suitable Axiomatization of Signed Integers	2020-01-16	Paper
Nested-unit Petri nets	2019-06-20	Paper
Revisiting sequential composition in process calculi	2015-11-10	Paper
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets	2015-08-27	Paper
Compositional verification of asynchronous concurrent systems using CADP	2015-06-24	Paper
Reflections on the future of concurrency theory in general and process calculi in particular	2014-01-17	Paper
CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes	2011-05-19	Paper
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format	2009-02-24	Paper
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP	2009-02-19	Paper
Model Checking Software	2007-09-28	Paper
Model Checking Software	2007-09-28	Paper
State space reduction for process algebra specifications	2006-04-06	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
https://portal.mardi4nfdi.de/entity/Q4808842	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738368	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4422085	2003-09-03	Paper
System design of a CC-NUMA multiprocessor architecture using formal specification, model-checking, co-simulation, and test generation	2002-08-05	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/Q4942013	2000-03-19	Paper

Research outcomes over time

This page was built for person: Hubert Garavel