Hans Bherer

Publication Activity (10 Years)

Years Active: 2003-2010
Publications (10 Years): 0

Publications

Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer
Software Certification: Is There a Case against Safety Cases? Monterey Workshop (2010)
Hans Bherer, Jules Desharnais, Richard St-Denis
Control of Parameterized Discrete Event Systems. Discret. Event Dyn. Syst. 19 (2) (2009)
Hans Bherer, Jules Desharnais, Richard St-Denis
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation. CDC/ECC (2005)
Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. ATVA (2004)
Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis
Investigating Discrete Controllability with Kleene Algebra. RelMiCS (2003)