Follow
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
8342018
Bigraphical models of context-aware systems
L Birkedal, S Debois, E Elsborg, T Hildebrandt, H Niss
Foundations of Software Science and Computation Structures: 9th …, 2006
1352006
On purpose and by necessity: compliance under the GDPR
D Basin, S Debois, T Hildebrandt
Financial Cryptography and Data Security: 22nd International Conference, FC …, 2018
942018
A model checker for bigraphs
G Perrone, S Debois, TT Hildebrandt
Proceedings of the 27th annual ACM symposium on applied computing, 1320-1325, 2012
862012
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 20, 2018
652018
Monitoring the GDPR
E Arfelt, D Basin, S Debois
Computer Security–ESORICS 2019: 24th European Symposium on Research in …, 2019
582019
A graphical approach to progress for structured communication in web services
M Carbone, S Debois
arXiv preprint arXiv:1010.5566, 2010
452010
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
412015
Replication, refinement & reachability: complexity in dynamic condition-response graphs
S Debois, TT Hildebrandt, T Slaats
Acta Informatica 55 (6), 489-520, 2018
382018
Hierarchical declarative modelling with refinement and sub-processes
S Debois, T Hildebrandt, T Slaats
Business Process Management: 12th International Conference, BPM 2014, Haifa …, 2014
382014
The process highlighter: From texts to declarative processes and back
HA López-Acosta, T Hildebrandt, S Debois, M Marquard
CEUR Workshop Proceedings, 66-70, 2018
362018
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
322014
Bigraphical programming languages for pervasive computing
L Birkedal, M Bundgaard, S Debois, E Elsborg, AJ Glenstrup, ...
Proceedings of Pervasive 2006 International Workshop on Combining Theory and …, 2006
322006
Concurrency and asynchrony in declarative workflows
S Debois, T Hildebrandt, T Slaats
Business Process Management: 13th International Conference, BPM 2015 …, 2015
282015
Sortings for reactive systems
L Birkedal, S Debois, T Hildebrandt
International Conference on Concurrency Theory, 248-262, 2006
282006
The analysis of a real life declarative process
S Debois, T Slaats
2015 IEEE Symposium Series on Computational Intelligence, 1374-1382, 2015
272015
A verification environment for bigraphs
G Perrone, S Debois, TT Hildebrandt
Innovations in Systems and Software Engineering 9 (2), 95-104, 2013
252013
Declarative process mining for DCR graphs
S Debois, TT Hildebrandt, PH Laursen, KR Ulrik
Proceedings of the Symposium on Applied Computing, 759-764, 2017
242017
The DCR workbench: declarative choreographies for collaborative processes
S Debois, T Hildebrandt
Behavioural Types: from Theory to Tools, 99-124, 2017
232017
Bigraphical refinement
G Perrone, S Debois, T Hildebrandt
arXiv preprint arXiv:1106.4091, 2011
232011
The system can't perform the operation now. Try again later.
Articles 1–20