 | 2010 |
| 4 |  | Alan Wassyng,
T. S. E. Maibaum,
Mark Lawford,
Hans Bherer:
Software Certification: Is There a Case against Safety Cases?
Monterey Workshop 2010: 206-227 |
| 2009 |
| 3 |  | Hans Bherer,
Jules Desharnais,
Richard St.-Denis:
Control of Parameterized Discrete Event Systems.
Discrete Event Dynamic Systems 19(2): 213-265 (2009) |
| 2004 |
| 2 |  | Hans Bherer,
Jules Desharnais,
Marc Frappier,
Richard St.-Denis:
Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems.
ATVA 2004: 487-490 |
| 2003 |
| 1 |  | Hans Bherer,
Jules Desharnais,
Marc Frappier,
Richard St.-Denis:
Investigating Discrete Controllability with Kleene Algebra.
RelMiCS 2003: 74-85 |