Nombre de documents

40

CV de Béatrice Bérard


Article dans une revue7 documents

  • Béatrice Bérard, Loïc Hélouët, John Mullins. Non-interference in partial order models. ACM Transactions on Embedded Computing Systems (TECS), ACM, 2016, Application and Theory of Petri Nets and Other Models of Concurrency: Special Issue of Selected Papers from Petri Nets 2015. <hal-01379451>
  • Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder. Probabilistic Opacity for Markov Decision Processes. Information Processing Letters, Elsevier, 2015, 115 (1), pp.52-59. <10.1016/j.ipl.2014.09.001>. <hal-01176435>
  • Béatrice Bérard, John Mullins, Mathieu Sassolas. Quantifying Opacity. Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2015, 25 (Special issue 2), pp.361-403. <10.1017/S0960129513000637>. <hal-01161867>
  • Yan Zhang, Béatrice Bérard, Lom Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg. Controllability for Discrete Event Systems Modeled in VeriJ. International Journal of Critical Computer-Based Systems, 2014, 5 (3/4), pp.218-240. <10.1504/IJCCBS.2014.064668>. <hal-01176427>
  • Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux. The Expressive Power of Time Petri Nets. Theoretical Computer Science, Elsevier, 2013, 474, pp.1-20. <hal-00925765>
  • Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier H. Roux, et al.. Channel Synthesis for Finite Transducers. International Journal of Foundations of Computer Science, World Scientific Publishing, 2012, 23 (6), pp.1241--1260. <hal-01161869>
  • Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux. When are Timed Automata Weakly Timed Bisimilar to Time Petri Nets?. Theoretical Computer Science, Elsevier, 2008, 403 (2--3), pp.202--220. <inria-00363024>

Communication dans un congrès22 documents

  • Benoît Barbot, Béatrice Bérard, Yann Duplouy, Serge Haddad. Statistical Model-Checking for Autonomous Vehicle Safety Validation. SIA Simulation Numérique, Mar 2017, Montigny-le-Bretonneux, France. <hal-01491064>
  • Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas. Preserving opacity on Interval Markov Chains under simulation. WODES 2016 - 13th International Workshop on Discrete Event Systems , May 2016, Xi'an, China. Proceedings of 13th International Workshop on Discrete Event Systems (WODES) 2016, IEEE, pp.319-324, 2016, <Christos G. Cassandras and Alessandro Giua and Zhiwu Li>. <10.1109/WODES.2016.7497866>. <hal-01347712>
  • Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas. Polynomial Interrupt Timed Automata. The 9th Workshop on Reachability Problems (RP'15), Sep 2015, Warsaw, Poland. Springer, 9328, pp.20-32, 2015, Lecture Notes in Computer Science. <10.1007/978-3-319-24537-9_3>. <hal-01222572>
  • Béatrice Bérard, Olivier Carton. Channel Synthesis Revisited. 8th International Conference on Languages and Automata Theory and Applications -- LATA, Mar 2014, Madrid, Spain. Springer International Publishing, 8370, pp.149-160, Lecture Notes in Computer Science. <10.1007/978-3-319-04921-2_12>. <hal-01215226>
  • Béatrice Bérard, John Mullins. Verification of Information Flow Properties under Rational Observation. 14th Int. Workshop on Automated Verification of Critical Systems, Sep 2014, Enschede, Netherlands. CTIT – Institute for ICT Research in Context, University of Twente, pp.61-75. <hal-01215704>
  • Maya Benabdelhafid, Béatrice Bérard, Mahmoud Boufaïda. Analyzing Behavioral Compatibility for Web Service Choreography Using Colored Petri Nets and ASK-CTL. 6th International Conference on Advanced Service Computing, May 2014, Venice, Italy. Xpert Publishing Services, pp.32-39. <hal-01215705>
  • Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime. Parametric Interrupt Timed Automata. Parosh Aziz Abdulla; Igor Potapov. 7th Workshop on Reachability Problems in Computational Models (RP'13), Sep 2013, Uppsala, Sweden. Springer Berlin Heidelberg, 8169, pp.59-69, 2013, Lecture Notes in Computer Science. <10.1007/978-3-642-41036-9_7>. <hal-00936961>
  • Yan Zhang, Béatrice Bérard, Lom Messan Hillah, Yann Thierry-Mieg. Semi-Automatic Controller Design of Java-like Models. Workshop on Formal Techniques for Java-like Programs, FTfJP 2013, Jul 2013, Montpellier, France. ACM, pp.3:1--3:7, <10.1145/2489804.2489806>. <hal-01216444>
  • Béatrice Bérard, Laure Millet, Maria Gradinariu Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil. Vérification formelle et robots mobiles. 15èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications (AlgoTel), May 2013, Pornic, France. Nisse, Nicolas et Rousseau, Franck et Busnel, Yann, pp.1-4, 2013. <hal-00818707>
  • Yann Thierry-Mieg, Béatrice Bérard, Fabrice Kordon, Didier Lime, Olivier Henri Roux. {Compositional Analysis of Discrete Time Petri nets}. 1st workshop on Petri Nets Compositions (CompoNet 2011), Jun 2011, Newcastle, United Kingdom. CEUR, 1st workshop on Petri Nets Compositions (CompoNet 2011), 726, pp.17-31, CEUR-WS. <hal-01282489>
  • Gilles Benattar, Béatrice Berard, Didier Lime, John Mullins, Olivier H. Roux, et al.. Channel Synthesis for Finite Transducers. Pál Dömösi and Szabolcs Iván. AFL 2011 - 13th International Conference on Automata and Formal Languages, Aug 2011, Debrecen, Hungary. pp.79-92, 2011. <hal-01223260>
  • Yan Zhang, Béatrice Bérard, Lom Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg. Modeling complex systems with VeriJ. 5th Verification and Evaluation of Computer and Communication System (VECOS), Sep 2011, Tunis, Tunisia. British Informatics Society Ltd, 5th Verification and Evaluation of Computer and Communication System (VECOS), pp.34-45. <hal-01288126>
  • Yan Zhang, Béatrice Bérard, Fabrice Kordon, Yann Thierry-Mieg. Automated Controllability and Synthesis with Hierarchical Set Decision Diagrams. 11th International Workshop on Discrete Event Systems (WODES'10), Sep 2010, Berlin, Germany. IFAC/Elsevier, 11th International Workshop on Discrete Event Systems (WODES'10), pp.281-286, <10.3182/20100830-3-DE-4013.00047>. <hal-01293801>
  • Béatrice Bérard, John Mullins, Mathieu Sassolas. Quantifying Opacity. Ciardo, Gianfranco and Segala, Roberto. 7th International Conference on Quantitative Evaluation of Systems (QEST 2010), Sep 2010, Williamsburg, Virginia, United States. IEEE Computer Society, pp.263--272, 2010, <10.1109/QEST.2010.40>. <hal-01161871>
  • Béatrice Bérard, Serge Haddad, Mathieu Sassolas. Real Time Properties for Interrupt Timed Automata. Markey, Nicolas and Wijsen, Jef. 17th International Symposium on Temporal Representation (TIME 2010), Sep 2010, Paris, France. IEEE Computer Society Press, pp.69-76, 2010, <10.1109/TIME.2010.11>. <hal-00772673>
  • Béatrice Bérard, Serge Haddad. Interrupt Timed Automata. de Alfaro, Luca. 12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), Mar 2009, York, United Kingdom. Springer, Proceedings of the 12th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS'09), 5504, pp.197-211, 2009, Lecture Notes in Computer Science. <10.1007/978-3-642-00596-1_15>. <hal-00772678>
  • Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier Henri Roux, et al.. Covert Channels with Transducers. The LICS Workshop on Foundations of Computer Security (FCS'09), Jul 2009, Los Angeles, California, United States. Proceedings of the LICS Workshop on Foundations of Computer Security (FCS'09), pp.ONLINE. <hal-01298270>
  • Béatrice Bérard, Serge Haddad, Lom Messan Hillah, Fabrice Kordon, Yann Thierry-Mieg. Collision Avoidance in Intelligent Transport Systems: towards an Application of Control Theory. 9th International Workshop on Discrete Event Systems (WODES'08), May 2008, Goteborg, Sweden. IEEE Computer Society, 9th International Workshop on Discrete Event Systems (WODES'08), pp.346-351, <10.1109/WODES.2008.4605970>. <hal-01303699>
  • Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux. Comparison of the Expressiveness of Timed Automata and Time Petri Nets. FORMATS 2005 - 3rd International Conference on Formal Modeling and Analysis of Timed Systems, Sep 2005, Uppsala, Sweden. Springer-Verlag, 3829, pp.211-225, 2005, Lecture Notes in Computer Science. <10.1007/11603009_17>. <inria-00368577>
  • Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux. When are Timed Automata weakly timed bisimilar to Time Petri Nets ?. 25th Int. Conf. on Foundations of Software Technology and Theoretical Computer Science (FSTTCS'05), Dec 2005, Chennai, India. pp.276--284, 2005. <inria-00368578>
  • Béatrice Berard, Franck Cassez, Serge Haddad, Didier Lime, Olivier Henri Roux. Comparison of Different Semantics for Time Petri Nets. 3rd Int. Symp. on Automated Technology for Verification and Analysis (ATVA'05), Oct 2005, Taiwan, Taiwan. Copyright \beginrawhtmlSpringer\endrawhtml, 3707, pp.293--307, 2005. <inria-00368580>
  • Houda Bel Mokadem, Béatrice Berard, Vincent Gourcuff, Jean-Marc Roussel, Olivier De Smet. Verification of a timed multitask system with UPPAAL. 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'05), Sep 2005, Catania, Italy. pp.CF-000606, 2005. <hal-00175467>

Pré-publication, Document de travail2 documents

  • Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas. Probabilistic Opacity in Refinement-Based Modeling. 2015. <hal-01347699>
  • Béatrice Berard, F. Cassez, Serge Haddad, D. Lime, Olivier Henri Roux. Comparison of Expressiveness for Timed Automata and Time Petri Nets. ANNALES du LAMSADEn°4-5. 2006. <hal-00115535>

Rapport3 documents

  • Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas. Opacity for Linear Constraint Markov Chains. [Research Report] LIP6 UMR 7606 UPMC Sorbonne Universités, France; Univ. de Franche-Comté; Ecole Polytechnique de Montréal; LACL, Université Paris-Est. 2016. <hal-01384153>
  • Béatrice Berard, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil. Formal verification of Mobile Robot Protocols. 2013. <hal-00834061>
  • Béatrice Bérard, Serge Haddad, Mathieu Sassolas, Marc Zeitoun. Distributed Synthesis with Incomparable Information. [Research Report] LSV-10-17, LSV. 2010. <hal-00779927>

Autre publication1 document

  • Gilles Benattar, Béatrice Bérard, Didier Lime, John Mullins, Olivier Henri Roux, et al.. Covert Channel Synthesis for Transducers. Research report. 2010. <hal-00463574>

Chapitre d'ouvrage5 documents

  • Béatrice Bérard. An Introduction to Timed Automata. Control of Discrete-Event Systems, 433, Springer, pp.169-187, 2013, Lecture Notes in Control and Information Science, <10.1007/978-1-4471-4276-8_9>. <hal-01282430>
  • Béatrice Bérard, Maria Paola Cabasino, Angela Febbraro, Alessandro Giua, Carla Seatzu. Petri nets with time. Control of Discrete-Event Systems, 433, Springer, pp.319-342, 2013, Lecture Notes in Control and Information Science. <hal-01254534>
  • Béatrice Bérard. Modeling Time. Models and Analysis in Distributed Systems, Wiley, pp.63-96, 2011, 9781848213142. <hal-01288076>
  • Béatrice Bérard. Timed Model Checking. Communicating Embedded Systems -- Software and Design, ISTE Publishing / John Wiley, 2009, 978-1-8482-1143-8. <10.1002/9781118558188.ch2>. <hal-01298307>
  • Béatrice Bérard. Model checking temporisé. Approches formelles des systèmes embarqués communicants, Hermes/Lavoisier, pp.75-103, 2008, Traités IC2 - Informatique et systèmes d'information, 978-2-7462-1942-7. <hal-01299143>