Search Result
2005
|
|
|
[ZiSc05] R. Ziller and K. Schneider Combining Supervisor Synthesis and Model Checking ACM Transactions on Embedded Computing Systems (TECS) |
|
|
|
|
|
[Zill05a] R. Ziller An Application of Generalized Supervisor Synthesis to the Control of a Call Center Forum on Specification and Design Languages (FDL) |
|
|
|
|
|
[Zill05b] R. Ziller Eine Verallgemeinerung der überwachersynthese mit Hilfe des $\mu$-Kalküls PhD Thesis |
2003
|
|
|
|
[ZiSc03b] R. Ziller and K. Schneider A Generalized Approach to Supervisor Synthesis Formal Methods and Models for Codesign (MEMOCODE) |
|
|
|
|
|
[ZiSc03c] R. Ziller and K. Schneider Reducing Complexity of Supervisor Synthesis Control Systems Design (CSD) |
2001
|
|
|
|
[BSWZ01] M. Baldamus and K. Schneider and M. Wenz and R. Ziller Can American Checkers be Solved by Means of Symbolic Model Checking? Electronic Notes in Theoretical Computer Science (ENTCS) |
2000
|
|
|
|
[BSWZ00] M. Baldamus and K. Schneider and M. Wenz and R. Ziller Can American Checkers be Solved by Means of Symbolic Model Checking? Formal Methods Elsewhere |
|
|
|
|
[Zill00] R. Ziller Microprocessadores: Conceitos Importantes |
1999
|
|
|
[Zill99] R. Ziller Microprocessadores: Conceitos Importantes |
1998
|
|
|
[Zill98] R. Ziller Aplicação de Autômatos em Especificações de Comportamento Anais da I Semana Tecnológica da UNIVALI e III Semana da Computação de Biguaçu |
1994
|
|
|
|
[ZiCu94a] R. Ziller and J. Cury On the Supremal Lm-Closed and L-Controllable Sublanguages of a Given Language Analysis and Optimization of Systems -- Discrete Event Systems |
|
|
|
|
|
[ZiCu94b] R. Ziller and J. Cury On the Supremal L-controllable Sublanguage of a Non-Prefix-Closed Language Anais do 10. Congresso Brasileiro de Automática e 6. Congresso Latino-Americano de Controle Automático |
1993
|
|
|
[Zill93] R. Ziller A Abordagem Ramadge-Wonham no Controle de Sistemas a Eventos Discretos: Contribuições à Teoria Master Thesis |