1. Recherche
93 résultats  enregistrer la recherche
inria-00100019v1  Chapitre d'ouvrage
Vincent Debruyne, Françoise Simonot-Lion, Yvon Trinquet. EAST-ADL - An Architecture Description Language - Validation and Verification Aspects
P. Dissaux and M. Filali and P. Michel and F. Vernadat. Architecture Description Language, Kluwer Academic Publishers, 15 p, 2004
inria-00100020v1  Communication dans un congrès
Vincent Debruyne, Françoise Simonot-Lion, Yvon Trinquet. EAST-ADL - An Architecture Description Language - Validation and Verification Aspects
IFIP Workshop on Architecture Description Languages 2004 - WADL'04, 2004, Toulouse/France, pp.53-62, 2004
...
inria-00073175v1  Rapport
Christophe Biernacki, Gérard Govaert. Choosing Models in Model-based Clustering and Discriminant Analysis
RR-3509, INRIA. 1998
...
inria-00073337v1  Rapport
Hubert Garavel. OPEN/CAESAR: An Open Software Architecture for Verification, Simulation, and Testing
RR-3352, INRIA. 1998
...
inria-00073438v1  Rapport
Isabelle Charpentier, Mohammed Ghémirès. Génération automatique de codes adjoints : Stratégies d'utilisation pour le logiciel Odyssée, Application au code météorologique Meso-NH
[Rapport de recherche] RR-3251, INRIA. 1997
...
inria-00073547v1  Rapport
Eitan Altman, Jean Bolot, Philippe Nain, Mohammed Erramdani, Patrick Brown et al.  Performance Modeling of TCP/IP in a Wide-Area Network
[Research Report] RR-3142, INRIA. 1997
...
inria-00073516v1  Rapport
Mihaela Sighireanu, Radu Mateescu. Validation of the Link Layer Protocol of the IEEE-1394 Serial Bus («FireWire»): an Experiment with E-LOTOS
[Research Report] RR-3172, INRIA. 1997
inria-00099794v1  Article dans une revue
Dominique Cansell, Dominique Méry. Foundations of the B method
Computers and Informatics, 2003, 22, 31 p
...
inria-00107527v1  Communication dans un congrès
Laurent Kaiser, Françoise Simonot-Lion. An Hybrid Method for the Validation of Real-Time Systems
Jean-Pierre Thomesse, Peter Neumann, Dietmar Dietrich. 4th IFAC conference Fieldbus Technology - FET'2001, Nov 2001, Nancy/France, INRIA, 8 p, 2001
...
inria-00108115v1  Communication dans un congrès
Dominique Méry, Yassine Mokhtari. Validation of formal specifications
AAAI'99, Fall Symposium, Nov 1999, none, 5 p, 1999
...
tel-00011841v1  Thèse
Lionel Morel. Exploitation des structures régulières et des spécifications locales pour le développement correct de systèmes réactifs de grande taille
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2005. Français
...
inria-00073923v1  Rapport
Emmanuel Nataf, Olivier Festor, André Schaff. Validation du modèle de gestion d'interconnexion de commutateurs à l'aide de systèmes de transitions étiquetées
[Rapport de recherche] RR-2769, INRIA. 1996, pp.25
...
inria-00073884v1  Rapport
Claude Jard, Jean-Marc Jézéquel, Laurence Nedelka. An Approach to Integrate Formal Validation in an OO Life-cycle of Protocols
[Research Report] RR-2808, INRIA. 1996
...
inria-00073740v1  Rapport
Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian. Specification and Verification of the PowerScale Bus Arbitration Protocol:An Industrial Experiment with LOTOS
[Research Report] RR-2958, INRIA. 1996
...
inria-00073712v1  Rapport
Hubert Garavel, Laurent Mounier. Specification and Verification of various Distributed Leader Election Algorithm for Unidirectional Ring Networks
[Research Report] RR-2986, INRIA. 1996
...
inria-00073733v1  Rapport
Radu Mateescu. Formal Description and Analysis of a Bounded Retransmission Protocol
RR-2965, INRIA. 1996
inria-00099653v1  Communication dans un congrès
Françoise Simonot-Lion. AIL_Transport, un langage pour la description d'architectures électroniques embarquées dans l'automobile
Conférence Ingénierie Automobile 2003, 2003, Massy-Palaiseau/France, 35 p, 2003
inria-00099016v1  Communication dans un congrès
Yassine Mokhtari, Stephan Merz. Animating TLA Specifications
H. Ganzinger, D. McAllester, A. Voronkov. International Conference on Logic for Programming and Automated Reasoning - LPAR'99, Sep 1999, Tbilisi, Georgia, Springer, 1705, pp.92--110, 1999, Lecture Notes in Artificial Intelligence
inria-00099139v1  Communication dans un congrès
Mondher Attia, Olivier Cayrol, Alexis Drogoul, Rémy Foisel, Françoise Simonot-Lion. A process to design and master the global vehicle electronic system architecture
International Congress on Transportation electronics - CONVERGENCE 2000, 2000, Detroit, Michigan/USA, 8 p, 2000
inria-00099131v1  Rapport
Marie-Christine Haton. Report about the user experience with ISAEUS
[Contract] A00-R-242 || haton00a, 2000, 75 p
inria-00099138v1  Communication dans un congrès
Paolo Castelpietra, Ye-Qiong Song, Françoise Simonot-Lion, O. Cayrol. Performance Evaluation of a multiple Networked in-vehicle Embedded Architecture
3rd IEEE International Workshop on Factory Communication Systems, 2000, Porto/Portugal, IEEE, 8 p, 2000
inria-00099168v1  Communication dans un congrès
Françoise Simonot-Lion, Ye-Qiong Song. In-vehicle embedded computer control systems
Seminary of Franco-Chinese project PRA SI99-04, 2000, Wuhan/China, 39 p, 2000
inria-00098520v1  Communication dans un congrès
Yassine Mokhtari. The invoice system problem in TLA+
International Workshop on Specification Techniques & Formal Methods, 1998, Nantes, France, 16 p, 1998
...
tel-00953368v1  Thèse
Truong Giang Le. Using Event-Based and Rule-Based Paradigms to Develop Context-Aware Reactive Applications.
Other [cs.OH]. Conservatoire national des arts et metiers - CNAM, 2013. English. <NNT : 2013CNAM0883>
...
tel-01066751v1  Thèse
Kim Dung Dang. Aide à la réalisation de systèmes de pilotage de narration interactive : validation d'un scénario basée sur un modèle en logique linéaire
Autre [cs.OH]. Université de La Rochelle, 2013. Français. <NNT : 2013LAROS397>

Contact


archive-ouverte@inria.fr