
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
- Journal article › Research › Not peer-reviewed
- Published
Preface to the special issue on process querying and declarative, decision and hybrid approaches to processes 2019
Ciccio, C. D., Debois, S., Polyvyanyy, A., Slaats, T., ter Hofstede, A. H. M. & Vanthienen, J., 2021, In: J. Data Semant.. 10, 1, p. 107 1 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research
- Journal article › Research › Peer-reviewed
- 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
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
Entropy as a Measure of Log Variability
Back, C. O., Debois, S. & Slaats, T., 14 Jun 2019, In: Journal on Data Semantics. p. 1-28Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Imperative-program transformation by instrumented-interpreter specialization
Debois, S., 15 Apr 2008, In: Higher-Order and Symbolic Computation. 21, 1-2, p. 37-58 22 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Replication, refinement & reachability: complexity in dynamic condition-response graphs
Debois, S., Hildebrandt, T. T. & Slaats, T., 21 Sep 2017, In: Acta Informatica. p. 1-32 32 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Published
Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 11 Feb 2016, In: Logical Methods in Computer Science. 12, 1, p. 1-38 38 p.Research output: Journal Article or Conference Article in Journal › Journal article › Research › peer-review
- Conference article › Research › Not peer-reviewed
- Published
ReGraDa: Reactive graph data
Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, T. T., Norman, H. & Slaats, T., 2021, In: Lecture notes in computer science. 12717, p. 188-205 18 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research
- Conference article › Research › Peer-reviewed
- 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
Experience Report: Constraint-Based Modelling and Simulation of Railway Emergency Response Plans
Debois, S., Hildebrandt, T. & Sandberg, L., 2016, In: Procedia Computer Science. 83, p. 1295–1300Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Hierarchical Declarative Modelling with Refinement and Sub-processes
Debois, S., Hildebrandt, T. & Slaats, T., 2014, In: Lecture Notes in Computer Science. 8659, p. 18--33 16 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
In the Nick of Time: Proactive Prevention of Obligation Violations
Basin, D., Debois, S. & Hildebrandt, T., 11 Aug 2016, In: I E E E Computer Security Foundations Symposium. Proceedings. p. 120-134 15 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Managing complexity in process digitalisation with dynamic condition response graphs
Hildebrandt, T., Debois, S., Slaats, T. & Marquard, M., 2017, In: CEUR Workshop Proceedings. 1898, 8 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
On the Construction of Sorted Reactive Systems
Birkedal, L., Debois, S. & Hildebrandt, T., 2008, In: Lecture Notes in Computer Science. 5201, p. 218-232 15 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
The Process Highlighter: From Texts to Declarative Processes and Back
López-Acosta, H-A., Hildebrandt, T., Debois, S. & Marquard, M., 10 Sep 2018, In: CEUR Workshop Proceedings. p. 66-70 5 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Published
Type Checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Debois, S., Hildebrandt, T., Slaats, T. & Yoshida, N., 2014, In: Lecture Notes in Computer Science. 8461, p. 1-16 16 p.Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review
- Report › Research › Not peer-reviewed
- Published
Higher-Order Contexts via Games and the Int-Construction
Birkedal, L., Bundgaard, M., Debois, S., Hildebrandt, T. & Grohmann, D., 2009, IT-Universitetet i København. (ITU Technical Report Series).Research output: Book / Anthology / Report / Ph.D. thesis › Report › Research
- Report › Communication
- Published
The Process Highlighter: From Texts to Declarative Processes and Back
López-Acosta, H-A., Hildebrandt, T., Debois, S. & Marquard, M., 28 Sep 2018, Copenhagen: IT-Universitetet i København. 19 p. (IT University Technical Report Series).Research output: Book / Anthology / Report / Ph.D. thesis › Report › Communication
- Ph.D. thesis › Research
- Published
Sortings and Bigraphs
Debois, S., 2008, Copenhagen: IT-Universitetet i København. 156 p.Research output: Book / Anthology / Report / Ph.D. thesis › Ph.D. thesis › Research
- Book chapter › Research › Peer-reviewed
- Published
Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit
Debois, S., Hildebrandt, T., Marquard, M. & Slaats, T., 2017, Business Process Management Cases. Springer, p. 397-412 16 p. (Management for Professionals).Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
- Published
The DCR Workbench: Declarative Choreographies for Collaborative Processes
Debois, S. & Hildebrandt, T., 1 Jun 2017, Behavioural Types: from Theory to Tools. Gay, S. & Ravara, A. (eds.). River Publishers, p. 99-124 26 p. (River Publishers Series in Automation, Control and Robotics).Research output: Conference Article in Proceeding or Book/Report chapter › Book chapter › Research › peer-review
- Article in proceedings › Research › Peer-reviewed
- 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 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
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
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
ID: 263576