Béatrice Bérard
Orcid: 0000-0002-3314-1956Affiliations:
- LIP6, Paris
According to our database1,
Béatrice Bérard
authored at least 61 papers
between 1986 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
1990
1995
2000
2005
2010
2015
2020
0
1
2
3
4
5
6
7
3
2
1
2
2
2
3
2
1
2
1
1
1
1
1
2
1
1
1
2
2
3
1
1
1
1
2
1
2
1
3
3
1
3
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Corrigendum to "Revisiting reachability in polynomial interrupt timed automata" [Information Processing Letters 174 (2022) 106208].
Inf. Process. Lett., 2022
Inf. Process. Lett., 2022
2021
Inf. Comput., 2021
2020
Proceedings of the Proceedings 11th International Symposium on Games, 2020
Proceedings of the Foundations of Software Science and Computation Structures, 2020
2018
Fundam. Informaticae, 2018
Proceedings of the 38th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2018
Proceedings of the 27th EACSL Annual Conference on Computer Science Logic, 2018
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018
2017
Int. J. Crit. Comput. Based Syst., 2017
Proceedings of the 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2017
2016
Fundam. Informaticae, 2016
Proceedings of the 13th International Workshop on Discrete Event Systems, 2016
2015
Proceedings of the Reachability Problems - 9th International Workshop, 2015
2014
Int. J. Crit. Comput. Based Syst., 2014
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014
Proceedings of the Language and Automata Theory and Applications, 2014
2013
Proceedings of the Reachability Problems - 7th International Workshop, 2013
Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs, 2013
Proceedings of the Control of Discrete-Event Systems, 2013
2012
Formal Methods Syst. Des., 2012
Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012
2010
IEEE Trans Autom. Sci. Eng., 2010
Proceedings of the 10th International Workshop on Discrete Event Systems, 2010
Proceedings of the TIME 2010, 2010
2009
Proceedings of the Foundations of Software Science and Computational Structures, 2009
2008
Theor. Comput. Sci., 2008
2007
Formal Methods Syst. Des., 2007
2006
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
Proceedings of the Automated Technology for Verification and Analysis, 2006
2005
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2005
Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005
Proceedings of the Automated Technology for Verification and Analysis, 2005
2003
Formal Methods Syst. Des., 2003
2001
Proving convergence of self-stabilizing systems using first-order rewriting and regular languages.
Distributed Comput., 2001
Springer, ISBN: 9783540415237, 2001
2000
Proceedings of the Foundations of Software Science and Computation Structures, 2000
1999
Proceedings of the Distributed Computing, 1999
Proceedings of the CONCUR '99: Concurrency Theory, 1999
Automated Verification of a Parametric Real-Time Program: The ABR Conformance Protocol.
Proceedings of the Computer Aided Verification, 11th International Conference, 1999
1998
Fundam. Informaticae, 1998
1997
Proceedings of the Mathematical Foundations of Computer Science 1997, 1997
1996
Proceedings of the STACS 96, 1996
1995
1994
1987
1986