Publications personnelle

136documents trouvés

07073
09/02/2007

Modèles pivots pour la représentation des processus concurrents asynchrones

M.FILALI, F.LANG, F.PERES, J.STOECKER, F.VERNADAT

IRIT-UPS, INRIA Rhône-Alpes, OLC

Rapport de Contrat : Projet ANR05RNTL03101 OpenEmbeDD, Février 2007, 9p. , N° 07073

Diffusable

109322
05578
01/12/2006

Vérification des applications temps réel

F.SIMONOT-LION, Y.Q.SONG, B.BERTHOMIEU, F.VERNADAT

LORIA, OLC

Ouvrage (contribution) : Encyclopédie de l'Informatique et des Systèmes d'Information, Vuibert (Ed.), J.Akoka, I.Comyn-Wattiau (Eds), N°ISBN 978-2-7117-4846, 2006, pp.761-773 , N° 05578

Diffusable

109727
06354
01/11/2006

Réseaux de Petri temporels : méthodes d'analyse et vérification avec TINA

B.BERTHOMIEU, F.VERNADAT

OLC

Ouvrage (contribution) : Systèmes temps réel 1. Techniques de description et de vérification, Traité Information-Commande-Communication. Informatique et Systèmes d'Information, Ed. Lavoisier, N°ISBN 2-7462-1303-6, 2006, Chapitre 1, pp.25-57 , N° 06354

Diffusable

108332
06355
25/09/2006

Bridging the gap between timed automata and bounded time Petri nets

B.BERTHOMIEU, F.PERES, F.VERNADAT

OLC

Manifestation avec acte : 4th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'2006), Paris (France), 25-27 Septembre 2006 , N° 06355

Diffusable

107760
06382
11/09/2006

Time Petri nets analysis with TINA

B.BERTHOMIEU, F.VERNADAT

OLC

Manifestation avec acte : 3rd International Conference on the Quantitative Evaluation of Systems (QEST'2006), Riverside (USA), 11-14 Septembre 2006, pp.123-124 , N° 06382

Diffusable

107761
05436
25/01/2006

Behavioural descriptions in architecture description languages. Application to AADL

J.P.BODEVEIX, P.DISSAUX, M.FILALI, P.GAUFILLET, F.VERNADAT

IRIT-UPS, TNI, EADS AIRBUS SA, OLC

Manifestation avec acte : 3rd European Congress on Embedded Real Time Software (ERTS'06), Toulouse (France), 25-27 Janvier 2006, 2p. (Résumé) , N° 05436

Diffusable

106404
05242
05/10/2005

Problèmes d'accessibilité et espaces d'états abstraits des réseaux de Petri temporels à chronomètres

B.BERTHOMIEU, D.LIME, O.H.ROUX, F.VERNADAT

OLC, Aalborg, IRCCYN

Manifestation avec acte : 5ème Colloque "Modélisation des Systèmes Réactifs" (MSR'05), Grenoble (France), 5-7 Octobre 2005 , N° 05242

Diffusable

104411
05242
01/10/2005

Problèmes d'accessibilité et espaces d'états abstraits des réseaux de Petri temporels à chronomètres

B.BERTHOMIEU, D.LIME, O.H.ROUX, F.VERNADAT

OLC, Aalborg, IRCCYN

Revue Scientifique : Journal Européen des Systèmes Automatisés, Vol.39, N°1-2-3, pp.223-238, 2005 , N° 05242

Diffusable

105527
05081
09/03/2005

Vérification de propriétés invariantes par surapproximation

F.PERES, P.O.RIBET, F.VERNADAT, B.BERTHOMIEU

OLC

Manifestation sans acte : Journées "Formalisation des Activités Concurrentes" (FAC'2005), Toulouse (France), 9-10 Mars 2005, 12p. , N° 05081

Diffusable

103355
05080
09/03/2005

Vérification de systèmes temporels par sur-approximation

P.O.RIBET, F.VERNADAT, B.BERTHOMIEU

OLC

Manifestation sans acte : Journées "Formalisation des Activités Concurrentes" (FAC'2005), Toulouse (France), 9-10 Mars 2005, 12p. , N° 05080

Diffusable

103353
Pour recevoir une copie des documents, contacter doc@laas.fr en mentionnant le n° de rapport LAAS et votre adresse postale. Signalez tout problème de fonctionnement à sysadmin@laas.fr. http://www.laas.fr/pulman/pulman-isens/web/app.php/