Claude Jard

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Bounded-memory algorithms for verification on-the-fly	2024-04-29	Paper
Reachability analysis on distributed executions	2022-11-02	Paper
Interval approximations of message causality in distributed executions	2022-08-18	Paper
Measuring concurrency of regular distributed computations	2022-08-18	Paper
https://portal.mardi4nfdi.de/entity/Q5111627	2020-05-27	Paper
Atomic read/write memory in signature-free Byzantine asynchronous message-passing systems	2017-08-15	Paper
Diagnosis of asynchronous discrete-event systems: a net unfolding approach	2017-06-20	Paper
Robustness of Time Petri Nets under Guard Enlargement	2017-03-16	Paper
Discrete Parameters in Petri Nets	2015-08-27	Paper
Foreword in honor of Glynn Winskel	2014-07-25	Paper
Application of branching cells to QoS aware service orchestrations	2014-07-25	Paper
Symbolic unfolding of parametric stopwatch Petri nets	2014-06-30	Paper
QoS-aware management of monotonic service orchestrations	2014-06-30	Paper
Blending Timed Formal Models with Clock Transition Systems	2014-04-25	Paper
Back in Time Petri Nets	2013-08-16	Paper
Robustness of Time Petri Nets under Guard Enlargement	2013-01-07	Paper
Robustness of Time Petri Nets under Architectural Constraints	2012-11-21	Paper
Symbolic Unfolding of Parametric Stopwatch Petri Nets	2010-10-04	Paper
Diagnosis Using Unfoldings of Parametric Time Petri Nets	2010-09-10	Paper
CONCUR 2003 - Concurrency Theory	2010-03-30	Paper
Complete Finite Prefixes of Symbolic Unfoldings of Safe Time Petri Nets	2009-04-02	Paper
Symbolic Unfoldings for Networks of Timed Automata	2008-09-04	Paper
LaTe, a Non-fully Deterministic Testing Language	2007-05-02	Paper
Formal Modeling and Analysis of Timed Systems	2006-11-14	Paper
Formal Techniques for Networked and Distributed Systems - FORTE 2005	2006-07-07	Paper
Formal Techniques for Networked and Distributed Systems – FORTE 2004	2005-08-18	Paper
Distributed monitoring of concurrent and asynchronous systems	2005-04-25	Paper
https://portal.mardi4nfdi.de/entity/Q4422071	2003-09-03	Paper
An event structure based semantics for high-level message sequence charts	2003-04-06	Paper
https://portal.mardi4nfdi.de/entity/Q4942008	2000-03-19	Paper
Fault detection and diagnosis in distributed systems: An approach by partially stochastic Petri nets	1999-07-19	Paper
On-the-fly analysis of distributed computations	1997-02-28	Paper
On-line computations of the ideal lattice of posets	1995-10-09	Paper
Computing on-line the lattice of maximal antichains of posets	1995-02-09	Paper
Testing for unboundedness of fifo channels	1993-10-17	Paper

Research outcomes over time

This page was built for person: Claude Jard