Hans Bherer

According to our database, Hans Bherer authored at least 5 papers between 2003 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Software Certification: Is There a Case against Safety Cases?

Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

2009

Control of Parameterized Discrete Event Systems.

Hans Bherer, Jules Desharnais, Richard St-Denis

Discret. Event Dyn. Syst., 2009

2005

Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems Under Partial Observation.

Hans Bherer, Jules Desharnais, Richard St-Denis

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems.

Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis

Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004

2003

Investigating Discrete Controllability with Kleene Algebra.

Hans Bherer, Jules Desharnais, Marc Frappier, Richard St-Denis

Proceedings of the Relational and Kleene-Algebraic Methods in Computer Science: 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, 2003