Tijs Slaats

Tijs Slaats

Lektor


  1. Udgivet

    Poster: Unanimous-Majority - Pushing Blockchain Sharding Throughput to its Limit

    Xu, Yibin, Slaats, Tijs & Duedder, Boris, 7 nov. 2022, The 29th ACM Conference on Computer and Communications Security (CCS).

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

  2. Udgivet

    Distributed and Adversarial Resistant Workflow Execution on the Algorand Blockchain

    Xu, Yibin, Slaats, Tijs, Duedder, Boris, Debois, S. & Wu, Haiqin, 2022, I: 6th Workshop on Trusted Smart Contracts, 2022.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  3. Udgivet

    A p/2 Adversary Power Resistant Blockchain Sharding Approach

    Xu, Yibin, Shao, J., Huang, Y., Slaats, Tijs & Duedder, Boris, 2021, arXiv.org, 28 s.

    Publikation: Working paperPreprintForskning

  4. Udgivet

    A two-dimensional sharding model for access control and data privilege management of blockchain

    Xu, Yibin, Slaats, Tijs & Duedder, Boris, 2023, I: Simulation Modelling Practice and Theory. 122, 102678.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  5. Mixing paradigms for more comprehensible models

    Westergaard, M. & Slaats, Tijs, 2013, Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. Daniel, F., Wang, J. & Weber, B. (red.). Springer, s. 283-290 8 s. (Lecture notes in computer science, Bind 8094).

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

  6. 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. (red.). 5 s. (CEUR Workshop Proceedings, Bind 1021).

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

  7. Udgivet

    5th International Workshop on Declarative/Decision/Hybrid Mining and Modeling for Business Processes (DeHMiMoP’17)

    Vanthienen, J., Di Ciccio, C., Reijers, H. A., Slaats, Tijs, Schunselaar, D. & Debois, S., 2018, Business Process Management Workshops: BPM 2017 International Workshops, Barcelona, Spain, September 10–11, 2017, Revised Papers. Teniente, E. & Weidlich, M. (red.). Springer, s. 526-541 (Lecture Notes in Business Information Processing, Bind 308).

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

  8. Flexible process notations for cross-organizational case management systems

    Slaats, Tijs, 2015, IT-Universitetet i København. 275 s.

    Publikation: Bog/antologi/afhandling/rapportPh.d.-afhandlingForskning

  9. Udgivet

    Weighing the Pros and Cons: Process Discovery with Negative Examples

    Slaats, Tijs, Debois, S. & Back, Christoffer Olling, 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (red.). Springer, s. 47-64 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).

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

  10. Udgivet

    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. (red.). Springer, s. 531-551 21 s.

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

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

  12. 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. (red.). Springer, s. 339-354 16 s. (Lecture notes in computer science, Bind 8094).

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

  13. Udgivet

    Declarative and Hybrid Process Discovery: Recent Advances and Open Challenges

    Slaats, Tijs, 2020, I: Journal on Data Semantics. 9, 1, s. 3-20

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  14. Udgivet

    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. (red.). Springer, s. 190-205 16 s. (Lecture Notes in Business Information Processing, Bind 320).

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

  15. Udgivet

    DCR-KiPN a hybrid modeling approach for knowledge-intensive processes

    Santoro, F., Slaats, Tijs, Hildebrandt, Thomas Troels & Baiao, F., 2019, Conceptual Modeling - 38th International Conference, ER 2019, Proceedings. Laender, A. H. F., Pernici, B., Lim, E-P. & de Oliveira, J. P. M. (red.). Springer VS, s. 153-161 9 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11788 LNCS).

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

  16. Declarative modeling–an academic dream or the future for BPM?

    Reijers, H. A., Slaats, Tijs & Stahl, C., 2013, Business Process Management: 11th International Conference, BPM 2013, Beijing, China, August 26-30, 2013. Proceedings. Daniel, F., Wang, J. & Weber, B. (red.). Springer, s. 307-322 16 s. (Lecture notes in computer science, Bind 8094).

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

  17. Udgivet

    Zoom and Enhance: Action Refinement via Subprocesses in Timed Declarative Processes

    Normann, Håkon, Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2021, Business Process Management - 19th International Conference, BPM 2021, Proceedings. Polyvyanyy, A., Wynn, M. T., Van Looy, A. & Reichert, M. (red.). Springer, s. 161-178 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12875 LNCS).

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

  18. Udgivet

    Confronting Asylum Decision-making through Prototyping Sensemaking of Data and Participation

    Nielsen, Trine Rask, Katsikouli, Panagiota, Høgenhaug, Anna Højberg, Byrne, William Hamilton, Gammeltoft-Hansen, Thomas, Slaats, Tijs, Olsen, Henrik Palmer, Hildebrandt, Thomas Troels & Møller, Naja L. Holten, 2021, Proceedings of the 19th European Conference on Computer-Supported Cooperative Work, ECSCW 2021k: The International Venue on Practice-centred Computing on the Design of Cooperation Technologies, . European Society for Socially Embedded Technologies, 10 s. (Reports of the European Society for Socially Embedded Technologies; Nr. ECSCW, Bind 2021).

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

  19. Udgivet

    Discovering Responsibilities with Dynamic Condition Response Graphs

    Nekrasaite, V., Parli, A. T., Back, Christoffer Olling & Slaats, Tijs, 3 jun. 2019, Advanced Information Systems Engineering: 31st International Conference, CAiSE 2019, Rome, Italy, June 3–7, 2019, Proceedings. Giorgini, P. & Weber, B. (red.). 31 udg. Springer, s. 595-610 15 s. (Lecture Notes in Computer Science, Bind 11483).

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

  20. 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, s. 127-136 10 s.

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

  21. Udgivet

    Blockchains for Business Process Management - Challenges and Opportunities

    Mendling, J., Weber, I., van der Aalst, W., Brocke, J. V., Cabanillas, C., Daniel, F., Debois, S., Di Ciccio, C., Dumas, M., Dustdar, S., Gal, A., Garcia-Banuelos, L., Governatori, G., Hull, R., La Rosa, M., Leopold, H., Leymann, F., Recker, J., Reichert, M., Reijers, H. A., Rinderle-Ma, S., Solti, A., Rosemann, M., Schulte, S., Singh, M. P., Slaats, Tijs, Staples, M., Weber, B., Weidlich, M., Weske, M., Xu, X. & Zhu, L., feb. 2018, I: ACM Transactions on Management Information Systems. 9, 1, 16 s., 4.

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  22. 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. (red.). Springer, s. 209-225 17 s.

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

  23. Udgivet

    Forms are declarative processes!

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

    Publikation: KonferencebidragPaperForskning

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

  25. Udgivet

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

    Publikation: KonferencebidragPaperForskning

  26. Udgivet

    Business process compliance using reference models of law

    López, H. A., Debois, S., Slaats, Tijs & Hildebrandt, Thomas Troels, 2020, Fundamental Approaches to Software Engineering: 23rd International Conference, FASE 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings. Wehrheim, H. & Cabot, J. (red.). Springer, s. 378-399 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12076).

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

  27. Udgivet

    Decision Modelling in Timed Dynamic Condition Response Graphs with Data

    Hildebrandt, Thomas Troels, Normann, Håkon, Marquard, M., Debois, S. & Slaats, Tijs, 2022, Business Process Management Workshops - BPM 2021 International Workshops, Revised Selected Papers: BPM 2021 International Workshops Rome, Italy, September 6–10, 2021 Revised Selected Papers. Marrella, A. & Weber, B. (red.). Springer, s. 362-374 13 s. (Lecture Notes in Business Information Processing, Bind 436 LNBIP).

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

  28. Udgivet

    EcoKnow: Engineering Effective, Co-created and Compliant Adaptive Case Management Systems for Knowledge Workers

    Hildebrandt, Thomas Troels, Andaloussi, A. A., Christensen, L. R., Debois, S., Healy, N. P., López, H. A., Marquard, M., Møller, Naja L. Holten, Petersen, A. C. M., Slaats, Tijs & Weber, B., 2020, ICSSP '20: Proceedings of the International Conference on Software and System Processes. Association for Computing Machinery, s. 155--164

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

  29. Udgivet

    Declarative Choreographies and Liveness

    Hildebrandt, Thomas Troels, Slaats, Tijs, López, H. A., Debois, S. & Carbone, M., 2019, Formal Techniques for Distributed Objects, Components, and Systems - 39th IFIP WG 6.1 International Conference, FORTE 2019, held as part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Proceedings. Pérez, J. A. & Yoshida, N. (red.). Springer, s. 129-147 19 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 11535 LNCS).

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

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

  31. 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. (red.). IT-Universitetet i København, s. 31-36 6 s.

    Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

  32. 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, s. 19-24 6 s.

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

  33. Nested dynamic condition response graphs

    Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, Fundamentals of Software Engineering: 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers. Arbab, F. & Sirjani, M. (red.). Springer, s. 343-350 8 s. (Lecture notes in computer science, Bind 7141).

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

  34. Contracts for cross-organizational workflows as timed dynamic condition response graphs

    Hildebrandt, Thomas Troels, Mukkamala, R. R., Slaats, Tijs & Zanitti, F., 2013, I: Journal of Logical and Algebraic Methods in Programming. 82, 5-7, s. 164-185 22 s.

    Publikation: Bidrag til tidsskriftKonferenceartikelForskningfagfællebedømt

  35. Dynamic condition response graphs for trustworthy adaptive case management

    Hildebrandt, T., Marquard, M., Mukkamala, R. R. & Slaats, Tijs, 2013, 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. Demey, Y. T. & Panetto, H. (red.). Springer, s. 166-171 6 s. (Lecture notes in computer science, Bind 8186).

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

  36. Udgivet

    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. (red.). CEUR-WS.org, 8 s. (CEUR Workshop Proceedings, Bind 1898).

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

  37. Designing a cross-organizational case management system using dynamic condition response graphs

    Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, 2011 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC). IEEE, s. 161-170 10 s.

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

  38. Computer supported mobile adaptive business processes for 3gERP systems

    Hildebrandt, T., Glenstrup, A. J., Bundgaard, M., Højsgaard, E., Hallwyl, T., Slaats, Tijs, Nilsson, M. & Schmidt, K., 2008. 9 s.

    Publikation: KonferencebidragPaperForskning

  39. Declarative modelling and safe distribution of healthcare workflows

    Hildebrandt, T., Mukkamala, R. R. & Slaats, Tijs, 2011, Foundations of Health Informatics Engineering and Systems: First International Symposium, FHIES 2011, Johannesburg, South Africa, August 29-30, 2011. Revised Selected Papers. Liu, Z. & Wassyng, A. (red.). Springer, s. 39-56 18 s. (Lecture notes in computer science, Bind 7151).

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

  40. Udgivet

    ReGraDa: Reactive Graph Data

    Galrinho, L., Seco, J. C., Debois, S., Hildebrandt, Thomas Troels, Normann, Håkon & Slaats, Tijs, 2021, Coordination Models and Languages - 23rd IFIP WG 6.1 International Conference, COORDINATION 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Damiani, F. & Dardha, O. (red.). Springer, s. 188-205 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Bind 12717 LNCS).

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

  41. Udgivet

    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. (red.). Springer, s. 467-482 16 s. (Lecture notes in computer science, Bind 9936).

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

  42. Udgivet

    Preface to the Special Issue on Process Querying and Declarative, Decision and Hybrid Approaches to Processes 2019

    Di Ciccio, C., Debois, S., Polyvyanyy, A., Slaats, Tijs, Hofstede, A. T. & Vanthienen, J., 2021, I: Journal on Data Semantics. 10, 1-2, s. 107 1 s.

    Publikation: Bidrag til tidsskriftLederForskningfagfællebedømt

  43. Udgivet

    Hybrid Process Technologies in the Financial Sector: The Case of BRFkredit

    Debois, S., Hildebrandt, Thomas Troels, Marquard, M. & Slaats, Tijs, 2017, Business Process Management Cases: Digital Innovation and Business Transformation in Practice. Springer, s. 397-412 16 s. (Management for Professionals).

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

  44. 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. (red.). Springer, s. 72-89 18 s. (Lecture notes in computer science, Bind 9253).

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

  45. Udgivet

    Chain of Events: Modular Process Models for the Law

    Debois, S., López, H. A., Slaats, Tijs, Andaloussi, A. A. & Hildebrandt, Thomas Troels, 2020, Integrated Formal Methods: 16th International Conference, IFM 2020, Lugano, Switzerland, November 16–20, 2020, Proceedings. Springer, Bind 12546. s. 368-386 (Lecture Notes in Computer Science, Bind 12546).

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

  46. 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, s. 54-57 4 s.

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

  47. 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, s. 126-133 8 s.

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

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

  49. Udgivet

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

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

    Publikation: Bidrag til tidsskriftTidsskriftartikelForskningfagfællebedømt

  50. 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. (red.). Springer, s. 1-16 16 s. (Lecture notes in computer science, Bind 8461).

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

Forrige 1 2 Næste

ID: 161900503