|
Timed Systems (64)
|
|
|
|
Verification (61)
|
|
|
|
Tool: UPPAAL (46)
|
|
|
Model-Based Validation of QoS Properties of Biomedical Sensor Networks (2008)
Simon Tschirner, Liang Xuedong and Wang Yi
( PDF ) |
|
|
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORT (2008)
Jan Carlsson, John Håkansson , Aurelien Monot, Paul Pettersson, and Davor Slutej
( PDF ) |
|
|
Model Checking Timed Automata with Priorities using DBM Subtraction (2006)
Alexandre David, John Håkansson, Kim G. Larsen, and Paul Pettersson
|
|
|
UPPAAL 4.0 (2006)
Gerd Behrmann, Alexandre David, John Håkansson, Martijn Hendriks, Kim G. Larsen, Paul Pettersson, and Wang Yi
( PDF ) |
|
|
Exploring optimal solution to hardware/software partitioning for synchronous model (2005)
Jifeng He, Dang Van Hung, Geguang Pu, Zongyan Qiu, Wang Yi
|
|
|
Timed Automata: Semantics, Algorithms and Tools (2004)
Johan Bengtsson and Wang Yi
( PS | 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 ) |
|
|
Compact Data Structure and State-Space Reduction for Model-Checking Real-Time Systems (2003)
Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi
( PDF ) |
|
|
On Clock Difference Constraints and Termination in Reachability Analysis of Timed Automata (2003)
Johan Bengtsson and Wang Yi
|
|
|
Time-Optimal Test Cases for Real-Time Systems (2003)
Anders Hessel, Kim G. Larsen, Brian Nielsen, Paul Pettersson, and Arne Skou
( PS | PDF | abstract ) |
|
|
Unification & Sharing in Timed Automata Verification (2003)
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
|
|
|
A Tool architecture for the next generation of UPPAAL (2003)
Alexandre David, Gerd Behrmann, Kim G. Larsen and Wang Yi
|
|
|
Hierarchical Modeling and Analysis of Timed Systems (2003)
Alexandre David
|
|
|
Timed Automata: Semantics, Algorithms and Tools (2003)
Johan Bengtsson and Wang Yi
( PDF ) |
|
|
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 ) |
|
|
Clocks, DBM's and States in Timed Systems (2002)
Johan Bengtsson
|
|
|
UPPAAL Implementation Secrets (2002)
Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson, and Wang Yi
( PS | PDF | abstract ) |
|
|
Formal Verification of UML Statecharts with Real-time Extensions (2002)
Alexandre David, Oliver Möller, and Wang Yi
( PS | PDF | abstract ) |
|
|
A Tool Architecture for the Next Generation of Uppaal (2002)
Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi
( PDF ) |
|
|
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
|
|
|
Efficient Symbolic State Exploration of Timed Systems: Theory and Implementation (2001)
Johan Bengtsson
( PS | PDF | abstract ) |
|
|
UPPAAL - Present and Future (2001)
Gerd Behrmann, Alexandre David, Kim G. Larsen, Oliver Möller, Paul Pettersson, and Wang Yi
( PS | PDF | abstract ) |
|
|
Efficient Guiding Towards Cost-Optimality in UPPAAL (2001)
Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim G. Larsen, Paul Pettersson, and Judi Romijn
( PS | PDF | abstract ) |
|
|
UPPAAL - Now, Next, and Future (2001)
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim G. Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, and Wang Yi
( PS | PDF | abstract ) |
|
|
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
|
|
|
Efficient Implementation of Model-Checkers for Networks of Timed Automata (2000)
Fredrik Larsson
|
|
|
Guided Synthesis of Control Programs Using UPPAAL (2000)
Thomas Hune, Kim G. Larsen and Paul Pettersson
( PS | PDF | abstract ) |
|
|
On Memory-Block Traversal Problems in Model Checking Timed Systems (2000)
Fredrik Larssson, Paul Pettersson and Wang Yi
( PS | PDF | abstract ) |
|
|
Efficient Implementation of Model-Checkers for Networks of Timed Automata (2000)
Fredrik Larsson
|
|
|
UPPAAL - Now, Next, and Future (2000)
Tobias Amnell, Gerd Behrmann, Johan Bengtsson, Pedro R. D'Argenio, Alexandre David, Ansgar Fehnker, Thomas Hune, Bertrand Jeannet, Kim Guldstrand Larsen, M. Oliver Möller, Paul Pettersson, Carsten Weise, Wang Y
|
|
|
Verifying temporal constraints on data in multi-rate transactions using timed automata (2000)
Anders Wall, Kristian Sandström, Jukka Mäki-Turja, Christer Norström, Wang Yi
|
|
|
Efficient Timed Reachability Analysis Using Clock Difference Diagrams (1999)
Gerd Behrmann, Kim G. Larsen, Justin Pearson, Carsten Weise, and Wang Yi
( PS | PDF | abstract ) |
|
|
New Generation of UPPAAL (1998)
Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi and Carsten Weise
( PS | PDF | abstract ) |
|
|
UPPAAL in a Nutshell (1997)
Kim G. Larsen, Paul Pettersson and Wang Yi
( PS | PDF | abstract ) |
|
|
Efficient Verification of Real-Time Systems: Compact Data Structure and State-Space Reduction (1997)
Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi
( PS | PDF | abstract ) |
|
|
UPPAAL: Status & Developments (1997)
Kim G. Larsen, Paul Pettersson and Wang Yi
( URL | 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 ) |
|
|
UPPAAL in 1995 (1996)
Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
( PS | PDF | abstract ) |
|
|
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems (1995)
Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson and Wang Yi
( PS | PDF | abstract ) |
|
|
Diagnostic Model-Checking for Real-Time Systems (1995)
Kim G. Larsen, Paul Pettersson and Wang Yi
( PS | PDF | abstract ) |
|
|
Model-Checking for Real-Time Systems (1995)
Kim G. Larsen, Paul Pettersson and Wang Yi
( PS | PDF | abstract ) |
|
|
Automatic Verification of Real-Time Communicating Systems by Constraint Solving (1994)
Wang Yi, Paul Pettersson and Mats Daniels
( local | PDF | abstract ) |
|
|
|
Semantics and Specification (37)
|
|
|
|
Implementation (32)
|
|
|
|
Real Time Scheduling (25)
|
|
|
|
Theses and Books (21)
|
|
|
|
Tool: TIMES (19)
|
|
|
|
Case Studies (19)
|
|
|
|
Edited Works (6)
|
|
|
|
Others (2)
|
|
|
