default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBertrand Jeannet
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2014
[c31]Bertrand Jeannet, Peter Schrammel
, Sriram Sankaranarayanan:
Abstract acceleration of general linear loops. POPL 2014: 529-540- 2013
- [j6]Bertrand Jeannet:
Relational interprocedural verification of concurrent programs. Softw. Syst. Model. 12(2): 285-306 (2013) - [c30]Thao Dang, Bertrand Jeannet, Romain Testylier:
Verification of embedded control programs. ECC 2013: 4252-4256 - [i1]Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan:
Abstract Acceleration of General Linear Loops. CoRR abs/1311.0768 (2013) - 2012
- [j5]Peter Schrammel, Bertrand Jeannet:
Applying abstract acceleration to (co-)reachability analysis of reactive programs. J. Symb. Comput. 47(12): 1512-1532 (2012) - [c29]Peter Schrammel, Bertrand Jeannet:
From hybrid data-flow languages to hybrid automata: a complete translation. HSCC 2012: 167-176 - [c28]Bertrand Jeannet:
Preface. TAPAS@SAS 2012: 1-2 - [e1]Bertrand Jeannet:
Third Workshop on Tools for Automatic Program Analysis, TAPAS 2012, Deauville, France, September 14, 2012. Electronic Notes in Theoretical Computer Science 289, Elsevier 2012 [contents] - 2011
- [c27]Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault:
Policy Iteration within Logico-Numerical Abstract Domains. ATVA 2011: 290-305 - [c26]Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault:
Widening with Thresholds for Programs with Complex Control Graphs. ATVA 2011: 492-502 - [c25]Pascal Sotin, Bertrand Jeannet:
Precise Interprocedural Analysis in the Presence of Pointers to the Stack. ESOP 2011: 459-479 - [c24]Peter Schrammel, Bertrand Jeannet:
Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs. SAS 2011: 233-248 - [c23]Bertrand Jeannet, Pascal Sotin:
Inferring Effective Types for Static Analysis of C Programs. NSAD@SAS 2011: 37-47 - 2010
- [j4]Xavier Briand, Bertrand Jeannet:
Combining Control and Data Abstraction in the Verification of Hybrid Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29(10): 1481-1494 (2010) - [j3]Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Mooly Sagiv:
A relational approach to interprocedural shape analysis. ACM Trans. Program. Lang. Syst. 32(2): 5:1-5:52 (2010) - [c22]Bertrand Jeannet:
Some Experience on the Software Engineering of Abstract Interpretation Tools. TAPAS@SAS 2010: 29-42 - [c21]Peter Schrammel, Bertrand Jeannet:
Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs. NSAD@SAS 2010: 101-114 - [c20]Pascal Sotin, Bertrand Jeannet, Xavier Rival:
Concrete Memory Models for Shape Analysis. NSAD@SAS 2010: 139-150
2000 – 2009
- 2009
- [c19]Bertrand Jeannet, Antoine Miné:
Apron: A Library of Numerical Abstract Domains for Static Analysis. CAV 2009: 661-667 - [c18]Xavier Briand, Bertrand Jeannet:
Combining control and data abstraction in the verification of hybrid systems. MEMOCODE 2009: 141-150 - [c17]Bertrand Jeannet:
Relational Interprocedural Verification of Concurrent Programs. SEFM 2009: 83-92 - 2007
- [c16]Camille Constant, Bertrand Jeannet, Thierry Jéron:
Automatic Test Generation from Interprocedural Specifications. TestCom/FATES 2007: 41-57 - [c15]Tristan Le Gall, Bertrand Jeannet:
Lattice Automata: A Representation for Languages on Infinite Alphabets, and Some Applications to Verification. SAS 2007: 52-68 - 2006
- [j2]Tristan Le Gall, Bertrand Jeannet, Hervé Marchand:
Contrôle de systèmes symboliques, discrets ou hybrides. Tech. Sci. Informatiques 25(3): 289-315 (2006) - [c14]Tristan Le Gall, Bertrand Jeannet, Thierry Jéron:
Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. AMAST 2006: 204-219 - [c13]Bertrand Jeannet, Thierry Jéron, Vlad Rusu:
Model-Based Test Selection for Infinite-State Reactive Systems. FMCO 2006: 47-69 - 2005
- [c12]Tristan Le Gall, Bertrand Jeannet, Hervé Marchand:
Supervisory Control of Infinite Symbolic Systems using Abstract Interpretation. CDC/ECC 2005: 30-35 - [c11]Bertrand Jeannet, Denis Gopan, Thomas W. Reps:
A Relational Abstraction for Functions. SAS 2005: 186-202 - [c10]Bertrand Jeannet, Thierry Jéron, Vlad Rusu, Elena Zinovieva:
Symbolic Test Selection Based on Approximate Analysis. TACAS 2005: 349-364 - 2004
- [c9]Bertrand Jeannet, Wendelin Serwe:
Abstracting Call-Stacks for Interprocedural Verification of Imperative Programs. AMAST 2004: 258-273 - [c8]Vlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet:
From Safety Verification to Safety Testing. TestCom 2004: 160-176 - [c7]Bertrand Jeannet, Alexey Loginov, Thomas W. Reps, Shmuel Sagiv:
A Relational Approach to Interprocedural Shape Analysis. SAS 2004: 246-264 - 2003
- [j1]Bertrand Jeannet:
Dynamic Partitioning in Linear Relation Analysis: Application to the Verification of Reactive Systems. Formal Methods Syst. Des. 23(1): 5-37 (2003) - 2002
- [c6]Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen:
Reduction and Refinement Strategies for Probabilistic Analysis. PAPM-PROBMIV 2002: 57-76 - [c5]Bertrand Jeannet:
Representing and Approximating Transfer Functions in Abstract Interpretation of Hetereogeneous Datatypes. SAS 2002: 52-68 - 2001
- [c4]Pedro R. D'Argenio, Bertrand Jeannet, Henrik Ejersbo Jensen, Kim Guldstrand Larsen:
Reachability Analysis of Probabilistic Systems by Successive Refinements. PAPM-PROBMIV 2001: 39-56 - 2000
- [c3]Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Yi:
UPPAAL - Now, Next, and Future. MOVEP 2000: 99-124
1990 – 1999
- 1999
- [c2]Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond:
Dynamic Partitioning in Analyses of Numerical Properties. SAS 1999: 39-50 - 1997
- [c1]Corinne Ancourt, Denis Barthou, Christophe Guettier, François Irigoin, Bertrand Jeannet, Jean Jourdan, Juliette Mattioli:
Automatic data mapping of signal processing applications. ASAP 1997: 350-
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-09 13:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
