106documents trouvés
Mapping RT-LOTOS specifications into time Petri nets
T.SADANI, M.BOYER, P.DE SAQUI SANNES, J.P.COURTIAT
ENSICA, OLC
Manifestation avec acte : International Conference on Formal Engineering Methods, Macao (Chine), 1-3 Novembre 2006, 20p. , N° 06888
Diffusable
109004Real-time and embedded system verification based on formal requirements
B.FONTAN, L.APVRILLE, P.DE SAQUI SANNES, J.P.COURTIAT
OLC, ENST Sophia
Manifestation avec acte : IEEE Symposium on Industrial Embedded Systems (IES'2006), Antibes (France), 18-20 Octobre 2006, 10p. , N° 06496
Diffusable
108764Effective representation of regular RT-LOTOS terms by finite time Petri nets
T.SADANI, M.BOYER, P.DE SAQUI SANNES, J.P.COURTIAT
OLC
Manifestation avec acte : International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06), Paris (France), 26-29 Septembre 2006, 16p. , N° 05605
Diffusable
109002NOTERE'2006. Nouvelles Technologies de la Répartition
L.APVRILLE, K.DRIRA, P.DE SAQUI SANNES, T.VILLEMUR
ENST Sophia, OLC
Ouvrage (éditeur) : Hermès, N°ISBN 978-2-7462-1588-7, 6-9 Septembre 2006, Toulouse (France), 391p. , N° 06262
Non diffusable
113074L4.1 : validation fonctionnelle de l'architecture
M.S.BOUASSIBA, I.CHRISMENT, B.FONTAN, S.MOTA GONZALEZ , P.DE SAQUI SANNES, T.VILLEMUR
ENST, LORIA, OLC
Rapport de Contrat : Projet RNRT SAFECAST, Juillet 2006, 85p. , N° 06546
Non diffusable
107654L 4.3 : identification et mise en oeuvre des outils de simulation et vérification
M.ABIB, M.S.BOUASSIBA, B.FONTAN, S.MOTA GONZALEZ , H.RAGAB HASSAN, P.DE SAQUI SANNES, T.VILLEMUR
OLC, UTC, LORIA, ENST
Rapport de Contrat : Projet RNRT SAFECAST, Avril 2006, 28p. , N° 06384
Diffusable
106913Extension de RT-LOTOS pour la spécification et la vérification de systèmes préemptifs
T.SADANI, P.DE SAQUI SANNES, J.P.COURTIAT, M.BOYER
OLC, ENSICA
Manifestation sans acte : Journées FAC'2006 "Formalisation des Activités Concurrentes", Toulouse (France), 23-24 Mars 2006, 13p. , N° 06890
Diffusable
109008Recherche d'efficacité en vérification de modèles UML temps réel traduits en RT-LOTOS
T.SADANI, P.DE SAQUI SANNES, J.P.COURTIAT
OLC
Manifestations avec acte à diffusion limitée : 7ème Conférence Francophone "Approches Formelles dans l'Assistance au Développement de Logiciels" (AFADL'06), Paris (France), 15-17 Mars 2006, pp.127-139 , N° 05562
Diffusable
106560UML-based modeling and formal verification of authentication protocols
B.FONTAN, S.MOTA GONZALEZ , T.VILLEMUR, P.DE SAQUI SANNES, J.P.COURTIAT
OLC
Manifestation avec acte : IEEE International Symposium on Secure Software Engineering (ISSSE'06), Arlington (USA), 13-15 Mars 2006, pp.137-146 , N° 05550
Diffusable
106405Formal and efficient verification techniques for real-time UML models
T.SADANI, P.DE SAQUI SANNES, J.P.COURTIAT
OLC
Manifestation avec acte : 3rd European Congress on Embedded Real Time Software (ERTS'06), Toulouse (France), 25-27 Janvier 2006, 8p. , N° 06007
Diffusable
106403