default search action

combined dblp search
author search
venue search
publication search

ask others

Roberto Ziller

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2005
[b1]
- view
  authority control:
- export record
  dblp key:
  - phd/de/Ziller2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/de/Ziller2005
Roberto Ziller:
Eine Verallgemeinerung der Überwachersynthese mit Hilfe des μ-Kalküls. Karlsruhe Institute of Technology, 2005
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/ZillerS05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/ZillerS05
Roberto Ziller, Klaus Schneider:
Combining supervisor synthesis and model checking. ACM Trans. Embed. Comput. Syst. 4(2): 331-362 (2005)
[c6]
- view
  - electronic edition @ ecsi-association.org (archived)
  - details & citations
- export record
  dblp key:
  - conf/fdl/Ziller05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fdl/Ziller05
Roberto Ziller:
An Application of Generalized Supervisor Synthesis to the Control of a Call Center. FDL 2005: 429-431
2003
[c5]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/ZillerS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/ZillerS03
Roberto Ziller, Klaus Schneider:
A μ-Calculus Approach to Supervisor Synthesis. MBMV 2003: 132-143
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/memocode/ZillerS03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/memocode/ZillerS03
Roberto Ziller, Klaus Schneider:
A Generalised Approach to Supervisor Synthesis. MEMOCODE 2003: 217-226
2002
[c3]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/Ziller02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Ziller02
Roberto Ziller:
Finding Bad States during Symbolic Supervisor Synthesis. MBMV 2002: 209-218
2001
[c2]
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/mbmv/Ziller01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mbmv/Ziller01
Roberto Ziller:
System Modeling Using Marker States in the RW-Framework. MBMV (1) 2001: 121-130
2000
[c1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BaldamusSWK01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BaldamusSWK01
Michael Baldamus, Klaus Schneider, Michael Wenz, Roberto Ziller:
Can American Checkers be Solved by Means of Symbolic Model Checking? FM-Everywhere@FORTE/PSTV 2000: 15-33

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.