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
Widening with Thresholds for Programs with Complex Control Graphs	2011-10-07	Paper
Policy Iteration within Logico-Numerical Abstract Domains	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

This page was built for person: Bertrand Jeannet