Søren Christensen

  1. 2006
  2. Published

    Tool Support for Estimating the Memory Usage of Mobile Phone Software. / Jørgensen, Jens Bæk; Christensen, Søren; Tuovinen, Antti-Pekka; Xu, Jianli.

    In: Software Tools for Technology Transfer, 2006.

    Publication: Research - peer-reviewJournal article

  3. 2004
  4. Published

    Estimation of Memory Usage of Mobile Phone Software Using UML and Coloured Petri Nets. / Jørgensen, J.B.; Christensen, S.; Tuovinen, A.; Xu, J.; Steffen, B. (Editor); Margaria, T. (Editor).

    2004. Paper presented at 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cyprus.

    Publication: Research - peer-reviewPaper

  5. Published

    Implementing Coloured Petri Nets using a Functional Programming Language. / Kristensen, L.M.; Christensen, S.

    In: Higher-Order and Symbolic Computation, Vol. 17, No. 3, 2004, p. 207-243.

    Publication: Research - peer-reviewJournal article

  6. Published

    Teaching Coloured Petri Nets : Examples of Courses and Lessons Learned. / Jørgensen, J.B.; Christensen, S.; Desel, J. (Editor); Reisig, W. (Editor); Rozenberg, G. (Editor).

    Proceedings of Advances Course on Petri Nets (Eichstatt). 3098 i Lecture Notes in Computer Science. ed. Springer, 2004. p. 402-412.

    Publication: ResearchBook chapter

  7. 2003
  8. Published

    CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets. / Ratzer, Anne Vinter; Wells, Lisa Marie; Lassen, Henry Michael; Laursen, Mads; Qvortrup, Jacob Frank; Stissing, Martin Stig; Westergaard, Michael; Christensen, Søren; Jensen, Kurt; Aalst, Willibrordus Martinus Pancratius van der (Editor); Best, Elke (Editor).

    Applications and Theory of Petri Nets 2003. ed. / Wil van der Aalst; Eike Best. Vol. 2679 Springer, 2003. p. 450-462 (Lecture Notes in Computer Science, Vol. 2679).

    Publication: Research - peer-reviewArticle in proceedings

  9. Published

    State Space Analysis of Hierarchical Coloured Petri Nets. / Christensen, Søren; Kristensen, Lars Michael; Aalst, Willibrordus Martinus Pancratius van der (Editor); Colom, José-Manuel (Editor); Kordon, Fabrice (Editor); Kotsis, Gabriela (Editor); Moldt, Daniel (Editor).

    In: LINCOM Studies in Computer Science: LSCS 01: Petri Net Approaches for Modelling and Validation, No. 1, 2003, p. 1-16.

    Publication: ResearchJournal article

  10. Published

    The Petri Net Markup Language: Concepts, Technology, and Tools. / Billington, J.; Christensen, S.; Hee, K.van; Kindler, E.; Kummer, O.; Petrucci, L.; Post, R.; Stehno, C.; Weber, M.; Aalst, W.M.P.van der (Editor); Best, E. (Editor).

    Ikke angivet. 2679 of Lecture Notes in Computer Science. ed. Springer, 2003. p. 483-505.

    Publication: Research - peer-reviewArticle in proceedings

  11. 2002
  12. Published

    Executable Design Models for a Pervasive Healthcare Middleware System. / Jørgensen, Jens Bæk; Christensen, Søren; Jezequel, Jean-Mark (Editor); Hussmann, Heinrich (Editor); Cook, Stephen (Editor).

    Lecture Notes In Computer Science: 5th International Conference on The Unified Modeling Language. Vol. 2460 Springer, 2002. p. 140-149.

    Publication: ResearchArticle in proceedings

  13. 2001
  14. Published

    A Sweep-Line Method for State Space Exploration. / Christensen, Søren; Kristensen, Lars Michael; Mailund.

    Proceedings of Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001). 2001. p. 450-464.

    Publication: ResearchArticle in proceedings

  15. Published

    A Sweep-Line Method for State Space Exploration. / Christensen, Søren; Kristensen, Lars Michael; Mailund, Thomas; Margaria, Tiziana (Editor); Yi, Wang (Editor).

    Lecture Notes in Computer Science. Vol. 2031 Lecture Notes in Computer Science 2031. ed. Springer, 2001. p. 450-464.

    Publication: Research - peer-reviewArticle in proceedings

  16. Published

    CPN/Tools: A Post-WIMP Interface for Editing and Simulating Coloured Petri Nets. / Andersen, Peter; Beaudouin-Lafon, Michel; Mackay, Wendy E.; Janecek, Paul; Lassen, Michael; Jensen, Mads; Mortensen, Kjeld; Munck, Stephanie; Ratzer, Anne; Ravn, Katrine; Christensen, Søren; Jensen, Kurt; Colom, José Manuel (Editor); Koutny, Maciej (Editor).

    Applications and Theory of Petri Nets 2001. ed. / Gerhard Goos; Juris Hartmanis; Jan van Leeuwen. Vol. 2075 Springer, 2001. p. 71-80 (Lecture Notes in Computer Science, Vol. 2075).

    Publication: Research - peer-reviewArticle in proceedings

  17. Published

    CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets : ETAPS Tool Demonstration Related to TACAS. / Jensen, Kurt; Christensen, Søren; Ravn, Katrine; Ratzer, Anne; Munck, Stephanie; Mortensen, Kjeld; Lund, Kasper; Lassen, Henry Michael; Jacecek, Poul; Andersen, Peter; Jensen, Mads; Mackay, Wendy E.; Beaudouin-Lafon, Michel.

    Tools and Algorithms for the Construction and Analysis of Systems. ed. / Tiziana Margaria; Wang Yi. Springer, 2001. p. 574-577 (Lecture Notes in computer Science, Vol. 2031).

    Publication: Research - peer-reviewArticle in proceedings

  18. Published

    Condensed State Spaces for Timed Petri Nets. / Christensen, Søren; Kristensen, Lars Michael; Mailund.

    Proceedings of International Conference on Application and Theory of Petri Nets (ICATPN 2001). 2001. p. 101-120.

    Publication: ResearchArticle in proceedings

  19. Published

    Simulation Based Performance Analysis of Web Servers. / Wells, Lisa; Christensen, Søren; Kristensen, Lars Michael; Mortensen, K.H.; German, R. (Editor); Haverkort, B. (Editor).

    Proceedings of 9th International Workshop on Petri Nets and Performance Models. IEEE Computer Society Press, 2001. p. 59-68.

    Publication: Research - peer-reviewArticle in proceedings

  20. Published

    State Space Methods for Timed Petri Nets. / Christensen, Søren; Jensen, Kurt; Mailund, Thomas; Weber, Herbert (Editor); Ehrig, Harmut (Editor); Reisig, Wolfgang (Editor).

    Proc. of 2nd Int. Coll. on Petri Net Technologies for Modelling Communication Based Systems: DFG Research Group "Petri Net Technology". DFG-Forschergruppe Petri Net Technologie, 2001. p. 33-42.

    Publication: ResearchArticle in proceedings

  21. Published

    State space methods for coloured Petri nets. / Christensen, Søren; Jensen, Kurt; Mailund; Kristensen, Lars Michael.

    Proceedings of the 2nd international colloquium on Petri net technologies for modelling communication based systems. 2001. p. 14-15.

    Publication: ResearchArticle in proceedings

  22. 1998
  23. Published

    The  Practitioner's guide to Coloured Petri Nets. / Kristensen, Lars Michael; Christensen, Søren; Jensen, Kurt.

    In: International Journal on Software Tools for Technology Transfer, Vol. 2, No. 2, 1998, p. 98-132.

    Publication: Research - peer-reviewJournal article

  24. 1997
  25. Published

    Design as Interaction with Computer Based Materials. / Christensen, Søren; Jørgensen, Jens Bæk; Madsen, Kim Halskov.

    Proceeding of DIS 97. ed. / G. van der Veer; A. Henderson; S. Coles. Society for Industriel & Applied Mathematics, 1997. p. 65-71.

    Publication: Research - peer-reviewArticle in proceedings

  26. 1987
  27. Published

    Arbejdsformer under anvendelse af 4. generationsværktøjer. / Christensen, Søren; Grønbæk, Kaj; Rolskov, Tove.

    Department of Computer Science, Aarhus University, 1987. 143 p. (DAIMI IR; No. 69).

    Publication: ResearchReport