| Systems and software verification: model-checking techniques and tools B Bérard, M Bidoit, A Finkel, F Laroussinie, A Petit, L Petrucci, ... Springer Science & Business Media, 2013 | 1247 | 2013 |
| Characterization of the expressive power of silent transitions in timed automata B Bérard, A Petit, V Diekert, P Gastin Fundamenta Informaticae 36 (2-3), 145-182, 1998 | 251 | 1998 |
| Vérification de logiciels: techniques et outils du model-checking B Bérard, M Bidoit, F Laroussinie Vuibert, 1999 | 151 | 1999 |
| Comparison of the expressiveness of timed automata and time Petri nets B Bérard, F Cassez, S Haddad, D Lime, OH Roux International conference on formal modeling and analysis of timed systems …, 2005 | 141 | 2005 |
| Comparison of different semantics for time Petri nets B Bérard, F Cassez, S Haddad, D Lime, OH Roux International Symposium on Automated Technology for Verification and …, 2005 | 121 | 2005 |
| Quantifying opacity B Bérard, J Mullins, M Sassolas Mathematical Structures in Computer Science 25 (2), 361-403, 2015 | 101 | 2015 |
| Verification of a timed multitask system with UPPAAL HB Mokadem, B Berard, V Gourcuff, O De Smet, JM Roussel IEEE Transactions on Automation Science and Engineering 7 (4), 921-932, 2010 | 90 | 2010 |
| Reachability analysis of (timed) Petri nets using real arithmetic B Bérard, L Fribourg International Conference on Concurrency Theory, 178-193, 1999 | 70 | 1999 |
| Probabilistic opacity for Markov decision processes B Bérard, K Chatterjee, N Sznajder Information Processing Letters 115 (1), 52-59, 2015 | 66 | 2015 |
| Timed automata and additive clock constraints B Bérard, C Dufourd Information Processing Letters 75 (1-2), 1-7, 2000 | 60 | 2000 |
| Automated verification of a parametric real-time program: the ABR conformance protocol B Béerard, L Fribourg International Conference on Computer Aided Verification, 96-107, 1999 | 60 | 1999 |
| On the power of non-observable actions in timed automata B Bérard, P Gastin, A Petit Annual Symposium on Theoretical Aspects of Computer Science, 255-268, 1996 | 58 | 1996 |
| The expressive power of time Petri nets B Berard, F Cassez, S Haddad, D Lime, OH Roux Theoretical Computer Science 474, 1-20, 2013 | 50 | 2013 |
| Formal verification of mobile robot protocols B Bérard, P Lafourcade, L Millet, M Potop-Butucaru, Y Thierry-Mieg, ... Distributed Computing 29 (6), 459-487, 2016 | 46 | 2016 |
| Analysing the PGM protocol with UPPAAL B Bérard*, P Bouyer, A Petit International journal of production research 42 (14), 2773-2791, 2004 | 31 | 2004 |
| The complexity of diagnosability and opacity verification for Petri nets B Bérard, S Haar, S Schmitz, S Schwoon Fundamenta Informaticae 161 (4), 317-349, 2018 | 29 | 2018 |
| An introduction to timed automata B Bérard Control of Discrete-Event Systems: Automata and Petri Net Perspectives, 169-187, 2013 | 28 | 2013 |
| When are timed automata weakly timed bisimilar to time Petri nets? B Bérard, F Cassez, S Haddad, D Lime, OH Roux Theoretical Computer Science 403 (2-3), 202-220, 2008 | 27 | 2008 |
| When are timed automata weakly timed bisimilar to time Petri nets? B Bérard, F Cassez, S Haddad, D Lime, OH Roux International Conference on Foundations of Software Technology and …, 2005 | 27 | 2005 |
| Systèmes d'exploitation: concepts et algorithmes J Beauquier, B Bérard McGraw-Hill, 1990 | 26 | 1990 |
