Designing tool support for translating use cases and uml 2.0 sequence diagrams into a coloured petri net JM Fernandes, S Tjell, JB Jorgensen, Ó Ribeiro Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE …, 2007 | 101 | 2007 |
Validation support for distributed real-time embedded systems in vdm++ JS Fitzgerald, S Tjell, PG Larsen, M Verhoef 10th IEEE High Assurance Systems Engineering Symposium (HASE'07), 331-340, 2007 | 32 | 2007 |
Formal requirements modelling with executable use cases and coloured Petri nets JB Jørgensen, S Tjell, JM Fernandes Innovations in Systems and Software Engineering 5, 13-25, 2009 | 24 | 2009 |
Requirements engineering for reactive systems: Coloured petri nets for an elevator controller JM Fernandes, JB Jorgensen, S Tjell 14th Asia-Pacific Software Engineering Conference (APSEC'07), 294-301, 2007 | 18 | 2007 |
Requirements engineering for reactive systems with coloured petri nets: the gas pump controller example JM Fernandes, S Tjell, JB Jørgensen Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the …, 2007 | 10 | 2007 |
Translating Colored Control Flow Nets into Readable Java via Annotated Java Workflow Nets. KB Lassen, S Tjell Proceedings of the Eighth Workshop and Tutorial on Practical Use of Coloured …, 2007 | 9 | 2007 |
Distinguishing environment and system in coloured petri net models of reactive systems S Tjell 2007 International Symposium on Industrial Embedded Systems, 242-249, 2007 | 8 | 2007 |
Model-based testing of a reactive system with coloured petri nets S Tjell Gesellschaft für Informatik eV, 2006 | 5 | 2006 |
Model-based requirements analysis for reactive systems with UML sequence diagrams and coloured petri nets KB Lassen, S Tjell Innovations in Systems and Software Engineering 4, 233-240, 2008 | 3 | 2008 |
Formal Requirements Modeling for Reactive Systems with Coloured Petri Nets S Tjell Aarhus Universitetsforlag, 2009 | 2 | 2009 |
Model-based analysis of a windmill communication system S Tjell IFIP Working Conference on Distributed and Parallel Embedded Systems, 245-254, 2006 | 2 | 2006 |
Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables S Tjell, JM Fernandes IFIP Working Conference on Distributed and Parallel Embedded Systems, 79-88, 2008 | 1 | 2008 |
Developing tool support for problem diagrams with CPN and VDM++ KB Lassen, S Tjell Proceedings of OVERTURE, 2008 | 1 | 2008 |
Validation Support for Distributed Real-Time Embedded Systems in VDM+ JS Fitzgerald, PG Larsen, S Tjell, M Verhoef | 1 | 2007 |
Validation Support for Distributed Real-Time Embedded Systems in VDM++ PG Larsen, J Fitzgerald, S Tjell, M Verhoef University of Newcastle upon Tyne, 2007 | | 2007 |
Model-Based Software Engineering for Embedded Systems: Progress Report for Qualification Exam during Ph. D. studies S Tjell | | 2007 |