|
Timed Systems (64)
|
|
|
|
Verification (61)
|
|
|
|
Tool: UPPAAL (46)
|
|
|
|
Semantics and Specification (37)
|
|
|
|
Implementation (32)
|
|
|
|
Real Time Scheduling (25)
|
|
|
|
Theses and Books (21)
|
|
|
|
Tool: TIMES (19)
|
|
|
|
Case Studies (19)
|
|
|
Model-Based Validation of QoS Properties of Biomedical Sensor Networks (2008)
Simon Tschirner, Liang Xuedong and Wang Yi
( PDF ) |
|
|
Timed Patterns: TCOZ to Timed Automata (2004)
Ping Hao, Dong Jinsong, Shengchao Qin, Jun Sun and Wang Yi
( local ) |
|
|
An Approach to Hardware/Software Partitioning for Multiple Hardware Devices Model (2004)
Pu Geguang, Zhao Xiaopeng, Qiu Zongyan, He Jifeng and Wang Yi
( local ) |
|
|
Code Synthesis for Timed Automata (2003)
Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi
( PS | PDF ) |
|
|
Hierarchical Modeling and Analysis of Timed Systems (2003)
Alexandre David
|
|
|
Code Synthesis for Timed Automata (2003)
Tobias Amnell
|
|
|
Automated Analysis of an Audio Control Protocol Using UPPAAL (2002)
Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi
( PS | PDF | abstract ) |
|
|
Formal Design and Analysis of a Gear Controller (2001)
Magnus Lindahl, Paul Pettersson and Wang Yi
( PS | PDF | abstract ) |
|
|
Practical Verification of Real-Time Systems (2001)
Alexandre David
|
|
|
Guided Synthesis of Control Programs Using UPPAAL (2001)
Thomas Hune, Kim G. Larsen, and Paul Pettersson
( PS | PDF | abstract ) |
|
|
Verifying Temporal Constraints on Data in Multi-Rate Transactions Using Timed Automata (2000)
Anders Wall, Kristian Sandstrom, Jukka Maki-Turja, Christer Norstrom and Wang Yi
( URL | PDF ) |
|
|
Modelling and Analysis of a Field Bus Protocol (2000)
Alexandre David and Wang Yi
|
|
|
Model-Checking Real-Time Control Programs (2000)
Torsten K. Iversen, Kåre J. Kristoffersen, Kim G. Larsen, Morten Laursen, Rune G. Madsen, Steffen K. Mortensen, Paul Pettersson and Chris B. Thomasen
( PS | PDF | abstract ) |
|
|
Guided Synthesis of Control Programs Using UPPAAL (2000)
Thomas Hune, Kim G. Larsen and Paul Pettersson
( PS | PDF | abstract ) |
|
|
Formal Design and Analysis of a Gear Controller (1998)
Magnus Lindahl, Paul Pettersson and Wang Yi
( PS | PDF | abstract ) |
|
|
Formal Verification of a TDMA Protocol Start-Up Mechanism (1997)
Henrik Lönn and Paul Pettersson
( PS | PDF | abstract ) |
|
|
A Compositional Proof of a Real-Time Mutual Exclusion Protocol (1997)
Kåre J. Kristoffersen, Francois Larroussinie, Kim G. Larsen, Paul Pettersson and Wang Yi
( PS | PDF | abstract ) |
|
|
Verification of an Audio Protocol with Bus Collision Using UPPAAL (1996)
Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi
( PS | PDF | abstract ) |
|
|
A Simple Protocol Proof (1988)
Wang Yi
|
|
|
|
Edited Works (6)
|
|
|
|
Others (2)
|
|
|
