| 2004 |
|---|
| 7 | EE | Kjeld Høyer Mortensen,
Kari R. Schougaard,
Ulrik Pagh Schultz:
Distance-Based Access Modifiers Applied to Safety in Home Networks.
EUSAI 2004: 315-326 |
| 2001 |
|---|
| 6 | EE | Michel Beaudouin-Lafon,
Wendy E. Mackay,
Peter Andersen,
Paul Janecek,
Mads Jensen,
Henry Michael Lassen,
Kasper Lund,
Kjeld Høyer Mortensen,
Stephanie Munck,
Anne V. Ratzer,
Katrine Ravn,
Søren Christensen,
Kurt Jensen:
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.
ICATPN 2001: 71-80 |
| 5 | EE | Michel Beaudouin-Lafon,
Wendy E. Mackay,
Mads Jensen,
Peter Andersen,
Paul Janecek,
Henry Michael Lassen,
Kasper Lund,
Kjeld Høyer Mortensen,
Stephanie Munck,
Anne V. Ratzer,
Katrine Ravn,
Søren Christensen,
Kurt Jensen:
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.
TACAS 2001: 574-577 |
| 2000 |
|---|
| 4 | EE | Kjeld Høyer Mortensen:
Automatic Code Generation Method Based on Coloured Petri Net Models Applied on an Access Control System.
ICATPN 2000: 367-386 |
| 1997 |
|---|
| 3 | | Søren Christensen,
Kjeld Høyer Mortensen:
Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course.
ICATPN 1997: 290-309 |
| 1996 |
|---|
| 2 | | Jens Bæk Jørgensen,
Kjeld Høyer Mortensen:
Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets.
Application and Theory of Petri Nets 1996: 249-268 |
| 1994 |
|---|
| 1 | | Kjeld Høyer Mortensen,
Valerio O. Pinci:
Modelling the Work Flow of a Nuclear Waste Management Program.
Application and Theory of Petri Nets 1994: 376-395 |
