Laser 4-dynamic update

Laser 3-incremental

Laser 1-background

Laser 2-change

ICSE 2009 keynote

Laser 0-prologue

Paderborn

Validating timing requirements for time basic net specifications

TRIO: A logic language for executable specifications of real-time systems

Guest editors' remarks

Concurrency in programming languages: A survey

Introduction to Special Issue on Distributed and Mobile Software Engineering

Symbolic execution of concurrent systems using Petri nets

A journey through SMScom: self-managing situational computing