Frederic Boulanger

Frédéric Boulanger , Dominique Marcadet , Martin Rayrole , Benoît Valiron , Safouan Taha , Frederic Boulanger , Dominique Marcadet , Benoit Valiron , Safouan Taha

Communication dans un congrès 21/09/2018

A New Qualitative Language for Qualitative Simulation

Slim Medimegh , Jean-Yves Pierron , Frédéric Boulanger , Frederic Boulanger

Communication dans un congrès 02/06/2018

Formal verification of automotive embedded software

Vassil Todorov , Frédéric Boulanger , Safouan Taha , Frederic Boulanger , Safouan Taha

Communication dans un congrès 22/01/2018

Qualitative Simulation of Hybrid Systems with an Application to SysML Models

Slim Medimegh , Jean-Yves Pierron , Frédéric Boulanger , Frederic Boulanger

Communication dans un congrès 01/01/2018

Démarche de conception d'un réseau électrique intelligent et de son système d'information par cosimulation

David Oudart , Jérôme Cantenot , Frédéric Boulanger , Sophie Chabridon , Frederic Boulanger

Communication dans un congrès 01/01/2017

A Symbolic Operational Semantics for TESL with an Application to Heterogeneous System Testing

Hai Nguyen Van , Thibaut Balabonski , Frédéric Boulanger , Chantal Keller , Benoît Valiron , Burkhart Wolff , Frederic Boulanger , Benoit Valiron