Concepedia

Simon Tjell

ST

4

Publications

119

Citations

4

H-Index

2007

Active since

Affiliations

Aarhus University(Current)

University of Minho

Simon Tjell is an author at Aarhus University specializing in software design, systems engineering, and computer science.

Top concepts

EngineeringFormal MethodsSoftware DesignSystem SoftwareComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationSystems EngineeringComputer Engineering

Publications per year

2007–2009

4

Publications

4

Designing Tool Support for Translating Use Cases and UML 2.0 Sequence Diagrams into a Coloured Petri Net

João M. Fernandes, Simon Tjell, Jens Bæk Jørgensen et al. · 2007 · 75 citations · Full text

Petri Net, Engineering, Tool Support +27

Formal requirements modelling with executable use cases and coloured Petri nets

Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes · Innovations in Systems and Software Engineering · 2009 · 18 citations · Full text

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

John Fitzgerald, Simon Tjell, Peter Gorm Larsen et al. · 2007 · 14 citations · Full text

Engineering, Real-time System Design, Verification +23

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

João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell · Proceedings - Asia Pacific Software Engineering Conference/Proceedings · 2007 · 12 citations · Full text

Rows per page

1–4 of 4