Homepage of Søren Debois

[Contact][To appear][Publications][Dissertation][Technical reports] [Teaching]


I'm a post doc in the Programming, Logic and Semantics group. I'm interested in models of concurrency with applications to business process modelling languages and systems.

Contact

Søren Debois IT University of Copenhagen
Rued Langgaardsvej 7
2300 Copenhagen S
Denmark

Office: 4C 04
Cell: +45 5358 5818 Phone: +45 7218 5293
Fax: +45 7218 5001
Email: debois@itu.dk
URL: http://www.itu.dk/people/debois/

Publications

A Verification Environment for Bigraphs
With Gian Perrone and Thomas Hildebrandt.
In ISSE 9(2): 95-104, 2013.
A Model Checker for Bigraphs
With Gian Perrone and Thomas Hildebrandt.
In ACM-SAC '12: Proceedings of the 27th ACM Symposium in Applied Computing (Software Verification and Testing Track)
Pages 1320-1325, ACM Press, 2012.
Bigraphical Refinement
With Gian Perrone and Thomas Hildebrandt.
In REFINE '11: Proceedings of the 15th International Refinement Workshop
Volume 55 of Electronic Proceedings in Theoretical Computer Science, pages 20-36, 2011.
A Graphical Approach to Progress for Structured Communication in Web Services
With Marco Carbone.
In ICE '10: Proceedings of the 3rd Interaction and Concurrency Experience
Volume 38 of Electronic Proceedings in Theoretical Computer Science, pages 13-27, 2010.
On the Construction of Sorted Reactive Systems
With Lars Birkedal and Thomas Hildebrandt.
In CONCUR '08: Proceedings of the 19th International Conference on Concurrency Theory.
Volume 5201 of Lecture Notes in Computer Science, pages 218-232, Springer-Verlag, 2008.
[pdf | bibtex]
Sortings for Reactive Systems.
With Lars Birkedal and Thomas Hildebrandt.
In CONCUR '06: Proceedings of the 17th International Conference on Concurrency Theory.
Volume 4137 of Lecture Notes in Computer Science, pages 248-262, Springer-Verlag, 2006.
[pdf | ps | bibtex | talk]
Imperative-Program Transformation by Instrumented-Interpreter Specialization.
Higher-Order and Symbolic Computation.
Accepted for publication.
[pdf | ps | bibtex]
Bigraphical Models of Context-Aware Systems.
With Lars Birkedal, Ebbe Elsborg, Thomas Hildebrandt, and Henning Niss.
In FOSSACS `06: Proceedings of 9th International Conference on Foundations of Software Science and Computation Structures.
Volume 3921 of Lecture Notes in Computer Science, pages 187-201, Springer-Verlag, 2006.
[pdf | bibtex]
Imperative Program Optimization by Partial Evaluation.
In PEPM '04: Proceedings of the 2004 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, pages 113-122.
[pdf | ps | bibtex] © ACM, 2004.

Dissertation

Sortings & Bigraphs.
IT University of Copenhagen, 2008.
[pdf | bibtex]

Technical Reports

Computation in the Informatic Jungle
ITU Technical Report Series, number 147, December 2011
[pdf | bibtex ]
Higher-Order Contexts via Games and the Int-construction
With Lars Birkedal, Mikkel Bundgaard, Davide Grohmann, and Thomas Hildebrandt.
ITU Technical Report Series, number 117, January 2009
[pdf]
Sortings for Reactive Systems
with Lars Birkedal and Thomas Hildebrandt
ITU Technical Report Series, number 84, March 2006
[pdf | ps | bibtex]
Bigraphical Models of Context-Aware Systems
With Lars Birkedal, Ebbe Elsborg, Thomas Hildebrandt, and Henning Niss.
ITU Technical Report Series, number 74, September 2005
[pdf | ps | bibtex]
Bigraphs by Example.
With Troels Christoffer Damgaard.
ITU Technical Report Series, number 61, October 2005
[pdf | ps | bibtex]

Teaching


Last update Mon Dec 19 10:28:36 CET 2011