scispace - formally typeset
S

Søren Debois

Researcher at IT University of Copenhagen

Publications -  61
Citations -  1392

Søren Debois is an academic researcher from IT University of Copenhagen. The author has contributed to research in topics: Liveness & Semantics (computer science). The author has an hindex of 15, co-authored 58 publications receiving 1046 citations. Previous affiliations of Søren Debois include University of Copenhagen.

Papers
More filters
Book ChapterDOI

Bigraphical models of context-aware systems

TL;DR: This work investigates bigraphical models of context-aware systems, a facet of ubiquitous computing, and proposes a more sophisticated modeling technique, introducing Plato-graphical models, alleviating awkwardness in naively encoding such systems in bigraphs.
Book ChapterDOI

On purpose and by necessity: Compliance under the GDPR

TL;DR: The European General Data Protection Regulation (GDPR) gives primacy to purpose, which begs the question: how do the authors audit a computer system’s adherence to a purpose?
Proceedings ArticleDOI

A model checker for Bigraphs

TL;DR: A model checking tool for Bigraphical Reactive Systems that may be instantiated as a model checker for any formalism or domain-specific modelling language encoded as a BigraphICAL Reactive System is presented.