Roberto Ziller

According to our database1, Roberto Ziller authored at least 8 papers between 2000 and 2005.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls.
PhD thesis, 2005

Combining supervisor synthesis and model checking.
ACM Trans. Embed. Comput. Syst., 2005

An Application of Generalized Supervisor Synthesis to the Control of a Call Center.
Proceedings of the Forum on specification and Design Languages, 2005

2003
A Generalised Approach to Supervisor Synthesis.
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

A μ-Calculus Approach to Supervisor Synthesis.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2003

2002
Finding Bad States during Symbolic Supervisor Synthesis.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2002

2001
System Modeling Using Marker States in the RW-Framework.
Proceedings of the Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), 2001

2000
Can American Checkers be Solved by Means of Symbolic Model Checking?
Proceedings of the Formal Methods Elsewhere, 2000


  Loading...