Presentations
An AsmL Semantics for Dynamic Structures in UML-RT
Alin Stefanescu, MoDELS/UML 2006 Workshop: ´A Formal Semantics for UML´
3 October 2006
A Scalable Incomplete Boundedness Test for CFSM Languages
Wei Wei, AVACS Virtual Seminar
9 December 2005
An ASM semantics for the communication layer in Rational Rose Real-Time
Alin Stefanescu, ECMDA 2005 Workshop: ´A Formal Semantics for UML´
7 November 2005
Der Traum von fehlerfreier Software
Inaugural lecture (Antrittsvorlesung) of Prof. Dr. Stefan Leue
22 October 2005, Samstag, 14:15 Uhr, Raum R 513
Counterexamples for Timed Probabilistic Reachability
Husain Aljazzar, FORMATS 2005: "International Conference on Formal Modelling and Analysis of Timed Systems"
27 September 2005
Counterexamples for Stochastic Model Checking
Husain Aljazzar, Summer School 2005, Graduiertenkolleg: "Explorative Analysis and Visualization of Large Information Spaces"
15 September 2005
Counterexample-Based Refinement for a Boundedness Test for CFSM Languages
Wei Wei at SPIN 2005, San Francisco, U.S.A.
22 August 2005
Counterexamples for Timed Probabilistic Reachability
Prof. Dr. Stefan Leue, State University of Stony Brook
17 August 2005
Directed Explicit State Model Checking
Prof. Dr. Stefan Leue, University of California at San Diego
1 November 2004
A Scalable Incomplete Test for Message Buffer Overflow in Promela Models
Wei Wei at SPIN 2004, Barcelona, Spain
3 April 2004