Béatrice Bérard

发表

Krishnendu Chatterjee, Nathalie Sznajder, Béatrice Bérard, 2014, Inf. Process. Lett..
Serge Haddad, Didier Lime, Béatrice Bérard, 2013, RP.
Béatrice Bérard, Mahmoud Boufaida, Maya Souilah Benabdelhafid, 2014 .
Philippe Schnoebelen, Laure Petrucci, Pierre McKenzie, 2001 .
Béatrice Bérard, B. Bérard, 2013, Communicating Embedded Systems.
Béatrice Bérard, B. Bérard, 1995, Inf. Process. Lett..
Olga Kouchnarenko, Mathieu Sassolas, Béatrice Bérard, 2018, Discret. Event Dyn. Syst..
Serge Haddad, Mathieu Sassolas, Béatrice Bérard, 2010 .
Béatrice Bérard, B. Bérard, 2013, Control of Discrete-Event Systems.
Béatrice Bérard, Joffroy Beauquier, 1986, CAAP.
Didier Lime, Olivier H. Roux, Mathieu Sassolas, 2011, AFL.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001, Springer Berlin Heidelberg.
Béatrice Bérard, 1987, Acta Cybern..
Sébastien Tixeuil, Maria Potop-Butucaru, Béatrice Bérard, 2013 .
Béatrice Bérard, Lom Messan Hillah, Yann Thierry-Mieg, 2011 .
Serge Haddad, Béatrice Bérard, Engel Lefaucheux, 2017, FSTTCS.
Béatrice Bérard, John Mullins, 2014, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Paul Gastin, Antoine Petit, Béatrice Bérard, 2007, Formal Methods Syst. Des..
Serge Haddad, Didier Lime, Olivier H. Roux, 2013, Theor. Comput. Sci..
Serge Haddad, Benoît Barbot, Béatrice Bérard, 2017 .
Philippe Schnoebelen, Béatrice Bérard, Anne Labroue, 2000, FoSSaCS.
Fabrice Kordon, Béatrice Bérard, Yann Thierry-Mieg, 2014, Int. J. Crit. Comput. Based Syst..
Benedikt Bollig, Matthias Függer, Patricia Bouyer, 2020, GandALF.
Béatrice Bérard, B. Bérard, 1987, Theor. Comput. Sci..
Patricia Bouyer, Béatrice Bérard, François Laroussinie, 2006, ATVA.
Olivier Carton, Béatrice Bérard, 2014, LATA.
Patricia Bouyer, Béatrice Bérard, François Laroussinie, 2005, CONCUR.
Claudine Picaronny, Béatrice Bérard, B. Bérard, 2000, Acta Informatica.
Serge Haddad, Béatrice Bérard, 2009, FoSSaCS.
Serge Haddad, Didier Lime, Béatrice Bérard, 2010 .
Béatrice Bérard, Mohamed El Mongi Ben Gaid, Olivier De Smet, 2005 .
Béatrice Bérard, Yann Thierry-Mieg, Lom-Messan Hillah, 2013, FTfJP@ECOOP.
Catherine Dufourd, Béatrice Bérard, C. Dufourd, 2000, Information Processing Letters.
Serge Haddad, Didier Lime, Olivier H. Roux, 2005, FORMATS.
Claudine Picaronny, Béatrice Bérard, B. Bérard, 1997, MFCS.
Fabrice Kordon, Béatrice Bérard, Yann Thierry-Mieg, 2010, WODES.
Loïc Hélouët, Béatrice Bérard, John Mullins, 2015, 2015 15th International Conference on Application of Concurrency to System Design.
Maria Gradinariu Potop-Butucaru, Sébastien Tixeuil, Pascal Lafourcade, 2016, Distributed Computing.
Sylvain Schmitz, Stefan Haar, Béatrice Bérard, 2017, Petri Nets.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Loïc Hélouët, Stefan Haar, Béatrice Bérard, 2018, FSTTCS.
Paul Gastin, Antoine Petit, Béatrice Bérard, 1996, STACS.
Patricia Bouyer, Béatrice Bérard, Vincent Jugé, 2018, CSL.
Laurent Fribourg, Béatrice Bérard, Jean-François Monin, 2003, FME 2003.
Serge Haddad, Didier Lime, Olivier H. Roux, 2005, ATVA.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Serge Haddad, Mathieu Sassolas, Béatrice Bérard, 2012, Formal Methods Syst. Des..
Paul Gastin, Antoine Petit, Béatrice Bérard, 2006, FORMATS.
Laurent Fribourg, Béatrice Bérard, L. Fribourg, 1999, CONCUR.
Loïc Hélouët, Béatrice Bérard, John Mullins, 2015, ACSD.
Fabrice Kordon, Didier Lime, Béatrice Bérard, 2011 .
Mathieu Sassolas, Béatrice Bérard, John Mullins, 2010, QEST.
Serge Haddad, Benoît Barbot, Béatrice Bérard, 2018, Petri Nets.
Olga Kouchnarenko, Mathieu Sassolas, Béatrice Bérard, 2016, 2016 13th International Workshop on Discrete Event Systems (WODES).
Angela Di Febbraro, Carla Seatzu, Béatrice Bérard, 2013, Control of Discrete-Event Systems.
Laurent Fribourg, Béatrice Bérard, L. Fribourg, 1999, CAV.
Béatrice Bérard, B. Bérard, 1994, Theor. Comput. Sci..
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Serge Haddad, Didier Lime, Olivier H. Roux, 2005, FSTTCS.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Sébastien Tixeuil, Pierre Courtieu, Maria Potop-Butucaru, 2015 .
Béatrice Bérard, 2008 .
Sylvain Schmitz, Stefan Haar, Béatrice Bérard, 2017, Petri Nets.
Benedikt Bollig, Nathalie Sznajder, Béatrice Bérard, 2019, FoSSaCS.
Claudine Picaronny, Mathieu Sassolas, Béatrice Bérard, 2020 .
Laurent Fribourg, Béatrice Bérard, Jean-François Monin, 2003, Formal Methods Syst. Des..
Serge Haddad, Mohab Safey El Din, Claudine Picaronny, 2015, RP.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Serge Haddad, Didier Lime, Béatrice Bérard, 2014, Fundam. Informaticae.
Paul Gastin, Antoine Petit, Béatrice Bérard, 2006, FORMATS.
Laurent Fribourg, Joffroy Beauquier, Béatrice Bérard, 2001, Distributed Computing.
Serge Haddad, Mathieu Sassolas, Béatrice Bérard, 2010, 2010 17th International Symposium on Temporal Representation and Reasoning.
Paul Gastin, Volker Diekert, Antoine Petit, 1998, Fundam. Informaticae.
Béatrice Bérard, Serge Haddad, Engel Lefaucheux, 2017 .
Serge Haddad, Nathalie Sznajder, Mathieu Sassolas, 2012, CONCUR.
Olga Kouchnarenko, Mathieu Sassolas, Béatrice Bérard, 2015, ArXiv.
Laurent Fribourg, Joffroy Beauquier, Béatrice Bérard, 1999, DISC.
Philippe Schnoebelen, Laure Petrucci, Alain Finkel, 2001 .
Serge Haddad, Didier Lime, Olivier H. Roux, 2005, FSTTCS.
Mahmoud Boufaïda, Béatrice Bérard, Maya Souilah Benabdelhafid, 2017, Int. J. Crit. Comput. Based Syst..
Béatrice Bérard, Jean-Marc Roussel, V. Gourcuff, 2005 .
Béatrice Bérard, Jean-Marc Roussel, V. Gourcuff, 2010 .
Béatrice Bérard, V. Gourcuff, O. De Smet, 2005, IEEE Transactions on Automation Science and Engineering.
Serge Haddad, Béatrice Bérard, 2022, Inf. Process. Lett..
Serge Haddad, Mathieu Sassolas, Béatrice Bérard, 2009 .
Sébastien Tixeuil, Pierre Courtieu, Maria Potop-Butucaru, 2015 .