Simon Tjell

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

6EESimon Tjell, João M. Fernandes: Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables. DIPES 2008: 79-88
5EEJoã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
4EEJohn S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef: Validation Support for Distributed Real-Time Embedded Systems in VDM++. HASE 2007: 331-340
3EESimon Tjell: Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems. SIES 2007: 242-249
2EESimon 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

Coauthor Index

1João M. Fernandes [5] [6]
2John S. Fitzgerald [4]
3Jens Bæk Jørgensen [5]
4Peter Gorm Larsen [4]
5Marcel Verhoef [4]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)