×

zbMATH — the first resource for mathematics

Petrucci, Laure

Compute Distance To:
Author ID: petrucci.laure Recent zbMATH articles by "Petrucci, Laure"
Published as: Petrucci, Laure; Petrucci, L.
External Links: ORCID
Documents Indexed: 25 Publications since 1991, including 3 Books

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 36 times in 35 Documents Cited by Year
Systems and software verification. Model-checking techniques and tools. Zbl 1002.68029
Bérard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, Ph.; McKenzie, P.
19
2001
Modular analysis of Petri nets. Zbl 0960.68125
Christensen, Søren; Petrucci, Laure
6
2000
Parameter synthesis for parametric interval Markov chains. Zbl 06559867
Delahaye, Benoît; Lime, Didier; Petrucci, Laure
2
2016
PN standardisation: a survey. Zbl 1225.68125
Hillah, L.; Kordon, F.; Petrucci, L.; Trèves, N.
2
2006
Experimenting formal proofs of Petri nets refinements. Zbl 1283.68236
Choppy, Christine; Mayero, Micaela; Petrucci, Laure
1
2008
Verification of reachability properties for time Petri nets. Zbl 1407.68293
Klai, Kais; Aber, Naim; Petrucci, Laure
1
2013
FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets. Zbl 1087.68012
Billington, Jonathan; Gallasch, Guy Edward; Petrucci, Laure
1
2005
Precise robustness analysis of time Petri nets with inhibitor ARCS. Zbl 1390.68455
André, Étienne; Pellegrino, Giuseppe; Petrucci, Laure
1
2013
Parallel nested depth-first searches for LTL model checking. Zbl 1348.68134
Evangelista, Sami; Petrucci, Laure; Youcef, Samir
1
2011
Improved multi-core nested depth-first search. Zbl 1374.68281
Evangelista, Sami; Laarman, Alfons; Petrucci, Laure; van de Pol, Jaco
1
2012
An incremental and modular technique for checking LTL\(\setminus \)X properties of Petri nets. Zbl 1215.68155
Klai, Kais; Petrucci, Laure; Reniers, Michel
1
2007
Parameter synthesis for parametric interval Markov chains. Zbl 06559867
Delahaye, Benoît; Lime, Didier; Petrucci, Laure
2
2016
Verification of reachability properties for time Petri nets. Zbl 1407.68293
Klai, Kais; Aber, Naim; Petrucci, Laure
1
2013
Precise robustness analysis of time Petri nets with inhibitor ARCS. Zbl 1390.68455
André, Étienne; Pellegrino, Giuseppe; Petrucci, Laure
1
2013
Improved multi-core nested depth-first search. Zbl 1374.68281
Evangelista, Sami; Laarman, Alfons; Petrucci, Laure; van de Pol, Jaco
1
2012
Parallel nested depth-first searches for LTL model checking. Zbl 1348.68134
Evangelista, Sami; Petrucci, Laure; Youcef, Samir
1
2011
Experimenting formal proofs of Petri nets refinements. Zbl 1283.68236
Choppy, Christine; Mayero, Micaela; Petrucci, Laure
1
2008
An incremental and modular technique for checking LTL\(\setminus \)X properties of Petri nets. Zbl 1215.68155
Klai, Kais; Petrucci, Laure; Reniers, Michel
1
2007
PN standardisation: a survey. Zbl 1225.68125
Hillah, L.; Kordon, F.; Petrucci, L.; Trèves, N.
2
2006
FAST verification of the class of stop-and-wait protocols modelled by coloured Petri nets. Zbl 1087.68012
Billington, Jonathan; Gallasch, Guy Edward; Petrucci, Laure
1
2005
Systems and software verification. Model-checking techniques and tools. Zbl 1002.68029
Bérard, B.; Bidoit, M.; Finkel, A.; Laroussinie, F.; Petit, A.; Petrucci, L.; Schnoebelen, Ph.; McKenzie, P.
19
2001
Modular analysis of Petri nets. Zbl 0960.68125
Christensen, Søren; Petrucci, Laure
6
2000
all top 5

Cited by 81 Authors

3 Laroussinie, François
2 André, Étienne
2 Delahaye, Benoît
2 Demri, Stéphane P.
2 Fournier, Paulin
2 Hasan, Osman
2 Petrucci, Laure
2 Tahar, Sofiène
1 Aceto, Luca
1 Apaydin-Özkan, Hanife
1 Arkoudas, Konstantine
1 Barad, Miryam
1 Bart, Anicet
1 Beauquier, Danièle
1 Bérard, Béatrice
1 Berthomieu, Bernard
1 Bouyer, Patricia
1 Bringsjord, Selmer
1 Cerone, Antonio
1 Clarke, Edmund Melson jun.
1 Deters, Morgan
1 Dong, JinSong
1 Evangelista, Sami
1 Frappier, Marc
1 George, Chris W.
1 George, Laurent
1 Gervais, Frédéric
1 Gieseking, Manuel
1 Hanzálek, Zdeněk
1 Henzinger, Thomas A.
1 Júlvez, Jorge
1 Kindler, Ekkart
1 Klai, Kais
1 La Torre, Salvatore
1 Lafourcade, Pascal
1 Laleau, Régine
1 Lefebvre, Dimitri
1 Li, Xiaoting
1 Lime, Didier
1 Liu, Yang
1 Mahulea, Cristian
1 Malik, Robi
1 Malvone, Vadim
1 Markey, Nicolas
1 Milhau, Jérémy
1 Millet, Laure
1 Mogavero, Fabio
1 Monfroy, Eric
1 Murano, Aniello
1 Napoli, Margherita
1 Olderog, Ernst-Rüdiger
1 Pajault, C.
1 Parente, Mimmo
1 Parlato, Gennaro
1 Patel, Jigar
1 Perna, Juan Ignacio
1 Potop-Butucaru, Maria Gradinariu
1 Pradat-Peyre, Jean-François
1 Rakow, Astrid
1 Rauf, Usman
1 Reisig, Wolfgang
1 Reniers, Michel Adriaan
1 Ribet, Pierre-Olivier
1 Rozier, Kristin Yvonne
1 Sameen, Sheema
1 Slissenko, Anatol
1 Sorrentino, Loredana
1 Sun, Jun
1 Thierry-Mieg, Yann
1 Tixeuil, Sébastien
1 Truchet, Charlotte
1 Veith, Helmut
1 Vernadat, François B.
1 Wang, Guoyin
1 Ware, Simon
1 Waszniowski, Libor
1 Würdemann, Nick
1 Xiang, Shuangqing
1 Xie, Wanling
1 Xu, Taihua
1 Zhu, Huibiao

Citations by Year