Investigating Discrete Controllability with Kleene Algebra. - Hans Bherer; Jules Desharnais; Marc Frappier; Richard St-Denis (RelMiCS, 2003)

Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems. - Hans Bherer; Jules Desharnais; Marc Frappier; Richard St-Denis (ATVA, 2004)

Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation. - Hans Bherer; Jules Desharnais; Richard St-Denis (CDC/ECC, 2005)

Control of Parameterized Discrete Event Systems. - Hans Bherer; Jules Desharnais; Richard St-Denis (Discret. Event Dyn. Syst., 2009)

Software Certification: Is There a Case against Safety Cases? - Alan Wassyng; T. S. E. Maibaum; Mark Lawford; Hans Bherer (Monterey Workshop, 2010)