Bertrand Jeannet

Available identifiers

zbMath Open jeannet.bertrandMaRDI QIDQ435976

List of research outcomes

Publication	Date of Publication	Type
From hybrid data-flow languages to hybrid automata	2017-05-16	Paper
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs	2016-06-17	Paper
Concrete Memory Models for Shape Analysis	2016-06-17	Paper
Inferring Effective Types for Static Analysis of C Programs	2014-07-22	Paper
Abstract acceleration of general linear loops	2014-04-10	Paper
Applying abstract acceleration to (co-)reachability analysis of reactive programs	2012-07-13	Paper
Policy Iteration within Logico-Numerical Abstract Domains	2011-10-07	Paper
Widening with Thresholds for Programs with Complex Control Graphs	2011-10-07	Paper
Precise Interprocedural Analysis in the Presence of Pointers to the Stack	2011-05-19	Paper
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues	2009-04-28	Paper
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification	2009-03-03	Paper
Model-Based Test Selection for Infinite-State Reactive Systems	2008-09-17	Paper
Static Analysis	2006-10-31	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	Paper
Algebraic Methodology and Software Technology	2005-08-25	Paper
Static Analysis	2005-08-24	Paper
https://portal.mardi4nfdi.de/entity/Q4813198	2004-08-13	Paper
Dynamic partitioning in linear relation analysis: application to the verification of reactive systems	2004-03-15	Paper
https://portal.mardi4nfdi.de/entity/Q4411950	2003-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q4798031	2003-03-18	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Bertrand Jeannet