Bertrand Jeannet

Dassault Systèmes (France) — France

Computer Science · Physical Sciences

18h-index1.6kcitations57works0.02yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(42), Logic, programming, and type systems(26), Software Testing and Debugging Techniques(13), Embedded Systems Design Techniques(9), Software Reliability and Analysis Research(8)

Publications57 total

Debugging Embedded Systems Requirements with STIMULUS
Electronic Proceedings in Theoretical Computer Science·2024Open Access
Stimulus: un langage synchrone à contraintes
SPIRE - Sciences Po Institutional REpository·2024Open Access
Debugging Embedded Systems Requirements with STIMULUS: an Automotive Case-Study
HAL (Le Centre pour la Communication Scientifique Directe)·2016· 23 citedOpen Access
Abstract acceleration of general linear loops
ACM SIGPLAN Notices·2014· 14 citedOpen Access
Abstract acceleration of general linear loops
2014· 56 citedOpen Access
Abstract Acceleration of General Linear Loops
arXiv (Cornell University)·2013Open Access
Verification of embedded control programs
2013· 1 cited
Preface
Electronic Notes in Theoretical Computer Science·2012Open Access
Inferring Effective Types for Static Analysis of C Programs
Electronic Notes in Theoretical Computer Science·2012Open Access
From hybrid data-flow languages to hybrid automata
2012· 18 citedOpen Access
Relational interprocedural verification of concurrent programs
Software & Systems Modeling·2012· 17 cited
From hybrid data−flow languages to hybrid automata: a complete translation
HAL (Le Centre pour la Communication Scientifique Directe)·2012· 1 citedOpen Access
Applying abstract acceleration to (co-)reachability analysis of reactive programs
Journal of Symbolic Computation·2011· 16 citedOpen Access
Policy Iteration within Logico-Numerical Abstract Domains
Lecture notes in computer science·2011· 9 cited
Widening with Thresholds for Programs with Complex Control Graphs
Lecture notes in computer science·2011· 30 citedOpen Access
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs
Lecture notes in computer science·2011· 28 citedOpen Access
Precise Interprocedural Analysis in the Presence of Pointers to the Stack
Lecture notes in computer science·2011· 11 citedOpen Access
Some Experience on the Software Engineering of Abstract Interpretation Tools
Electronic Notes in Theoretical Computer Science·2010· 11 citedOpen Access
Concrete Memory Models for Shape Analysis
Electronic Notes in Theoretical Computer Science·2010· 4 citedOpen Access
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs
Electronic Notes in Theoretical Computer Science·2010· 10 citedOpen Access
page 1 of 3Next →

Frequent Co-authors

Thierry Jéron(7), Peter Schrammel(7), Tristan Le Gall(6), Kim G. Larsen(4), Vlad Rusu(4), Hervé Marchand(4), Pedro R. D’Argenio(3), Henrik Ejersbo Jensen(3), Thomas Reps(3), Pascal Sotin(3), Sriram Sankaranarayanan(2), А. А. Логинов(2), Mooly Sagiv(2), Alain Girault(2), Wendelin Serwe(2), Fabien Gaucher(2), Valéry Tschaen(2), Camille Constant(2), Xavier Briand(2), Antoine Miné(1)