Accéder directement au contenu

Frédéric Boulanger

17
Documents
Identifiants chercheurs

Présentation

Publications

942953
Image document

TESL: A language for reconciling heterogeneous execution traces

Frédéric Boulanger , Christophe Jacquet , Cécile Hardebolle , Iuliana Prodan
ACM-IEEE MEMOCODE 2014, Oct 2014, Lausanne, Switzerland. pp.114 - 123, ⟨10.1109/MEMCOD.2014.6961849⟩
Communication dans un congrès hal-01100179v1
Image document

Une sémantique multi-paradigme pour simuler des modèles SysML avec SystemC-AMS

Daniel Chaves Café , Filipe Vinci dos Santos , Cécile Hardebolle , Christophe Jacquet , Frédéric Boulanger
CIEL 2014, Jun 2014, Paris, France. pp.11-20
Communication dans un congrès hal-01079973v1
Image document

Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS

Daniel Chaves Café , Cécile Hardebolle , Christophe Jacquet , Filipe Vinci dos Santos , Frédéric Boulanger
MPM 2014, Daniel Balasubramanian; Christophe Jacquet; Pieter Van Gorp; Sahar Kokaly; Tamás Mészáros, Sep 2014, Valencia, Spain. pp.11-20
Communication dans un congrès hal-01076425v1
Image document

ModHel'X, un outil expérimental pour la modélisation multi-paradigmes

Christophe Jacquet , Cécile Hardebolle , Frédéric Boulanger
CIEL 2014, Jun 2014, Paris, France. pp.115-118
Communication dans un congrès hal-01079975v1
Image document

Heterogeneous Model Composition in ModHel'X: the Power Window Case Study

Frédéric Boulanger , Christophe Jacquet , Cécile Hardebolle , Ayman Dogui
Workshop on the Globalization of Modeling Languages at MODELS 2013, Sep 2013, Miami, United States
Communication dans un congrès hal-00905075v1
Image document

A DSL for Explicit Semantic Adaptation

Bart Meyers , Joachim Denil , Frédéric Boulanger , Cécile Hardebolle , Christophe Jacquet
MPM 2013, Sep 2013, Miami, United States. pp.47-56
Communication dans un congrès hal-00875798v1
Image document

Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent Environments

Christophe Jacquet , Ahmed Mohamed , Frédéric Boulanger , Cécile Hardebolle , Yacine Bellik
MRT 2013, Sep 2013, Miami, United States. pp.52-63
Communication dans un congrès hal-00905275v1

Multi-Paradigm Semantics for Simulating SysML Models using SystemC-AMS

Daniel Chaves Café , Frédéric Boulanger , Christophe Jacquet , Cécile Hardebolle , Filipe Vinci dos Santos
FDL 2013, Sep 2013, Paris, France. 7 p
Communication dans un congrès hal-00838859v1

Heterogeneous Modeling of Gesture-Based 3D Applications

Romuald Deshayes , Christophe Jacquet , Cécile Hardebolle , Frédéric Boulanger , Tom Mens
6th International Workshop on Multi-Paradigm Modeling (MPM'12), Oct 2012, Innsbruck, Austria. pp.6, ⟨10.1145/2508443.2508447⟩
Communication dans un congrès hal-00761613v1
Image document

Bridging the Chasm between Executable Metamodeling and Models of Computation

Benoit Combemale , Cécile Hardebolle , Christophe Jacquet , Frédéric Boulanger , Benoit Baudry
5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203
Communication dans un congrès hal-00905067v1

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

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

Modeling Heterogeneous Points of View with ModHel'X

Frédéric Boulanger , Christophe Jacquet , Elyes Rouis , Cécile Hardebolle
NFPinDSML 2009, Oct 2009, Denver, United States. 14 p
Communication dans un congrès hal-00444504v1

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

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

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

Modeling Heterogeneous Points of View with ModHel'X

Frédéric Boulanger , Christophe Jacquet , Cécile Hardebolle , Elyes Rouis
S. Ghosh. Models in Software Engineering, Springer-Verlag, pp.310-324, 2010
Chapitre d'ouvrage hal-00534407v1