Logo LaQuSo
* Program
The VVSS 2008 lecture slides
* Sponsors
The list of sponsors of VVSS 2008.
* Posters
A list of posters presented at VVSS 2008
* Photo`s
A few photos taken at VVSS 2008
* VVSS 2007
You can look back at the previous edition: VVSS 2007
VVSS2008 Poster Presentations
  • Exploiting False Negatives in Bug Hunting
    Jens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova (CWI, TU/e)
  • Visualization of Dynamic Aspects of Object-Oriented Programs
    Pieter Deelen, Frank van Ham, Cornelis Huizing, Huub van de Wetering (TU/e)
  • Verifying SystemC Using mCRL2
    Hossein Hojjat, MohammadReza Mousavi, Marjan Sirjani (IPM, University of Tehran, TU/e)
  • Symbolic Analysis of Reactive and Timed Systems
    Bas Ploeger, Tim Willemse (TU/e)
  • ProM
    Wil van der Aalst, Erik Verbeek (TU/e)
  • YAWL: Yet Another Workflow Language
    Wil van der Aalst, Erik Verbeek (TU/e)
  • A Graph-Transformation-Based Simulation Approach for Analysing. Aspect Interference on Shared Join Points
    Tom Staijen, Arend Rensink, Mehmet Aksit (University of Twente)
  • Analysis and Verification of Multi-disciplinairy Systems
    Frank Stappers (TU/e)
  • Process algebraic system verification
    Muck van Weerdenburg (TU/e)
  • Tool Integration with deskSQuADT
    Jeroen van der Wulp (TU/e)
  • Software Visualization: Visualizing Structure, Relations, and Visual Software Comparison
    Danny Holten, Jarke J. van Wijk (TU/e)