Frédéric Boulanger

According to our database1, Frédéric Boulanger authored at least 53 papers between 1998 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2020
Timed Discrete-Event Simulation of Aviation Scenarios.
Simul. Notes Eur., 2020

TESL: A Model with Metric Time for Modeling and Simulation.
Proceedings of the 27th International Symposium on Temporal Representation and Reasoning, 2020

Specification Quality Metrics Based on Mutation and Inductive Incremental Model Checking.
Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

The Smart Grid Simulation Framework: Model-Driven Engineering Applied to Cyber-Physical Systems.
Proceedings of the Model-Driven Engineering and Software Development, 2020

A Model based Toolchain for the Cosimulation of Cyber-physical Systems with FMI.
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020

On the Semantics of Polychronous Polytimed Specifications.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020

2019
A Formal Development of a Polychronous Polytimed Coordination Language.
Arch. Formal Proofs, 2019

Improved Invariant Generation for Industrial Software Model Checking of Time Properties.
Proceedings of the 19th IEEE International Conference on Software Quality, 2019

An Approach to Design Smart Grids and Their IT System by Cosimulation.
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019

2018
Qualitative Simulation of Hybrid Systems with an Application to SysML Models.
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018

Formal verification of automotive embedded software.
Proceedings of the 6th Conference on Formal Methods in Software Engineering, 2018

2017
A Symbolic Operational Semantics for TESL - With an Application to Heterogeneous System Testing.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2017

2016
A New Approach of Qualitative Simulation for the Validation of Hybrid Systems.
Proceedings of the 4th International Workshop on the Globalization Of Modeling Languages co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

An Executable Model Driven Framework for Enterprise Architecture Application to the Smart Grids Context.
Proceedings of the 49th Hawaii International Conference on System Sciences, 2016

2015
Towards a Formal Semantics of the TESL Specification Language.
Proceedings of the Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems, 2015

Simulation des Systèmes d'Information des Smart Grids : une approche par points de vue.
Proceedings of the Actes du XXXIIIème Congrès INFORSID, Biarritz, France, May 26-29, 2015, 2015

2014
Report on the First Workshop On the Globalization of Modeling Languages.
CoRR, 2014

The MOOC Hype: Can We Ignore It? Reflections on the Current Use of Massive Open Online Courses in Software Modeling Education.
Proceedings of the MODELS Educators Symposium co-located with the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Discrete-Continuous Semantic Adaptations for Simulating SysML Models in VHDL-AMS.
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

TESL: A language for reconciling heterogeneous execution traces.
Proceedings of the Twelfth ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2014

Domain Polymorph Components For Explicit Opaque Borders in Hierarchical Heterogeneous Models.
Proceedings of the Embed With Linux 2014 Workshop, Lisboa, Portugal, November 13-14, 2014., 2014

2013
A DSL for Explicit Semantic Adaptation.
Proceedings of the 7th Workshop on Multi-Paradigm Modeling co-located with the 16th International Conference on Model Driven Engineering Languages and Systems, 2013

Building Heterogeneous Models at Runtime to Detect Faults in Ambient-Intelligent Environments.
Proceedings of the 8th Workshop on Models @ Run.time co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), 2013

Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013).
Proceedings of the Joint Proceedings of the First International Workshop On the Globalization of Modeling Languages (GEMOC 2013) and the First International Workshop: Towards the Model Driven Organization (AMINO 2013) Co-located with the 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, USA, September 29, 2013

Modeling and Verification of Redundancy Policies.
Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Multi-paradigm semantics for simulating SysML models using SystemC-AMS.
Proceedings of the 2013 Forum on specification and Design Languages, 2013

2012
A formal abstract framework for modelling and testing complex software systems.
Theor. Comput. Sci., 2012

Bridging the Chasm between Executable Metamodeling and Models of Computation.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

Heterogeneous modeling of gesture-based 3D applications.
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012

Testing of Component-Based Systems.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

2011
Semantic Adaptation using CCSL Clock Constraints.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Semantic Adaptation for Models of Computation.
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

Modèles, systèmes, hétérogénéité. (Models, Systems, Heterogeneity).
, 2011

2010
Minimum Tree Cost Quartet Puzzling.
J. Classif., 2010

Extending the Standard Execution Model of UML for Real-Time Systems.
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010

Testing of Abstract Components.
Proceedings of the Theoretical Aspects of Computing, 2010

2009
Exploring Multi-Paradigm Modeling Techniques.
Simul., 2009

A model of domain-polymorph component for heterogeneous system design.
J. Syst. Softw., 2009

Modeling Heterogeneous Points of View with ModHel'X.
Proceedings of the Models in Software Engineering, 2009

2008
From Data to Events: Checking Properties on the Control of a System.
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Simulation of Multi-Formalism Models with ModHel'X.
Proceedings of the First International Conference on Software Testing, 2008

An Architecture Description Language for Verification in Component-Based Software.
Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, 2008

2007
Development of a permittivity extraction method for ultra low k dielectrics integrated in advanced interconnects.
Microelectron. Reliab., 2007

A Generic Execution Framework for Models of Computation.
Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007

ModHel'X: A Component-Oriented Approach to Multi-Formalism Modeling.
Proceedings of the Models in Software Engineering, Workshops and Symposia at MoDELS 2007, Nashville, TN, USA, September 30, 2007

2006
A primitive execution model for heterogeneous modeling.
Proceedings of the ICSOFT 2006, 2006

An Overall Specification of a Meta-Model of Computation For Model-Driven Embedded System Modeling.
Proceedings of the 2006 International Symposium on Collaborative Technologies and Systems, 2006

Le Paradigme Acteur Dans La Modelisation Des Systemes Embarques.
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

2005
Issues of hierarchical heterogeneous modeling in component reusability.
Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005

2004
Execution Model for Non-Hierarchical Heterogeneous Modeling.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

Approach for Domain-Polymorph Components Design.
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004

2001
Software Implementation of Synchronous Programs.
Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001

1998
Modular Development of Control and Computational Modules Using Reactive Objects.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998


  Loading...