Ansatte – Københavns Universitet

Tijs Slaats

Tijs Slaats

Tenure track adjunkt


  1. Hierarchical declarative modelling with refinement and sub-processes. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs.

    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. 18-33.

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

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

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

  3. Concurrency and asynchrony in declarative workflows. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs.

    Business Process Management: 13th International Conference, BPM 2015; Innsbruck; Austria; 31 August 2015 through 3 September 2015. red. / J. Recker; M. Weidlich; H. R. Motahari-Nezhad. Springer, 2015. s. 72-89.

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

  4. Bridging the valley of death : a success story on Danish funding schemes paving a path from technology readiness Level 1 to 9. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs; Marquard, Morten.

    Proceedings of the Second International Workshop on Software Engineering Research and Industrial Practice. IEEE, 2015. s. 54-57.

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

  5. A case for declarative process modelling : agile development of a grant application system. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs; Marquard, Morten.

    2014 IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW). IEEE, 2014. s. 126-133.

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

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

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

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

  8. Udgivet

    Deriving consistent GSM schemas from DCR graphs. / Eshuis, Rik; Debois, Søren; Slaats, Tijs; Hildebrandt, Thomas.

    Service-oriented computing: 14th International Conference, ICSOC 2016, Banff, AB, Canada, October 10-13, 2016, Proceedings. red. / Quan Z. Sheng; Eleni Stroulia; Samir Tata; Sami Bhiri. Springer, 2016. s. 467-482.

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

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

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

  10. Declarative modelling and safe distribution of healthcare workflows. / Hildebrandt, Thomas; Mukkamala, Raghava Rao; Slaats, Tijs.

    Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. red. / Zhiming Liu; Alan Wassyng. Springer, 2011. s. 39-56.

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

ID: 161900503