Search Results - "Longuet, Delphine"

Compositional schedulability analysis of real-time actor-based systems.

Authors: Jaghoori, Mohammad Boer, Frank Longuet, Delphine et al.

Source: Acta Informatica; Jun2017, Vol. 54 Issue 4, p343-378, 36p

Model-based testing for concurrent systems with labelled event structures.

Authors: León, Hernán Ponce Haar, Stefan Longuet, Delphine

Source: Software Testing: Verification & Reliability; Nov2014, Vol. 24 Issue 7, p558-590, 33p

Some General Results About Proof Normalization.

Authors: Aiguier, Marc Longuet, Delphine

Source: Logica Universalis. Mar2010, Vol. 4 Issue 1, p1-29. 29p.