Login / Signup
Simon Tjell
Publication Activity (10 Years)
Years Active: 2006-2009
Publications (10 Years): 0
</>
Publications
</>
Jens Bæk Jørgensen
,
Simon Tjell
,
João M. Fernandes
Formal requirements modelling with executable use cases and coloured Petri nets.
Innov. Syst. Softw. Eng.
5 (1) (2009)
Kristian Bisgaard Lassen
,
Simon Tjell
Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets.
Innov. Syst. Softw. Eng.
4 (3) (2008)
Simon Tjell
,
João M. Fernandes
Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables.
DIPES
(2008)
Simon Tjell
Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems.
SIES
(2007)
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)
John S. Fitzgerald
,
Simon Tjell
,
Peter Gorm Larsen
,
Marcel Verhoef
Validation Support for Distributed Real-Time Embedded Systems in VDM++.
HASE
(2007)
Simon Tjell
Model-based Testing of a Reactive System with Coloured Petri Nets.
GI Jahrestagung (2)
(2006)
Simon Tjell
Model-Based Analysis of a Windmill Communication System.
DIPES
(2006)