Vérification automatique de propriétés d'ordonnanceurs Bossa

Jean-Paul Bodeveix; Mamoun Filali; Julia Lawall; Gilles Muller

Home
Submit
Browse
Search
Theses
Do you need help ?
Numeric Republic Law
Services
- AureHAL
- SpirHAL
- HALTools
- OCdHAL
- OverHAL
- X2HAL

Vérification automatique de propriétés d'ordonnanceurs Bossa

Jean-Paul Bodeveix ¹ Mamoun Filali ¹ Julia Lawall ² Gilles Muller ^{3, 4}

1 IRIT - Institut de recherche en informatique de Toulouse

2 Department of Computer Science

3 LINA - Laboratoire d'Informatique de Nantes Atlantique

4 OBASCO - Objects, aspects and components

Mines Nantes - Mines Nantes, Inria Rennes – Bretagne Atlantique

Jean-Paul Bodeveix ¹ AuthorId : 117890
Author

Mamoun Filali ¹ AuthorId : 467592
Author

Julia L. Lawall ² AuthorId : 97935
Author

Gilles Muller ^{3, 4} AuthorId : 102443
Author

1 IRIT - Institut de recherche en informatique de Toulouse (118 Route de Narbonne, F-31062 Toulouse Cedex 9 - France) StructId : 34499

UT1 - Université Toulouse 1 Capitole (2 rue du Doyen-Gabriel-Marty - 31042 Toulouse Cedex 9 - France) StructId : 81148
UT2J - Université Toulouse - Jean Jaurès (5 allées Antonio Machado - 31058 Toulouse Cedex 9 - France) StructId : 116256
UPS - Université Toulouse III - Paul Sabatier (118 route de Narbonne - 31062 Toulouse - France) StructId : 217752
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France) StructId : 443875
CNRS - Centre National de la Recherche Scientifique : UMR5505 (France) StructId : 441569
Toulouse INP - Institut National Polytechnique (Toulouse) (France) StructId : 448187
- Université Fédérale Toulouse Midi-Pyrénées (41 Allée Jules Guesde, 31000 Toulouse - France) StructId : 443875

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) StructId : 29077

NC State - North Carolina State University [Raleigh] (Raleigh, NC 27695 - United States) StructId : 306579
- UNC - University of North Carolina System (United States) StructId : 566986

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) StructId : 95421

Mines Nantes - Mines Nantes (La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3 - France) StructId : 84538
UN - Université de Nantes (1, quai de Tourville - BP 13522 - 44035 Nantes cedex 1 - France) StructId : 93263
CNRS - Centre National de la Recherche Scientifique : UMR6241 (France) StructId : 441569

4 OBASCO - Objects, aspects and components (Ecole des Mines de Nantes 4 Rue Alfred Kastler, 44300 Nantes - France) StructId : 382

Mines Nantes - Mines Nantes (La Chantrerie - 4, rue Alfred Kastler - BP 20722 - 44307 Nantes cedex 3 - France) StructId : 84538
Inria Rennes – Bretagne Atlantique (Campus de beaulieu 35042 Rennes cedex - France) StructId : 419153
- Inria - Institut National de Recherche en Informatique et en Automatique (Domaine de Voluceau Rocquencourt - BP 105 78153 Le Chesnay Cedex - France) StructId : 300009

Résumé : no abstract

Document type :

Conference papers

Domain :

Computer Science [cs] / Programming Languages [cs.PL]

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 : Thursday, October 24, 2019 - 2:44:06 PM

Identifiers

HAL Id : hal-00457181, version 1

Collections

Citation

Jean-Paul Bodeveix, Mamoun Filali, Julia Lawall, Gilles Muller. Vérification automatique de propriétés d'ordonnanceurs Bossa. AFADL'2006, 2006, France. pp.95-109. ⟨hal-00457181⟩

Vérification automatique de propriétés d'ordonnanceurs Bossa

Identifiers

Collections

Citation

Export

Metrics

242

CONTACT

Vérification automatique de propriétés d'ordonnanceurs Bossa

Identifiers

Collections

Citation

Export

Share

Metrics

242

CONTACT