carlo-ghezzi documents

Laser 4-dynamic update
Technology Laser 4-dynamic update
Laser 3-incremental
Technology Laser 3-incremental
Laser 1-background
Technology Laser 1-background
Laser 2-change
Technology Laser 2-change
ICSE 2009 keynote
Documents ICSE 2009 keynote
Laser 0-prologue
Technology Laser 0-prologue
Paderborn
Documents Paderborn
Validating timing requirements for time basic net specifications
Documents Validating timing requirements for time basic net specifications
TRIO: A logic language for executable specifications of real-time systems
Documents TRIO: A logic language for executable specifications of real-time systems
Guest editors' remarks
Documents Guest editors' remarks
Concurrency in programming languages: A survey
Documents Concurrency in programming languages: A survey
Introduction to Special Issue on Distributed and Mobile Software Engineering
Documents Introduction to Special Issue on Distributed and Mobile Software Engineering
Symbolic execution of concurrent systems using Petri nets
Documents Symbolic execution of concurrent systems using Petri nets
A journey through SMScom: self-managing situational computing
Documents A journey through SMScom: self-managing situational computing