Simon Tjell Vis

*	2009
8	EE	Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes: Formal requirements modelling with executable use cases and coloured Petri nets. ISSE 5(1): 13-25 (2009)
	2008
7	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
6	EE	Kristian Bisgaard Lassen, Simon Tjell: Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets. ISSE 4(3): 233-240 (2008)
	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

Coauthor Index

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

Colors in the list of coauthors