skip to main content
Résultats 1 2 next page
Result Number Material Type Add to My Shelf Action Record Details and Options
1
Material Type:
Thèse
Ajouter à Mon espace

PREUVES DE PROPRIETES DE CLASSES DE PROGRAMMES PAR DERIVATION SYSTEMATIQUE DE JEUX DE TEST

NICOLAS, VALERIE-ANNE ; Le Métayer, Daniel

S.l. : s.n., 1998

Voir les exemplaires

2
Research directions in high-level parallel programming languages : proceedings
Material Type:
Livre
Ajouter à Mon espace

Research directions in high-level parallel programming languages : proceedings

Congrès Mont Saint-Michel 1991. ; Banâtre, Jean-Pierre ; Le Métayer, Daniel

Berlin New York NY Paris : Springer, 1992

Voir les exemplaires

3
Material Type:
Livre
Ajouter à Mon espace

Compilation of functional languages by program transformation

Fradet, Pascal (1963-....) ; Le Métayer, Daniel

Le Chesnay, France : Institut National de Recherche en Informatique et en Automatique, 1989

Voir les exemplaires

4
Material Type:
Livre
Ajouter à Mon espace

Dynamic slicing : a generic analysis based on a natural semantics format

Gouranton, Valerie ; Le Métayer, Daniel ; IRISA 117

S.l., 1998

Voir les exemplaires

5
Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 proceedings
Material Type:
Livre
Ajouter à Mon espace

Programming languages and systems : 11th European Symposium on Programming, ESOP 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 proceedings

European Symposium on Programming European Symposium on Programming 11th Grenoble, FR 2002 ; Le Métayer, Daniel

Berlin New York : Springer, 2002

Voir les exemplaires

6
Coordination programming : mechanisms, models and semantics
Material Type:
Livre
Ajouter à Mon espace

Coordination programming : mechanisms, models and semantics

Congrès Geneva, Lisboa 1994, 1995. ; Andreoli, Jean-Marc ; Hankin, Chris ; Le Métayer, Daniel

London : Imperial College Press, 1996

Voir les exemplaires

7
Material Type:
Livre
Ajouter à Mon espace

Programming by multiset transformation

Whitney, Josiah Dwight ; Le Métayer, Daniel ; IRISA 117

S.l., 03-1990

Voir les exemplaires

8
Privacy Technologies and Policy : Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers
Material Type:
Livre
Ajouter à Mon espace

Privacy Technologies and Policy : Third Annual Privacy Forum, APF 2015, Luxembourg, Luxembourg, October 7-8, 2015, Revised Selected Papers

Berendt, Bettina ; Engel, Thomas ; Ikonomou, Demosthenes ; Le Métayer, Daniel ; Schiffner, Stefan

Cham : Springer International Publishing, 2016

Accessible en ligne

9
Prospects for functional programming in software engineering
Material Type:
Livre
Ajouter à Mon espace

Prospects for functional programming in software engineering

Whitney, Josiah Dwight ; Le Métayer, Daniel ; Jones, Simon B. ; ESPRIT. Projet 302

Berlin New York London : Springer, 1991

Voir les exemplaires

10
Coordination languages and models : proceedings
Material Type:
Livre
Ajouter à Mon espace

Coordination languages and models : proceedings

International Conference on Coordination Models and Languages 2, 1997, Berlin, Germany ; Garlan, David ; Le Métayer, Daniel

New York : Springer, 1997

Disponible(Obtenir)

11
Material Type:
Versions multiples

Programming Languages and Systems

European Symposium on Programming ; Daniel Le Métayer

Plusieurs versions trouvées
Il y a 8 versions

12
Coordination Languages and Models
Coordination Languages and Models
Material Type:
Livre
Ajouter à Mon espace

Coordination Languages and Models

COORDINATION '97 ; David Garlan; Daniel Le Métayer

Springer Berlin Heidelberg, 1997

Accessible en ligne

13
Reasearch Directions in High-Level Parallel Programming Languages
Reasearch Directions in High-Level Parallel Programming Languages
Reasearch Directions in High-Level Parallel Programming Languages
Material Type:
Livre
Ajouter à Mon espace

Reasearch Directions in High-Level Parallel Programming Languages

Jean-Pierre Banâtre; Daniel Le Métayer

Springer Berlin Heidelberg, 1992

Accessible en ligne

14
Privacy Technologies and Policy
Privacy Technologies and Policy
Material Type:
Livre
Ajouter à Mon espace

Privacy Technologies and Policy

Thomas Engel, Demosthenes Ikonomou, Daniel Le Métayer, Stefan Schiffner Bettina Berendt

Springer International Publishing, 2016

Accessible en ligne

15
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties
Material Type:
Autre
Ajouter à Mon espace

Liability issues in software engineering: the use of formal methods to reduce legal uncertainties

Le Métayer , Daniel ; Maarek , Manuel ; Mazza , Eduardo ; Potet , Marie-Laure ; Frénot , Stéphane ; Viet Triem Tong , Valérie ; Craipeau , Nicolas ; Hardouin , Ronan ; Legal Issues in Communication and Information Technologies ( LICIT ) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) ; Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time ( POP ART ) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Laboratoire d'Informatique de Grenoble ( LIG ) ; Université Pierre Mendès France - Grenoble 2 ( UPMF ) -Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut National Polytechnique de Grenoble ( INPG ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) -Université Pierre Mendès France - Grenoble 2 ( UPMF ) -Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut National Polytechnique de Grenoble ( INPG ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) ; VERIMAG ( VERIMAG - IMAG ) ; Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut National Polytechnique de Grenoble ( INPG ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) ; Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured ( AMAZONES ) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CITI Centre of Innovation in Telecommunications and Integration of services ( CITI ) ; Institut National des Sciences Appliquées de Lyon ( INSA Lyon ) ; Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées de Lyon ( INSA Lyon ) ; Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Université de Lyon-Institut National des Sciences Appliquées ( INSA ) ; SSIR - Equipe Sécurité des Systèmes d'Information et Réseaux - EA 4039 ; SUPELEC-Campus Rennes ; SUPELEC-SUPELEC ; Laboratoire de recherche sur les Propriétés Intellectuelles et les Nouvelles Technologies ( PrINT ) ; Université de Caen Normandie ( UNICAEN ) ; Normandie Université ( NU ) -Normandie Université ( NU ) ; Laboratoire de Droit des Affaires et Nouvelles Technologies ( DANTE ) ; Université de Versailles Saint-Quentin-en-Yvelines ( UVSQ )

ISSN: 0001-0782

HAL CCSD;Association for Computing Machinery, 2011

Accessible en ligne

16
Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study
Material Type:
Autre
Ajouter à Mon espace

Liability in Software Engineering Overview of the LISE Approach and Illustration on a Case Study

Le Métayer , Daniel ; Maarek , Manuel ; Mazza , Eduardo ; Potet , Marie-Laure ; Frénot , Stéphane ; Viet Triem Tong , Valérie ; Craipeau , Nicolas ; Hardouin , Ronan ; Alleaune , Christophe ; Benabou , Valérie-Laure ; Beras , Denis ; Bidan , Christophe ; Goessler , Gregor ; Le Clainche , Julien ; Mé , Ludovic ; Steer , Sylvain ; Legal Issues in Communication and Information Technologies ( LICIT ) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) ; Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time ( POP ART ) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Laboratoire d'Informatique de Grenoble ( LIG ) ; Université Pierre Mendès France - Grenoble 2 ( UPMF ) -Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut National Polytechnique de Grenoble ( INPG ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) -Université Pierre Mendès France - Grenoble 2 ( UPMF ) -Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut National Polytechnique de Grenoble ( INPG ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) ; VERIMAG ( VERIMAG - IMAG ) ; Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut National Polytechnique de Grenoble ( INPG ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) ; Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured ( AMAZONES ) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CITI Centre of Innovation in Telecommunications and Integration of services ( CITI ) ; Institut National des Sciences Appliquées de Lyon ( INSA Lyon ) ; Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées de Lyon ( INSA Lyon ) ; Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Université de Lyon-Institut National des Sciences Appliquées ( INSA ) ; SUPELEC-Campus Rennes ; SUPELEC ; Laboratoire de recherche sur les Propriétés Intellectuelles et les Nouvelles Technologies ( PrINT ) ; Université de Caen Normandie ( UNICAEN ) ; Normandie Université ( NU ) -Normandie Université ( NU ) ; Laboratoire de Droit des Affaires et Nouvelles Technologies ( DANTE ) ; Université de Versailles Saint-Quentin-en-Yvelines ( UVSQ ) ; ACM/IEEE ; ANR-07-SESU-0007,SESU,LISE ( 2007 )

ACM/IEEE 32nd International Conf. on Software Engineering (ICSE 2010)

HAL CCSD, 2010

Accessible en ligne

17
Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study
Material Type:
Autre
Ajouter à Mon espace

Liability in Software Engineering: Overview of the LISE Approach and Illustration on a Case Study

Alleaune , Christophe ; Benabou , Valérie-Laure ; Beras , Denis ; Bidan , Christophe ; Craipeau , Nicolas ; Frénot , Stéphane ; Goessler , Gregor ; Hardouin , Ronan ; Le Clainche , Julien ; Le Métayer , Daniel ; Maarek , Manuel ; Mazza , Eduardo ; Mé , Ludovic ; Potet , Marie-Laure ; Steer , Sylvain ; Viet Triem Tong , Valérie ; Laboratoire de recherche sur les Propriétés Intellectuelles et les Nouvelles Technologies ( PrINT ) ; Université de Caen Normandie ( UNICAEN ) ; Normandie Université ( NU ) -Normandie Université ( NU ) ; Laboratoire de Droit des Affaires et Nouvelles Technologies ( DANTE ) ; Université de Versailles Saint-Quentin-en-Yvelines ( UVSQ ) ; Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured ( AMAZONES ) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CITI Centre of Innovation in Telecommunications and Integration of services ( CITI ) ; Institut National des Sciences Appliquées de Lyon ( INSA Lyon ) ; Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées de Lyon ( INSA Lyon ) ; Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Université de Lyon-Institut National des Sciences Appliquées ( INSA ) ; SUPELEC-Campus Rennes ; SUPELEC ; Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time ( POP ART ) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Laboratoire d'Informatique de Grenoble ( LIG ) ; Université Pierre Mendès France - Grenoble 2 ( UPMF ) -Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut National Polytechnique de Grenoble ( INPG ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) -Université Pierre Mendès France - Grenoble 2 ( UPMF ) -Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut National Polytechnique de Grenoble ( INPG ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) ; Legal Issues in Communication and Information Technologies ( LICIT ) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) ; VERIMAG ( VERIMAG - IMAG ) ; Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut National Polytechnique de Grenoble ( INPG ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) ; INRIA ; ANR-07-SESU-0007,SESU,LISE ( 2007 )

https://hal.inria.fr/inria-00440437

HAL CCSD, 2009

Accessible en ligne

18
Material Type:
Versions multiples

19
Dependency analysis of Mobile Systems
Material Type:
Autre
Ajouter à Mon espace

Dependency analysis of Mobile Systems

Feret , Jérôme ; Département d'informatique de l'École normale supérieure ( DI-ENS ) ; École normale supérieure - Paris ( ENS Paris ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Centre National de la Recherche Scientifique ( CNRS ) ; Daniel Le Métayer

the European Symposium on Programming (ESOP'02)

HAL CCSD;Springer, 2002

Accessible en ligne

20
Formal methods for privacy by design
Material Type:
Autre
Ajouter à Mon espace

Formal methods for privacy by design

Antignac , Thibaud ; CITI Centre of Innovation in Telecommunications and Integration of services ( CITI ) ; Institut National des Sciences Appliquées de Lyon ( INSA Lyon ) ; Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) ; INSA de Lyon ; Daniel Le Métayer

https://tel.archives-ouvertes.fr/tel-01235044

HAL CCSD, 2015

Accessible en ligne

Résultats 1 2 next page

Personnaliser vos résultats

  1. Créer votre profil de recherche

Refine Search Results

Élargir la recherche

  1.   

Affiner les résultats

Type de ressource 

  1. Articles  (7)
  2. Autres  (6)
  3. Livres  (16)
  4. Thèses  (1)
  5. Plus d’options open sub menu

Auteur 

  1. Le Métayer, Daniel  (16)
  2. Le Métayer, D  (6)
  3. Daniel Le Métayer  (4)
  4. Métayer, Daniel  (3)
  5. Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time ( POP ART ) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Laboratoire d'Informatique de Grenoble ( LIG ) ; Université Pierre Mendès France - Grenoble 2 ( UPMF ) -Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut National Polytechnique de Grenoble ( INPG ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA ) -Université Pierre Mendès France - Grenoble 2 ( UPMF ) -Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut National Polytechnique de Grenoble ( INPG ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA )  (3)
  6. Laboratoire de Droit des Affaires et Nouvelles Technologies ( DANTE ) ; Université de Versailles Saint-Quentin-en-Yvelines ( UVSQ )  (3)
  7. Hankin, Chris  (3)
  8. Banâtre, Jean-Pierre  (3)
  9. Viet Triem Tong , Valérie  (3)
  10. Potet , Marie-Laure  (3)
  11. Mazza , Eduardo  (3)
  12. Maarek , Manuel  (3)
  13. Garlan, David  (3)
  14. Frénot , Stéphane  (3)
  15. Laboratoire de recherche sur les Propriétés Intellectuelles et les Nouvelles Technologies ( PrINT ) ; Université de Caen Normandie ( UNICAEN ) ; Normandie Université ( NU ) -Normandie Université ( NU )  (3)
  16. VERIMAG ( VERIMAG - IMAG ) ; Université Joseph Fourier - Grenoble 1 ( UJF ) -Institut National Polytechnique de Grenoble ( INPG ) -Centre National de la Recherche Scientifique ( CNRS ) -Université Grenoble Alpes ( UGA )  (3)
  17. Le Métayer , Daniel  (3)
  18. Legal Issues in Communication and Information Technologies ( LICIT ) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria )  (3)
  19. Craipeau , Nicolas  (3)
  20. Ambient Middleware Architectures: Service-Oriented, Networked, Efficient and Secured ( AMAZONES ) ; Inria Grenoble - Rhône-Alpes ; Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -CITI Centre of Innovation in Telecommunications and Integration of services ( CITI ) ; Institut National des Sciences Appliquées de Lyon ( INSA Lyon ) ; Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Institut National de Recherche en Informatique et en Automatique ( Inria ) -Institut National des Sciences Appliquées de Lyon ( INSA Lyon ) ; Université de Lyon-Institut National des Sciences Appliquées ( INSA ) -Université de Lyon-Institut National des Sciences Appliquées ( INSA )  (3)
  21. Hardouin , Ronan  (3)
  22. Fradet, Pascal  (2)
  23. Resche-Rigon, Matthieu  (1)
  24. Donal, Erwan  (1)
  25. Bauer, Fabrice  (1)
  26. Damy, Thibaud  (1)
  27. Logeart, Damien  (1)
  28. Jondeau, Guillaume  (1)
  29. Seronde, Marie-France  (1)
  30. Trochu, Jean-Noël  (1)
  31. Neuder, Yannick  (1)
  32. Eicher, Jean-Christophe  (1)
  33. Delahaye, François  (1)
  34. Juilliere, Yves  (1)
  35. Isnard, Richard  (1)
  36. Sands, David  (1)
  37. Mulak, Geneviève  (1)
  38. Jourdain, Patrick  (1)
  39. Galinier, Michel  (1)
  40. Plus d’options open sub menu

Date de publication 

À partir de jusqu'à
  1. Avant 1992  (3)
  2. 1992 à 1996  (5)
  3. 1997 à 1999  (9)
  4. 2000 à 2010  (8)
  5. Après 2010  (5)
  6. Plus d’options open sub menu

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré