Søren Christensen

  1. 2006
  2. Udgivet

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

    I: Software Tools for Technology Transfer, 2006.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  3. 2004
  4. Udgivet

    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. (Redaktør); Margaria, T. (Redaktør).

    2004. Paper præsenteret ved 1st International Symposium on Leveraging Applications of Formal Methods (ISOLA 2004), Paphos, Cypern.

    Publikation: KonferencebidragPaperForskningpeer review

  5. Udgivet

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

    I: Higher-Order and Symbolic Computation, Bind 17, Nr. 3, 2004, s. 207-243.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  6. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingBidrag til bog/antologiForskning

  7. 2003
  8. Udgivet

    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 (Redaktør); Best, Elke (Redaktør).

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  9. Udgivet

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

    I: LINCOM Studies in Computer Science: LSCS 01: Petri Net Approaches for Modelling and Validation, Nr. 1, 2003, s. 1-16.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskning

  10. Udgivet

    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 (Redaktør); Best, E. (Redaktør).

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  11. 2002
  12. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  13. 2001
  14. Udgivet

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

    Lecture Notes in Computer Science. Bind 2031 Lecture Notes in Computer Science 2031. udg. Springer, 2001. s. 450-464.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  15. Udgivet

    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. s. 450-464.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  16. Udgivet

    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 (Redaktør); Koutny, Maciej (Redaktør).

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  17. Udgivet

    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. red. / Tiziana Margaria; Wang Yi. Springer, 2001. s. 574-577 (Lecture Notes in Computer Science, Bind 2031).

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  18. Udgivet

    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. s. 101-120.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  19. Udgivet

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

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

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  20. Udgivet

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

    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. s. 33-42.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  21. Udgivet

    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. s. 14-15.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskning

  22. 1998
  23. Udgivet

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

    I: International Journal on Software Tools for Technology Transfer, Bind 2, Nr. 2, 1998, s. 98-132.

    Publikation: Bidrag til tidsskrift/Konferencebidrag i tidsskrift /Bidrag til avisTidsskriftartikelForskningpeer review

  24. 1997
  25. Udgivet

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

    Proceeding of DIS 97. red. / G. van der Veer; A. Henderson; S. Coles. Society for Industrial and Applied Mathematics, 1997. s. 65-71.

    Publikation: Bidrag til bog/antologi/rapport/proceedingKonferencebidrag i proceedingsForskningpeer review

  26. 1987
  27. Udgivet

    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 s. (DAIMI IR; Nr. 69).

    Publikation: Bog/antologi/afhandling/rapportRapportForskning