×
Compute Distance To:
Author ID: berard.beatrice Recent zbMATH articles by "Bérard, Béatrice"
Published as: Bérard, Béatrice; Bérard, B.; Bérard, Beatrice; Berard, Béatrice; Berard, B.
Documents Indexed: 50 Publications since 1986, including 1 Book
Co-Authors: 48 Co-Authors with 44 Joint Publications
1,046 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 158 times in 114 Documents Cited by Year
Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077
Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul
33
1998
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
On the power of non-observable actions in timed automata. Zbl 1379.68216
Bérard, Béatrice; Gastin, Paul; Petit, Antoine
9
1996
Comparison of the expressiveness of timed automata and time Petri nets. Zbl 1175.68270
Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H.
9
2005
Quantifying opacity. Zbl 1361.68117
Bérard, Béatrice; Mullins, John; Sassolas, Mathieu
8
2015
Probabilistic opacity for Markov decision processes. Zbl 1366.68213
Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie
7
2015
Timed automata and additive clock constraints. Zbl 0953.68565
Bérard, Béatrice; Dufourd, Catherine
6
2000
Interrupt timed automata. Zbl 1234.68195
Bérard, Beatrice; Haddad, Serge
6
2009
Comparison of different semantics for time Petri nets. Zbl 1170.68537
Bérard, B.; Cassez, F.; Haddad, S.; Lime, Didier; Roux, O. H.
6
2005
Untiming timed languages. Zbl 1004.68532
Berard, Béatrice
5
1995
The expressive power of time Petri nets. Zbl 1259.68141
Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H.
5
2013
Parametric interrupt timed automata. Zbl 1355.68148
Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier
5
2013
Interrupt timed automata: verification and expressiveness. Zbl 1247.68124
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu
4
2012
Literal shuffle. Zbl 0636.68103
Berard, Béatrice
4
1987
Formal verification of mobile robot protocols. Zbl 1410.68217
Bérard, Béatrice; Lafourcade, Pascal; Millet, Laure; Potop-Butucaru, Maria; Thierry-Mieg, Yann; Tixeuil, Sébastien
4
2016
Accepting zeno words: A way toward timed refinements. Zbl 0957.68053
Bérard, Béatrice; Picaronny, Claudine
3
2000
Verifying performance equivalence for timed basic parallel processes. Zbl 0965.68063
Bérard, Beatrice; Labroue, Anne; Schnoebelen, Philippe
3
2000
Reachability analysis of (timed) Petri nets using real arithmetic. Zbl 0939.68080
Bérard, Béatrice; Fribourg, Laurent
3
1999
Interrupt timed automata with auxiliary clocks and parameters. Zbl 1357.68100
Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier
3
2016
Polynomial interrupt timed automata. Zbl 1471.68113
Bérard, Béatrice; Haddad, Serge; Picaronny, Claudine; Safey El Din, Mohab; Sassolas, Mathieu
2
2015
Automated verification of a parametric real-time program: The ABR conformance protocol. Zbl 1046.68501
Bérard, Béatrice; Fribourg, Laurent
2
1999
Concurrent games on VASS with inhibition. Zbl 1364.68275
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu; Sznajder, Nathalie
2
2012
Formal properties of literal shuffle. Zbl 0618.68061
Berard, B.
1
1987
The complexity of diagnosability and opacity verification for Petri nets. Zbl 1401.68221
Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan
1
2018
Accepting Zeno words without making time stand still. Zbl 0941.68044
Bérard, Béatrice; Picaronny, Claudine
1
1997
A compared study of two correctness proofs for the standardized algorithm of ABR conformance. Zbl 1033.68094
Bérard, Béatrice; Fribourg, Laurent; Klay, Francis; Monin, Jean-François
1
2003
Polynomial interrupt timed automata: verification and expressiveness. Zbl 1475.68145
Bérard, B.; Haddad, S.; Picaronny, C.; Safey El Din, M.; Sassolas, M.
1
2021
Intersection of regular signal-event (timed) languages. Zbl 1141.68424
Bérard, Béatrice; Gastin, Paul; Petit, Antoine
1
2006
Refinements and abstractions of signal-event (timed) languages. Zbl 1141.68425
Bérard, Béatrice; Gastin, Paul; Petit, Antoine
1
2006
When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68029
Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H.
1
2008
A new modality for almost everywhere properties in timed automata. Zbl 1134.68381
Bel Mokadem, Houda; Bérard, Béatrice; Bouyer, Patricia; Laroussinie, François
1
2005
When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68424
Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H.
1
2005
Polynomial interrupt timed automata: verification and expressiveness. Zbl 1475.68145
Bérard, B.; Haddad, S.; Picaronny, C.; Safey El Din, M.; Sassolas, M.
1
2021
The complexity of diagnosability and opacity verification for Petri nets. Zbl 1401.68221
Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan
1
2018
Formal verification of mobile robot protocols. Zbl 1410.68217
Bérard, Béatrice; Lafourcade, Pascal; Millet, Laure; Potop-Butucaru, Maria; Thierry-Mieg, Yann; Tixeuil, Sébastien
4
2016
Interrupt timed automata with auxiliary clocks and parameters. Zbl 1357.68100
Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier
3
2016
Quantifying opacity. Zbl 1361.68117
Bérard, Béatrice; Mullins, John; Sassolas, Mathieu
8
2015
Probabilistic opacity for Markov decision processes. Zbl 1366.68213
Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie
7
2015
Polynomial interrupt timed automata. Zbl 1471.68113
Bérard, Béatrice; Haddad, Serge; Picaronny, Claudine; Safey El Din, Mohab; Sassolas, Mathieu
2
2015
The expressive power of time Petri nets. Zbl 1259.68141
Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H.
5
2013
Parametric interrupt timed automata. Zbl 1355.68148
Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier
5
2013
Interrupt timed automata: verification and expressiveness. Zbl 1247.68124
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu
4
2012
Concurrent games on VASS with inhibition. Zbl 1364.68275
Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu; Sznajder, Nathalie
2
2012
Interrupt timed automata. Zbl 1234.68195
Bérard, Beatrice; Haddad, Serge
6
2009
When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68029
Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H.
1
2008
Intersection of regular signal-event (timed) languages. Zbl 1141.68424
Bérard, Béatrice; Gastin, Paul; Petit, Antoine
1
2006
Refinements and abstractions of signal-event (timed) languages. Zbl 1141.68425
Bérard, Béatrice; Gastin, Paul; Petit, Antoine
1
2006
Comparison of the expressiveness of timed automata and time Petri nets. Zbl 1175.68270
Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H.
9
2005
Comparison of different semantics for time Petri nets. Zbl 1170.68537
Bérard, B.; Cassez, F.; Haddad, S.; Lime, Didier; Roux, O. H.
6
2005
A new modality for almost everywhere properties in timed automata. Zbl 1134.68381
Bel Mokadem, Houda; Bérard, Béatrice; Bouyer, Patricia; Laroussinie, François
1
2005
When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68424
Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H.
1
2005
A compared study of two correctness proofs for the standardized algorithm of ABR conformance. Zbl 1033.68094
Bérard, Béatrice; Fribourg, Laurent; Klay, Francis; Monin, Jean-François
1
2003
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
Timed automata and additive clock constraints. Zbl 0953.68565
Bérard, Béatrice; Dufourd, Catherine
6
2000
Accepting zeno words: A way toward timed refinements. Zbl 0957.68053
Bérard, Béatrice; Picaronny, Claudine
3
2000
Verifying performance equivalence for timed basic parallel processes. Zbl 0965.68063
Bérard, Beatrice; Labroue, Anne; Schnoebelen, Philippe
3
2000
Reachability analysis of (timed) Petri nets using real arithmetic. Zbl 0939.68080
Bérard, Béatrice; Fribourg, Laurent
3
1999
Automated verification of a parametric real-time program: The ABR conformance protocol. Zbl 1046.68501
Bérard, Béatrice; Fribourg, Laurent
2
1999
Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077
Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul
33
1998
Accepting Zeno words without making time stand still. Zbl 0941.68044
Bérard, Béatrice; Picaronny, Claudine
1
1997
On the power of non-observable actions in timed automata. Zbl 1379.68216
Bérard, Béatrice; Gastin, Paul; Petit, Antoine
9
1996
Untiming timed languages. Zbl 1004.68532
Berard, Béatrice
5
1995
Literal shuffle. Zbl 0636.68103
Berard, Béatrice
4
1987
Formal properties of literal shuffle. Zbl 0618.68061
Berard, B.
1
1987
all top 5

Cited by 235 Authors

11 Bérard, Béatrice
6 Bouyer, Patricia
6 Haddad, Serge
5 Larsen, Kim Guldstrand
4 Demri, Stéphane P.
4 Lanotte, Ruggero
3 André, Étienne
3 Bruyère, Véronique
3 Cassez, Franck
3 Laroussinie, François
3 Lasota, Sławomir
3 Sangnier, Arnaud
3 Sassolas, Mathieu
3 Srba, Jiří
3 Tixeuil, Sébastien
2 Aceto, Luca
2 Azgomi, Mohammad Abdollahi
2 Berthomieu, Bernard
2 Boucheneb, Hanifa
2 Brihaye, Thomas
2 Cicerone, Serafino
2 Di Stefano, Gabriele
2 Dima, Cătălin
2 Dufourd, Catherine
2 Fahrenberg, Uli
2 Finkel, Alain
2 Gastin, Paul
2 Godary-dejean, Karen
2 Jensen, Peter Gjøl
2 Krichen, Moez
2 Lafortune, Stéphane
2 Legay, Axel
2 Lime, Didier
2 Maggiolo-Schettini, Andrea
2 Markey, Nicolas
2 Motallebi, Hassan
2 Murano, Aniello
2 Navarra, Alfredo
2 Peron, Adriano
2 Petit, Antoine C.
2 Potop-Butucaru, Maria Gradinariu
2 Raskin, Jean-François
2 Sznajder, Nathalie
2 Tini, Simone
2 Tripakis, Stavros
2 Vernadat, François B.
2 Wang, Weilin
2 Yin, Xiang
1 Aichernig, Bernhard K.
1 Akshay, S.
1 Andreu, David
1 Arkoudas, Konstantine
1 Asarin, Eugene
1 Badban, Bahareh
1 Balabonski, Thibaut
1 Balaguer, Sandie
1 Barbot, Benoît
1 Barkaoui, Kamel
1 Beauquier, Danièle
1 Benerecetti, Massimo
1 Beneš, Nikola
1 Bersani, Marcello Maria
1 Bertrand, Nathalie
1 Bezděk, Peter
1 Bønneland, Frederik Meyer
1 Bouchy, Florent
1 Bozzelli, Laura
1 Bringsjord, Selmer
1 Burgueño, Augusto
1 Byg, Joakim
1 Carton, Olivier
1 Cerone, Antonio
1 Chatain, Thomas
1 Chatterjee, Krishnendu
1 Chemillier, Marc
1 Chen, Taolue
1 Chen, Wen
1 Chothia, Tom
1 Clarke, Edmund Melson jun.
1 Cleaveland, Rance
1 Clemente, Lorenzo
1 Coquard, Emmanuel
1 Corradini, Flavio
1 Crestani, Didier
1 de Boer, Frank S.
1 Delga, Amélie
1 Deng, Weilin
1 Deters, Morgan
1 Di Cola, Dino
1 Dingel, Juergen
1 Dong, JinSong
1 Došen, Kosta
1 D’Souza, Deepak
1 Dullerud, Geir E.
1 Durand-Lose, Jérôme O.
1 Egerstedt, Magnus B.
1 Figueira, Diego
1 Fleury, Emmanuel
1 Fontana, Peter
1 Fribourg, Laurent
...and 135 more Authors

Citations by Year