Søren Debois
Title
Cited by
Cited by
Year
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
4682018
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
1322006
A model checker for bigraphs
G Perrone, S Debois, TT Hildebrandt
Proceedings of the 27th Annual ACM Symposium on Applied Computing, 1320-1325, 2012
722012
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
572018
Collaboration among adversaries: distributed workflow execution on a blockchain
MF Madsen, M Gaub, T Høgnason, ME Kirkbro, T Slaats, S Debois
Symposium on Foundations and Applications of Blockchain, 8, 2018
352018
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
342014
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
332015
Hierarchical declarative modelling with refinement and sub-processes
S Debois, T Hildebrandt, T Slaats
International Conference on Business Process Management, 18-33, 2014
332014
A graphical approach to progress for structured communication in web services
M Carbone, S Debois
arXiv preprint arXiv:1010.5566, 2010
332010
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
322006
Sortings for reactive systems
L Birkedal, S Debois, T Hildebrandt
International Conference on Concurrency Theory, 248-262, 2006
292006
Replication, refinement & reachability: complexity in dynamic condition-response graphs
S Debois, TT Hildebrandt, T Slaats
Acta Informatica 55 (6), 489-520, 2018
252018
Concurrency and asynchrony in declarative workflows
S Debois, T Hildebrandt, T Slaats
International Conference on Business Process Management, 72-89, 2016
232016
The Process Highlighter: From Texts to Declarative Processes and Back.
HA López, S Debois, TT Hildebrandt, M Marquard
BPM (Dissertation/Demos/Industry) 2196, 66-70, 2018
202018
The analysis of a real life declarative process
S Debois, T Slaats
2015 IEEE Symposium Series on Computational Intelligence, 1374-1382, 2015
202015
The DCR workbench: declarative choreographies for collaborative processes
S Debois, T Hildebrandt
Behavioural Types: from Theory to Tools, 99-124, 2017
192017
Declarative process mining for DCR graphs
S Debois, TT Hildebrandt, PH Laursen, KR Ulrik
Proceedings of the Symposium on Applied Computing, 759-764, 2017
192017
A verification environment for bigraphs
G Perrone, S Debois, TT Hildebrandt
Innovations in Systems and Software Engineering 9 (2), 95-104, 2013
182013
Sortings and Bigraphs
S Debois
Ph. D. thesis, 2008
182008
Monitoring the GDPR
E Arfelt, D Basin, S Debois
European Symposium on Research in Computer Security, 681-699, 2019
172019
The system can't perform the operation now. Try again later.
Articles 1–20