×
Edit Profile (opens in new tab)

Mauborgne, Laurent

Co-Author Distance
Author ID: mauborgne.laurent Recent zbMATH articles by "Mauborgne, Laurent"
Published as: Mauborgne, Laurent
Documents Indexed: 13 Publications since 1998
1 Contribution as Editor
Co-Authors: 8 Co-Authors with 8 Joint Publications
111 Co-Co-Authors
all top 5

Co-Authors

6 single-authored
6 Cousot, Patrick
6 Cousot, Radhia
4 Rival, Xavier
3 Feret, Jérôme
3 Miné, Antoine
2 Monniaux, David P.
1 Blanchet, Bruno
1 Massé, Damien

Serials

2 Science of Computer Programming
1 Formal Methods in System Design
1 Nordic Journal of Computing
1 Journal of the ACM
1 Electronic Notes in Theoretical Computer Science

Fields

14 Computer science (68-XX)
1 General and overarching topics; collections (00-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

12 Publications have been cited 202 times in 165 Documents Cited by ▼ Year ▼
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. Zbl 1026.68514
Blanchet, Bruno; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier
77
2002
The ASTREÉ analyzer. Zbl 1108.68422
Cousot, Patrick; Cousot, Radhia; Feret, Jerôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier
45
2005
Trace partitioning in abstract interpretation based static analyzers. Zbl 1108.68427
Mauborgne, Laurent; Rival, Xavier
29
2005
Why does Astrée scale up? Zbl 1185.68241
Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier
19
2009
A scalable segmented decision tree abstract domain. Zbl 1288.68040
Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent
9
2010
Theories, solvers and static analysis by abstract interpretation. Zbl 1281.68156
Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent
7
2012
The reduced product of abstract domains and the combination of decision procedures. Zbl 1326.68089
Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent
5
2011
Binary decision graphs. Zbl 0957.68071
Mauborgne, Laurent
4
1999
Improving the representation of infinite trees to deal with sets of trees. Zbl 0960.68041
Mauborgne, Laurent
2
2000
An incremental unique representation for regular trees. Zbl 0971.68122
Mauborgne, Laurent
2
2000
Abstract interpretation using typed decision graphs. Zbl 0941.68009
Mauborgne, Laurent
2
1998
Tree schemata and fair termination. Zbl 0966.68579
Mauborgne, Laurent
1
2000
Theories, solvers and static analysis by abstract interpretation. Zbl 1281.68156
Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent
7
2012
The reduced product of abstract domains and the combination of decision procedures. Zbl 1326.68089
Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent
5
2011
A scalable segmented decision tree abstract domain. Zbl 1288.68040
Cousot, Patrick; Cousot, Radhia; Mauborgne, Laurent
9
2010
Why does Astrée scale up? Zbl 1185.68241
Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier
19
2009
The ASTREÉ analyzer. Zbl 1108.68422
Cousot, Patrick; Cousot, Radhia; Feret, Jerôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier
45
2005
Trace partitioning in abstract interpretation based static analyzers. Zbl 1108.68427
Mauborgne, Laurent; Rival, Xavier
29
2005
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software. Zbl 1026.68514
Blanchet, Bruno; Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier
77
2002
Improving the representation of infinite trees to deal with sets of trees. Zbl 0960.68041
Mauborgne, Laurent
2
2000
An incremental unique representation for regular trees. Zbl 0971.68122
Mauborgne, Laurent
2
2000
Tree schemata and fair termination. Zbl 0966.68579
Mauborgne, Laurent
1
2000
Binary decision graphs. Zbl 0957.68071
Mauborgne, Laurent
4
1999
Abstract interpretation using typed decision graphs. Zbl 0941.68009
Mauborgne, Laurent
2
1998
all cited Publications top 5 cited Publications
all top 5

Cited by 324 Authors

8 Cousot, Patrick
7 King, Andy
6 Kröning, Daniel
6 Miné, Antoine
5 Bouissou, Olivier
5 D’silva, Vijay
5 Monniaux, David P.
5 Pichardie, David
5 Sankaranarayanan, Sriram
4 Cousot, Radhia
4 Giacobazzi, Roberto
4 Logozzo, Francesco
4 Rival, Xavier
4 Seidl, Helmut
4 Simon, Axel
3 Bagnara, Roberto
3 Boldo, Sylvie
3 Brauer, Jörg
3 Cortesi, Agostino
3 Dimovski, Aleksandar S.
3 Ferrara, Pietro
3 Goubault, Eric
3 Gulwani, Sumit
3 Halbwachs, Nicolas
3 Haller, Leopold
3 Hill, Patricia M.
3 Jourdan, Jacques-Henri
3 Martel, Matthieu
3 Oh, Hakjoo
3 Schrammel, Peter
3 Zaffanella, Enea
2 Abate, Alessandro
2 Allamigeon, Xavier
2 Bardin, Sébastien
2 Barthe, Gilles
2 Besson, Frédéric
2 Bobot, François
2 Cattaruzza, Dario
2 Chapoutot, Alexandre
2 Chawdhary, Aziem
2 Chen, Liqian
2 Darulova, Eva
2 Dutle, Aaron M.
2 Fähndrich, Manuel
2 Fulara, Jędrzej
2 Gawlitza, Thomas Martin
2 Heo, Kihong
2 Hermenegildo, Manuel V.
2 Jakubczyk, Krzysztof
2 Jeannet, Bertrand
2 Kowalewski, Stefan
2 Liu, Jiangchao
2 Marché, Claude
2 Mastroeni, Isabella
2 Mauborgne, Laurent
2 Melquiond, Guillaume
2 Morales, Jose Francisco
2 Moscato, Mariano M.
2 Muñoz, César A.
2 Podelski, Andreas
2 Putot, Sylvie
2 Ranzato, Francesco
2 Rümmer, Philipp
2 Seladji, Yassamine
2 Siegel, Stephen F.
2 Søndergaard, Harald
2 Titolo, Laura
2 Urban, Caterina
2 Vogler, Ralf
2 Vojdani, Vesal
2 Wang, Ji
2 Yang, Hongseok
2 Zirkel, Timothy K.
1 Abbasi, Rosa
1 Adi, Kamel
1 Adjé, Assalé
1 Ahrendt, Wolfgang
1 Aiken, Alex
1 Akshay, S.
1 Alberti, Francesco
1 Amin, Nada
1 Apel, Sven
1 Apinis, Kalmer
1 Arceri, Vincenzo
1 Assaf, Mounir
1 Bacelar Almeida, José
1 Ballabriga, Clément
1 Barbosa, Manuel
1 Barré, Nicolas
1 Barrett, Edd
1 Becker, Stephen R.
1 Beckschulze, Eva
1 Ben Khalifa, Dorra
1 Ben Sassi, Mohamed Amin
1 Berenger, Francois
1 Bernot, Gilles
1 Bertot, Yves
1 Beyer, Dirk
1 Bonchi, Filippo
1 Bouaziz, Mehdi
...and 224 more Authors
all top 5

Cited in 21 Serials

14 Formal Methods in System Design
9 Journal of Automated Reasoning
6 Computer Languages, Systems & Structures
5 Theoretical Computer Science
4 Science of Computer Programming
3 Higher-Order and Symbolic Computation
3 Mathematics in Computer Science
2 Formal Aspects of Computing
2 Journal of Functional Programming
2 Theory and Practice of Logic Programming
2 Journal of Logical and Algebraic Methods in Programming
1 Programming and Computer Software
1 Order
1 Journal of Symbolic Computation
1 Mathematical Structures in Computer Science
1 Annals of Mathematics and Artificial Intelligence
1 Complexity
1 Theory of Computing Systems
1 RAIRO. Theoretical Informatics and Applications
1 SIAM Journal on Applied Dynamical Systems
1 Journal of Applied Logic
all top 5

Cited in 13 Fields

160 Computer science (68-XX)
17 Numerical analysis (65-XX)
16 Mathematical logic and foundations (03-XX)
7 Operations research, mathematical programming (90-XX)
5 Information and communication theory, circuits (94-XX)
4 Convex and discrete geometry (52-XX)
3 Order, lattices, ordered algebraic structures (06-XX)
3 Systems theory; control (93-XX)
1 Algebraic geometry (14-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Partial differential equations (35-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year