Fabien DAGNAT

Fabien DAGNAT


Enseignant-chercheur

Dépt. Informatique

Téléphone : 02 29 00 14 09
Télécopie : 02 29 00 12 82
Courriel : fabien.dagnat@telecom-bretagne.eu
ENST Bretagne

Les publications

Saisir la ou les premières lettres pour afficher la liste de choix.
aide


depuis jusqu'à
fermer


2011

Communication dans une conférence à comité de lecture

BOUVERET Sylvain, BRUNEL Julien, CHEMOUIL David, DAGNAT Fabien
Towards a categorical framework to ensure correct software evolutions. Workshop on Hot Topics in Software Upgrades, 16 april 2011, Hannover, Germany, 2011, pp. 139-144
DAGNAT Fabien, SIMON Gwendal, ZHANG Xu
Toward a distributed package management system. Lococo 2011: workshop on logics for component configuration, 12 september 2011, Perugia, Italy, 2011
GOLRA Fahad Rafique, DAGNAT Fabien
The lazy initialization multilayered modeling framework: NIER track. International Conference on Software Engineering , New York : ACM, 21-28 mai 2011, Honolulu, États-Unis, 2011, pp. 924-927, ISBN 978-1-4503-0445-0

2010

Article de revue avec comité de lecture

BESNARD Loïc, GAUTIER Thierry, OUY Julien, TALPIN Jean-Pierre, BODEVEIX Jean-Paul, CORTIER Alexandre, PANTEL Marc, STRECKER Martin, GARCIA Gérald, RUGINA Ana-Elena, BUISSON Jérémy, DAGNAT Fabien
Polychronous interpretation of synoptic, a domain specific modeling language for embedded flight-software. Formal methods for aerospace, 2010, vol. 18, pp. 80-87

Communication dans une conférence à comité de lecture

BUISSON Jérémy, DAGNAT Fabien
ReCaml: execution state as the cornerstone of reconfigurations. 15th ACM SIGPLAN International Conference on Functional Programming, New York, NY, USA : ACM, 27-29 september 2010, Baltimore, United States, 2010, pp. 27-38, ISBN 978-1-60558-794-3

Chapitre dans un livre

CORTIER Alexandre, BESNARD Loïc, BODEVEIX Jean-Paul, BUISSON Jérémy, DAGNAT Fabien, FILALI Mamoun, GARCIA Gérald, OUY Julien, PANTEL Marc, RUGINA Ana-Elena, STRECKER Martin, TALPIN Jean-Pierre
Synoptic: a domain-specific modeling language for space on-board application software. Synthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, 2010, (Engineering), pp. 79-119, ISBN 978-1-4419-6399-4

2009

Communication dans une conférence à comité de lecture

BELGUIDOUM Meriem, DAGNAT Fabien
Vers un déploiement sûr et flexible des composants logiciels. NOTERE 2009 : neuvième conférence internationale sur les nouvelles technologies de la répartition, 29 juin - 03 juillet 2009, Montréal, Canada, 2009
BELGUIDOUM Meriem, DAGNAT Fabien
Integrating extra-functional properties in component deployment dependencies. 6th International Workshop on Formal Aspects of Component Software, Amsterdam : Centrum Wiskunde & Informatica, 02-03 november 2009, Eindhoven, Netherlands, 2009, vol. Formal Aspects of Component Software, pp. 195-209
BEUGNARD Antoine, CHABRIDON Sophie, CONAN Denis, TACONET Chantal, DAGNAT Fabien, KABORE Eveline
Towards context-aware components. Foundations of Software Engineering : proceedings of the first international workshop on Context-aware software technology and applications, New York, USA : ACM, 24 août 2009, Amsterdam, Pays-Bas, 2009, pp. 1-4, ISBN 978-1-60558-707-3

2008

Article de revue avec comité de lecture

BELGUIDOUM Meriem, DAGNAT Fabien
Formalization of component substitutability. Electronic notes in theoretical computer science, juin 2008, vol. 215, pp. 75-92

Communication dans une conférence à comité de lecture

BUISSON Jérémy, DAGNAT Fabien
Experiments with fractal on modular reflection. SERA'08 : 6th international conference on software engineering research, management and applications, August 20-22, Prague, Czech Republic, 20-22 august 2008, Prague, Czech Republic, 2008, pp. 179-186
BUISSON Jérémy, DAGNAT Fabien
Introspecting continuations in order to update active code. HotSWUp : first ACM workshop on Hot Topics in Software Upgrades, 20-20 october 2008, Nashville, United States, 2008
BUISSON Jérémy, CARRO Cecilia, DAGNAT Fabien
Issues in applying a model driven approach to reconfigurations of satellite software. HotSWUp : first ACM workshop on Hot Topics in Software Upgrades, 20-20 october 2008, Nashville, United States, 2008

2007

Article de revue avec comité de lecture

BELGUIDOUM Meriem, DAGNAT Fabien
Dependency management in software component deployment . Electronic notes in theoretical computer science, june 2007, vol. 182, pp. 17-32

Communication dans une conférence à comité de lecture

BELGUIDOUM Meriem, DAGNAT Fabien
Dependability in software component deployment. RELCOMEX 2007 : 2nd international conference on dependability of computer systems depCos, June 14-16, Szklarska Poreba, Pologne, IEEE, 2007, pp. 223-230

2006

Communication dans une conférence à comité de lecture

BELGUIDOUM Meriem, DAGNAT Fabien
Analysis of deployment dependencies in software components. SAC 2006 : 21st annual ACM Symposium on applied computing, 23-27 avril, Dijon, France, 2006
BELGUIDOUM Meriem, DAGNAT Fabien
Dependency management in software component deployment. FACS'06 : Third International Workshop on Formal Aspects of Component Software, Septembre 06, Prague, Czech republic, 2006

2005

Communication dans une conférence à comité de lecture

BELGUIDOUM Meriem, DAGNAT Fabien, BEUGNARD Antoine
Analyse des dépendances pour le déploiement automatique de composants. 4ème Conférence Francophone autour des Composants Logiciels, Le Croisic du 6 au 8 Avril 2005, 2005, pp. 57-68

2003

Communication dans une conférence à comité de lecture

BARRERO SASTRE Laura, DAGNAT Fabien, DONIN DE ROSIERE Emmanuel, KERYELL Ronan, TORNERI Nicolas
Bibtex++ : toward higher-order bibtexing. EuroTeX'2003 : 14th European TeX Conference, ENST Bretagne, France, 24-27 juin, France, 2003

2002

Communication dans une conférence à comité de lecture

DAGNAT Fabien, PANTEL Marc
Static analysis of communications for Erlang. EUC 2002 (8th international Erlang User Conference), Stockholm, November 19, Suède, 2002


Technopôle Brest-Iroise - CS 83818 - 29238 Brest Cedex 3 - France
Tél : 33 (0)2 29 00 11 11 - Fax : 33 (0)2 29 00 10 00