Publications personnelle

136documents trouvés

12756
01/12/2012

Vérification de transformations. Quarteft T42-4

N.ABID, B.BERTHOMIEU, J.P.BODEVEIX, S.DAL ZILIO, DDOOSE, M.FILALI, D.LE BOTLAN, M.PANTEL, F.VERNADAT

VERTICS, IRIT-UPS, ONERA, IRIT-ENSEEIHT

Rapport de Contrat : Projet QUARTEFT (FNRAE), Décembre 2012, 28p. , N° 12756

Diffusion restreinte

129017
12757
01/12/2012

Rapport final

N.ABID, J.C.BACH, B.BERTHOMIEU, J.P.BODEVEIX, S.DAL ZILIO, N.DISSAUX, DDOOSE, M.FILALI, M.GARNACHO, D.LE BOTLAN, P.MICHEL, M.PANTEL, P.E.MOREAU, A.SCHACH, F.VERNADAT

VERTICS, LORIA, IRIT-UPS, Ellidiss Technologi, ONERA, ONERA-CERT, ONERA/DTIM, IRIT-ENSEEIHT

Rapport de Contrat : Projet QUARTEFT (FNRAE), Décembre 2012, 41p. , N° 12757

Diffusion restreinte

129019
12755
01/09/2012

Définition du langage de propriétés RT - FIACRE. Quarteft T2-12-B

N.ABID, B.BERTHOMIEU, J.P.BODEVEIX, S.DAL ZILIO, M.FILALI, D.LE BOTLAN, F.VERNADAT

VERTICS, IRIT-UPS

Rapport de Contrat : Projet QUARTEFT (FNRAE), Septembre 2012, 17p. , N° 12755

Diffusion restreinte

129015
12754
01/08/2012

Définition formelle du langage de comportement RT- FIACRE V3. Quarteft T12-12-A

B.BERTHOMIEU, J.P.BODEVEIX, S.DAL ZILIO, M.FILALI, D.LE BOTLAN, R.SPADOTTI, G.VERDIER, F.VERNADAT

VERTICS, IRIT-UPS

Rapport de Contrat : Projet QUARTEFT (FNRAE), Août 2012, 35p. , N° 12754

Diffusion restreinte

129013
12758
01/07/2012

Model-checking support for AADL

S.DAL ZILIO, F.VERNADAT, B.BERTHOMIEU, M.FILALI, J.P.BODEVEIX

VERTICS, IRIT-UPS

Rapport LAAS N°12758,

Diffusable

129022
12773
11/01/2012

La traduction AADL-FIACRE. L'expérience TOPCASED

B.BERTHOMIEU, J.P.BODEVEIX, S.DAL ZILIO, P.FARAIL, M.FILALI, P.GAUFILLET, F.VERNADAT

VERTICS, IRIT-UPS, EADS AIRBUS SA

Manifestation sans acte : Approches Formelles dans l'Assistance au Développement de Logiciels ( AFADL ) 2012 du 11 janvier au 13 janvier 2012, Grenoble (France), Janvier 2012, 51p. , N° 12773

Diffusable

129066
11681
05/09/2011

A model driven engineering approach to formal verification of PLC programs

J.M.FARINES, M.H.DE QUEIROZ, V.G.DA ROCHA, A.M.M.CARPES, F.VERNADAT, X.CREGUT

DAS/UFSC, OLC, ENSEEIHT

Manifestation avec acte : Emerging Technologies and Factory Automation (ETFA'2011), Toulouse (France), 5-9 Septembre 2011, 8p. , N° 11681

Diffusable

126059
11688
01/09/2011

Specification and verification of real-time systems using the POLA

F.PERES, P.E.HLADIK, F.VERNADAT

IFSTTAR, OLC

Revue Scientifique : International Journal of Critical Computer Based Systems, Vol.2, N°3-4 , pp.332-351, Septembre 2011 , N° 11688

Diffusable

126075
11687
01/09/2011

On the composition of time Petri nets

F.PERES, B.BERTHOMIEU, F.VERNADAT

OLC, IFSTTAR

Revue Scientifique : Discrete Event Dynamic Systems, Vol.21, N°3, pp.395-424, Septembre 2011 , N° 11687

Diffusable

126073
11446
29/08/2011

Vérification formelle de spécifications AADL via FIACRE

B.BERTHOMIEU, J.P.BODEVEIX, S.DAL ZILIO, M.FILALI, F.VERNADAT

IRIT-UPS, OLC

Manifestation sans acte : Ecole d'Eté Temps Réel (ETR'11), Brest (France), 29 Août - 2 Septembre 2011, 9p. , N° 11446

Diffusable

125705
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/