Jens Bæk Jørgensen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

21EEJens Bæk Jørgensen, Kristian Bisgaard Lassen, Wil M. P. van der Aalst: From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system. STTT 10(1): 15-28 (2008)
20EEJoão M. Fernandes, Jens Bæk Jørgensen, Simon Tjell: Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. APSEC 2007: 294-301
19 Lars Bækgaard, Jens Bæk Jørgensen, Kristian Bisgaard Lassen: On Industrial Use of Requirements Engineering Techniques. EMISA 2007: 177-190
18EEJens Bæk Jørgensen, Kristian Bisgaard Lassen: Requirements Engineering for the Adviser Portal Bank System. ECBS 2006: 259-268
17EEJens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu: Tool Support for Estimating the Memory Usage of Mobile Phone Software. STTT 8(6): 531-545 (2006)
16EEWil M. P. van der Aalst, Jens Bæk Jørgensen, Kristian Bisgaard Lassen: Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. OTM Conferences (1) 2005: 22-39
15 Jens Bæk Jørgensen: Towards Arguing the Cost-effectiveness of Coloured Petri Nets. Software Engineering Research and Practice 2005: 246-252
14 João Paulo Barros, Jens Bæk Jørgensen: A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. Nord. J. Comput. 12(3): 229-250 (2005)
13EEClaus Bossen, Jens Bæk Jørgensen: Context-descriptive prototypes and their application to medicine administration. Conference on Designing Interactive Systems 2004: 297-306
12 Søren Christensen, Jens Bæk Jørgensen, Antti-Pekka Tuovinen, Jianli Xu: Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. ISoLA (Preliminary proceedings) 2004: 304-310
11EEJens Bæk Jørgensen, Claus Bossen: Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Software 21(2): 34-41 (2004)
10EEJens Bæk Jørgensen: Coloured Petri Nets in Development of a Pervasive Health Care System. ICATPN 2003: 256-275
9EESøren Christensen, Jens Bæk Jørgensen: Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. Lectures on Concurrency and Petri Nets 2003: 402-412
8EELars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen: Application of Coloured Petri Nets in System Development. Lectures on Concurrency and Petri Nets 2003: 626-685
7EEJens Bæk Jørgensen, Claus Bossen: Requirements Engineering for a Pervasive Health Care System. RE 2003: 55-64
6EEJens Bæk Jørgensen, Søren Christensen: Executable Design Models for a Pervasive Healthcare Middleware System. UML 2002: 140-149
5EEJens Bæk Jørgensen, Lars Michael Kristensen: Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries. IEEE Trans. Parallel Distrib. Syst. 10(7): 714-732 (1999)
4 Søren Christensen, Jens Bæk Jørgensen: Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. ICATPN 1997: 387-406
3EESøren Christensen, Jens Bæk Jørgensen, Kim Halskov Madsen: Design As Interaction with Computer Based Materials. Symposium on Designing Interactive Systems 1997: 65-71
2 Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen: Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS 1997: 209-223
1 Jens Bæk Jørgensen, Kjeld Høyer Mortensen: Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. Application and Theory of Petri Nets 1996: 249-268

Coauthor Index

1Wil M. P. van der Aalst [16] [21]
2Lars Bækgaard [19]
3João Paulo Barros [14]
4Claus Bossen [7] [11] [13]
5Søren Christensen [2] [3] [4] [6] [9] [12] [17]
6João M. Fernandes [20]
7Kurt Jensen [8]
8Lars Michael Kristensen [2] [5] [8]
9Kristian Bisgaard Lassen [16] [18] [19] [21]
10Kim Halskov Madsen [3]
11Kjeld Høyer Mortensen [1]
12Simon Tjell [20]
13Antti-Pekka Tuovinen [12] [17]
14Jianli Xu [12] [17]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)