| 2006 |
|---|
| 32 | EE | Jens 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) |
| 2004 |
|---|
| 31 | | 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 |
| 30 | EE | Lars Michael Kristensen,
Søren Christensen:
Implementing Coloured Petri Nets Using a Functional Programming Language.
Higher-Order and Symbolic Computation 17(3): 207-243 (2004) |
| 2003 |
|---|
| 29 | EE | Anne V. Ratzer,
Lisa Wells,
Henry Michael Lassen,
Mads Laursen,
Jacob Frank Qvortrup,
Martin Stig Stissing,
Michael Westergaard,
Søren Christensen,
Kurt Jensen:
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets.
ICATPN 2003: 450-462 |
| 28 | EE | Jonathan Billington,
Søren Christensen,
Kees M. van Hee,
Ekkart Kindler,
Olaf Kummer,
Laure Petrucci,
Reinier Post,
Christian Stehno,
Michael Weber:
The Petri Net Markup Language: Concepts, Technology, and Tools.
ICATPN 2003: 483-505 |
| 27 | EE | Sø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 |
| 2002 |
|---|
| 26 | EE | Jens Bæk Jørgensen,
Søren Christensen:
Executable Design Models for a Pervasive Healthcare Middleware System.
UML 2002: 140-149 |
| 2001 |
|---|
| 25 | EE | Søren Christensen,
Lars Michael Kristensen,
Thomas Mailund:
Condensed State Spaces for Timed Petri Nets.
ICATPN 2001: 101-120 |
| 24 | EE | Michel Beaudouin-Lafon,
Wendy E. Mackay,
Peter Andersen,
Paul Janecek,
Mads Jensen,
Henry Michael Lassen,
Kasper Lund,
Kjeld Høyer Mortensen,
Stephanie Munck,
Anne V. Ratzer,
Katrine Ravn,
Søren Christensen,
Kurt Jensen:
CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets.
ICATPN 2001: 71-80 |
| 23 | EE | Søren Christensen,
Lars Michael Kristensen,
Thomas Mailund:
A Sweep-Line Method for State Space Exploration.
TACAS 2001: 450-464 |
| 22 | EE | Michel Beaudouin-Lafon,
Wendy E. Mackay,
Mads Jensen,
Peter Andersen,
Paul Janecek,
Henry Michael Lassen,
Kasper Lund,
Kjeld Høyer Mortensen,
Stephanie Munck,
Anne V. Ratzer,
Katrine Ravn,
Søren Christensen,
Kurt Jensen:
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS.
TACAS 2001: 574-577 |
| 2000 |
|---|
| 21 | | Søren Christensen,
Laure Petrucci:
Modular Analysis of Petri Nets.
Comput. J. 43(3): 224-242 (2000) |
| 1998 |
|---|
| 20 | EE | Carla Capellmann,
Søren Christensen,
Uwe Herzog:
Visualising the Behaviour of Intelligent Networks.
Services and Visualization: Towards User-Friendly Design 1998: 174-189 |
| 19 | EE | Gilles Moncelet,
Søren Christensen,
Hamid Demmou,
Mario Paludetto,
José Porras:
Analysing a Mechatronic System with Coloured Petri Nets.
STTT 2(2): 160-167 (1998) |
| 18 | EE | Lars Michael Kristensen,
Søren Christensen,
Kurt Jensen:
The Practitioner's Guide to Coloured Petri Nets.
STTT 2(2): 98-132 (1998) |
| 1997 |
|---|
| 17 | | Søren Christensen,
Kjeld Høyer Mortensen:
Teaching Coloured Petri Nets- A Gentle Introduction to Formal Methods in a Distributed Systems Course.
ICATPN 1997: 290-309 |
| 16 | | Søren Christensen,
Jens Bæk Jørgensen:
Analysing Bang & Olufsen's BeoLink® Audio/Video System Using Coloured Petri Nets.
ICATPN 1997: 387-406 |
| 15 | EE | Sø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 |
| 14 | | Søren Christensen,
Jens Bæk Jørgensen,
Lars Michael Kristensen:
Design/CPN - A Computer Tool for Coloured Petri Nets.
TACAS 1997: 209-223 |
| 1995 |
|---|
| 13 | | Søren Christensen,
Laure Petrucci:
Modular State Space Analysis of Coloured Petri Nets.
Application and Theory of Petri Nets 1995: 201-217 |
| 12 | | Søren Christensen,
Hans Hüttel,
Colin Stirling:
Bisimulation Equivalence is Decidable for All Context-Free Processes
Inf. Comput. 121(2): 143-148 (1995) |
| 1994 |
|---|
| 11 | | Søren Christensen,
Niels Damgaard Hansen:
Coloured Petri Nets Extended with Channels for Synchronous Communication.
Application and Theory of Petri Nets 1994: 159-178 |
| 10 | | Charles Lakos,
Søren Christensen:
A General Systematic Approach to Arc Extensions for Coloured Petri Nets.
Application and Theory of Petri Nets 1994: 338-357 |
| 9 | | Søren Christensen,
Yoram Hirshfeld,
Faron Moller:
Decidable Subsets of CCS.
Comput. J. 37(4): 233-242 (1994) |
| 1993 |
|---|
| 8 | | Søren Christensen,
Niels Damgaard Hansen:
Coloured Petri Nets Extended with Place Capacities, Test Arcs and Inhibitor Arcs.
Application and Theory of Petri Nets 1993: 186-205 |
| 7 | | Søren Christensen,
Yoram Hirshfeld,
Faron Moller:
Bisimulation Equivalence is Decidable for Basic Parallel Processes.
CONCUR 1993: 143-157 |
| 6 | | Søren Christensen,
Yoram Hirshfeld,
Faron Moller:
Decomposability, Decidability and Axiomatisability for Bisimulation Equivalence on Basic Parallel Processes
LICS 1993: 386-396 |
| 5 | | Søren Christensen,
Hans Hüttel:
Decidability issues for infinite-state processes- a survey.
Bulletin of the EATCS 51: 155-167 (1993) |
| 1992 |
|---|
| 4 | | Søren Christensen,
Laure Petrucci:
Towards a Modular Analysis of Coloured Petri Nets.
Application and Theory of Petri Nets 1992: 113-133 |
| 3 | | Søren Christensen,
Hans Hüttel,
Colin Stirling:
Bisimulation Equivalence is Decidable for all Context-Free Processes.
CONCUR 1992: 138-147 |
| 2 | | Søren Christensen:
Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems.
CONCUR 1992: 148-161 |
| 1 | | Søren Christensen:
A Logical Characterization of Asynchronously Communicating Agents.
LFCS 1992: 93-104 |
