Le cluster automates temporisés - timed automata
| 007E71 (2003) | Ulrich Freund ; Orazio Gurrieri [France] ; Jochen Küster ; Henrik Lonn ; Jörn Migge ; Mark-Oliver Reiser ; Thomas Wierczoch ; Matthias Weber | An Architecture Description Language for developing Automotive ECU-Software |
| 007E08 (2003) | Françoise Simonot-Lion [France] | In car embedded electronic architectures: how to ensure their safety |
| 007E36 (2003) | Orazio Gurrieri [France] ; Ulrich Freund ; Jochen Küster ; Henrik Lönn ; Jörn Migge [France] ; Mark-Oliver Reiser ; Thomas Wierczoch | Definition of language for automotive embedded electronic architecture description (ADL V0.5) |
| 007E37 (2003) | Paolo Castelpietra [France] ; Ulrich Freund ; Jochen Küster ; Henrik Lönn ; Jörn Migge [France] ; Mark-Oliver Reiser ; Thomas Wierczoch | Definition of language for automotive embedded electronic architecture description (ADL V0.4) |
| 008A28 (2002) | Françoise Simonot-Lion [France] ; Jean-Pierre Elloy [France] ; Yvon Trinquet [France] | AIL_Transport : Un langage de description d'architecture électronique embarquée dans l'automobile |
| 008B91 (2002) | Jörn Migge [France] ; Françoise Simonot-Lion [France] ; Jean-Pierre Elloy [France] ; Yvon Trinquet [France] | AIL_Transport, User Manual V3 |
| 007036 (2004) | Orazio Gurrieri [France] ; Ulrich Freund ; Bruno Godard ; Henrik Lonn ; Vincent Debruyne ; Françoise Simonot-Lion [France] ; Matthias Weber | Definition of language for automotive embedded electronic architecture |
| 007089 (2004) | Ulrich Freund ; Orazio Gurrieri [France] ; Jochen Küster ; Henrik Lonn ; Jörn Migge ; Mark-Oliver Reiser ; Thomas Wierczoch ; Matthias Weber | An Architecture Description Language for Developing Automotive ECU-Software |
| 008081 (2002-03) | Laurent Kaiser [France] ; Françoise Simonot-Lion [France] | D'un formalisme à l'autre : entre TIOSM et SDL |
| 008C12 (2002) | Xavier Rebeuf [France] ; Gerardo Satriano ; Françoise Simonot-Lion [France] | A Distributed Algorithm for the Validation of Timed State Machines |
| 009528 (2001) | Françoise Simonot-Lion [France] | AEE : un projet pour la conception des logiciels embarqués dans l'automobile |
| 00AB77 (1999) | Ye-Qiong Song [France] ; Françoise Simonot-Lion [France] ; Nicolas Navet [France] | De l'évaluation de performances du système de communication à la validation de l'architecture opérationnelle - cas du système embarqué dans l'automobile |
| 00AB80 (1999) | Françoise Simonot-Lion [France] ; Laurent Thomas [France] ; Thomas Lambolais [France] ; Anne-Marie Déplanche [France] ; Yvon Trinquet [France] ; Charles André [France] ; Marie-Agnès Peraldi-Frati [France] ; Chris Choukair [France] ; Mireille Bayart [France] | Conception et validation d'architectures distribuées temps réel |
| 006468 (2005) | Venkat Rao ; Gaurav Singhal ; Anshul Kumar ; Nicolas Navet [France] | Stochastic Battery Model for Embedded Systems |
| 007088 (2004) | Ulrich Freund ; Orazio Gurrieri [France] ; Henrik Lönn ; Jonas Eden ; Jörn Migge ; Mark-Oliver Reiser ; Thomas Wierczoch ; Matthias Weber | An Architecture Description Language supporting automotive software product lines |
| 007D18 (2003) | Françoise Simonot-Lion [France] | AIL_Transport, un langage pour la description d'architectures électroniques embarquées dans l'automobile |
| 008B47 (2002) | Stefan Haar [France] ; Laurent Kaiser [France] ; Françoise Simonot-Lion [France] ; Joël Toussaint [France] | Equivalence of Timed State Machines and safe TPN |
| 008C55 (2001-10) | Raphael Cavaliere [France] ; Françoise Simonot-Lion [France] ; Ye-Qiong Song [France] ; O. Hembert [France] | A component based approach for modeling and validation of an automated manufacturing system |
| 009463 (2001) | Françoise Simonot-Lion [France] ; Matthieu Courrier [France] ; Paolo Castelpietra [France] ; Ye-Qiong Song [France] | Projet CAROSSE |
| 009530 (2001) | Jörn Migge [France] ; Françoise Simonot-Lion [France] | AIL toolkit |
| 009531 (2001) | Jean-Pierre Elloy [France] ; Jörn Migge [France] ; B. Rouchouse ; Françoise Simonot-Lion [France] ; Yvon Trinquet | AIL V2 - User Manual |
| 009695 (2001) | Françoise Simonot-Lion [France] ; Mondher Attia ; A. Bouali ; J. L. Boucheron ; O. Cayrol ; Samuel Boutin ; Deltort ; Franck Gasnier ; T. Gautier ; P. Lemaire ; Jörn Migge ; P. Palmieri ; B. Rouchouse ; Yvon Trinquet | AIL V2 - Reference Manual |
| 00A042 (2000) | Dominique Cansell [France] ; Jacques Jaray [France] ; Dominique Méry [France] | Rapport final de contrat Cifre entre le LORIA et Peugeot SA et de contrat d'expertise sur l'utilisation de la méthode B. |
| 00A113 (2000) | Laurent Kaiser [France] ; Françoise Simonot-Lion [France] ; Ousmane Koné [France] | Verification method of interoperability for real time systems |
| 00A173 (2000) | Olivier Bournez [France] ; Oded Maler [France] | On the representation of timed polyhedra |
| 00A208 (2000) | Françoise Simonot-Lion [France] ; Ye-Qiong Song [France] | In-vehicle embedded computer control systems |
| 001F77 (2011-12) | Dominique Méry [France] ; Didier Fass [France] | Top modèle et Top simulation : la momie de Lunéville Observation, Modélisation, Simulation et Validation |
| 004746 (2007-09-01) | Jeanine Souquières [France] | Approches formelles pour le développement de logiciels |
| 004F09 (2006-12-12) | Françoise Simonot-Lion [France] | La conception de systèmes sûrs embarqués dans l'automobile : du composant au système |
| 005134 (2006-05-05) | Ninh Thuan Truong [France] | Utilisation de B pour la vérification de spécifications UML et le développement formel orienté objet |
| 005223 (2006-01-01) | Jacques Julliand [France] ; Jeanine Souquières [France] | Approches formelles pour le développement de logiciels |
| 005A55 (2005-04-04) | Françoise Simonot-Lion [France] | Langages de description des architectures embarquées dans l'automobile |
| 006E42 (2004) | Mohamed Khalgui [France] ; Xavier Rebeuf [France] ; Françoise Simonot-Lion [France] | AS CAT: contribution proposée par le LORIA pour la rédaction de "l'état de l'art'' |
| 007299 (2003) | André Masson ; Martine Cadot [France] ; M. Ansseau | Perfectionnisme : effets du sexe et de l'échec |
| 007300 (2003) | Guy Bernard [France] ; Jalel Ben-Othman [France] ; Luc Bouganim [France] ; Gérôme Canals [France] ; Bruno Defude [France] ; Jean Ferrié [France] ; Stéphane Gançarski ; Rachid Guerraoui [Suisse] ; Pascal Molli [France] ; Philippe Pucheral [France] ; Claudia Roncancio [France] ; Patricia Serrano-Alvarado [France] ; Patrick Valduriez [France] | Mobilité et bases de données - Etat de l'art et perspectives |
| 007D16 (2003) | Issam Chebbi [France] | Aide à la preuve et à la validation en programmation par règles |
| 007E22 (2003) | Dominique Cansell [France] ; Dominique Méry [France] | Foundations of the B method |
| 008925 (2002) | P. Castelpietra [France] ; Y. Q. Song ; F. Simonot Lion ; M. Attia | Analysis and simulation methods for performance evaluation of a multiple networked embedded architecture |
| 008C36 (2001-11) | Laurent Kaiser [France] ; Françoise Simonot-Lion [France] | An Hybrid Method for the Validation of Real-Time Systems |
| 009164 (2001) | Nicolas Navet [France] ; Ye-Qiong Song [France] | Validation of in-vehicle real-time applications |
| 009491 (2001) | Françoise Simonot-Lion [France] ; Laurent Kaiser [France] ; Ricardo Dos Santos Marques [France] | Méthode formelle de génération de séquences de tests temporisés |
| 009492 (2001) | Dominique Cansell [France] ; Dominique Méry [France] ; Airy Weinzoepflen [France] | Modélisation et analyse de la documentation technique d'un système |
| 009507 (2001) | Hacène Cherfi [France] ; Yannick Toussaint [France] | Extraction et interprétation de règles d'association pour la fouille de textes |
| 00A108 (2000) | Nicolas Navet [France] ; Ye-Qiong Song [France] ; François Simonot | Worst-Case Deadline Failure Probability in Real-Time Applications Distributed over CAN (Controller Area Network) |
| 00A164 (2000) | Paolo Castelpietra [France] ; Ye-Qiong Song [France] ; Françoise Simonot-Lion [France] ; O. Cayrol | Performance Evaluation of a multiple Networked in-vehicle Embedded Architecture |
| 00A290 (2000) | Mondher Attia [France] ; Olivier Cayrol [France] ; Alexis Drogoul [France] ; Rémy Foisel [France] ; Françoise Simonot-Lion [France] | A process to design and master the global vehicle electronic system architecture |
| 00AA88 (1999) | M. Heisel [Allemagne] ; J. Souquieres [France] | De l'élicitation des besoins à la spécification formelle |
| 00AB06 (1999) | Ahmed Jebali [France] | Vérification Observationnelle |
| 00AC78 (1999) | Matthieu Courrier [France] ; Françoise Simonot-Lion [France] ; Ye-Qiong Song [France] | Microscopic modeling of support system for in-vehicle embedded systems |
| 00B485 (1998) | Nicolas Navet [France] ; Ye-Qiong Song [France] ; François Simonot [France] | Performances et Tolérance aux Fautes des Applications Temps Réel Distribuées autour du réseau CAN |
| 00B558 (1998) | Yassine Mokhtari [France] | The invoice system problem in TLA+ |
| 00B606 (1998) | Jean-Paul Gibson [France] ; Yassine Mokhtari [France] | POTS: An OO LOTOS Specification |
| 00B655 (1998) | Olivier Festor [France] ; Laurent Andrey ; Emmanuel Nataf | FDTs and OSI-based Management Information Modelling: a Fruitful Wedding |
| 00B667 (1998) | Nicolas Navet [France] ; Ye-Qiong Song [France] | Design of Reliable Real-Time Applications Distributed over CAN (Controller Area Network) |
| 00C144 (1996) | Emmanuel Nataf [France] ; Olivier Festor [France] ; André Schaff [France] | Validation du modèle de gestion d'interconnexion de commutateurs à l'aide de systèmes de transitions étiquetées |
| This area was generated with Dilib version V0.6.33. |  |