Jens Bæk Jørgensen

37 papers A 5B 3C 1Journal 10Unranked 18

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Dear Researchers: Think about the future, for sure, but please don't forget about the present - the Odense Manifesto for academia-industry collaboration at ICSA 2025. J. Syst. Softw. Jens Bæk Jørgensen, Morten Jokumsen, Romina Spalazzese
2025	—	`conf`	Multi-Source Design: A Method for Physical-Digital Product Development Through Agility, Modularity, and Decoupling. ICSA Companion Søren Christian Madsen, Bent Bisballe Nyeng, Jens Bæk Jørgensen
2024	A	`conf`	Problems with Communication About Requirements in a Complex Program in a Large Organization. RE Agnete Røberg Horup, Morten Jokumsen, Jens Bæk Jørgensen, Maja Due Kadenic, Nina Wiborg Mølgaard
2023	B	`conf`	A Product Owner's Navigation in Power Imbalance Between Business and IT: An Experience Report. REFSQ Lotte Mygind, Jens Bæk Jørgensen, Lutz Prechelt
2022	J	`jnl`	"Communication Is a Scarce Resource!": A Summary of CHASE'22 Conference Discussions. CoRR Christoph Matthies, Mary Sánchez-Gordón, Jens Bæk Jørgensen, Lutz Prechelt
2022	—	`conf`	Effective communication about software in a traditional industrial company: an experience report on development of a new measurement instrument. IWSiB@ICSE Jens Bæk Jørgensen, Henrik Lauf Christensen, Søren Thestrup Hansen, Bent Bisballe Nyeng
2020	—	`conf`	Requirements Engineering in Implementing IT Support for Scandinavian Healthcare Work Processes Using Outsourced Development in Egypt. ICSE (Workshops) Jens Bæk Jørgensen, Kim Henning Jönsson, Sofie Aaskov Nielsen, Christoffer Øland Skovgaard, Johan Rugager Vase, Mohamed Ghonemi, Rasha Adel Hassan
2016	—	`conf`	Variability Handling for Mobile Banking Apps on iOS and Android. WICSA Jens Bæk Jørgensen, Bjarne Knudsen, Lennert Sloth, Johan Rugager Vase, Henrik Bærbak Christensen
2013	B	`conf`	Redefinition of the Requirements Engineer Role in Mjølner's Software Development Process. REFSQ Anders Bennett-Therkildsen, Jens Bæk Jørgensen, Kim Nørskov, Niels Mark Rubin
2012	—	`conf`	Interplay between requirements, software architecture, and hardware constraints in the development of a home control user interface. TwinPeaks@RE Michael Sørensen Loft, Søren Snehøj Nielsen, Kim Nørskov, Jens Bæk Jørgensen
2010	B	`conf`	Mjølner's Software Process Improvement: A Discussion and Strengthening Using the SPI Manifesto. EuroSPI Mikkel Yde Kjær, Jens Bæk Jørgensen
2009	J	`jnl`	Formal requirements modelling with executable use cases and coloured Petri nets. Innov. Syst. Softw. Eng. Jens Bæk Jørgensen, Simon Tjell, João M. Fernandes
2009	J	`jnl`	From Requirements via Colored Workflow Nets to an Implementation in Several Workflow Systems. Trans. Petri Nets Other Model. Concurr. R. S. Mans, Wil M. P. van der Aalst, Nick C. Russell, Piet J. M. Bakker, Arnold J. Moleman, Kristian Bisgaard Lassen, Jens Bæk Jørgensen
2008	J	`jnl`	Coloured Petri nets and graphical animation: a proposal for a means to address problem frame concerns. Expert Syst. J. Knowl. Eng. Jens Bæk Jørgensen
2008	J	`jnl`	From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system. Int. J. Softw. Tools Technol. Transf. Jens Bæk Jørgensen, Kristian Bisgaard Lassen, Wil M. P. van der Aalst
2007	—	`conf`	Executable Use Cases: A Supplement to Model-Driven Development?. MOMPES Jens Bæk Jørgensen
2007	—	`conf`	On Industrial Use of Requirements Engineering Techniques. EMISA Lars Bækgaard, Jens Bæk Jørgensen, Kristian Bisgaard Lassen
2007	C	`conf`	Requirements Engineering for Reactive Systems: Coloured Petri Nets for an Elevator Controller. APSEC João M. Fernandes, Jens Bæk Jørgensen, Simon Tjell
2006	—	`conf`	Addressing problem frame concerns via coloured petri nets and graphical animation. IWAAPF@ICSE Jens Bæk Jørgensen
2006	—	`conf`	Requirements Engineering for the Adviser Portal Bank System. ECBS Jens Bæk Jørgensen, Kristian Bisgaard Lassen
2006	J	`jnl`	Tool Support for Estimating the Memory Usage of Mobile Phone Software. Int. J. Softw. Tools Technol. Transf. Jens Bæk Jørgensen, Søren Christensen, Antti-Pekka Tuovinen, Jianli Xu
2005	J	`jnl`	A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design. Nord. J. Comput. João Paulo Barros, Jens Bæk Jørgensen
2005	—	`conf`	Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System. OTM Conferences (1) Wil M. P. van der Aalst, Jens Bæk Jørgensen, Kristian Bisgaard Lassen
2005	—	`conf`	Towards Arguing the Cost-effectiveness of Coloured Petri Nets. Software Engineering Research and Practice Jens Bæk Jørgensen
2004	A	`conf`	Context-descriptive prototypes and their application to medicine administration. Conference on Designing Interactive Systems Claus Bossen, Jens Bæk Jørgensen
2004	—	`conf`	Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. ISoLA (Preliminary proceedings) Søren Christensen, Jens Bæk Jørgensen, Antti-Pekka Tuovinen, Jianli Xu
2004	J	`jnl`	Executable Use Cases: Requirements for a Pervasive Health Care System. IEEE Softw. Jens Bæk Jørgensen, Claus Bossen
2003	—	`conf`	Application of Coloured Petri Nets in System Development. Lectures on Concurrency and Petri Nets Lars Michael Kristensen, Jens Bæk Jørgensen, Kurt Jensen
2003	—	`conf`	Coloured Petri Nets in Development of a Pervasive Health Care System. ICATPN Jens Bæk Jørgensen
2003	A	`conf`	Requirements Engineering for a Pervasive Health Care System. RE Jens Bæk Jørgensen, Claus Bossen
2003	—	`conf`	Teaching Coloured Petri Nets: Examples of Courses and Lessons Learned. Lectures on Concurrency and Petri Nets Søren Christensen, Jens Bæk Jørgensen
2002	—	`conf`	Executable Design Models for a Pervasive Healthcare Middleware System. UML Jens Bæk Jørgensen, Søren Christensen
1999	J	`jnl`	Computer Aided Verification of Lamport's Fast Mutual Exclusion Algorithm Using Colored Petri Nets and Occurrence Graphs with Symmetries. IEEE Trans. Parallel Distributed Syst. Jens Bæk Jørgensen, Lars Michael Kristensen
1997	—	`conf`	Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets. ICATPN Søren Christensen, Jens Bæk Jørgensen
1997	A	`conf`	Design As Interaction with Computer Based Materials. Symposium on Designing Interactive Systems Søren Christensen, Jens Bæk Jørgensen, Kim Halskov Madsen
1997	A	`conf`	Design/CPN - A Computer Tool for Coloured Petri Nets. TACAS Søren Christensen, Jens Bæk Jørgensen, Lars Michael Kristensen
1996	—	`conf`	Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets. Application and Theory of Petri Nets Jens Bæk Jørgensen, Kjeld Høyer Mortensen