Search - Archive ouverte HAL Access content directly

Filter your results

9 Results
Image document

Model-based diagnosis for avionics systems using minimal cuts

Fabien Kuntz , Stéphanie Gaudan , Christian Sannino , Éric Laurent , Alain Griffault et al.
DX 2011, Oct 2011, Murnau, Germany. pp.138-145
Conference papers hal-00650956v1
Image document

Symbolic computation of minimal cuts for AltaRica models

Alain Griffault , Gérald Point , Fabien Kuntz , Aymeric Vincent
2011
Reports hal-00634022v1
Image document

AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement

Gérald Point
Modélisation et simulation. Université Sciences et Technologies - Bordeaux I, 2000. Français. ⟨NNT : ⟩
Theses tel-00353284v1
Image document

A generic approach to the control of discrete event systems

Andre Arnold , Xavier Briand , Gérald Point , Aymeric Vincent
Conference on Decision and Control and European Control Conference ECC (CDC-ECC), 2005, Sevilla, France. pp.1-5
Conference papers hal-00344229v1
Image document

On the partial translation of Lustre programs into the AltaRica language and vice versa

Gérald Point , Alain Griffault
2006
Preprints, Working Papers, ... hal-00349898v1
Image document

FAST Extended Release

Sébastien Bardin , Jérôme Leroux , Gérald Point
Computer Aided Verification, CAV'06, Aug 2006, Seattle, WA, United States. pp.63-66
Conference papers hal-00344195v1
Image document

The Synthesis Toolbox - From modal automata to controller synthesis

Gérald Point
2005
Preprints, Working Papers, ... hal-00349874v1
Image document

TaPAS : The Talence Presburger Arithmetic Suite

Jérôme Leroux , Gérald Point
TACAS, 2009, York, United Kingdom. pp.182-185, ⟨10.1007/978-3-642-00768-2⟩
Conference papers hal-00368653v1
Image document

A Client-Server Approach to Image-Based Rendering on Mobile Terminals

Kadi Bouatouch , Gérald Point , Gwenola Thomas
[Research Report] RR-5447, INRIA. 2005, pp.29
Reports inria-00000127v1