Retour au site du LAAS-CNRS

Choix des techniques et outils de vérification

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

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

Rapport de Contrat : Contrat RNTL COTRE, Juin 2003, 37p. , N° 03320

Diffusable

Ajouter au panier 100992

Expérimentation sur l'étude de cas : validation de fragments

J.BERNARTT, B.BERTHOMIEU, J.P.BODEVEIX, J.M.FARINES, M.FILALI, P.GAUFILLET, P.MICHEL, A.NASPOLINI, G.PADIOU, P.O.RIBET, F.VERNADAT

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

Rapport de Contrat : Contrat RNTL COTRE, Juin 2003, 41p. , N° 03277

Diffusable

Ajouter au panier 100922

Présentation des techniques et outils de vérification

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

OLC, IRIT-UPS, TNI, ONERA-CERT

Rapport de Contrat : Contrat RNTL COTRE, Juin 2003, 45p. , N° 03276

Diffusable

Ajouter au panier 100920

The COTRE project: rigorous software development for real time systems in avionics

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

OLC, IRIT-UPS, Aérospatiale, UFSC, TNI, ONERA-CERT

Manifestation avec acte : 27th IFAC/IFIP/IEEE Workshop on Real-Time Programming (WRTP'03), Lagow (Pologne), 14-17 Mai 2003, pp.51-56 , N° 02505

Diffusable

Ajouter au panier 100767

State class constructions for branching analysis of Time Petri nets

B.BERTHOMIEU, F.VERNADAT

OLC

Manifestation avec acte : 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'2003), Varsovie (Pologne), 7-11 Avril 2003 , N° 02130

Diffusable

Ajouter au panier 100694

Graphe de pas couvrant préservant LTL-X LGPC

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

OLC

Manifestation sans acte : Journées "Formalisation des Activités Concurrentes" (FAC'2003), Toulouse (France), 12-13 Mars 2003, 18p. , N° 03053

Diffusable

Ajouter au panier 100570

Développement de systèmes temps-réel pour l'avionique : l'approche Cotre

B.BERTHOMIEU, J.P.BODEVEIX, P.DISSAUX, P.FARAIL, J.M.FARINES, M.FILALI, P.GAUFFILET, P.MICHEL, P.O.RIBET, F.VERNADAT

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

Rapport LAAS N°03058, Février 2003, 12p.

Diffusable

Ajouter au panier 100515

Graphes de pas couvrants : une approche ordre partiel

F.VERNADAT, P.O.RIBET

OLC

Ouvrage (contribution) : Vérification et mise en oeuvre des réseaux de Petri, Hermes Science, Traité IC2 Information-Commande-Communication, N°ISBN 2-7462-0445-2, 2003, Chapitre 2, pp.97-126 , N° 03064

Diffusion restreinte

Ajouter au panier 100525

Vérification de propriétés spécifiques

F.VERNADAT, S.HADDAD

OLC, LAMSADE

Ouvrage (contribution) : Vérification et mise en oeuvre des réseaux de Petri, Hermes Science, Traité IC2 Information-Commande-Communication, N°ISBN 2-7462-0445-2, 2003, Chapitre 1, pp.29-96 , N° 03065

Diffusion restreinte

Ajouter au panier 100527

On combining the persistent sets method with the covering steps graph method

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

OLC

Manifestation avec acte : 22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE'2002), Houston (USA), 11-14 Novembre 2002 , N° 02388

Diffusable

Ajouter au panier 100159