 |
 |
|
|
||
|---|---|---|
|
inria-00328045v1
Rapport
Bertrand Jeannet. Relational interprocedural analysis of concurrent programs [Research Report] RR-6671, INRIA. 2008, pp.36 |
||
|
hal-00786335v1
Article dans une revue
Bertrand Jeannet, A. Loginov, T. Reps, M. Sagiv. A relational approach to interprocedural shape analysis ACM Transactions on Programming Languages and Systems (TOPLAS), ACM, 2010, 32 (2), pp.5:1--52. <10.1145/1667048.1667050> |
||
|
hal-00753412v1
Article dans une revue
Peter Schrammel, Bertrand Jeannet. Applying abstract acceleration to (co-)reachability analysis of reactive programs Journal of Symbolic Computation, Elsevier, 2012, 47 (12), pp.1512-1532. <10.1016/j.jsc.2011.12.051> |
||
|
hal-00750762v1
Communication dans un congrès
Peter Schrammel, Bertrand Jeannet. Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs E. Yahav. Static Analysis Symposium, Sep 2011, Venice, Italy. Springer, 6887, pp.233-248, 2011, Static Analysis. <10.1007/978-3-642-23702-7_19> |
||
|
hal-00659698v1
Rapport
Peter Schrammel, Bertrand Jeannet. From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation [Research Report] RR-7859, INRIA. 2012, pp.37 |
||
|
inria-00596241v2
Rapport
Peter Schrammel, Bertrand Jeannet. Logico-Numerical Abstract Acceleration and Application to the Verification of Data-Flow Programs [Research Report] RR-7630, INRIA. 2012, pp.22 |
||
|
inria-00564604v1
Communication dans un congrès
Bertrand Jeannet, Thierry Jéron, Vlad Rusu. Model-Based Test Selection for Infinite-State Reactive Systems Formal Methods for Components and Objects, 2006, Amsterdam, Netherlands. 2006 |
||
|
inria-00547888v1
Pré-publication, Document de travail
Pascal Sotin, Bertrand Jeannet. Precise Interprocedural Analysis in the Presence of Pointers to the Stack 2011 |
||
|
hal-00749891v1
Communication dans un congrès
Peter Schrammel, Bertrand Jeannet. From Hybrid Data-Flow Languages to Hybrid Automata: A Complete Translation Thao Dang and Ian Mitchell. Hybrid Systems: Computation and Control, Apr 2012, Beijing, China. ACM, pp.167-176, 2012, HSCC '12 Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control. <10.1145/2185632.2185658> |
||
|
hal-00749914v1
Communication dans un congrès
Peter Schrammel, Bertrand Jeannet. Extending Abstract Acceleration Methods to Data-Flow Programs with Numerical Inputs Enric Rodríguez Carbonell and Antoine Miné. Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. Elsevier, 267, pp.101-114, 2010, ENTCS; Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains: NSAD 2010. <10.1016/j.entcs.2010.09.009> |
||
|
hal-00786350v1
Communication dans un congrès
Bertrand Jeannet. Relational interprocedural verification of concurrent programs Software Engineering and Formal Methods, SEFM'09, Nov 2009, Hanoi, Vietnam. IEEE, 2009, <10.1109/SEFM.2009.29> |
||
|
hal-00786360v1
Communication dans un congrès
Xavier Briand, Bertrand Jeannet. Combining control and data abstraction in the verification of hybrid systems Formal Methods and Models for Codesign, MEMOCODE'2009, Jul 2009, Boston, United States. IEEE, pp.141-150, 2009, <10.1109/MEMCOD.2009.5185390> |
||
|
hal-00932342v1
Communication dans un congrès
Bertrand Jeannet, Peter Schrammel, Sriram Sankaranarayanan. Abstract Acceleration of General Linear Loops Principles of Programming Languages, POPL, Jan 2014, San Diego, United States. ACM, pp.529-540, 2013, The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, San Diego, CA, USA. <10.1145/2535838.2535843> |
||
|
hal-00763426v1
Communication dans un congrès
Bertrand Jeannet, Pascal Sotin. Inferring Effective Types for Static Analysis of C Programs Damien Massé and Laurent Mauborgne. NSAD - Int. Workshop on Numerical and Symbolic Abstract Domains - 2011, Sep 2011, Venise, Italy. Elsevier, 288, pp.37-47, 2012, ENTCS; Proceedings of the Third International Workshop on Numerical and Symbolic Abstract Domains, NSAD 2011. <10.1016/j.entcs.2012.10.006> |
||
|
hal-00557515v1
Communication dans un congrès
Kevin Marquet, Matthieu Moy, Bertrand Jeannet. Efficient Encoding of SystemC/TLM in Promela DATICS-IMECS, Mar 2011, Hong Kong SAR China. 2011 |
||
|
inria-00606961v1
Rapport
Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs [Research Report] RR-7673, INRIA. 2011, pp.17 |
||
|
hal-00786328v1
Communication dans un congrès
Bertrand Jeannet. Some Experience on the Software Engineering of Abstract Interpretation Tools Int. Workshop on Tools for Automatic Program AnalysiS, Tapas'2010, Sep 2010, Perpignan, France. Elsevier, x-proceedings =yes, x-editorial-board =yes, x-international-audience =yes, 267, pp.29--42, 2010, <10.1016/j.entcs.2010.09.016> |
||
|
inria-00635243v1
Communication dans un congrès
Lies Lakhdar-Chaouch, Bertrand Jeannet, Alain Girault. Widening with Thresholds for Programs with Complex Control Graphs Automated Technology for Verification and Analysis, ATVA'11, Oct 2011, Taipei, Taiwan. 6996, pp.492-502, 2011, LNCS. <10.1007/978-3-642-24372-1_38> |
||
|
hal-00786327v1
Communication dans un congrès
Pascal Sotin, Bertrand Jeannet. Precise Interprocedural Analysis in the Presence of Pointers to the Stack European Symposium on Programming, ESOP'11, Apr 2011, Sarrebrueck, Germany. 6602, pp.459-479, 2011, <10.1007/978-3-642-19718-5_24> |
||
|
hal-00786330v1
Communication dans un congrès
Pascal Sotin, Bertrand Jeannet, Xavier Rival. Concrete Memory Models for Shape Analysis NSAD'2010 - Second International Workshop on Numerical and Symbolic Abstract Domains, Sep 2010, Perpignan, France. Elsevier, 267, pp.139--150, 2010, <10.1016/j.entcs.2010.09.012> |
||
|
hal-00786354v1
Communication dans un congrès
Bertrand Jeannet, Antoine Miné. APRON: A Library of Numerical Abstract Domains for Static Analysis Ahmed Bouajjani and Oded Maler. CAV'2009 - Computer Aided Verification, Jun 2009, Grenoble, France. Springer, 5643, pp.661-667, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-02658-4_52> |
||
|
hal-00786321v1
Communication dans un congrès
Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault. Policy Iteration within Logico-Numerical Abstract Domains Automated Technology for Verification and Analysis, ATVA'11, Nov 2011, Taipei, Taiwan. 6996, pp.290-305, 2011, Automated Technology for Verification and Analysis. <10.1007/978-3-642-24372-1_21> |
||
|
inria-00140831v1
Rapport
Tristan Le Gall, Bertrand Jeannet. Analysis of Communicating Infinite State Machines using Lattice Automata [Research Report] PI 1839, 2007, pp.36 |
||
|
inria-00137064v1
Rapport
Bertrand Jeannet, Thierry Jéron, Camille Constant. Automatic Test Generation from Interprocedural Specifications [Research Report] PI 1835, 2007, pp.19 |
||
|
hal-00786337v1
Article dans une revue
X. Briand, Bertrand Jeannet. Combining control and data abstraction in the verification of hybrid systems IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, IEEE, 2010, 29 (10, x-editorial-board =yes, x-international-audience =yes), <10.1109/TCAD.2010.2066010> |
||
|
|
||
