Edit Profile (opens in new tab) Bérard, Béatrice Compute Distance To: Compute Author ID: berard.beatrice 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 all top 5 Co-Authors 6 single-authored 15 Haddad, Serge 9 Lime, Didier 8 Sassolas, Mathieu 7 Roux, Olivier H. 6 Petit, Antoine C. 5 Cassez, Franck 5 Gastin, Paul 4 Fribourg, Laurent 4 Mullins, John 4 Picaronny, Claudine 4 Sznajder, Nathalie 3 Bouyer, Patricia 3 Laroussinie, François 2 Beauquier, Joffroy 2 Bel Mokadem, Houda 2 Benattar, Gilles 2 Bollig, Benedikt 2 Haar, Stefan 2 Jovanović, Aleksandra Ž. 2 Safey El Din, Mohab 2 Schmitz, Sylvain 2 Schwoon, Stefan 1 Bidoit, Michel 1 Cabasino, Maria Paola 1 Carton, Olivier 1 Chatterjee, Krishnendu 1 Di Febbraro, Angela 1 Diekert, Volker 1 Dufourd, Catherine 1 Finkel, Alain 1 Függer, Matthias 1 Giua, Alessandro 1 Klay, Francis 1 Kouchnarenko, Olga 1 Labroue, Anne 1 Lafourcade, Pascal 1 Lefaucheux, Engel 1 Lehaut, Mathieu 1 Magniette, Frederic 1 McKenzie, Pierre 1 Millet, Laure 1 Monin, Jean-François 1 Petrucci, Laure 1 Potop-Butucaru, Maria Gradinariu 1 Schnoebelen, Philippe 1 Seatzu, Carla 1 Thierry-Mieg, Yann 1 Tixeuil, Sébastien all top 5 Serials 5 Information Processing Letters 4 Theoretical Computer Science 3 Formal Methods in System Design 2 Distributed Computing 2 Fundamenta Informaticae 1 Acta Informatica 1 Acta Cybernetica 1 Annales Societatis Mathematicae Polonae. Series IV 1 Information and Computation 1 MSCS. Mathematical Structures in Computer Science 1 International Journal of Foundations of Computer Science 1 Discrete Event Dynamic Systems all top 5 Fields 48 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Systems theory; control (93-XX) 2 Information and communication theory, circuits (94-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Probability theory and stochastic processes (60-XX) 1 Operations research, mathematical programming (90-XX) Publications by Year all cited Publications top 5 cited Publications 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.68077Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul 33 1998 Systems and software verification. Model-checking techniques and tools. Zbl 1002.68029Bé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.68216Bérard, Béatrice; Gastin, Paul; Petit, Antoine 9 1996 Comparison of the expressiveness of timed automata and time Petri nets. Zbl 1175.68270Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H. 9 2005 Quantifying opacity. Zbl 1361.68117Bérard, Béatrice; Mullins, John; Sassolas, Mathieu 8 2015 Probabilistic opacity for Markov decision processes. Zbl 1366.68213Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie 7 2015 Timed automata and additive clock constraints. Zbl 0953.68565Bérard, Béatrice; Dufourd, Catherine 6 2000 Interrupt timed automata. Zbl 1234.68195Bérard, Beatrice; Haddad, Serge 6 2009 Comparison of different semantics for time Petri nets. Zbl 1170.68537Bérard, B.; Cassez, F.; Haddad, S.; Lime, Didier; Roux, O. H. 6 2005 Untiming timed languages. Zbl 1004.68532Berard, Béatrice 5 1995 The expressive power of time Petri nets. Zbl 1259.68141Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H. 5 2013 Parametric interrupt timed automata. Zbl 1355.68148Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier 5 2013 Interrupt timed automata: verification and expressiveness. Zbl 1247.68124Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu 4 2012 Literal shuffle. Zbl 0636.68103Berard, Béatrice 4 1987 Formal verification of mobile robot protocols. Zbl 1410.68217Bé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.68053Bérard, Béatrice; Picaronny, Claudine 3 2000 Verifying performance equivalence for timed basic parallel processes. Zbl 0965.68063Bérard, Beatrice; Labroue, Anne; Schnoebelen, Philippe 3 2000 Reachability analysis of (timed) Petri nets using real arithmetic. Zbl 0939.68080Bérard, Béatrice; Fribourg, Laurent 3 1999 Interrupt timed automata with auxiliary clocks and parameters. Zbl 1357.68100Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier 3 2016 Polynomial interrupt timed automata. Zbl 1471.68113Bé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.68501Bérard, Béatrice; Fribourg, Laurent 2 1999 Concurrent games on VASS with inhibition. Zbl 1364.68275Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu; Sznajder, Nathalie 2 2012 Formal properties of literal shuffle. Zbl 0618.68061Berard, B. 1 1987 The complexity of diagnosability and opacity verification for Petri nets. Zbl 1401.68221Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan 1 2018 Accepting Zeno words without making time stand still. Zbl 0941.68044Bérard, Béatrice; Picaronny, Claudine 1 1997 A compared study of two correctness proofs for the standardized algorithm of ABR conformance. Zbl 1033.68094Bérard, Béatrice; Fribourg, Laurent; Klay, Francis; Monin, Jean-François 1 2003 Polynomial interrupt timed automata: verification and expressiveness. Zbl 1475.68145Bérard, B.; Haddad, S.; Picaronny, C.; Safey El Din, M.; Sassolas, M. 1 2021 Intersection of regular signal-event (timed) languages. Zbl 1141.68424Bérard, Béatrice; Gastin, Paul; Petit, Antoine 1 2006 Refinements and abstractions of signal-event (timed) languages. Zbl 1141.68425Bérard, Béatrice; Gastin, Paul; Petit, Antoine 1 2006 When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68029Bé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.68381Bel 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.68424Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H. 1 2005 Polynomial interrupt timed automata: verification and expressiveness. Zbl 1475.68145Bé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.68221Bérard, Béatrice; Haar, Stefan; Schmitz, Sylvain; Schwoon, Stefan 1 2018 Formal verification of mobile robot protocols. Zbl 1410.68217Bé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.68100Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier 3 2016 Quantifying opacity. Zbl 1361.68117Bérard, Béatrice; Mullins, John; Sassolas, Mathieu 8 2015 Probabilistic opacity for Markov decision processes. Zbl 1366.68213Bérard, Béatrice; Chatterjee, Krishnendu; Sznajder, Nathalie 7 2015 Polynomial interrupt timed automata. Zbl 1471.68113Bérard, Béatrice; Haddad, Serge; Picaronny, Claudine; Safey El Din, Mohab; Sassolas, Mathieu 2 2015 The expressive power of time Petri nets. Zbl 1259.68141Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H. 5 2013 Parametric interrupt timed automata. Zbl 1355.68148Bérard, Beatrice; Haddad, Serge; Jovanović, Aleksandra; Lime, Didier 5 2013 Interrupt timed automata: verification and expressiveness. Zbl 1247.68124Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu 4 2012 Concurrent games on VASS with inhibition. Zbl 1364.68275Bérard, Béatrice; Haddad, Serge; Sassolas, Mathieu; Sznajder, Nathalie 2 2012 Interrupt timed automata. Zbl 1234.68195Bérard, Beatrice; Haddad, Serge 6 2009 When are timed automata weakly timed bisimilar to time Petri nets? Zbl 1158.68029Bérard, B.; Cassez, F.; Haddad, S.; Lime, D.; Roux, O. H. 1 2008 Intersection of regular signal-event (timed) languages. Zbl 1141.68424Bérard, Béatrice; Gastin, Paul; Petit, Antoine 1 2006 Refinements and abstractions of signal-event (timed) languages. Zbl 1141.68425Bérard, Béatrice; Gastin, Paul; Petit, Antoine 1 2006 Comparison of the expressiveness of timed automata and time Petri nets. Zbl 1175.68270Bérard, Beatrice; Cassez, Franck; Haddad, Serge; Lime, Didier; Roux, Olivier H. 9 2005 Comparison of different semantics for time Petri nets. Zbl 1170.68537Bé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.68381Bel 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.68424Bé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.68094Bérard, Béatrice; Fribourg, Laurent; Klay, Francis; Monin, Jean-François 1 2003 Systems and software verification. Model-checking techniques and tools. Zbl 1002.68029Bé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.68565Bérard, Béatrice; Dufourd, Catherine 6 2000 Accepting zeno words: A way toward timed refinements. Zbl 0957.68053Bérard, Béatrice; Picaronny, Claudine 3 2000 Verifying performance equivalence for timed basic parallel processes. Zbl 0965.68063Bérard, Beatrice; Labroue, Anne; Schnoebelen, Philippe 3 2000 Reachability analysis of (timed) Petri nets using real arithmetic. Zbl 0939.68080Bérard, Béatrice; Fribourg, Laurent 3 1999 Automated verification of a parametric real-time program: The ABR conformance protocol. Zbl 1046.68501Bérard, Béatrice; Fribourg, Laurent 2 1999 Characterization of the expressive power of silent transitions in timed automata. Zbl 0930.68077Bérard, Béatrice; Petit, Antoine; Diekert, Volker; Gastin, Paul 33 1998 Accepting Zeno words without making time stand still. Zbl 0941.68044Bérard, Béatrice; Picaronny, Claudine 1 1997 On the power of non-observable actions in timed automata. Zbl 1379.68216Bérard, Béatrice; Gastin, Paul; Petit, Antoine 9 1996 Untiming timed languages. Zbl 1004.68532Berard, Béatrice 5 1995 Literal shuffle. Zbl 0636.68103Berard, Béatrice 4 1987 Formal properties of literal shuffle. Zbl 0618.68061Berard, B. 1 1987 all cited Publications top 5 cited Publications 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 all top 5 Cited in 29 Serials 17 Theoretical Computer Science 9 Information and Computation 8 Information Processing Letters 7 Discrete Event Dynamic Systems 7 Formal Methods in System Design 6 Real-Time Systems 4 Distributed Computing 3 Automatica 3 Journal of Computer and System Sciences 3 Fundamenta Informaticae 2 Acta Informatica 2 Theory of Computing Systems 2 Logical Methods in Computer Science 2 Computer Science Review 1 ACM Computing Surveys 1 Artificial Intelligence 1 International Journal of Control 1 Information Sciences 1 Programming and Computer Software 1 Systems & Control Letters 1 Annals of Pure and Applied Logic 1 International Journal of Production Research 1 Formal Aspects of Computing 1 International Journal of Computer Mathematics 1 Cybernetics and Systems Analysis 1 Journal of Applied Non-Classical Logics 1 The Journal of Logic and Algebraic Programming 1 Journal of Applied Logic 1 RAIRO. Theoretical Informatics and Applications all top 5 Cited in 10 Fields 103 Computer science (68-XX) 16 Mathematical logic and foundations (03-XX) 11 Systems theory; control (93-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 3 Information and communication theory, circuits (94-XX) 2 Probability theory and stochastic processes (60-XX) 2 Operations research, mathematical programming (90-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Dynamical systems and ergodic theory (37-XX) Citations by Year