BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Austria
1 × Norway
2 × Italy
Collaborated with:
T.T.Hildebrandt T.Slaats G.Perrone L.Birkedal E.Elsborg H.Niss
Talks about:
process (2) bigraph (2) system (2) model (2) awar (2) program (1) partial (1) modular (1) context (1) checker (1)

Person: Søren Debois

DBLP DBLP: Debois:S=oslash=ren

Contributed to:

FM 20152015
SAC 20122012
FoSSaCS 20062006
PEPM 20042004

Wrote 4 papers:

FM-2015-DeboisHS #composition #information management #liveness #process #refinement #runtime #safety
Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes (SD, TTH, TS), pp. 143–160.
SAC-2012-PerroneDH #graph #model checking
A model checker for Bigraphs (GP, SD, TTH), pp. 1320–1325.
FoSSaCS-2006-BirkedalDEHN #modelling
Bigraphical Models of Context-Aware Systems (LB, SD, EE, TTH, HN), pp. 187–201.
PEPM-2004-Debois #imperative #optimisation #partial evaluation
Imperative program optimization by partial evaluation (SD), pp. 113–122.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.