Retour au site du LAAS-CNRS

Lab@Future evaluated system

A.TOTTER, G.GROTE, V.BAUDIN, J.P.COURTIAT, T.VILLEMUR

OLC, Zurich, 2I

Rapport de Contrat : Lab@Future, Project IST-2001-34204, Avril 2005, 20p. , N° 05604

Diffusable

Ajouter au panier 105029

CoLab: a flexible collaborative web browsing tool

G.J.HOYOS RIVERA, R.L.GOMES, J.P.COURTIAT

OLC

Manifestation avec acte : 19th International Conference on Advanced Information Networking and Applications (AINA'2005), Taipei (Taïwan), 28-30 Mars 2005, pp.501-506 , N° 04552

Diffusable

Ajouter au panier 103439

Validating RT-LOTOS specifications using the TINA tool

T.SADANI, J.P.COURTIAT, P.DE SAQUI SANNES

OLC

Manifestation sans acte : Journées "Formalisation des Activités Concurrentes" (FAC'2005), Toulouse (France), 9-10 Mars 2005, 10p. , N° 05006

Diffusable

Ajouter au panier 103356

Lab@Future evaluation prototype

V.BAUDIN, J.P.COURTIAT, T.VILLEMUR

2I, OLC

Rapport de Contrat : Lab@Future, Project IST-2001-34204, Décembre 2004, 37p. , N° 04686

Diffusable

Ajouter au panier 103054

Formal validation of RT-LOTOS specifications: new directions and preliminary results

T.SADANI, P.DE SAQUI SANNES, J.P.COURTIAT

ENSICA, OLC

Manifestations avec acte à diffusion limitée : RTSS'2004. Work in Progress Session, Lisbonne (Portugal), 6-8 Décembre 2004, 4p. , N° 04455

Diffusable

Ajouter au panier 103102

IFIP TC3 Technology Enhanced Learning worshop (Tel'04). World Computer Congress

J.P.COURTIAT, C.DAVARAKIS, T.VILLEMUR

OLC, SYSTEMA

Ouvrage (éditeur) : Springer, N°ISBN 0-3872-4046-2, 2004, 188p. , N° 04703

Diffusable

Ajouter au panier 103124

Validation formelle et ordonnancement en contexte UML temps réel : l'approche TURTLE

P.DE SAQUI SANNES, L.APVRILLE, J.P.COURTIAT

ENST Sophia, OLC

Rapport LAAS N°04538, Octobre 2004, 20p.

Diffusable

Ajouter au panier 102820

Towards the formal validation of UML models complying with the OMG profile for schedulability, performance and time specification

L.APVRILLE, P.DE SAQUI SANNES, J.P.COURTIAT

ENST Sophia, OLC

Rapport LAAS N°04407, Juillet 2004, 16p.

Diffusable

Ajouter au panier 102515

TURTLE: a real-time UML profile supported by a formal validation toolkit

L.APVRILLE, J.P.COURTIAT, C.LOHR, P.DE SAQUI SANNES

OLC, ENST Sophia

Revue Scientifique : IEEE Transactions on Software Engineering, Vol.30, N°7, pp.473-487, Juillet 2004 , N° 03571

Diffusable

Ajouter au panier 102285

Un protocole de "Floor control" basé sur un mécanisme d'exclusion mutuelle distribué dynamique

M.OUZZIF, J.P.COURTIAT, M.ERRADI

OLC, ENSIAS

Manifestation avec acte : Les Nouvelles Technologies de la Répartition (NOTERE'2004), Saidia (Maroc), 27 Juin 2004, 13p. , N° 04306

Diffusable

Ajouter au panier 102436