Retour au site du LAAS-CNRS

IFIP TC2 Workshop on Architecture Description Languages (WADL). World Computer Congress

P.DISSAUX, M.FILALI, P.MICHEL, F.VERNADAT

TNI, IRIT-UPS, ONERA-CERT, OLC

Ouvrage (éditeur) : Springer, N°ISBN 0-3872-4589-8, Février 2005, 221p. , N° 05016

Non diffusable

Ajouter au panier 103261

Réseaux de Petri étendus et méthodologie pour l'analyse de performances

G.JUANOLE, M.DIAZ, F.VERNADAT

OLC

Ouvrage (contribution) : Méthodes exactes d'analyse de performance des réseaux, Lavoisier, Traité Information-Commande-Communication, Réseaux et Télécoms., N°ISBN 2-7462-0880-6, 2004, pp.189-226 , N° 03480

Diffusable

Ajouter au panier 103106

The tool TINA - Construction of abstract state spaces for Petri nets and time Petri nets

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

OLC

Revue Scientifique : International Journal of Production Research, Vol.42, N°14, pp.2741-2756, 15 Juillet 2004 , N° 03547

Diffusable

Ajouter au panier 102477

Traductions de V-Cotre vers les formalismes temporels et temporisés

B.BERTHOMIEU, J.P.BODEVEIX, S.DEVULDER, J.M.FARINES, M.FILALI, J.L.LAMBERT, P.MICHEL, O.NASR, G.PADIOU, P.O.RIBET, F.VERNADAT

OLC, IRIT-UPS, TNI, ONERA-CERT

Rapport de Contrat : Contrat RNTL COTRE, Juillet 2004, 51p. , N° 04371

Diffusable

Ajouter au panier 102450

Vérifications dans un AGL orienté modèles

P.FARAIL, P.GAUFILLET, M.FILALI, P.MICHEL, F.VERNADAT

EADS AIRBUS SA, IRIT-UPS, ONERA-CERT, OLC

Revue Scientifique : Génie Logiciel, N°69B, pp.51-55, Juin 2004 , N° 04747

Diffusable

Ajouter au panier 103211

COTRE : prospective pour la vérification

B.BERTHOMIEU, J.P.BODEVEIX, S.DEVULDER, J.M.FARINES, M.FILALI, P.GAUFILLET, J.L.LAMBERT, P.MICHEL, O.NASR, G.PADIOU, P.O.RIBET, F.VERNADAT

IRIT-UPS, TNI, EADS AIRBUS SA, ONERA-CERT, OLC

Rapport de Contrat : Contrat RNTL COTRE, Juin 2004, 10p. , N° 04372

Diffusable

Ajouter au panier 102452

The COTRE project: how to model and verify real time architecture?

P.FARAIL, P.GAUFILLET, J.M.FARINES, J.L.LAMBERT, P.DISSAUX, H.HAFIDI, P.MICHEL, M.FILALI, J.P.BODEVEIX, F.VERNADAT, B.BERTHOMIEU, P.O.RIBET

OLC, TNI, EADS AIRBUS SA, ONERA-CERT, IRIT-UPS

Manifestation avec acte : 2nd European Congress on Embedded Real Time Software (ERTS'2004), Toulouse (France), 21-23 Janvier 2004, 10p. , N° 03546

Diffusable

Ajouter au panier 102205

L'outil TINA. Construction d'espaces d'états abstraits pour les réseaux de Petri et réseaux temporels

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

OLC

Manifestation avec acte : 4ème Colloque Francophone sur la Modélisation des Systèmes Réactifs (MSR'03), Metz (France), 6-8 Octobre 2003, pp.295-310 , N° 03071

Diffusable

Ajouter au panier 101249

Langage pour la vérification V-Cotre : la prise en compte du scheduling et la traduction vers les réseaux de Petri temporels

A.NASPOLINI, J.M.FARINES, P.O.RIBET, F.VERNADAT, B.BERTHOMIEU

OLC

Rapport LAAS N°03431, Septembre 2003, 78p.

Diffusable

Ajouter au panier 101320

Towards the verification of real-time systems in avionics: the Cotre approach

B.BERTHOMIEU, P.O.RIBET, F.VERNADAT, J.BERNARTT, J.M.FARINES, J.P.BODEVEIX, M.FILALI, G.PADIOU, P.MICHEL, P.FARAIL, P.GAUFFILET, P.DISSAUX, J.L.LAMBERT

EADS AIRBUS SA, OLC, ONERA-CERT, IRIT-UPS, TNI

Manifestation avec acte : 8th International Workshop on Formal Methods for Industrial Critical Systems (FMICS'2003), Roros (Norvège), 5-7 Juin 2003, pp.201-216 , N° 03185

Diffusable

Ajouter au panier 100866