Frederic Boulanger

Laboratoire

Laboratoire Méthodes Formelles

Site WEB

Publications (82)

Communication dans un congrès 01/01/2014

Simulation orientée utilisateur des Systèmes d'Information des Smart Grids

Rachida Seghiri , Frédéric Boulanger , Vincent Godefroy , Claire Lecocq , Frederic Boulanger

Communication dans un congrès 01/12/2013

A DSL for Explicit Semantic Adaptation

Bart Meyers , Joachim Denil , Frédéric Boulanger , Cécile Hardebolle , Christophe Jacquet , Hans Vangheluwe , Frederic Boulanger

Communication dans un congrès 01/11/2013

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 , Frederic Boulanger

Communication dans un congrès 29/09/2013

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

Frédéric Boulanger , Christophe Jacquet , Cécile Hardebolle , Ayman Dogui , Frederic Boulanger

Communication dans un congrès 01/09/2013

Modeling and Verification of Redundancy Policies

Chouh Hamza , Callon Charlotte , Jalal Ghita , Frédéric Boulanger , Safouan Taha , Frederic Boulanger , Safouan Taha

Communication dans un congrès 01/09/2013

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 , Frederic Boulanger

Communication dans un congrès 01/02/2013

Bridging the Chasm between Executable Metamodeling and Models of Computation

Benoit Combemale , Cécile Hardebolle , Christophe Jacquet , Frédéric Boulanger , Benoit Baudry , Frederic Boulanger

Communication dans un congrès 01/01/2013

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)

Benoit Combemale , Julien Deantoni , Robert France , Frédéric Boulanger , Sébastien Mosser , Marc Pantel , Bernhard Rumpe , Rick Salay , Martin Schindler , Frederic Boulanger

Communication dans un congrès 04/12/2012

Testing of component-based systems

Marc Aiguier , Bilal Kanso , Frédéric Boulanger , Christophe Gaston , Frederic Boulanger

Article dans une revue 01/10/2012

A formal abstract framework for modelling and testing complex software systems

Marc Aiguier , Frédéric Boulanger , Bilal Kanso , Frederic Boulanger