Simon Tjell

According to our database, Simon Tjell authored at least 8 papers between 2006 and 2009.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2009

Formal requirements modelling with executable use cases and coloured Petri nets.

Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes

Innov. Syst. Softw. Eng., 2009

2008

Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets.

Kristian Bisgaard Lassen, Simon Tjell

Innov. Syst. Softw. Eng., 2008

Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables.

Simon Tjell, João M. Fernandes

Proceedings of the Distributed Embedded Systems: Design, 2008

2007

Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems.

Simon Tjell

Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems, 2007

Validation Support for Distributed Real-Time Embedded Systems in VDM++.

John S. Fitzgerald, Simon Tjell, Peter Gorm Larsen, Marcel Verhoef

Proceedings of the Tenth IEEE International Symposium on High Assurance Systems Engineering (HASE 2007), 2007

Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller.

João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006

Model-Based Analysis of a Windmill Communication System.

Simon Tjell

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Model-based Testing of a Reactive System with Coloured Petri Nets.

Simon Tjell

Proceedings of the 36. Jahrestagung der Gesellschaft für Informatik, 2006