Tijs Slaats

Tijs Slaats

Associate Professor

ORCID: 0000-0001-6244-6970

Publication year:
All
26 - 50 out of 53Page size: 25
  1. 2018
  2. Published

    RESEDA: Declaring live event-driven computations as reactive semi-structured data

    Costa Seco, J., Debois, S., Hildebrandt, Thomas Troels & Slaats, Tijs, 14 Nov 2018, Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018. IEEE, p. 75-84 10 p. 8536151

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  3. 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

  4. Published

    Mining Hybrid Business Process Models: A Quest for Better Precision

    Schunselaar, D. M. M., Slaats, Tijs, Maggi, F. M., Reijers, H. A. & Van Der Aalst, W. M. P., 2018, Business Information Systems: 21st International Conference, BIS 2018 Berlin, Germany, July 18–20, 2018 Proceedings. Abramowicz, W. & Paschke, A. (eds.). Springer, p. 190-205 16 p. (Lecture Notes in Business Information Processing, Vol. 320).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  5. Published

    Open to change: A theory for iterative test-driven modelling

    Slaats, Tijs, Debois, S. & Hildebrandt, Thomas Troels, 2018, Business Process Management - 16th International Conference, BPM 2018, Proceedings. Montali, M., Weber, I., Weske, M. & vom Brocke, J. (eds.). Springer, p. 31-47 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Vol. 11080 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  6. Published

    Towards an Empirical Evaluation of Imperative and Declarative Process Mining

    Back, C.O., Debois, S. & Slaats, Tijs, 2018, Advances in Conceptual Modelling: ER 2018 Workshops Emp-ER, MoBiD, MREBA, QMMQ, SCME Xi’an, China, October 22–25, 2018 Proceedings. Springer, p. 191-198 8 p. Chapter 24. (Lecture Notes in Computer Science, Vol. 11158).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  7. 2017
  8. Published

    Managing complexity in process digitalisation with dynamic condition response graphs

    Hildebrandt, T., Debois, S., Slaats, Tijs & Marquard, M., 2017, BIR-WS 2017: pre-BIR Forum, BIR Workshops and Doctoral Consortium 2017. Johansson, B. (ed.). CEUR-WS.org, 8 p. (CEUR Workshop Proceedings, Vol. 1898).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  9. Published

    The DCR graphs process portal

    Debois, S., Hildebrandt, T., Marquard, M. & Slaats, Tijs, 2017, Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. Azevedo, L. G. & Cabanillas, C. (eds.). p. 7-11 5 p. (CEUR Workshop Proceedings, Vol. 1789).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  10. 2016
  11. 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

  12. Published

    Forms are declarative processes!

    Marquard, M., Debois, S., Slaats, Tijs & Hildebrandt, T., 2016. 16 p.

    Research output: Contribution to conference › Paper › Research

  13. Published

    The semantics of hybrid process models

    Slaats, Tijs, Schunselaar, D. M. M., Maggi, F. M. & Reijers, H. A., 2016, On the move to meaningful internet systems: OTM 2016 conferences: confederated international conferences: CoopIS, C&TC, and ODBASE 2016, Rhodes, Greece, October 24-28, 2016, Proceedings. Debruyne, C., Panetto, H., Meersman, R., Dillon, T., Kühn, E., O'Sullivan, D. & Ardagna, C. A. (eds.). Springer, p. 531-551 21 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  14. 2015

  15. 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

  16. 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

  17. Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes

    Debois, S., Hildebrandt, T. & Slaats, Tijs, 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: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  18. Web-based modelling and collaborative simulation of declarative processes

    Marquard, M., Shahzad, M. & Slaats, Tijs, 2015, Business Process Management: 13th International Conference, BPM 2015, Innsbruck, Austria, August 31 -- September 3, 2015, Proceedings. Motahari-Nezhad, H. R. & Weidlich, M. (eds.). Springer, p. 209-225 17 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  19. 2014

  20. 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

  21. Hierarchical declarative modelling with refinement and sub-processes

    Debois, S., Hildebrandt, T. & Slaats, Tijs, 2014, Business Process Management: 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings. Sadiq, S., Soffer, P. & Völzer, H. (eds.). Springer, p. 18-33 16 p. (Lecture notes in computer science, Vol. 8659).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  22. The automated discovery of hybrid processes

    Maggi, F. M., Slaats, Tijs & Reijers, H. A., 2014, Business Process Management: 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings. Sadiq, S., Soffer, P. & Völzer, H. (eds.). Springer, p. 392-399 8 p. (Lecture notes in computer science, Vol. 8659).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  23. Type checking liveness for collaborative processes with bounded and unbounded recursion

    Debois, S., Hildebrandt, Thomas Troels, Slaats, Tijs & Yoshida, N., 2014, Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3-5, 2014. Proceedings. Ábrahám, E. & Palamidessi, C. (eds.). Springer, p. 1-16 16 p. (Lecture notes in computer science, Vol. 8461).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  24. 2013

  25. 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

  26. 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 › Research › peer-review

  27. Exformatics declarative case management workflows as DCR graphs

    Slaats, Tijs, Mukkamala, R. R., Hildebrandt, T. & Marquard, M., 2013, Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. Daniel, F., Wang, J. & Weber, B. (eds.). Springer, p. 339-354 16 p. (Lecture notes in computer science, Vol. 8094).

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  28. Live sessions with responses

    Carbone, M., Hildebrandt, T. & Slaats, Tijs, 2013, Proceedings of the 1st International Workshop on Behavioural Types: BEAT'13. Bravetti, M., Dezani-Ciancaglini, M., Drossopoulou, S., Gay, S., Hüttel, H., Kobayashi, N., Ravara, A. & Rehof, J. (eds.). p. 28-30 3 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  29. Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs

    Hildebrandt, T., Mukkamala, R. R., Slaats, Tijs & Zanitti, F., 2013, Proceedings of the 12th workshop on Foundations of Aspect-oriented Languages. Association for Computing Machinery, p. 19-24 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  30. Towards trustworthy adaptive case management with dynamic condition response graphs

    Mukkamala, R. R., Hildebrandt, T. & Slaats, Tijs, 2013, 2013 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC). IEEE, p. 127-136 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  31. 2011

  32. 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

Previous 1 2 3 Next

ID: 161900503