Get started
Author

Simon Tjell

Observed name: Tjell, Simon
Institution: Aarhus University
Observed institution: Aarhus University
OpenAlex ID: A5022601249
Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net
2007 · Joao M. Fernandes, Simon Tjell, et al. · 74
Formal requirements modelling with executable use cases and coloured Petri nets
2009 · Jens B. Jørgensen, Simon Tjell, et al. · Innovations in Systems and Software Engineering · 18
Validation Support for Distributed Real-Time Embedded Systems in VDM++
2007 · John S. Fitzgerald, Simon Tjell, et al. · IEEE International Symposium on High Assurance Systems Engineering (HASE) · 14
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
2007 · Joao M. Fernandes, Jens Baek Jorgensen, et al. · Asia-Pacific Software Engineering Conference (APSEC) · 13
Distinguishing Environment and System in Coloured Petri Net Models of Reactive Systems
2007 · Simon Tjell · IEEE International Symposium on Industrial Embedded Systems (SIES) · 9
Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller
2007 · Joao M. Fernandes, Jens Baek Jorgensen, et al. · Asia-Pacific Software Engineering Conference (APSEC) · 7
Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets
2007 · Kristian Bisgaard Lassen, Simon Tjell · 5
PDF
Model-based Testing of a Reactive System with Coloured Petri Nets.
2006 · Simon Tjell · 4
Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets
2008 · Kristian Bisgaard Lassen, Simon Tjell · Innovations in Systems and Software Engineering · 2
Model-Based Analysis of a Windmill Communication System
2007 · Simon Tjell · Springer eBooks · 2
PDF
Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables
2008 · Simon Tjell, João M. Fernandes · IFIP International Federation for Information Processing/IFIP · 1
PDF
Validation support for distributed real-time embedded systems in VDM++
2007 · John Fitzgerald, Simon Tjell, et al. · Newcastle University ePrints (Newcastle Univesity)
Model-Based Software Engineering for Embedded Systems
2007 · Simon Tjell
Works count: 20
Citation count: 150
H-index: 6
I10-index: 4
Year
Topic
Type