Bertrand Jeannet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
From hybrid data-flow languages to hybrid automata: a complete translation Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control	2017-05-16	Paper
Extending abstract acceleration methods to data-flow programs with numerical inputs Electronic Notes in Theoretical Computer Science	2016-06-17	Paper
Concrete memory models for shape analysis Electronic Notes in Theoretical Computer Science	2016-06-17	Paper
Inferring effective types for static analysis of C programs Electronic Notes in Theoretical Computer Science	2014-07-22	Paper
Abstract acceleration of general linear loops Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages	2014-04-10	Paper
Applying abstract acceleration to (co-)reachability analysis of reactive programs Journal of Symbolic Computation	2012-07-13	Paper
Widening with Thresholds for Programs with Complex Control Graphs Automated Technology for Verification and Analysis	2011-10-07	Paper
Policy iteration within logico-numerical abstract domains Automated Technology for Verification and Analysis	2011-10-07	Paper
Precise interprocedural analysis in the presence of pointers to the stack Programming Languages and Systems	2011-05-19	Paper
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues Algebraic Methodology and Software Technology	2009-04-28	Paper
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification Static Analysis	2009-03-03	Paper
Model-Based Test Selection for Infinite-State Reactive Systems Formal Methods for Components and Objects	2008-09-17	Paper
Static Analysis Lecture Notes in Computer Science	2006-10-31	Paper
Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science	2005-11-10	Paper
Algebraic Methodology and Software Technology Lecture Notes in Computer Science	2005-08-25	Paper
Static Analysis Lecture Notes in Computer Science	2005-08-24	Paper
scientific article; zbMATH DE number 2090703 (Why is no real title available?)	2004-08-13	Paper
Dynamic partitioning in linear relation analysis: application to the verification of reactive systems Formal Methods in System Design	2004-03-15	Paper
scientific article; zbMATH DE number 1948388 (Why is no real title available?)	2003-07-13	Paper
scientific article; zbMATH DE number 1884411 (Why is no real title available?)	2003-03-18	Paper

Research outcomes over time

This page was built for person: Bertrand Jeannet