Tijs Slaats

Tijs Slaats

Assistant professor, tenure track


  1. 2014
  2. Type checking liveness for collaborative processes with bounded and unbounded recursion. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs; Yoshida, Nobuko.

    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. ed. / Erika Ábrahám; Catuscia Palamidessi. Springer, 2014. p. 1-16 (Lecture notes in computer science, Vol. 8461).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  3. 2013
  4. CPN Tools 4 : a process modeling tool combining declarative and imperative paradigms. / Westergaard, Michael; Slaats, Tijs.

    Proceedings of the BPM Demo sessions 2013: co-located with 11th International Conference on Business Process Management (BPM2013). ed. / Marie-Christine Fauvet; Boudewijn van Dongen. 2013. (CEUR Workshop Proceedings, Vol. 1021).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  5. Contracts for cross-organizational workflows as timed dynamic condition response graphs. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs; Zanitti, Francesco.

    In: The Journal of Logic and Algebraic Programming, Vol. 82, No. 5-7, 2013, p. 164-185.

    Research output: Contribution to journalConference articleResearchpeer-review

  6. Declarative modeling–an academic dream or the future for BPM? / Reijers, Hajo A.; Slaats, Tijs; Stahl, Christian.

    Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. ed. / Florian Daniel; Jianmin Wang; Barbara Weber. Springer, 2013. p. 307-322 (Lecture notes in computer science, Vol. 8094).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  7. Dynamic condition response graphs for trustworthy adaptive case management. / Hildebrandt, Thomas; Marquard, Morten; Mukkamala, Raghava Rao; Slaats, Tijs.

    On the Move to Meaningful Internet Systems: OTM 2013 Workshops: Confederated International Workshops: OTM Academy, OTM Industry Case Studies Program, ACM, EI2N, ISDE, META4eS, ORM, SeDeS, SINCOM, SMS, and SOMOCO 2013, Graz, Austria, September 9 - 13, 2013, Proceedings. ed. / Yan Tang Demey; Hervé Panetto. Springer, 2013. p. 166-171 (Lecture notes in computer science, Vol. 8186).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  8. Exformatics declarative case management workflows as DCR graphs. / Slaats, Tijs; Mukkamala, Raghava Rao; Hildebrandt, Thomas; Marquard, Morten.

    Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. ed. / Florian Daniel; Jianmin Wang; Barbara Weber. Springer, 2013. p. 339-354 (Lecture notes in computer science, Vol. 8094).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  9. Live sessions with responses. / Carbone, Marco; Hildebrandt, Thomas; Slaats, Tijs.

    Proceedings of the 1st International Workshop on Behavioural Types: BEAT'13. ed. / Mario Bravetti; Mariangiola Dezani-Ciancaglini; Sophia Drossopoulou; Simon Gay; Hans Hüttel; Naoki Kobayashi; António Ravara; Jakob Rehof. 2013. p. 28-30.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  10. Mixing paradigms for more comprehensible models. / Westergaard, Michael; Slaats, Tijs.

    Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. ed. / Florian Daniel; Jianmin Wang; Barbara Weber. Springer, 2013. p. 283-290 (Lecture notes in computer science, Vol. 8094).

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

  11. Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs; Zanitti, Francesco.

    Proceedings of the 12th workshop on Foundations of Aspect-oriented Languages. Association for Computing Machinery, 2013. p. 19-24.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

  12. Towards trustworthy adaptive case management with dynamic condition response graphs. / Mukkamala, Raghava Rao; Hildebrandt, Thomas; Slaats, Tijs.

    2013 17th IEEE International Enterprise Distributed Object Computing Conference (EDOC). IEEE, 2013. p. 127-136.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

ID: 161900503