Seguir
Søren Debois
Título
Citado por
Citado por
Año
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
8682018
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
1402006
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
992018
A model checker for bigraphs
G Perrone, S Debois, TT Hildebrandt
Proceedings of the 27th annual ACM symposium on applied computing, 1320-1325, 2012
912012
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
662018
Monitoring the GDPR
E Arfelt, D Basin, S Debois
Computer Security–ESORICS 2019: 24th European Symposium on Research in …, 2019
602019
A graphical approach to progress for structured communication in web services
M Carbone, S Debois
arXiv preprint arXiv:1010.5566, 2010
462010
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
402018
Hierarchical declarative modelling with refinement and sub-processes
S Debois, T Hildebrandt, T Slaats
Business Process Management: 12th International Conference, BPM 2014, Haifa …, 2014
392014
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
372018
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
332014
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
The analysis of a real life declarative process
S Debois, T Slaats
2015 IEEE Symposium Series on Computational Intelligence, 1374-1382, 2015
302015
Sortings for reactive systems
L Birkedal, S Debois, T Hildebrandt
International Conference on Concurrency Theory, 248-262, 2006
302006
Declarative process mining for DCR graphs
S Debois, TT Hildebrandt, PH Laursen, KR Ulrik
Proceedings of the Symposium on Applied Computing, 759-764, 2017
292017
Concurrency and asynchrony in declarative workflows
S Debois, T Hildebrandt, T Slaats
Business Process Management: 13th International Conference, BPM 2015 …, 2015
292015
A verification environment for bigraphs
G Perrone, S Debois, TT Hildebrandt
Innovations in Systems and Software Engineering 9 (2), 95-104, 2013
272013
Bigraphical refinement
G Perrone, S Debois, T Hildebrandt
arXiv preprint arXiv:1106.4091, 2011
252011
The DCR workbench: declarative choreographies for collaborative processes
S Debois, T Hildebrandt
Behavioural Types: from Theory to Tools, 99-124, 2017
232017
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20