Filter
Conference contribution

Search results

  • 2022

    An Overview of Modest Models and Tools for Real Stochastic Timed Systems

    Hartmanns, A., 21 Mar 2022, Proceedings Fifth Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2022, Munich, Germany, 2nd April 2022. Dubslaff, C. & Luttik, B. (eds.). p. 1-12 12 p. (EPTCS; vol. 355).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    3 Downloads (Pure)
  • BFL: a Logic to Reason about Fault Trees

    Nicoletti, S. M., Hahn, E. M. & Stoelinga, M. I. A., 30 Jun 2022, 2022 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). IEEE/EUCA, p. 441-452 12 p. 9833769

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Correct Probabilistic Model Checking with Floating-Point Arithmetic

    Hartmanns, A., 2022, Tools and Algorithms for the Construction and Analysis of Systems - 28th International Conference, TACAS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings, Part II. Fisman, D. & Rosu, G. (eds.). Springer Nature Switzerland AG, Vol. 13244. p. 41-59 19 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
  • Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers

    Lathouwers, S. & Huisman, M., 20 Jun 2022, Proceedings - IEEE/ACM 10th International Conference on Formal Methods in Software Engineering, FormaliSE 2022. IEEE/EUCA, p. 69-79 11 p. 9796417

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees

    Khan, S., Katoen, J., Volk, M., Zafar, A. & Sher, F., 17 Jan 2022, 2021 10th Latin-American Symposium on Dependable Computing (LADC).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • 2021

    ARCH-COMP21 Category Report: Stochastic Models

    Abate, A., Blom, H., Bouissou, M., Cauchi, N., Chraibi, H., Delicaris, J., Haesaert, S., Hartmanns, A., Khaled, M., Lavaei, A., Ma, H., Mallik, K., Niehage, M., Remke, A., Schupp, S., Shmarov, F., Soudjani, S., Thorpe, A., Turcuman, V. & Zuliani, P., 6 Dec 2021, 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), Brussels, Belgium, July 9, 2021. Frehse, G. & Althoff, M. (eds.). EasyChair, p. 55-89 35 p. (EPiC Series in Computing; vol. 80).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    19 Downloads (Pure)
  • A Scalable Log Differencing Visualisation Applied to COBOL Refactoring

    Deknop, C., Mens, K., Bergel, A., Fabry, J. & Zaytsev, V., 13 Nov 2021, 2021 Working Conference on Software Visualization (VISSOFT). Piscataway, NJ: IEEE, p. 1-11

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    10 Downloads (Pure)
  • A sports day for programming

    Fehnker, A., 22 Mar 2021, (E-pub ahead of print/First online) CSERC '20: the 9th Computer Science Education Research Conference, Virtual Event, The Netherlands, 19-20 October, 2020. Stikkolorum, D. R. & Rahimi, E. (eds.). ACM SIGCOMM, p. 11:1-11:6 11

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Atelier – Tutor Moderated Comments in Programming Education

    Fehnker, A., Mader, A. H. & Rump, A., 9 Sep 2021, Technology-Enhanced Learning for a Free, Safe, and Sustainable World. De Laet, T., Klemke, R., Alario-Hoyos, C., Hilliger, I. & Ortega-Arranz, A. (eds.). Springer, p. 379-383 5 p. (Lecture Notes in Computer Science; vol. 12884).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • Attack Trees vs. Fault Trees: Two Sides of the Same Coin from Different Currencies

    Budde, C. E., Kolb, C. & Stoelinga, M., 19 Aug 2021, Quantitative Evaluation of Systems: 18th International Conference, QEST 2021, Proceedings. Abate, A. & Marin, A. (eds.). Cham: Springer, p. 457-467 11 p. (Lecture Notes in Computer Science; vol. 12846).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    44 Downloads (Pure)
  • Automated Assessment of Learning Objectives in Programming Assignments

    Rump, A., Fehnker, A. & Mader, A., 9 Jul 2021, Intelligent Tutoring Systems: 17th International Conference, ITS 2021, Virtual Event, June 7–11, 2021, Proceedings. Cristea, A. I. & Troussas, C. (eds.). Cham: Springer, p. 299-309 11 p. (Lecture Notes in Computer Science; vol. 12677).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    5 Downloads (Pure)
  • Automated Verification of the Parallel Bellman–Ford Algorithm

    Safari, M., Oortwijn, W. & Huisman, M., 13 Oct 2021, Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021, Proceedings. Drăgoi, C., Mukherjee, S. & Namjoshi, K. (eds.). Cham: Springer, p. 346-358 13 p. (Lecture Notes in Computer Science; vol. 12913).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    15 Downloads (Pure)
  • Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids

    Badings, T. S., Hartmanns, A., Jansen, N. & Suilen, M., 19 May 2021, NASA Formal Methods : 13th International Symposium, NFM 2021, Virtual Event, May 24–28, 2021, Proceedings. Dutle, A., Moscato, M. M., Titolo, L., Muñoz, C. A. & Perez, I. (eds.). Springer Nature Switzerland AG, p. 1-18 18 p. (Lecture Notes in Computer Science; vol. 12673).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    32 Downloads (Pure)
  • Be Lazy and Don't Care: Faster CTL Model Checking for Recursive State Machines

    Dubslaff, C., Wienhöft, P. & Fehnker, A., 6 Dec 2021, Software Engineering and Formal Methods: 19th International Conference. Springer, p. 332-350

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    20 Downloads (Pure)
  • Bounded-Deducibility Security (Invited Paper)

    Popescu, A., Bauereiss, T. & Lammich, P., 21 Jun 2021, 12th International Conference on Interactive Theorem Proving, ITP 2021, June 29 to July 1, 2021, Rome, Italy (Virtual Conference). Cohen, L. & Kaliszyk, C. (eds.). Dagstuhl, p. 3:1-3:20

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Etaps foreword

    Huisman, M., 2021, Programming Languages and Systems: 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021, Proceedings. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12648).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    26 Downloads (Pure)
  • Fault Trees, Decision Trees, and Binary Decision Diagrams: A systematic comparison

    Jimenez-Roa, L. A., Heskes, T. & Stoelinga, M., 21 Sep 2021, Proceedings of the 31st European Safety and Reliability Conference (ESREL 2021). Castanier, B., Cepin, M., Bigaud, D. & Bérenguer, C. (eds.). Research Publishing, p. 673-680 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    24 Downloads (Pure)
  • IntelliJML: A JML plugin for IntelliJ IDEA

    Monteiro, S., Sokolovas, E., Wittingen, E., Dijk, T. V. & Huisman, M., 13 Jul 2021, FTfJP 2021 - Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-Like Programs, co-located with ECOOP/ISSTA 2021. Cok, D. R. (ed.). New York, NY: Association for Computing Machinery (ACM), p. 39-42 4 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    24 Downloads (Pure)
  • Learning optimal decisions for stochastic hybrid systems

    Niehage, M., Hartmanns, A. & Remke, A., 20 Nov 2021, MEMOCODE '21: Prtoceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design, Virtual Event, China, November 20-22, 2021. Arun-Kumar, S., Méry, D., Saha, I. & Zhang, L. (eds.). ACM Press, p. 44-55 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    11 Downloads (Pure)
  • Model-Free Reinforcement Learning for Branching Markov Decision Processes

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 15 Jul 2021, Computer Aided Verification - 33rd International Conference, CAV 2021, Virtual Event, July 20-23, 2021, Proceedings, Part II. Silva, A. & Leino, K. R. M. (eds.). Springer Gabler, p. 651-673 23 p. (Lecture Notes in Computer Science; vol. 12760).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    9 Downloads (Pure)
  • Model-Free Reinforcement Learning for Lexicographic Omega-Regular Objectives

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 10 Nov 2021, 24th International Symposium on Formal Methods, FM 2021: Virtual Event, November 20–26, 2021, Proceedings. Huisman, M., Pasareanu, C. S. & Zhan, N. (eds.). Springer Gabler, p. 142-159 18 p. (Lecture Notes in Computer Science; vol. 13047).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • On Correctness, Precision, and Performance in Quantitative Verification - QComp 2020 Competition Report

    Budde, C. E., Hartmanns, A., Klauck, M., Kretínský, J., Parker, D., Quatmann, T., Turrini, A. & Zhang, Z., 5 Aug 2021, Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Proceedings. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 216-241 26 p. (Lecture Notes in Computer Science; vol. 12479).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    5 Citations (Scopus)
    7 Downloads (Pure)
  • On the Efficacy of Online Proctoring using Proctorio

    Bergmans, L., Bouali, N., Luttikhuis, M. & Rensink, A., 2021, Proceedings of the 13th International Conference on Computer Supported Education (CSEDU 2021). Csapó, B. & Uhomoibhi, J. (eds.). SCITEPRESS Digital Library, Vol. 1. p. 279-290 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    310 Downloads (Pure)
  • Optimal Algorithm of Isolated Toughness for Interval Graphs

    Li, F., Ye, Q., Broersma, H. & Zhang, X., 21 Feb 2021, Parallel and Distributed Computing, Applications and Technologies: 21st International Conference, PDCAT 2020, Shenzhen, China, December 28–30, 2020, Proceedings. Zhang, Y., Xu, Y. & Tian, H. (eds.). Cham: Springer Science + Business Media, p. 379-388 10 p. (Lecture Notes in Computer Science; vol. 12606).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
  • Permission-Based Verification of Red-Black Trees and Their Merging

    Armborst, L. & Huisman, M., 24 Jun 2021, FormaliSE 21: Proceedings of the 9th International Conference on Formal Methods in Software Engineering. Vol. 1. p. 111-123 13 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    124 Downloads (Pure)
  • Probabilistic Verification for Reliability of a Two-by-Two Network-on-Chip System

    Roberts, R., Lewis, B., Hartmanns, A., Basu, P., Roy, S., Chakraborty, K. & Zhang, Z., 19 Aug 2021, Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings. Lluch-Lafuente, A. & Mavridou, A. (eds.). Cham: Springer, p. 232-248 17 p. (Lecture Notes in Computer Science; vol. 12863).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    2 Downloads (Pure)
  • Symblicit exploration and elimination for probabilistic model checking

    Hahn, E. M. & Hartmanns, A., 22 Apr 2021, SAC '21: Proceedings of the 36th Annual ACM Symposium on Applied Computing, Virtual Event, Republic of Korea, March 22-26, 2021. Hung, C-C., Hong, J., Bechini, A. & Song, E. (eds.). Association for Computing Machinery (ACM), p. 1798-1806 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    15 Downloads (Pure)
  • Teaching Design by Contract using Snap!

    Huisman, M. & Monti, R. E., 8 Jul 2021, Proceedings - 2021 3rd International Workshop on Software Engineering Education for the Next Generation, SEENG 2021. Piscataway, NJ: IEEE, p. 1-5 5 p. 9474640

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    4 Downloads (Pure)
  • The Marriage Between Safety and Cybersecurity: Still Practicing

    Stoelinga, M. I. A., Kolb, C., Nicoletti, S. M., Budde, C. E. & Hahn, E. M., 3 Aug 2021, Model Checking Software. SPIN 2021: 27th International Symposium, SPIN 2021, Virtual Event, July 12, 2021, Proceedings. Laarman, A. & Sokolova, A. (eds.). Springer, p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 12864).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    37 Downloads (Pure)
  • There Is More Than One Way to Zen Your Python

    Farooq, A. & Zaytsev, V., 17 Oct 2021, SLE 2021: Proceedings of the 14th ACM SIGPLAN International Conference on Software Language Engineering. p. 68-82 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Downloads (Pure)
  • Tweaking the Odds in Probabilistic Timed Automata

    Hartmanns, A., Katoen, J-P., Kohlen, B. & Spel, J., 19 Aug 2021, Quantitative Evaluation of Systems - 18th International Conference, QEST 2021, Paris, France, August 23-27, 2021, Proceedings. Abate, A. & Marin, A. (eds.). Cham: Springer, p. 39-58 20 p. (Lecture Notes in Computer Science; vol. 12846).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    4 Downloads (Pure)
  • 2020

    A distributed blockchain model of selfish mining

    Eijkel, D. & Fehnker, A., 13 Aug 2020, (E-pub ahead of print/First online) Formal Methods- FM 2019 International Workshops - Revised Selected Papers. Sekerinski, E., Moreira, N., Oliveira, J. N., Ratiu, D., Guidotti, R., Farrell, M., Luckcuck, M., Marmsoler, D., Campos, J., Astarte, T., Gonnord, L., Cerone, A., Couto, L., Dongol, B., Kutrib, M., Monteiro, P. & Delmas, D. (eds.). Springer, p. 350-361 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12232 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Downloads (Pure)
  • A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms

    Safari, M. & Huisman, M., 13 Nov 2020, (E-pub ahead of print/First online) Integrated Formal Methods - 16th International Conference, IFM 2020, Lugano, Switzerland, November 16-20, 2020, Proceedings. Dongol, B. & Troubitsyna, E. (eds.). Springer, p. 257-275 19 p. (Lecture Notes in Computer Science; vol. 12546).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    2 Downloads (Pure)
  • Alice and Eve: a celebration of women in computer science

    van Huizen, J. C., Huisman, M., Lathouwers, S. A. M., Schaafstal, A. M. & Stoelinga, M. I. A., 2020, Engaging, Engineering, Education: Book of Abstracts, SEFI 48th Annual Conference University of Twente (online), 20-24 September, 2020. van der Veen, J., van Hattum-Janssen, N., Järvinen, H-M., de Laet, T. & ten Dam, I. (eds.). Enschede: University of Twente, 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    69 Downloads (Pure)
  • ARCH-COMP20 Category Report: Stochastic Models

    Abate, A., Blom, H., Cauchi, N., Delicaris, J., Hartmanns, A., Khaled, M., Lavaei, A., Pilch, C., Remke, A., Schupp, S., Shmarov, F., Soudjani, S., Vinod, A. P., Wooding, B., Zamani, M. & Zuliani, P., 2020, ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. EasyChair, Vol. 74. p. 76-106 31 p. (EPiC Series in Computing).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    5 Citations (Scopus)
    12 Downloads (Pure)
  • Atelier: An Online Platform for Programming Tutorials

    Fehnker, A., Mader, A., Rump, A., Rutgers, M., Steenmeijer, L. & Witteveen, C., 2020, Proceedings of the 9th Computer Science Education Research Conference. New York, NY, USA: Association for Computing Machinery (ACM), (CSERC '20).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    27 Downloads (Pure)
  • Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings

    Pilch, C., Hartmanns, A. & Remke, A., 22 Apr 2020, (E-pub ahead of print/First online) HSCC '20: Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control. Ames, A., Seshia, S. A. & Deshmukh, J. (eds.). Association for Computing Machinery (ACM), 11 p. 10

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
  • Double-Spending Analysis of Bitcoin

    Chaudhary, K., Chand, V. & Fehnker, A., 2020, 24th Pacific Asia Conference on Information Systems, PACIS 2020, Dubai, UAE, June 22-24, 2020. Vogel, D., Shen, K. N., Ling, P. S., Hsu, C., Thong, J. Y. L., Marco, M. D., Limayem, M. & Xu, S. X. (eds.). p. 210 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    10 Citations (Scopus)
  • Faithful and Effective Reward Schemes for Model-Free Reinforcement Learning of Omega-Regular Objectives

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 12 Oct 2020, (E-pub ahead of print/First online) Automated Technology for Verification and Analysis: 18th International Symposium, ATVA 2020, Hanoi, Vietnam, October 19–23, 2020, Proceedings. Hung, D. V. & Sokolsky, O. (eds.). Cham: Springer, p. 108-124 17 p. (Lecture Notes in Computer Science; vol. 12302).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
  • Formal Verification of Parallel Prefix Sum

    Safari, M., Oortwijn, W., Joosten, S. J. C. & Huisman, M., 10 Aug 2020, (E-pub ahead of print/First online) NASA Formal Methods - 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11-15, 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, p. 170-186 17 p. (Lecture Notes in Computer Science; vol. 12229).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    7 Citations (Scopus)
    5 Downloads (Pure)
  • Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms

    Safari, M. & Huisman, M., 25 Nov 2020, (E-pub ahead of print/First online) Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings. Pun, V. K. I., Stolz, V. & Simão, A. (eds.). Springer, p. 181-199 19 p. (Lecture Notes in Computer Science; vol. 12545).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
  • Improving a Software Modernisation Process by Differencing Migration Logs

    Deknop, C., Fabry, J., Mens, K. & Zaytsev, V., 21 Nov 2020, (E-pub ahead of print/First online) Product-Focused Software Process Improvement: 21st International Conference, PROFES 2020, Turin, Italy, November 25–27, 2020, Proceedings. Morisio, M., Torchiano, M. & Jedlitschka, A. (eds.). Cham: Springer, p. 270-286 17 p. (Lecture Notes in Computer Science; vol. 12562).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    4 Citations (Scopus)
  • Model-Free Reinforcement Learning for Stochastic Parity Games

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 2020, 31st International Conference on Concurrency Theory (CONCUR 2020). Konnov, I. & Kovacs, L. (eds.). Leibniz: Dagstuhl, 16 p. 21. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 171).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    8 Downloads (Pure)
  • On the Industrial Application of Critical Software Verification with VerCors

    Huisman, M. & Monti, R. E., 27 Oct 2020, (E-pub ahead of print/First online) Leveraging Applications of Formal Methods, Verification and Validation: Applications - 9th International Symposium on Leveraging Applications of Formal Methods, ISoLA 2020, Rhodes, Greece, October 20-30, 2020, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Springer, p. 273-292 20 p. (Lecture Notes in Computer Science; vol. 12478).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
  • OOPSLE 2020: Open and Original Problems in Software Language Engineering

    Zaytsev, V. & Bagge, A. H., 24 Oct 2020, STAF 2020 Workshop Proceedings. p. 47-51 5 p. (CEUR workshop proceedings; vol. 2707).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    10 Downloads (Pure)
  • Optimistic Value Iteration

    Hartmanns, A. & Kaminski, B. L., 14 Jul 2020, Computer Aided Verification: 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part II. Lahiri, S. K. & Wang, C. (eds.). Springer, p. 488-511 24 p. (Lecture Notes in Computer Science; vol. 12225).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    10 Citations (Scopus)
    32 Downloads (Pure)
  • Practical Abstractions for Automated Verification of Shared-Memory Concurrency

    Oortwijn, W., Gurov, D. & Huisman, M., 13 Jan 2020, (E-pub ahead of print/First online) Verification, Model Checking, and Abstract Interpretation - 21st International Conference, VMCAI 2020, New Orleans, LA, USA, January 16-21, 2020, Proceedings. Beyer, D. & Zufferey, D. (eds.). Springer, p. 401-425 25 p. (Lecture Notes in Computer Science; vol. 11990).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Citations (Scopus)
    2 Downloads (Pure)
  • Reflections on the Lack of Adoption of Domain Specific Languages

    Tomassetti, F. & Zaytsev, V., 24 Oct 2020, STAF Workshop Proceedings. Burgueño, L. & Kristensen, L. M. (eds.). CEUR, p. 85-94 5. (CEUR Workshop Proceedings; vol. 2707).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    36 Downloads (Pure)
  • Sampling Distributed Schedulers for Resilient Space Communication

    D'Argenio, P. R., Fraire, J. A. & Hartmanns, A., 10 Aug 2020, NASA Formal Methods: 12th International Symposium, NFM 2020, Moffett Field, CA, USA, May 11–15, 2020, Proceedings. Lee, R., Jha, S. & Mavridou, A. (eds.). Springer, p. 291-310 20 p. (Lecture Notes in Computer Science; vol. 12229).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
  • Software Language Engineers' Worst Nightmare

    Zaytsev, V., 16 Nov 2020, Proceedings of the 13th International Conference on Software Language Engineering. Lämmel, R., Tratt, L. & De Lara, J. (eds.). 13th ed. ACM Publishing, p. 72-85 14 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access