×

zbMATH — the first resource for mathematics

Jeannet, Bertrand

Compute Distance To:
Author ID: jeannet.bertrand Recent zbMATH articles by "Jeannet, Bertrand"
Published as: Jeannet, B.; Jeannet, Bertrand
Homepage: http://pop-art.inrialpes.fr/Publications/Author//Bertrand.Jeannet-eng.html
External Links: MGP
Documents Indexed: 20 Publications since 2001

Publications by Year

Citations contained in zbMATH Open

14 Publications have been cited 64 times in 51 Documents Cited by Year
Reachability analysis of probabilistic systems by successive refinements. Zbl 1007.68131
D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.
19
2001
Symbolic test selection based on approximate analysis. Zbl 1087.68594
Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad; Zinovieva, Elena
8
2005
Dynamic partitioning in linear relation analysis: application to the verification of reactive systems. Zbl 1067.68091
Jeannet, B.
7
2003
Reduction and refinement strategies for probabilistic analysis. Zbl 1065.68582
D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.
7
2002
A relational approach to interprocedural shape analysis. Zbl 1104.68416
Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
4
2004
Widening with thresholds for programs with complex control graphs. Zbl 1348.68040
Lakhdar-Chaouch, Lies; Jeannet, Bertrand; Girault, Alain
3
2011
Extending abstract acceleration methods to data-flow programs with numerical inputs. Zbl 1342.68100
Schrammel, Peter; Jeannet, Bertrand
3
2010
Abstract acceleration of general linear loops. Zbl 1284.68188
Jeannet, Bertrand; Schrammel, Peter; Sankaranarayanan, Sriram
2
2014
Applying abstract acceleration to (co-)reachability analysis of reactive programs. Zbl 1286.68092
Schrammel, Peter; Jeannet, Bertrand
2
2012
Precise interprocedural analysis in the presence of pointers to the stack. Zbl 1326.68107
Sotin, Pascal; Jeannet, Bertrand
2
2011
Lattice automata: a representation for languages on infinite alphabets, and some applications to verification. Zbl 1211.68234
Le Gall, Tristan; Jeannet, Bertrand
2
2007
A relational abstraction for functions. Zbl 1141.68371
Jeannet, B.; Gopan, D.; Reps, T.
2
2005
Abstracting call-stacks for interprocedural verification of imperative programs. Zbl 1108.68392
Jeannet, Bertrand; Serwe, Wendelin
2
2004
From hybrid data-flow languages to hybrid automata: a complete translation. Zbl 1362.68184
Schrammel, Peter; Jeannet, Bertrand
1
2012
Abstract acceleration of general linear loops. Zbl 1284.68188
Jeannet, Bertrand; Schrammel, Peter; Sankaranarayanan, Sriram
2
2014
Applying abstract acceleration to (co-)reachability analysis of reactive programs. Zbl 1286.68092
Schrammel, Peter; Jeannet, Bertrand
2
2012
From hybrid data-flow languages to hybrid automata: a complete translation. Zbl 1362.68184
Schrammel, Peter; Jeannet, Bertrand
1
2012
Widening with thresholds for programs with complex control graphs. Zbl 1348.68040
Lakhdar-Chaouch, Lies; Jeannet, Bertrand; Girault, Alain
3
2011
Precise interprocedural analysis in the presence of pointers to the stack. Zbl 1326.68107
Sotin, Pascal; Jeannet, Bertrand
2
2011
Extending abstract acceleration methods to data-flow programs with numerical inputs. Zbl 1342.68100
Schrammel, Peter; Jeannet, Bertrand
3
2010
Lattice automata: a representation for languages on infinite alphabets, and some applications to verification. Zbl 1211.68234
Le Gall, Tristan; Jeannet, Bertrand
2
2007
Symbolic test selection based on approximate analysis. Zbl 1087.68594
Jeannet, Bertrand; Jéron, Thierry; Rusu, Vlad; Zinovieva, Elena
8
2005
A relational abstraction for functions. Zbl 1141.68371
Jeannet, B.; Gopan, D.; Reps, T.
2
2005
A relational approach to interprocedural shape analysis. Zbl 1104.68416
Jeannet, Bertrand; Loginov, Alexey; Reps, Thomas; Sagiv, Mooly
4
2004
Abstracting call-stacks for interprocedural verification of imperative programs. Zbl 1108.68392
Jeannet, Bertrand; Serwe, Wendelin
2
2004
Dynamic partitioning in linear relation analysis: application to the verification of reactive systems. Zbl 1067.68091
Jeannet, B.
7
2003
Reduction and refinement strategies for probabilistic analysis. Zbl 1065.68582
D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.
7
2002
Reachability analysis of probabilistic systems by successive refinements. Zbl 1007.68131
D’Argenio, Pedro R.; Jeannet, Bertrand; Jensen, Henrik E.; Larsen, Kim G.
19
2001
all top 5

Cited by 125 Authors

6 Katoen, Joost-Pieter
4 Jeannet, Bertrand
4 Kwiatkowska, Marta Z.
4 Parker, David F.
3 Hermanns, Holger
3 Le Gall, Tristan
3 Levi, Francesca
3 Norman, Gethin
3 Schrammel, Peter
3 Timmer, Mark
2 Barbuti, Roberto
2 Bué, Pierre-Christophe
2 Julliand, Jacques
2 Kalyon, Gabriel
2 Kattenbelt, Mark
2 Marchand, Hervé
2 Massart, Thierry Jacques
2 Masson, Pierre-Alain
2 Milazzo, Paolo
2 Scatena, Guido
2 Sotin, Pascal
2 Stoelinga, Mariëlle
2 van de Pol, Jan Cornelis
1 Abate, Alessandro
1 Ábrahám, Erika
1 Aiguier, Marc
1 Altisen, Karine
1 Ames, Aaron D.
1 Andreychenko, Aleksandr
1 Baier, Christel
1 Bart, Anicet
1 Bartha, Ferenc A.
1 Becker, Bernd
1 Botbol, Vincent
1 Bouissou, Olivier
1 Boulanger, Frédéric
1 Boutonnet, Rémy
1 Brockschmidt, Marc
1 Cattaruzza, Dario
1 Cha, Sooyoung
1 Chadha, Rohit
1 Chailloux, Emmanuel
1 Chapoutot, Alexandre
1 Chatzieleftheriou, George
1 Chechik, Marsha
1 Coletta, Alessio
1 Cook, Byron
1 Dehnert, Christian
1 Delahaye, Benoît
1 Dräger, Klaus
1 Duracz, Adam
1 Duracz, Jan
1 El-Zawawy, Mohamed A.
1 Fournier, Paulin
1 Frohn, Florian
1 Gallagher, John P.
1 Gebler, Daniel E.
1 Giesl, Jürgen
1 Girault, Alain
1 Gori, Roberta
1 Goubault, Eric
1 Gurfinkel, Arie
1 Hahn, Ernst Moritz
1 Halbwachs, Nicolas
1 Hansen, Henri
1 Haverkort, Boudewijn R.
1 Hensel, Jera
1 Huth, Michael R. A.
1 Jansen, David N.
1 Jansen, Nils
1 Jeong, Sehun
1 Jéron, Thierry
1 Junges, Sebastian
1 Kafle, Bishoksan
1 Kanso, Bilal
1 Katsaros, Panagiotis
1 Kiefer, Stefan
1 Klink, Daniel
1 Konečný, Michal
1 Kreiker, Jörg
1 Křetínský, Jan
1 Kröning, Daniel
1 Krüger, Thilo
1 Leucker, Martin
1 Lime, Didier
1 Maisonneuve, Vivien
1 Meggendorfer, Tobias
1 Miné, Antoine
1 Monfroy, Eric
1 Moy, Matthieu
1 Murawski, Andrzej S.
1 Naaf, Matthias
1 Oh, Hakjoo
1 Ouadjaout, Abdelraouf
1 Ouaknine, Joel O.
1 Podelski, Andreas
1 Putot, Sylvie
1 Qu, Hongyang
1 Ratschan, Stefan
1 Reps, Thomas W.
...and 25 more Authors

Citations by Year