Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Béatrice
    Last name: Bérard
    DBLP: b/BeatriceBerard
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 57  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Béatrice Bérard, Loïc Hélouët, John Mullins.
    Non-interference in Partial Order Models.
    ACM Trans. Embedded Comput. Syst. 2016, Volume 16 (0) 2017
    Conference paper
    Béatrice Bérard, Stefan Haar, Sylvain Schmitz, Stefan Schwoon.
    The Complexity of Diagnosability and Opacity Verification for Petri Nets.
    Application and Theory of Petri Nets and Concurrency - 38th International Conference, PETRI NETS 2017, Zaragoza, Spain, June 25-30, 2017, Proceedings 2017 (0) 2017
    Conference paper
    Maya Souilah Benabdelhafid, Béatrice Bérard, Mahmoud Boufaïda.
    Analysing timed compatibility of web service choreography.
    IJCCBS 2017, Volume 7 (0) 2017
    Conference paper
    Béatrice Bérard, Serge Haddad, Engel Lefaucheux.
    Probabilistic Disclosure: Maximisation vs. Minimisation.
    37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India 2018 (0) 2017
    Conference paper
    Béatrice Bérard, Olga Kouchnarenko, John Mullins, Mathieu Sassolas.
    Preserving opacity on Interval Markov Chains under simulation.
    13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016 2016 (0) 2016
    Conference paper
    Béatrice Bérard, Pascal Lafourcade 0001, Laure Millet, Maria Potop-Butucaru, Yann Thierry-Mieg, Sébastien Tixeuil.
    Formal verification of mobile robot protocols.
    Distributed Computing 2016, Volume 29 (0) 2016
    Conference paper
    Béatrice Bérard, Serge Haddad, Aleksandra Jovanovic, Didier Lime.
    Interrupt Timed Automata with Auxiliary Clocks and Parameters.
    Fundam. Inform. 2016, Volume 143 (0) 2016
    Journal article
    Béatrice Bérard, Krishnendu Chatterjee, Nathalie Sznajder.
    Probabilistic opacity for Markov decision processes.
    Inf. Process. Lett. 2015, Volume 115 (0) 2015
    Journal article
    Béatrice Bérard, John Mullins, Mathieu Sassolas.
    Quantifying opacity.
    Mathematical Structures in Computer Science 2015, Volume 25 (0) 2015
    Journal article
    Béatrice Bérard, Serge Haddad, Claudine Picaronny, Mohab Safey El Din, Mathieu Sassolas.
    Polynomial Interrupt Timed Automata.
    CoRR 2015, Volume 0 (0) 2015
    Show item 1 to 10 of 57  

    Your query returned 57 matches in the database.