Søren Debois
TitleCited byYear
Blockchains for business process management-challenges and opportunities
J Mendling, I Weber, WVD Aalst, JV Brocke, C Cabanillas, F Daniel, ...
ACM Transactions on Management Information Systems (TMIS) 9 (1), 1-16, 2018
1962018
Bigraphical models of context-aware systems
L Birkedal, S Debois, E Elsborg, T Hildebrandt, H Niss
International Conference on Foundations of Software Science and Computation …, 2006
1202006
A model checker for bigraphs
G Perrone, S Debois, TT Hildebrandt
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1320-1325, 2012
562012
A graphical approach to progress for structured communication in web services
M Carbone, S Debois
arXiv preprint arXiv:1010.5566, 2010
322010
Bigraphical programming languages for pervasive computing
L Birkedal, M Bundgaard, TC Damgaard, S Debois, E Elsborg, ...
Proceedings of Pervasive 2006 International Workshop on Combining Theory and …, 2006
312006
A case for declarative process modelling: Agile development of a grant application system
S Debois, T Hildebrandt, T Slaats, M Marquard
2014 IEEE 18th International Enterprise Distributed Object Computing …, 2014
302014
Sortings for reactive systems
L Birkedal, S Debois, T Hildebrandt
International Conference on Concurrency Theory, 248-262, 2006
292006
Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
S Debois, T Hildebrandt, T Slaats
International Symposium on Formal Methods, 143-160, 2015
262015
Hierarchical declarative modelling with refinement and sub-processes
S Debois, T Hildebrandt, T Slaats
International Conference on Business Process Management, 18-33, 2014
242014
On purpose and by necessity: compliance under the GDPR
D Basin, S Debois, T Hildebrandt
International Conference on Financial Cryptography and Data Security, 20-37, 2018
212018
Sortings and Bigraphs
S Debois
IT-Universitetet i København, 2008
172008
Concurrency and asynchrony in declarative workflows
S Debois, T Hildebrandt, T Slaats
International Conference on Business Process Management, 72-89, 2016
162016
Bigraphical refinement
G Perrone, S Debois, T Hildebrandt
arXiv preprint arXiv:1106.4091, 2011
162011
On the construction of sorted reactive systems
L Birkedal, S Debois, T Hildebrandt
International Conference on Concurrency Theory, 218-232, 2008
162008
The analysis of a real life declarative process
S Debois, T Slaats
2015 IEEE Symposium Series on Computational Intelligence, 1374-1382, 2015
152015
Replication, refinement & reachability: complexity in dynamic condition-response graphs
S Debois, TT Hildebrandt, T Slaats
Acta Informatica 55 (6), 489-520, 2018
142018
Hybrid process technologies in the financial sector.
S Debois, TT Hildebrandt, M Marquard, T Slaats
BPM (Industry track), 107-119, 2015
142015
A verification environment for bigraphs
G Perrone, S Debois, TT Hildebrandt
Innovations in Systems and Software Engineering 9 (2), 95-104, 2013
142013
Imperative program optimization by partial evaluation
S Debois
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and …, 2004
142004
The DCR workbench: declarative choreographies for collaborative processes
S Debois, T Hildebrandt
Behavioural Types: from Theory to Tools, 99-124, 2017
122017
The system can't perform the operation now. Try again later.
Articles 1–20