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 , Frédéric Boulanger , 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 , Frédéric Boulanger , 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 , Frédéric Boulanger , Safouan Taha , Benoît Valiron , Burkhart Wolff , Lina Ye , 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 , Frédéric Boulanger , Claire Lecocq , Vincent Godefroy , Frederic Boulanger

Chapitre d'ouvrage 01/11/2014

Modélisation multiparadigme pour la conception des systèmes

Frédéric Boulanger , Frederic Boulanger

Communication dans un congrès 01/10/2014

TESL: A language for reconciling heterogeneous execution traces

Frédéric Boulanger , 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 , Frédéric Boulanger , 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 , Frédéric Boulanger , 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 , Frédéric Boulanger , Frederic Boulanger

Ouvrage 01/01/2014

Complex Systems Design & Management

Marc Aiguier , Frédéric Boulanger , Daniel Krob , Clotilde Marchal , Frederic Boulanger