Publications
- Streaming state space: a method of distributed model verification +12007 | Faculty of Mathematics and Physics
- Fighting the State Explosion Problem in Component Protocols2007 | Faculty of Mathematics and Physics
- Identifying Representatives for Interfering Automata2007 | Faculty of Mathematics and Physics
- Reducing Component Systems' Behavior Specification2007 | Faculty of Mathematics and Physics
- Teaching Operating Systems: Student Assignments and the Software Engineering Perspective2008 | Faculty of Mathematics and Physics
- Implementation of a Linux Log-Structured File System with a Garbage Collector2007 | Faculty of Mathematics and Physics
- State Dependances in Interfering Automata2006 | Faculty of Mathematics and Physics
- Exceptions in Component Interaction Protocols - a necessity2006 | Faculty of Mathematics and Physics
- Enhancing Behavior Protocols with Exceptions +12005 | Faculty of Mathematics and Physics
- Log-structured file system for Linux 2.6 +1Publication without faculty affiliation
Loading network view...