
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
Zoom and enhance: Action refinement via subprocesses in timed declarative processes
Norman, H., Debois, S., Slaats, T. & Hildebrandt, T. T., 2021, Business process management - 19th international conference, BPM 2021, rome, italy, september 06-10, 2021, proceedings. Polyvyanyy, A., Wynn, M. T., Looy, A. V. & Reichert, M. (eds.). Springer VS, Vol. 12875. p. 161-178 18 p. (Lecture notes in computer science).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › 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
- 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
- Published
Transforming Byzantine Faults using a Trusted Execution Environment
Madsen, M. F., Gaub, M., Kirkbro, M. E. & Debois, S., 7 Nov 2019, 2019 15th European Dependable Computing Conference (EDCC). IEEE, p. 63-70 8 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Towards an Entropy-based Analysis of Log Variability
Back, C. O., Debois, S. & Slaats, T., 17 Jan 2018, International Conference on Business Process Management: BPM 2017: Business Process Management Workshops. Springer, p. 53-70 (Lecture Notes in Business Information Processing, Vol. 308).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Towards a Programming Language for Declarative Event-based Context-sensitive Reactive Services
Debois, S., Hildebrandt, T., Mukkamala, R. R. & Zanitti, F., 2011.Research output: Contribution to conference - NOT published in proceeding or journal › Paper › 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
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
- 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
- Published
The Analysis of a Real Life Declarative Process
Debois, S. & Slaats, T., 2015, Proceedings of the 2015 Symposium on Computational Intelligence and Data Mining (CIDM). IEEE: IEEE Computer Society Press, p. 1374 - 1382Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- 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
- Published
Safety, Liveness and Run-time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes
Debois, S., Hildebrandt, T. & Slaats, T., 2015, FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Bjørner, N. & de Boer, F. (eds.). Springer, p. 143-160 18 p. (Lecture Notes in Computer Science, Vol. 9109).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
RESEDA: Declaring Live Event-Driven Computations as REactive SEmi-Structured DAta
Seco, J. C., Debois, S., Hildebrandt, T. T. & Slaats, T., 2018, 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference (EDOC). IEEE, p. 75-84 10 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › 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
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
- 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
- Published
Open to Change: A Theory for Iterative Test-Driven Modelling
Slaats, T., Debois, S. & Hildebrandt, T., 2018, Proceedings of the 16th International Conference on Business Process Management. Springer, p. 31-47 17 p. (Lecture Notes in Computer Science, Vol. 11080).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
On the Subject of Non-Equivocation: Defining Non-Equivocation in Synchronous Agreement Systems
Madsen, M. F. & Debois, S., Jul 2020, PODC '20: Proceedings of the 39th Symposium on Principles of Distributed Computing. Association for Computing Machinery, Vol. 39. p. 159-168 10 p.Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › 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
On Purpose and by Necessity: Compliance under the GDPR
Basin, D., Debois, S. & Hildebrandt, T., 2018, Financial Cryptography and Data Security. 22nd International Conference, FC 2018, Nieuwpoort, Curaçao, February 26 – March 2, 2018,. Springer, (Lecture Notes in Computer Science, Vol. 10957).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › Research › peer-review
- Published
Monitoring the GDPR: European Symposium on Research in Computer Security
Kock, E. A., Basin, D. & Debois, S., 2019, Computer Security – ESORICS 2019: European Symposium on Research in Computer Security. Springer, p. 681-699 (Lecture Notes in Computer Science, Vol. 11735).Research output: Conference Article in Proceeding or Book/Report chapter › Article in proceedings › 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
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
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
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
ID: 263576