| |
| 2008 | ||
|---|---|---|
| 6 | EE | Simon Tjell, João M. Fernandes: Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables. DIPES 2008: 79-88 |
| 2007 | ||
| 5 | EE | João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell: Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. APSEC 2007: 294-301 |
| 4 | EE | John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef: Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340 |
| 3 | EE | Simon Tjell: Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. SIES 2007: 242-249 |
| 2006 | ||
| 2 | EE | Simon Tjell: Model-Based Analysis of a Windmill Communication System. DIPES 2006: 245-254 |
| 1 | Simon Tjell: Model-based Testing of a Reactive System with Coloured Petri Nets. GI Jahrestagung (2) 2006: 274-281 | |
| 1 | João M. Fernandes | [5] [6] |
| 2 | John S. Fitzgerald | [4] |
| 3 | Jens Bæk Jørgensen | [5] |
| 4 | Peter Gorm Larsen | [4] |
| 5 | Marcel Verhoef | [4] |