×
Compute Distance To:
Author ID: rival.xavier Recent zbMATH articles by "Rival, Xavier"
Published as: Rival, Xavier

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 140 times in 116 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
54
2002
The ASTREÉ analyzer. Zbl 1108.68422
Cousot, Patrick; Cousot, Radhia; Feret, Jerôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier
26
2005
Trace partitioning in abstract interpretation based static analyzers. Zbl 1108.68427
Mauborgne, Laurent; Rival, Xavier
13
2005
Relational inductive shape analysis. Zbl 1295.68081
Chang, Bor-Yuh Evan; Rival, Xavier
13
2008
Why does Astrée scale up? Zbl 1185.68241
Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier
12
2009
Understanding the origin of alarms in Astrée. Zbl 1141.68376
Rival, Xavier
5
2005
Reduced product combination of abstract domains for shapes. Zbl 1426.68066
Toubhans, Antoine; Chang, Bor-Yuh Evan; Rival, Xavier
3
2013
Symbolic transfer function-based approaches to certified compilation. Zbl 1325.68070
Rival, Xavier
3
2004
Calling context abstraction with shapes. Zbl 1284.68198
Rival, Xavier; Chang, Bor-Yuh Evan
3
2011
Abstract interpretation-based certification of assembly code. Zbl 1022.68582
Rival, Xavier
2
2003
Separating shape graphs. Zbl 1260.68103
Laviron, Vincent; Chang, Bor-Yuh Evan; Rival, Xavier
2
2010
Proofnets and context semantics for the additives. Zbl 1021.03055
Mairson, Harry G.; Rival, Xavier
1
2002
Abstraction of arrays based on non contiguous partitions. Zbl 1432.68075
Liu, Jiangchao; Rival, Xavier
1
2015
Semantic-directed clumping of disjunctive abstract states. Zbl 1380.68129
Li, Huisong; Berenger, Francois; Chang, Bor-Yuh Evan; Rival, Xavier
1
2017
Modular construction of shape-numeric analyzers. Zbl 1464.68072
Chang, Bor-Yuh Evan; Rival, Xavier
1
2013
Semantic-directed clumping of disjunctive abstract states. Zbl 1380.68129
Li, Huisong; Berenger, Francois; Chang, Bor-Yuh Evan; Rival, Xavier
1
2017
Abstraction of arrays based on non contiguous partitions. Zbl 1432.68075
Liu, Jiangchao; Rival, Xavier
1
2015
Reduced product combination of abstract domains for shapes. Zbl 1426.68066
Toubhans, Antoine; Chang, Bor-Yuh Evan; Rival, Xavier
3
2013
Modular construction of shape-numeric analyzers. Zbl 1464.68072
Chang, Bor-Yuh Evan; Rival, Xavier
1
2013
Calling context abstraction with shapes. Zbl 1284.68198
Rival, Xavier; Chang, Bor-Yuh Evan
3
2011
Separating shape graphs. Zbl 1260.68103
Laviron, Vincent; Chang, Bor-Yuh Evan; Rival, Xavier
2
2010
Why does Astrée scale up? Zbl 1185.68241
Cousot, Patrick; Cousot, Radhia; Feret, Jérôme; Mauborgne, Laurent; Miné, Antoine; Rival, Xavier
12
2009
Relational inductive shape analysis. Zbl 1295.68081
Chang, Bor-Yuh Evan; Rival, Xavier
13
2008
The ASTREÉ analyzer. Zbl 1108.68422
Cousot, Patrick; Cousot, Radhia; Feret, Jerôme; Mauborgne, Laurent; Miné, Antoine; Monniaux, David; Rival, Xavier
26
2005
Trace partitioning in abstract interpretation based static analyzers. Zbl 1108.68427
Mauborgne, Laurent; Rival, Xavier
13
2005
Understanding the origin of alarms in Astrée. Zbl 1141.68376
Rival, Xavier
5
2005
Symbolic transfer function-based approaches to certified compilation. Zbl 1325.68070
Rival, Xavier
3
2004
Abstract interpretation-based certification of assembly code. Zbl 1022.68582
Rival, Xavier
2
2003
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
54
2002
Proofnets and context semantics for the additives. Zbl 1021.03055
Mairson, Harry G.; Rival, Xavier
1
2002
all top 5

Cited by 232 Authors

7 Miné, Antoine
6 King, Andy
5 Rival, Xavier
4 Ferrara, Pietro
4 Logozzo, Francesco
4 Monniaux, David P.
3 Boldo, Sylvie
3 Bouissou, Olivier
3 Brauer, Jörg
3 Brotherston, James
3 Cortesi, Agostino
3 Cousot, Patrick
3 Cousot, Radhia
3 Jourdan, Jacques-Henri
3 Marché, Claude
3 Oh, Hakjoo
3 Pichardie, David
3 Seidl, Helmut
2 Bagnara, Roberto
2 Besson, Frédéric
2 Bobot, François
2 Chapoutot, Alexandre
2 Darulova, Eva
2 Dutle, Aaron
2 Fähndrich, Manuel
2 Fulara, Jędrzej
2 Gawlitza, Thomas Martin
2 Halbwachs, Nicolas
2 Heo, Kihong
2 Hermenegildo, Manuel V.
2 Hill, Patricia M.
2 Illous, Hugo
2 Jakubczyk, Krzysztof
2 Jeannet, Bertrand
2 Kowalewski, Stefan
2 Kröning, Daniel
2 Lemerre, Matthieu
2 Leroy, Xavier
2 Mauborgne, Laurent
2 Melquiond, Guillaume
2 Morales, Jose Francisco
2 Moscato, Mariano M.
2 Muñoz, César A.
2 Petersen, Rasmus Lerchedahl
2 Rümmer, Philipp
2 Sankaranarayanan, Sriram
2 Seladji, Yassamine
2 Siegel, Stephen F.
2 Simon, Axel
2 Sotin, Pascal
2 Titolo, Laura
2 Vogler, Ralf
2 Yang, Hongseok
2 Zaffanella, Enea
2 Zirkel, Timothy K.
1 Abate, Alessandro
1 Abbasi, Rosa
1 Abdulla, Parosh Aziz
1 Ahrendt, Wolfgang
1 Al-Sibahi, Ahmad Salim
1 Alberti, Francesco
1 Amato, Gianluca
1 Apel, Sven
1 Apinis, Kalmer
1 Arceri, Vincenzo
1 Bardin, Sébastien
1 Barré, Nicolas
1 Barrett, Clark W.
1 Barrett, Edd
1 Becker, Stephen R.
1 Beckschulze, Eva
1 Ben Sassi, Mohamed Amin
1 Bernot, Gilles
1 Bertot, Yves
1 Beyer, Dirk
1 Bouajjani, Ahmed
1 Bouaziz, Mehdi
1 Boulmé, Sylvain
1 Boutonnet, Rémy
1 Braibant, Thomas
1 Brandner, Florian
1 Brillout, Angelo
1 Bruttomesso, Roberto
1 Bubel, Richard
1 Casso, Ignacio
1 Cattaruzza, Dario
1 Cha, Sooyoung
1 Chawdhary, Aziem
1 Chen, Liqian
1 Chen, Yiyun
1 Chin, Wei-Ngan
1 Choe, Kwang-Moo
1 Christakis, Maria
1 Clément, François
1 Colón, Michael A.
1 Comet, Jean-Paul
1 Cook, Byron
1 Corona, Gabriel
1 Costantini, Giulia
1 Crawford-Kahrl, Peter
...and 132 more Authors

Citations by Year