Concepedia

Frédéric Boulanger

FB

8

Publications

187

Citations

8

H-Index

2002

Active since

Affiliations

Supélec(Current)

Frédéric Boulanger is an author at Supélec specializing in engineering, software design, and system software.

Top concepts

EngineeringSoftware DesignFormal MethodsSystem SoftwareSoftware EngineeringComputer ScienceSoftware AnalysisFormal VerificationSystems EngineeringProgram Analysis

Publications per year

2002–2018

8

Publications

8

Exploring Multi-Paradigm Modeling Techniques

Cécile Hardebolle, Frédéric Boulanger · SIMULATION · 2009 · 67 citations

Engineering, Modeling Method, Computer Architecture +23

Software implementation of synchronous programs

Charles André, Frédéric Boulanger, Alain Girault · 2002 · 23 citations

Engineering, Software Engineering, Concurrent System +18

Formal verification of automotive embedded software

Vassil Todorov, Frédéric Boulanger, Safouan Taha · 2018 · 23 citations · Full text

Engineering, Verification, Software Engineering +20

Semantic Adaptation for Models of Computation

Frédéric Boulanger, Cécile Hardebolle, Christophe Jacquet et al. · 2011 · 22 citations

Engineering, Semantic Adaptation, Software Engineering +24

A formal abstract framework for modelling and testing complex software systems

Marc Aiguier, Frédéric Boulanger, Bilal Kanso · Theoretical Computer Science · 2011 · 17 citations · Full text

Software Maintenance, Engineering, Computational Testing +15

Rows per page

1–5 of 8