Roberto Ziller
According to our database1,
Roberto Ziller
authored at least 8 papers
between 2000 and 2005.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2005
PhD thesis, 2005
ACM Trans. Embed. Comput. Syst., 2005
Proceedings of the Forum on specification and Design Languages, 2005
2003
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
Proceedings of the Formal Methods Elsewhere, 2000