Search: (more)
Header

Search Result

2006

BibTeX Search WWW PDF   [ZiSc06a]
R.M. Ziller and D. Schmid
Erstellung korrekter Spezifikationen für diskrete Systeme
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW   [Zill06]
R.M. Ziller
Verallgemeinerte überwachersynthese
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)

2005

BibTeX Search WWW PDF   [ZiSc05]
R. Ziller and K. Schneider
Combining Supervisor Synthesis and Model Checking
ACM Transactions on Embedded Computing Systems (TECS)
BibTeX Search WWW PDF   [Zill05a]
R. Ziller
An Application of Generalized Supervisor Synthesis to the Control of a Call Center
Forum on Specification and Design Languages (FDL)
BibTeX Search WWW PDF   [Zill05b]
R. Ziller
Eine Verallgemeinerung der überwachersynthese mit Hilfe des $\mu$-Kalküls
PhD Thesis

2003

BibTeX Search WWW PDF   [ZiSc03a]
R.M. Ziller and K. Schneider
A $\mu$-Calculus Approach to Supervisor Synthesis
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
BibTeX Search WWW PDF   [ZiSc03b]
R. Ziller and K. Schneider
A Generalized Approach to Supervisor Synthesis
Formal Methods and Models for Codesign (MEMOCODE)
BibTeX Search WWW PDF   [ZiSc03c]
R. Ziller and K. Schneider
Reducing Complexity of Supervisor Synthesis
Control Systems Design (CSD)

2002

BibTeX Search WWW PDF   [Zill02]
R.M. Ziller
Finding Bad States during Symbolic Supervisor Synthesis
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)

2001

BibTeX Search WWW PDF   [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)
BibTeX Search WWW PDF   [Zill01]
R.M. Ziller
System Modeling Using Marker States in the RW-Framework
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)

2000

BibTeX Search WWW PDF   [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
BibTeX Search WWW   [Zill00]
R. Ziller
Microprocessadores: Conceitos Importantes
publisher

1999

BibTeX Search WWW   [Zill99]
R. Ziller
Microprocessadores: Conceitos Importantes

1998

BibTeX Search WWW   [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

BibTeX Search WWW PDF   [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
BibTeX Search WWW PDF   [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

BibTeX Search WWW   [Zill93]
R. Ziller
A Abordagem Ramadge-Wonham no Controle de Sistemas a Eventos Discretos: Contribuições à Teoria
Master Thesis