Frederic Boulanger

Laboratoire

Laboratoire Méthodes Formelles

Site WEB

Publications (82)

Communication dans un congrès 17/11/2016

A New Approach of Qualitative Simulation for the Validation of Hybrid Systems

Slim Medimegh , Jean-Yves Pierron , Jean-Pierre Gallois , Frederic Boulanger

Communication dans un congrès 01/01/2016

An executable model driven framework for enterprise architecture application to the Smart Grids context

Rachida Seghiri , Claire Lecocq , Vincent Godefroy , Frederic Boulanger

Communication dans un congrès 13/11/2015

Towards a formal semantics of the TESL specification language

Hai Nguyen Van , Thibaut Balabonski , Burkhart Wolff , Frederic Boulanger , Safouan Taha , Benoit Valiron , Lina Ye

Communication dans un congrès 26/05/2015

Simulation des Systèmes d'Information des Smart Grids - Une approche par points de vue

Rachida Seghiri , Claire Lecocq , Vincent Godefroy , Frederic Boulanger

Chapitre d'ouvrage 01/11/2014

Modélisation multiparadigme pour la conception des systèmes

Frederic Boulanger

Communication dans un congrès 01/10/2014

TESL: A language for reconciling heterogeneous execution traces

Christophe Jacquet , Cécile Hardebolle , Iuliana Prodan , Frederic Boulanger

Communication dans un congrès 30/09/2014

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

Daniel Chaves Café , Cécile Hardebolle , Christophe Jacquet , Filipe Vinci dos Santos , Frederic Boulanger

Communication dans un congrès 10/06/2014

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

Christophe Jacquet , Cécile Hardebolle , Frederic Boulanger

Communication dans un congrès 10/06/2014

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

Ouvrage 01/01/2014

Complex Systems Design & Management

Daniel Krob , Clotilde Marchal , Frederic Boulanger

Communication dans un congrès 01/01/2014

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

Rachida Seghiri , Vincent Godefroy , Claire Lecocq , Frederic Boulanger

Communication dans un congrès 01/12/2013

A DSL for Explicit Semantic Adaptation

Bart Meyers , Joachim Denil , 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 , 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

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 , 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é , 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 , 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 , 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

Bilal Kanso , Christophe Gaston , Frederic Boulanger

Article dans une revue 01/10/2012

A formal abstract framework for modelling and testing complex software systems

Bilal Kanso , Frederic Boulanger

Communication dans un congrès 01/09/2012

MoDeVVa 2012 workshop summary

Michalis Famelis , Frédéric Fondement , Lucio Levi , Stephan Weissleder , Frederic Boulanger

Chapitre d'ouvrage 01/04/2012

Semantic Adaptation using CCSL Clock Constraints

Ayman Dogui , Cécile Hardebolle , Christophe Jacquet , Iuliana Prodan , Frederic Boulanger , Dominique Marcadet

Communication dans un congrès 01/01/2012

Heterogeneous Modeling of Gesture-Based 3D Applications

Romuald Deshayes , Christophe Jacquet , Cécile Hardebolle , Tom Mens , Frederic Boulanger

HDR 08/06/2011

Modèles, systèmes, hétérogénéité

Frederic Boulanger

Communication dans un congrès 01/01/2011

Semantic Adaptation using CCSL Clock Constraints

Ayman Dogui , Cécile Hardebolle , Christophe Jacquet , Iuliana Prodan , Frederic Boulanger , Dominique Marcadet

Communication dans un congrès 01/01/2011

Semantic Adaptation for Models of Computation

Cécile Hardebolle , Christophe Jacquet , Frederic Boulanger , Dominique Marcadet

Article dans une revue 02/09/2010

Minimum Tree Cost Quartet Puzzling

Tudor B. Ionescu , Géraldine Polaillon , Frederic Boulanger

Communication dans un congrès 01/09/2010

Testing of Abstract Components

Bilal Kanso , Assia Touil , Frederic Boulanger

Chapitre d'ouvrage 01/04/2010

Modeling Heterogeneous Points of View with ModHel'X

Christophe Jacquet , Cécile Hardebolle , Elyes Rouis , Frederic Boulanger

Communication dans un congrès 01/01/2010

Extending the Standard Execution Model of UML for Real-Time Systems

Abderraouf Benyahia , Arnaud Cuccuru , François Terrier , Sébastien Gérard , Safouan Taha , Frederic Boulanger