Peer-reviewed publications
- [C5] Type Systems for Bigraphs.
[PDF]
[ps.gz]
[BibTeX]
Ebbe Elsborg,
Thomas Hildebrandt, and
Davide Sangiorgi.
In Proceedings of the 4th International Symposium
on Trustworthy Global Computing
(TGC'08), volume
5474 of LNCS, Springer-Verlag, April 2009, pages 126-140. (Full
version containing full proofs is available as [T5].)
- [J1] Compositional specification of commercial contracts.
[PDF]
[BibTeX]
Jesper Andersen,
Ebbe Elsborg,
Fritz Henglein,
Jakob Grue Simonsen, and
Christian Stefansen.
International Journal on Software Tools for
Technology Transfer
(STTT), 8(6):485-516,
October 2006. Special Section on Leveraging Applications of Formal
Methods.
- [W3] Bigraphical Programming Languages for Pervasive Computing.
[PDF]
[ps.gz]
[BibTeX]
Mikkel Bundgaard,
Lars Birkedal,
Søren Debois,
Ebbe Elsborg,
Arne John Glenstrup,
Thomas Hildebrandt,
Troels C. Damgaard,
Robin Milner, and
Henning Niss.
In Pervasive 2006 Workshop Proceedings -- The 1st International
Workshop on Combining Theory and
Systems Building in Pervasive Computing
(CTSB'06),
pages 653-658, 2006. Position paper.
- [C2] Bigraphical Models of Context-aware Systems.
[PDF]
[ps.gz]
[BibTeX]
Lars Birkedal,
Søren Debois,
Ebbe Elsborg,
Thomas Hildebrandt, and
Henning Niss.
In Proceedings
of Foundations of Software Science and
Computation Structures
(FoSSaCS'06), volume 3921 of
LNCS, Springer-Verlag, March 2006, pages 187-201. (Extended version
containing proofs and examples is available as [T2].)
- [C1] Compositional specification of commercial contracts.
[PDF]
[ps.gz]
[BibTeX]
Jesper Andersen,
Ebbe Elsborg,
Fritz Henglein,
Jakob Grue Simonsen, and
Christian Stefansen.
In Proceedings of the 1st
International Symposium on Leveraging
Applications of Formal Methods
(ISoLA'04),
June 2004, pages 103-110. University of Cyprus Report
TR-2004-6. (Superseded by [J1]).
PhD Dissertation
- [D6] Bigraphs: Modelling, Simulation, and Type Systems.
[PDF]
[BibTeX]
Ebbe Elsborg.
PhD dissertation, the IT University of Copenhagen, March
2009. (The dissertation was handed in on 5th January 2009,
defended on 16th March 2009, and subsequently revised sligtly
according to the committee evaluation report and comments at the
defence.)
Technical reports
- [T5] Type Systems for Bigraphs.
[PDF]
[ps.gz]
[BibTeX]
Ebbe Elsborg,
Thomas Hildebrandt, and
Davide Sangiorgi.
Technical Report 110, the IT University of Copenhagen, October
2008. ISBN: 9788779491847. (Full version of [C5] containing
detailed proofs.)
- [T4] Bigraphical Location Models.
[PDF]
[ps.gz]
[BibTeX]
Ebbe Elsborg.
Technical Report 79, the IT University of Copenhagen, September
2006. ISBN: 87-7949-138-3. A revised version of my
qualification report (which counts as my Master's
thesis).
- [T2] Bigraphical Models of Context-aware Systems.
[PDF]
[ps.gz]
[BibTeX]
Lars Birkedal,
Søren Debois,
Ebbe Elsborg,
Thomas Hildebrandt, and
Henning Niss.
Technical Report 74, the IT University of Copenhagen, November
2005. ISBN: 87-7949-110-3. (Extended version of [C2] containing
proofs and examples.)