ITU
Søren Debois

Søren Debois

Associate Professor

IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark

Building: 4F25-4T91

Phone: +45 7218 5187

Information Desk: 72185000

View graph of relations

  1. 2015
  2. Published

    Hybrid process technologies in the financial sector

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 31 Aug 2015, CEUR Workshop Proceedings: Proceedings of the Industry Track at the 13th International Conference on Business Process Management 2015 (BPM-Industry 2015). CEUR Workshop Proceedings, Vol. 1439. p. 107-119 (CEUR Workshop Proceedings).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  3. Published

    Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 17 May 2015, Proceedings of the 2nd International Workshop on Software Engineering Research and Industrial Practice. IEEE Computer Society Press, p. 54-57

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  4. Published

    Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes

    Debois, S., Hildebrandt, T. & Slaats, T., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (eds.). Springer, p. 143-160 18 p. (Lecture Notes in Computer Science, Vol. 9109).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  5. Published

    The Analysis of a Real Life Declarative Process

    Debois, S. & Slaats, T., 2015, Proceedings of the 2015 Symposium on Computational Intelligence and Data Mining (CIDM). IEEE: IEEE Computer Society Press, p. 1374 - 1382

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  6. 2014
  7. Published

    A Case for Declarative Process Modelling: Agile Development of a Grant Application System

    Debois, S., Hildebrandt, T., Slaats, T. & Marquard, M., 2014, Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014 IEEE 18th International. IEEE Computer Society Press, p. 126-133 8 p.

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  8. Published

    Hierarchical Declarative Modelling with Refinement and Sub-processes

    Debois, S., Hildebrandt, T. & Slaats, T., 2014, In: Lecture Notes in Computer Science. 8659, p. 18--33 16 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  9. Published

    Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion

    Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, In: Lecture Notes in Computer Science. 8461, p. 1-16 16 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  10. 2013
  11. Published

    A verification environment for bigraphs

    Perrone, G. D., Debois, S. & Hildebrandt, T., 2013, In: Innovations in Systems and Software Engineering. 9, 2, p. 95-104

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  12. 2012
  13. Published

    A Model Checker for Bigraphs

    Perrone, G. D., Debois, S. & Hildebrandt, T., Mar 2012, SAC '12. Proceedings of the 27th Annual ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, p. 1320-1325

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  14. Published

    Bigraphical Refinement

    Perrone, G. D., Debois, S. & Hildebrandt, T., 2012, Electronic Proceedings in Theoretical Computer Science. EPTCS. University of New South Wales Press, Vol. 55. p. 20-36 16 p. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Vol. 55).

    Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

  15. 2011
  16. Published

    Computation in the Informatic Jungle

    Debois, S., 2011, ITU, 26 p.

    Research output: Working paperResearch

  17. Published

    Towards a Programming Language for Declarative Event-based Context-sensitive Reactive Services

    Debois, S., Hildebrandt, T., Mukkamala, R. R. & Zanitti, F., 2011.

    Research output: Contribution to conference - NOT published in proceeding or journalPaperResearchpeer-review

  18. 2010
  19. Published

    A Graphical Approach to Progress for Structured Communication in Web Services

    Carbone, M. & Debois, S., 2010, In: Electronic Proceedings in Theoretical Computer Science. 38

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  20. 2009
  21. Published

    Higher-Order Contexts via Games and the Int-Construction

    Birkedal, L., Bundgaard, M., Debois, S., Hildebrandt, T. & Grohmann, D., 2009, IT-Universitetet i København. (ITU Technical Report Series).

    Research output: Book / Anthology / Report / Ph.D. thesisReportResearch

  22. 2008
  23. Published

    Imperative-program transformation by instrumented-interpreter specialization

    Debois, S., 15 Apr 2008, In: Higher-Order and Symbolic Computation. 21, 1-2, p. 37-58 22 p.

    Research output: Journal Article or Conference Article in JournalJournal articleResearchpeer-review

  24. Published

    On the Construction of Sorted Reactive Systems

    Birkedal, L., Debois, S. & Hildebrandt, T., 2008, In: Lecture Notes in Computer Science. 5201, p. 218-232 15 p.

    Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

  25. Published

    Sortings and Bigraphs

    Debois, S., 2008, Copenhagen: IT-Universitetet i København. 156 p.

    Research output: Book / Anthology / Report / Ph.D. thesisPh.D. thesis

Previous 1 2 Next

ID: 263576