Rued Langgaardsvej 7
2300 Copenhagen S
Denmark
Office: 4C 02
Cell: +45 5358 5818 Phone: +45 7218 5293
Fax: +45 7218 5001
Email: debois@itu.dk
URL: http://www.itu.dk/people/debois/
[Contact][To appear][Publications][Dissertation][Technical reports] [Teaching]
As of January 1st, 2011, I'll be employed by Edlund A/S. This page will not receive further updates.
I'm a post doc in the Programming, Logic and Semantics group. I'm interested in reactive systems, categorical models of concurrency and bigraphs; and in concurrency theory applied to context-aware systems.
|
|
IT University of Copenhagen Rued Langgaardsvej 7 2300 Copenhagen S Denmark Office: 4C 02 Cell: +45 5358 5818 Phone: +45 7218 5293 Fax: +45 7218 5001 Email: debois@itu.dk URL: http://www.itu.dk/people/debois/ |
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)
To appear.
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.
Sortings & Bigraphs. IT University of Copenhagen, 2008. [pdf | bibtex]
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]