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