( en | de | ru )

 

Disambiguation of "Bérard, Béatrice"

Author of the publication

copydeleteadd this publication to your clipboard
Interrupt Timed Automata with Auxiliary Clocks and Parameters.

, , , and . Fundam. Informaticae, 143 (3-4): 235-259 (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

François Bérard

Sèverine Bérard

Mechthild Berard

Peter Berard

Berard Wingenfeld

 

Other publications of authors with the same name

An Introduction to Timed Automata.. Control of Discrete-Event Systems, volume 433 of Lecture Notes in Control and Information Sciences, Springer, (2013)Interrupt Timed Automata., and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 197-211. Springer, (2009)Timed Temporal Logics for Abstracting Transient States., , , and . ATVA, volume 4218 of Lecture Notes in Computer Science, page 337-351. Springer, (2006)Refinements and Abstractions of Signal-Event (Timed) Languages., , and . FORMATS, volume 4202 of Lecture Notes in Computer Science, page 67-81. Springer, (2006)Corrigendum to "Revisiting reachability in polynomial interrupt timed automata" Information Processing Letters 174 (2022) 106208., and . Inf. Process. Lett., (2022)Revisiting reachability in Polynomial Interrupt Timed Automata., and . Inf. Process. Lett., (2022)The expressive power of time Petri nets., , , , and . Theor. Comput. Sci., (2013)Probabilistic Disclosure: Maximisation vs. Minimisation., , and . FSTTCS, volume 93 of LIPIcs, page 13:1-13:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Timed automata and additive clock constraints., and . Inf. Process. Lett., 75 (1-2): 1-7 (2000)Automated controllability and synthesis with hierarchical set decision diagrams., , , and . WODES, page 281-286. International Federation of Automatic Control, (2010)