Frédéric Boulanger
Orcid: 0000-0003-3185-2807
According to our database1,
Frédéric Boulanger
authored at least 60 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
1
1
1
1
1
1
1
1
2
1
1
2
1
1
5
2
2
1
2
2
4
5
3
1
2
1
3
2
3
1
2
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Qualitative reasoning and cyber-physical systems: abstraction, modeling, and optimized simulation.
Innov. Syst. Softw. Eng., December, 2024
Qualitative Reasoning and Design Space Exploration.
Proceedings of the 12th International Conference on Model-Based Software and Systems Engineering, 2024
2023
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023
Proceedings of the Human and Artificial Rationalities - Second International Conference, 2023
2022
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022
2021
Proceedings of the 2021 IEEE International Conference on Systems, Man, and Cybernetics, 2021
2020
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
Proceedings of the 8th International Conference on Model-Driven Engineering and Software Development, 2020
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020
2019
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
Proceedings of the 7th International Conference on Model-Driven Engineering and Software Development, 2019
2018
Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development, 2018
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
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
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
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
Proceedings of the 8th Workshop on Multi-Paradigm Modeling co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014
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
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
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
Proceedings of the 2013 Forum on specification and Design Languages, 2013
2012
Theor. Comput. Sci., 2012
Proceedings of the Software Language Engineering, 5th International Conference, 2012
Proceedings of the 6th International Workshop on Multi-Paradigm Modeling, 2012
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012
2011
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011
Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011
2010
Proceedings of the Distributed, Parallel and Biologically Inspired Systems, 2010
Proceedings of the Theoretical Aspects of Computing, 2010
2009
J. Syst. Softw., 2009
Proceedings of the Models in Software Engineering, 2009
2008
Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008
Proceedings of the First International Conference on Software Testing, 2008
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
Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2007
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
Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006
2005
Proceedings of the 2005 IEEE International Conference on Information Reuse and Integration, 2005
2004
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004
Proceedings of the 2004 IEEE International Conference on Information Reuse and Integration, 2004
2001
Proceedings of the 2nd International Conference on Application of Concurrency to System Design (ACSD 2001), 2001
1998
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998