Accéder directement au contenu

Frédéric Boulanger

8
Documents
Identifiants chercheurs

Présentation

Publications

dominique-marcadet
Image document

A time synchronization protocol for A664-P7

Frédéric Boulanger , Dominique Marcadet , Martin Rayrole , Benoît Valiron , Safouan Taha
Digital Avionics Systems Conference, Sep 2018, London, United Kingdom
Communication dans un congrès hal-01890134v1

Semantic Adaptation using CCSL Clock Constraints

Frédéric Boulanger , Ayman Dogui , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet
The 5th International Workshop on Multi-Paradigm Modeling at MODELS 2011, Oct 2011, Wellington, New Zealand. 12 p
Communication dans un congrès hal-00641413v1

Semantic Adaptation for Models of Computation

Frédéric Boulanger , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet
Eleventh International Conference on Application of Concurrency to System Design - ACSD 2011, Jun 2011, Newcastle, United Kingdom. pp.153-162
Communication dans un congrès hal-00605273v1

An Architecture Description Language for Verification in Component-Based Software

Ahcène Bouzoualegh , Frédéric Boulanger , Christophe Jacquet , Dominique Marcadet
32nd Annual IEEE International Computer Software and Applications Conference. (COMPSAC 2008)., Jul 2008, Turku, Finland. pp.365-368, ⟨10.1109/Compsac.2008.107⟩
Communication dans un congrès hal-00334977v1

From Data to Events: Checking Properties on the Control of a System

Christophe Jacquet , Frédéric Boulanger , Dominique Marcadet
ACM-IEEE MEMOCODE'2008, Jun 2008, ANAHEIM, United States. pp.17-26
Communication dans un congrès hal-00289103v1

A Generic Execution Framework for Models of Computation

Cécile Hardebolle , Dominique Marcadet , Frédéric Boulanger , Guy Vidal Naquet
MOMPES 2007 - ETAPS 2007, Mar 2007, Braga, Portugal. pp.45-54
Communication dans un congrès hal-00256116v1

Semantic Adaptation using CCSL Clock Constraints

Frédéric Boulanger , Ayman Dogui , Cécile Hardebolle , Christophe Jacquet , Dominique Marcadet
Jörg Kienzle. Models in Software Engineering, Springer-Verlag, pp.104-118, 2012, LNCS - Lecture Notes in Computer Science, ⟨10.1007/978-3-642-29645-1_12⟩
Chapitre d'ouvrage hal-00740801v1