Tijs Slaats
Associate Professor
Software, Data, People & Society
Sigurdsgade 41, 2200 København N.
- Published
A Two-Layer Blockchain Sharding Protocol Leveraging Safety and Liveness for Enhanced Performance
Xu, Yibin, Zheng, J., Duedder, Boris, Slaats, Tijs & Zhou, Yongluan, 26 Feb 2024, Network and Distributed System Security (NDSS) Symposium 2024.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
A case for declarative process modelling: agile development of a grant application system.
Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Marquard, M., 2014, 2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW). IEEE, p. 126-133 8 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
A formal approach to distributed coordination of healthcare workflows
Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, Proceedings of the 3rd International Workshop on Infrastructures for Healthcare: global healthcare. Bjørn, P., Kensing, F. & Christensen, L. R. (eds.). IT-Universitetet i København, p. 31-36 6 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research
- Published
Adding Generic Role- and Process-based Behaviors to Smart Contracts using Dynamic Condition Response Graphs
Xu, Yibin, Slaats, Tijs, Duedder, Boris & Hildebrandt, Thomas Troels, May 2023, 2023 IEEE/ACM International Conference on Software and System Processes (ICSSP). IEEE, p. 70-80Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
BERMUDA: Participatory Mapping of Domain Activities to Event Data via System Interfaces
Cosma, Paul, Hildebrandt, Thomas Troels, Gyldenkærne, C. H. & Slaats, Tijs, 2023, Process Mining Workshops - ICPM 2022 International Workshops, Revised Selected Papers. Montali, M., Senderovich, A. & Weidlich, M. (eds.). Springer, p. 127-139 (Lecture Notes in Business Information Processing, Vol. 468 LNBIP).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
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, Thomas Troels, Slaats, Tijs & Marquard, M., 2015, Proceedings of the Second International Workshop on Software Engineering Research and Industrial Practice. IEEE, p. 54-57 4 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Business process compliance using reference models of law
López, H. A., Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2020, Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Wehrheim, H. & Cabot, J. (eds.). Springer, p. 378-399 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 12076).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
CPN Tools 4: a process modeling tool combining declarative and imperative paradigms
Westergaard, M. & Slaats, Tijs, 2013, Proceedings of the BPM Demo sessions 2013: co-located with 11th International Conference on Business Process Management (BPM2013). Fauvet, M-C. & van Dongen, B. (eds.). 5 p. (CEUR Workshop Proceedings, Vol. 1021).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Chain of Events: Modular Process Models for the Law
Debois, S., López, H. A., Slaats, Tijs, Andaloussi, A. A. & Hildebrandt, Thomas Troels, 2020, Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Springer, Vol. 12546. p. 368-386 (Lecture Notes in Computer Science, Vol. 12546).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain
Madsen, M. F., Gaub, M., Høgnason, T., Kirkbro, M. E., Slaats, Tijs & Debois, S., 2018. 8 p.Research output: Contribution to conference › Paper › Research
Computer supported mobile adaptive business processes for 3gERP systems
Hildebrandt, T., Glenstrup, A. J., Bundgaard, M., Højsgaard, E., Hallwyl, T., Slaats, Tijs, Nilsson, M. & Schmidt, K., 2008. 9 p.Research output: Contribution to conference › Paper › Research
Concurrency and asynchrony in declarative workflows
Debois, S., Hildebrandt, T. & Slaats, Tijs, 2015, Business Process Management: 13th International Conference, BPM 2015; Innsbruck; Austria; 31 August 2015 through 3 September 2015. Recker, J., Weidlich, M. & Motahari-Nezhad, H. R. (eds.). Springer, p. 72-89 18 p. (Lecture notes in computer science, Vol. 9253).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Confronting Asylum Decision-making through Prototyping Sensemaking of Data and Participation
Nielsen, Trine Rask, Katsikouli, Panagiota, Høgenhaug, Anna Murphy, Byrne, William Hamilton, Gammeltoft-Hansen, Thomas, Slaats, Tijs, Olsen, Henrik Palmer, Hildebrandt, Thomas Troels & Møller, Naja Holten, 2021, Proceedings of the 19th European Conference on Computer-Supported Cooperative Work, ECSCW 2021k: The International Venue on Practice-centred Computing on the Design of Cooperation Technologies, . European Society for Socially Embedded Technologies, 10 p. (Reports of the European Society for Socially Embedded Technologies; No. ECSCW, Vol. 2021).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Contracts for cross-organizational workflows as timed dynamic condition response graphs
Hildebrandt, Thomas Troels, Mukkamala, R. R., Slaats, Tijs & Zanitti, F., 2013, In: Journal of Logical and Algebraic Methods in Programming. 82, 5-7, p. 164-185 22 p.Research output: Contribution to journal › Conference article › peer-review
- Published
DCR-KiPN a hybrid modeling approach for knowledge-intensive processes
Santoro, F., Slaats, Tijs, Hildebrandt, Thomas Troels & Baiao, F., 2019, Conceptual Modeling - 38th International Conference, ER 2019, Proceedings. Laender, A. H. F., Pernici, B., Lim, E-P. & de Oliveira, J. P. M. (eds.). Springer VS, p. 153-161 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11788 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Decision Modelling in Timed Dynamic Condition Response Graphs with Data
Hildebrandt, Thomas Troels, Normann, H., Marquard, M., Debois, S. & Slaats, Tijs, 2022, Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers: BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers. Marrella, A. & Weber, B. (eds.). Springer, p. 362-374 13 p. (Lecture Notes in Business Information Processing, Vol. 436 LNBIP).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Declarative Choreographies and Liveness
Hildebrandt, Thomas Troels, Slaats, Tijs, López, H. A., Debois, S. & Carbone, M., 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Pérez, J. A. & Yoshida, N. (eds.). Springer, p. 129-147 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11535 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Deriving consistent GSM schemas from DCR graphs
Eshuis, R., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016, Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. Sheng, Q. Z., Stroulia, E., Tata, S. & Bhiri, S. (eds.). Springer, p. 467-482 16 p. (Lecture notes in computer science, Vol. 9936).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Designing a cross-organizational case management system using dynamic condition response graphs
Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, 2011 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC). IEEE, p. 161-170 10 p.Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
DisCoveR: Process Mining for Knowledge-Intensive Processes with DCR Graphs
Slaats, Tijs, 2023, In: CEUR Workshop Proceedings. 3424Research output: Contribution to journal › Conference article › peer-review
- Published
Discovering Responsibilities with Dynamic Condition Response Graphs
Nekrasaite, V., Parli, A. T., Back, C.O. & Slaats, Tijs, 3 Jun 2019, Advanced Information Systems Engineering: 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings. Giorgini, P. & Weber, B. (eds.). 31 ed. Springer, p. 595-610 15 p. (Lecture Notes in Computer Science, Vol. 11483).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain
Xu, Yibin, Slaats, Tijs, Duedder, Boris, Debois, S. & Wu, Haiqin, 2023, Financial Cryptography and Data Security. FC 2022 International Workshops. Matsuo, S., Gudgeon, L., Klages-Mundt, A., Perez Hernandez, D., Werner, S., Haines, T., Essex, A., Bracciali, A. & Sala, M. (eds.). Springer, p. 583–597 (Lecture Notes in Computer Science, Vol. 13412).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers
Hildebrandt, Thomas Troels, Andaloussi, A. A., Christensen, L. R., Debois, S., Healy, N. P., López, H. A., Marquard, M., Møller, Naja Holten, Petersen, A. C. M., Slaats, Tijs & Weber, B., 2020, ICSSP '20: Proceedings of the International Conference on Software and System Processes. Association for Computing Machinery, p. 155--164Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Efficient Optimal Alignment Between Dynamic Condition Response Graphs and Traces
Christfort, Axel Kjeld Fjelrad & Slaats, Tijs, 2023, Business Process Management - 21st International Conference, BPM 2023, Proceedings. Di Francescomarino, C., Burattin, A., Janiesch, C. & Sadiq, S. (eds.). Springer, p. 3-19 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 14159 LNCS).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
- Published
Evaluating the Understandability of Hybrid Process Model Representations Using Eye Tracking: First Insights
Abbad Andaloussi, A., Slaats, Tijs, Burattin, A., Hildebrandt, Thomas Troels & Weber, B., 2019, Business Process Management Workshops - BPM 2018 International Workshops, Revised Papers. Daniel, F., Sheng, Q. Z. & Motahari, H. (eds.). Springer, p. 475-481 7 p. (Lecture Notes in Business Information Processing, Vol. 342).Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
ID: 161900503
Most downloads
-
476
downloads
Collaboration among Adversaries: Distributed Workflow Execution on a Blockchain
Research output: Contribution to conference › Paper › Research
Published -
349
downloads
Business process compliance using reference models of law
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published -
328
downloads
The semantics of hybrid process models
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Published