Claude Jard

New Results - Building and manipulating models

Thomas Gazagnaire, Claude Jard, Loïc Hélouët, 2005 .

Online Abstraction of Distributed Executions

Thomas Gazagnaire, Claude Jard, Loïc Hélouët, 2005 .

An event structure based semantics for high-level message sequence charts †

Benoît Caillaud, Claude Jard, Loïc Hélouët, 2022 .

Compiling temporal logic specifications into observers

Claude Jard, Omar Drissi-Kaitouni, 1988 .

Deriving trace checkers for distributed systems

Claude Jard, Omar Drissi-Kaitouni, 1987 .

Project-Team distribcom Distributed Models and Algorithms for the Management of Telecommunication Systems

Didier Devaurs, Loïc Hélouët, Laurence Dinh, 2007 .