Roberto Ziller

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Karlsruhe Institute of Technology (PHD)

Education History

Karlsruhe Institute of Technology

PHD

Publications

Roberto Ziller, Klaus Schneider
Combining supervisor synthesis and model checking. ACM Trans. Embed. Comput. Syst. 4 (2) (2005)
Roberto Ziller
An Application of Generalized Supervisor Synthesis to the Control of a Call Center. FDL (2005)
Roberto Ziller, Klaus Schneider
A μ-Calculus Approach to Supervisor Synthesis. MBMV (2003)
Roberto Ziller, Klaus Schneider
A Generalised Approach to Supervisor Synthesis. MEMOCODE (2003)
Roberto Ziller
Finding Bad States during Symbolic Supervisor Synthesis. MBMV (2002)
Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller
Can American Checkers be Solved by Means of Symbolic Model Checking? Electron. Notes Theor. Comput. Sci. 43 (2001)
Roberto Ziller
System Modeling Using Marker States in the RW-Framework. MBMV (1) (2001)