Tijs Slaats

Tijs Slaats

Tenure track adjunkt


  1. 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. s. 19-24.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  2. Nested dynamic condition response graphs. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs.

    Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. red. / Farhad Arbab; Marjan Sirjani. Springer, 2011. s. 343-350 (Lecture notes in computer science, Bind 7141).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  3. Udgivet

    Open to change : A theory for iterative test-driven modelling. / Slaats, Tijs; Debois, Søren; Hildebrandt, Thomas.

    Business Process Management - 16th International Conference, BPM 2018, Proceedings. red. / Marco Montali; Ingo Weber; Mathias Weske; Jan vom Brocke. Springer, 2018. s. 31-47 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11080 LNCS).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  4. Udgivet

    RESEDA : Declaring live event-driven computations as reactive semi-structured data. / Costa Seco, Joao; Debois, Soren; Hildebrandt, Thomas; Slaats, Tijs.

    Proceedings - 2018 IEEE 22nd International Enterprise Distributed Object Computing Conference, EDOC 2018. IEEE, 2018. s. 75-84 8536151.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  5. Udgivet

    Replication, refinement & reachability : complexity in dynamic condition-response graphs. / Debois, Søren; Hildebrandt, Thomas T.; Slaats, Tijs.

    I: Acta Informatica, Bind 55, 2018, s. 489–520.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Safe distribution of declarative processes. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs.

    Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. red. / Gilles Barthe; Alberto Pardo; Gerardo Schneider. Springer, 2011. s. 237-252 (Lecture notes in computer science, Bind 7041).

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  7. Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs.

    FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. red. / Nikolaj Bjørner; Frank de Boer. Springer, 2015. s. 143-160 (Lecture notes in computer science, Bind 9109).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  8. Udgivet

    The DCR graphs process portal. / Debois, Søren; Hildebrandt, Thomas; Marquard, Morten; Slaats, Tijs.

    Proceedings - BPM 2016 Demonstration Track: Demonstration Track of the 14th International Conference on Business Process Management (BPM 2016) Rio de Janeiro, September 21, 2016. red. / Leonardo Guerreiro Azevedo; Cristina Cabanillas. 2017. s. 7-11 (CEUR Workshop Proceedings, Bind 1789).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

  9. The analysis of a real life declarative process. / Debois, Søren; Slaats, Tijs.

    2015 IEEE Symposium Series on Computational Intelligence. IEEE, 2015. s. 1374-1382.

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskningfagfællebedømt

  10. The automated discovery of hybrid processes. / Maggi, Fabrizio Maria; Slaats, Tijs; Reijers, Hajo A.

    Business Process Management: 12th International Conference, BPM 2014, Haifa, Israel, September 7-11, 2014. Proceedings. red. / Shazia Sadiq; Pnina Soffer; Hagen Völzer. Springer, 2014. s. 392-399 (Lecture notes in computer science, Bind 8659).

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

ID: 161900503