 |
 |
Conference papers
Vérification automatique de propriétés d'ordonnanceurs Bossa
Jean-Paul Bodeveix
1
Mamoun Filali
1
Julia Lawall
2
Gilles Muller
3, 4
1
IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées
IRIT - Institut de recherche en informatique de Toulouse
4
OBASCO - Objects, aspects and components
Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique
Jean-Paul Bodeveix 1
Author IdHAL : jean-paul-bodeveix IdRef : https://www.idref.fr/033384940 ORCID : https://orcid.org/0000-0002-4179-6063
Mamoun Filali 1
Author IdHAL : mamoun-filali-amine IdRef : https://www.idref.fr/033384959 ORCID : https://orcid.org/0000-0001-5387-6805
Julia L. Lawall 2
Author
Gilles Muller 3, 4
Author
1
IRIT-ACADIE - Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT
118 Route de Narbonne
31062 Toulouse Cedex 9 - France)
- IRIT - Institut de recherche en informatique de Toulouse (118 Route de Narbonne, F-31062 Toulouse Cedex 9 - France)
- UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France)
- UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France)
- UT3 - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
- CNRS - Centre National de la Recherche Scientifique : UMR5505 (France)
- Toulouse INP - Institut National Polytechnique (Toulouse) (France)
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France)
2
Department of Computer Science (The University of North Carolina Department of Computer Science Campus Box 3175, Sitterson Hall Chapel Hill, NC 27599-3175 - United States)
- NC State - North Carolina State University [Raleigh] (Raleigh, NC 27695 - United States)
- UNC - University of North Carolina System (United States)
3
LINA - Laboratoire d'Informatique de Nantes Atlantique (LINA - Faculté des Sciences 2 rue de la Houssinière - BP 92208 44322 NANTES CEDEX 3 - France)
- CNRS - Centre National de la Recherche Scientifique : UMR6241 (France)
- Mines Nantes - Mines Nantes (La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3 - France)
- UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France)
4
OBASCO - Objects, aspects and components (Ecole des Mines de Nantes
4 Rue Alfred Kastler, 44300 Nantes - France)
- Mines Nantes - Mines Nantes (La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3 - France)
- Inria Rennes – Bretagne Atlantique (Campus de beaulieu
35042 Rennes cedex - France)
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France)
Résumé : no abstract
Document type :
Conference papers
Complete list of metadatas
https://hal.archives-ouvertes.fr/hal-00457181
Contributor : Ls2n Hal <>
Submitted on : Tuesday, February 16, 2010 - 5:17:03 PM
Last modification on : Tuesday, January 5, 2021 - 2:22:03 PM
Contributor : Ls2n Hal <>
Submitted on : Tuesday, February 16, 2010 - 5:17:03 PM
Last modification on : Tuesday, January 5, 2021 - 2:22:03 PM
Identifiers
- HAL Id : hal-00457181, version 1
Collections
CNRS | INRIA | UNIV-NANTES | LINA | LINA-ASCOLA | UNIV-TLSE2 | INFO | SMS | IMT-ATLANTIQUE | UNIV-TLSE3 | UT1-CAPITOLE | IRIT | IRIT-ACADIE
Citation
Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa. AFADL'2006, 2006, Paris, France. pp.95-109. ⟨hal-00457181⟩
Metrics
Record views