Suivre
Søren Debois
Titre
Citée par
Citée par
Année
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
9762018
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
1412006
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
1162018
A model checker for bigraphs
G Perrone, S Debois, TT Hildebrandt
Proceedings of the 27th annual ACM symposium on applied computing, 1320-1325, 2012
922012
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
732018
Monitoring the GDPR
E Arfelt, D Basin, S Debois
Computer Security–ESORICS 2019: 24th European Symposium on Research in …, 2019
642019
A graphical approach to progress for structured communication in web services
M Carbone, S Debois
arXiv preprint arXiv:1010.5566, 2010
472010
Replication, refinement & reachability: complexity in dynamic condition-response graphs
S Debois, TT Hildebrandt, T Slaats
Acta Informatica 55 (6), 489-520, 2018
452018
Hierarchical declarative modelling with refinement and sub-processes
S Debois, T Hildebrandt, T Slaats
Business Process Management: 12th International Conference, BPM 2014, Haifa …, 2014
442014
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
422015
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
382018
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
The analysis of a real life declarative process
S Debois, T Slaats
2015 IEEE Symposium Series on Computational Intelligence, 1374-1382, 2015
322015
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
Declarative process mining for DCR graphs
S Debois, TT Hildebrandt, PH Laursen, KR Ulrik
Proceedings of the Symposium on Applied Computing, 759-764, 2017
302017
Concurrency and asynchrony in declarative workflows
S Debois, T Hildebrandt, T Slaats
Business Process Management: 13th International Conference, BPM 2015 …, 2015
302015
Sortings for reactive systems
L Birkedal, S Debois, T Hildebrandt
International Conference on Concurrency Theory, 248-262, 2006
302006
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
272011
Business Process Compliance Using Reference Models of Law.
HA López, S Debois, T Slaats, TT Hildebrandt
FASE 2020, 378-399, 2020
262020
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20