Tijs Slaats

Tijs Slaats

Lektor


  1. Udgivet

    On the declarative paradigm in hybrid business process representations: A conceptual framework and a systematic literature study

    Abbad Andaloussi, A., Burattin, A., Slaats, Tijs, Kindler, E. & Weber, B., 2020, I: Information Systems. 91, 27 s., 101505.

    Publikation: Bidrag til tidsskriftReviewForskningfagfællebedømt

  2. Udgivet

    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. (red.). Springer, s. 31-47 17 s. (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

  3. Udgivet

    Proceedings - Second International Symposium on Foundations and Applications of Blockchain (FAB): University of Southern California, Los Angeles, California, April 5, 2019

    Barahmand, S. (red.), Ghandeharizadeh, S., Krishnamachari, B., Lugones, D. (red.), Nambiar, R. & Slaats, Tijs, 2019, University of Southern California. 53 s.

    Publikation: Bog/antologi/afhandling/rapportBogForskning

  4. Udgivet

    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, s. 75-84 10 s. 8536151

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

  5. Udgivet

    Replication, refinement & reachability: complexity in dynamic condition-response graphs

    Debois, S., Hildebrandt, T. T. & Slaats, Tijs, 2018, I: Acta Informatica. 55, s. 489–520

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  6. Safe distribution of declarative processes

    Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, Software Engineering and Formal Methods: 9th International Conference, SEFM 2011, Montevideo, Uruguay, November 14-18, 2011. Proceedings. Barthe, G., Pardo, A. & Schneider, G. (red.). Springer, s. 237-252 16 s. (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., 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. (red.). Springer, s. 143-160 18 s. (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., 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. (red.). s. 7-11 5 s. (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. & Slaats, Tijs, 2015, 2015 IEEE Symposium Series on Computational Intelligence. IEEE, s. 1374-1382 9 s.

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

  10. 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. (red.). Springer, s. 392-399 8 s. (Lecture notes in computer science, Bind 8659).

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

ID: 161900503