
Søren Debois
Associate Professor
- Computer Science
Department
- Center for Information Security and Trust
Research center
IT University of Copenhagen
Rued Langgaards Vej 7
DK-2300 Copenhagen S
Denmark
Building: 4F25-4T91
Information Desk: 72185000
- Published
A Case for Declarative Process Modelling: Agile Development of a Grant Application System
Debois, S., Hildebrandt, T., Slaats, T. & Marquard, M., 2014, Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), 2014 IEEE 18th International. IEEE Computer Society Press, p. 126-133 8 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
A Graphical Approach to Progress for Structured Communication in Web Services
Carbone, M. & Debois, S., 2010, In: Electronic Proceedings in Theoretical Computer Science. 38Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
A Model Checker for Bigraphs
Perrone, G. D., Debois, S. & Hildebrandt, T., Mar 2012, SAC '12. Proceedings of the 27th Annual ACM Symposium on Applied Computing. New York, NY, USA: Association for Computing Machinery, p. 1320-1325Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
A verification environment for bigraphs
Perrone, G. D., Debois, S. & Hildebrandt, T., 2013, In: Innovations in Systems and Software Engineering. 9, 2, p. 95-104Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Bigraphical Refinement
Perrone, G. D., Debois, S. & Hildebrandt, T., 2012, Electronic Proceedings in Theoretical Computer Science. EPTCS. University of New South Wales Press, Vol. 55. p. 20-36 16 p. (Electronic Proceedings in Theoretical Computer Science. EPTCS, Vol. 55).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Blockchains for Business Process Management - Challenges and Opportunities
Mendling, J., Weber, I., Aalst, W. V. D., Brocke, J. V., Cabanillas, C., Daniel, F., Debois, S., Ciccio, C. D., Dumas, M., Dustdar, S., Gal, A., García-Bañuelos, L., Governatori, G., Hull, R., Rosa, M. L., Leopold, H., Leymann, F., Recker, J., Reichert, M., Reijers, H. A., Rinderle-Ma, S., Solti, A., Rosemann, M., Schulte, S., Singh, M. P., Slaats, T., Staples, M., Weber, B., Weidlich, M., Weske, M., Xu, X. & Zhu, L., 2018, In: Transactions on Management Information Systems. 9, 1, p. 4:1-4:16Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Bridging the Valley of Death: A Success Story on Danish Funding Schemes Paving a Path from Technology Readiness Level 1 to 9
Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 17 May 2015, Proceedings of the 2nd International Workshop on Software Engineering Research and Industrial Practice. IEEE Computer Society Press, p. 54-57Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain
Madsen, M. F., Gaub, M., Kirkbro, M. E., Høgnason, T., Slaats, T. & Debois, S., 2018.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › Research › peer-review
- Published
Computation in the Informatic Jungle
Debois, S., 2011, ITU, 26 p.Research output: Working paper › Research
- Published
Concurrency & Asynchrony in Declarative Workflows
Debois, S., Hildebrandt, T. & Slaats, T., 31 Aug 2015, Lecture Notes in Computer Science: Proceedings of 13th International Conference on Business Process Management (BPM 2015). Springer, Vol. 9253. p. 72-89 (Lecture Notes in Computer Science).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
ID: 263576