91documents trouvés
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
107760Time 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
107761Problè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
104411Problè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
105527Vé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
103353Vé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
103355The 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
102477Traductions 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
102450COTRE : 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
102452The 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
102205