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: Debois:S=oslash=ren
Contributed to:
2015
2012
2006
2004Wrote 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.