| Improving an
Interactive Visualization of Transition Systems. |
| Process Seminar (ProSe), Eindhoven University of Technology,
November 13, 2008. |
| |
|
Improving an Interactive Visualization of Transition
Systems.
|
|
The 4th ACM Symposium on Software Visualization 2008 (SoftVis 2008),
Herrsching am Ammersee, Germany, September 16, 2008.
|
| |
|
Instantiation for Parameterised Boolean
Equation Systems.
|
|
The 5th International Colloquium on Theoretical Aspects of Computing
(ICTAC 2008), Istanbul, Turkey, September 2, 2008.
|
| |
|
Five Determinisation Algorithms.
|
|
The 13th International Conference on Implementation and Application of
Automata (CIAA 2008), San Francisco, CA, United States of America,
July 21, 2008.
|
| |
| The mCRL2
Toolset. |
| NXP Semiconductors, Eindhoven, July 9, 2008. |
| |
| Behavioural
Analysis using mCRL2. |
| IPA Course on Formal Methods, Eindhoven University of Technology,
June 26, 2008. |
| |
| Symbolic Analysis of
Reactive and Timed Systems (Poster). |
| 4th European Symposium on Verification and Validation of Software
Systems (VVSS 2008), Eindhoven University of Technology, April 24, 2008. |
| |
| Correcting a
Space-Efficient Simulation Algorithm. |
| Process Algebra Meeting (PAM), CWI Amsterdam, February 20, 2008. |
| |
| Correcting a
Space-Efficient Simulation Algorithm. |
| Process Seminar (ProSe), Eindhoven University of Technology,
February 14, 2008. |
| |
| From NFA to minimal
DFA. |
| Process Seminar (ProSe), Eindhoven University of Technology,
October 19, 2006. |
| |
| mCRL2 and
Visualization of State Spaces. |
| NICTA Formal Methods Group Seminar, Sydney, Australia, April 7,
2006. |
| |
| Analysis of Embedded
Copier Software. |
| During lecture for the course "Requirements, Analysis, Design and
Verification" (RADV), Eindhoven University of Technology, February 1,
2006. |
| |
| Analysis of Embedded Copier Software. |
| Process Algebra Meeting (PAM), CWI Amsterdam, January 25,
2006. |
| |
