Formal Methods and Tools

Filter
Conference contribution

Search results

  • 2023

    A Practitioner's Guide to MDP Model Checking Algorithms

    Hartmanns, A., Junges, S., Quatmann, T. & Weininger, M., 22 Apr 2023, Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Paris, France, April 22–27, 2023, Proceedings, Part I. Sankaranarayanan, S. & Sharygina, N. (eds.). Springer Nature, p. 469-488 20 p. (Lecture Notes in Computer Science; vol. 13993).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    11 Downloads (Pure)

  • Code Comprehension in a Multi-Paradigm Environment: Background and Experimental Setup

    Floor, D., Hees, R. V. & Zaytsev, V., 12 Sept 2023, SATToSE 2023. Advanced Techniques & Tools for Software Evolution 2023: Proceedings of the 15th Seminar on Advanced Techniques & Tools for Software Evolution.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access

  • Covid severity prediction: Who cares about the data quality?

    Nae, T., Krabbe, J., Bukhsh, F. A., Jayasinghe Arachchige, J. & Ahmed, F., 17 Feb 2023, Covid severity prediction: Who cares about the data quality?. Islamabad, Pakistan: IEEE, p. 225-230 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    19 Downloads (Pure)

  • Crossover: Towards Compiler-Enabled COBOL-C Interoperability

    Assen, M. V., Ntagengerwa, M. A., Sayilir, Ö. & Zaytsev, V., 22 Oct 2023, GPCE 2023: Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences. De Roover, C., Rumpe, B. & Shaikhha, A. (eds.). Vol. 2023. p. 72-85 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • EmoClock: Communicating Real-Time Emotional States Through Data Physicalizations

    Peeters, D., Ranasinghe, C., Degbelo, A. & Ahmad, F., 2023, Lecture Notes in Computer Science (LNCS) - Interact 2023 . Abdelnour Nocera, J., Lárusdóttir, M. K., Petrie, H., Piccinno, A. & Winckler, M. (eds.). Springer, Vol. 14142. p. 416-425 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • ETAPS Foreword

    Huisman, M., 21 Apr 2023, Foundations of Software Science and Computation Structures: 26th International Conference, FoSSaCS 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22–27, 2023, Proceedings. p. v-vi (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13992).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    24 Downloads (Pure)

  • Fast Verified SCCs for Probabilistic Model Checking

    Hartmanns, A., Kohlen, B. & Lammich, P., 22 Oct 2023, Automated Technology for Verification and Analysis: 21st International Symposium, ATVA 2023, Singapore, October 24–27, 2023, Proceedings, Part I. André, É. & Sun, J. (eds.). Springer Nature, p. 181-202 22 p. (Lecture Notes in Computer Science; vol. 14215).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Downloads (Pure)

  • From BDD Scenarios to Test Case Generation

    Zameni, T., van den Bos, P., Tretmans, J., Foederer, J. & Rensink, A., 29 May 2023, Proceedings - 2023 IEEE 16th International Conference on Software Testing, Verification and Validation Workshops, ICSTW 2023. Piscataway, NJ: IEEE, p. 36-44 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • From Fault Trees to Piping and Instrumentation Diagrams

    Bos, W., Volk, M., Stoelinga, M. I. A., Bouissou, M. & Krcál, P., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Research Publishing, p. 1234-1235

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    37 Downloads (Pure)

  • From User Stories to End-to-end Web Testing

    Mollah, H. & van den Bos, P., 29 May 2023, 2023 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW): International Workshop on User Interface Test Automation and Testing Techniques for Event Based Software (INTUITESTBEDS). Dublin, Ireland: IEEE, p. 140-148 9 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File

  • Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation

    Armborst, L., Lathouwers, S. & Huisman, M., 6 Nov 2023, iFM 2023: 18th International Conference, iFM 2023, Leiden, The Netherlands, November 13–15, 2023, Proceedings. p. 153-171 (Lecture notes in computer science; vol. 14300).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Optimal Spare Management via Statistical Model Checking: A Case Study in Research Reactors

    Soltani, R., Volk, M., Diamonte, L., Lopuhaä-Zwakenberg, M. & Stoelinga, M., 17 Sept 2023, Formal Methods for Industrial Critical Systems: 28th International Conference, FMICS 2023, Antwerp, Belgium, September 20–22, 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). p. 205-223 19 p. (Lecture notes in computer science; vol. 14290).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Perfecting Nothingness by Refactoring Whitespace

    Witmans, R. & Zaytsev, V., 12 Sept 2023, SATToSE’23: Post-proceedings of the 15th Seminar on Advanced Techniques and Tools for Software Evolution. De Lucia, A., Di Nucci, D., Pontillo, V. & Recupito, G. (eds.). CEUR, Vol. 3483. p. 19-30 12 p. ( CEUR Workshop Proceedings; vol. 3483).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    4 Downloads (Pure)

  • SAFEST: the static and dynamic fault tree analysis tool

    Volk, M., Ibne Irshad, M., Katoen, J-P., Sher, F., Stoelinga, M. I. A. & Zafar, A., 2023, Proceedings of the 33rd European Safety and Reliability Conference (ESREL 2023). Research Publishing, p. 193-200

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    69 Downloads (Pure)

  • Solving Queries for Boolean Fault Tree Logic via Quantified SAT

    Saaltink, C., Nicoletti, S. M., Volk, M., Hahn, E. M. & Stoelinga, M., 19 Oct 2023, FTSCS 2023: Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems: 2023 Proceeding. Artho, C. & Olveczky, P. C. (eds.). ACM Press, p. 48-59 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • VeyMont: Parallelising Verified Programs Instead of Verifying Parallel Programs

    van den Bos, P. & Jongmans, S-S., 3 Mar 2023, Formal Methods: 25th International Symposium, FM 2023, Lübeck, Germany, March 6–10, 2023, Proceedings. Chechik, M., Katoen, J-P. & Leucker, M. (eds.). Cham: Springer Nature, p. 321-339 19 p. (Lecture Notes in Computer Science; vol. 14000).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    7 Downloads (Pure)

  • With a Little Help from Your Friends: Semi-cooperative Games via Joker Moves

    van den Bos, P. & Stoelinga, M., 10 Jun 2023, Formal Techniques for Distributed Objects, Components, and Systems: 43rd IFIP WG 6.1 International Conference, FORTE 2023. Huisman, M. & Ravara, A. (eds.). Cham: Springer Nature, p. 155-172 18 p. (Lecture Notes in Computer Science; vol. 13910).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • 2022

    A Language-Based Causal Model for Safety

    Bonsangue, M. M., Caltais, G., Feng, H. & Tunç, H. C., 3 Jul 2022, Theoretical Aspects of Software Engineering : 16th International Symposium, TASE 2022, Cluj-Napoca, Romania, July 8-10, 2022, Proceedings. Aït-Ameur, Y. & Craciun, F. (eds.). Cham: Springer Nature, p. 290-307 18 p. (Lecture Notes in Computer Science; vol. 13299).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    21 Downloads (Pure)

  • Alternating Good-for-MDPs Automata

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 21 Oct 2022, Automated Technology for Verification and Analysis - 20th International Symposium, ATVA 2022, Virtual Event, October 25-28, 2022, Proceedings. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer Nature, p. 303-319 17 p. (Lecture Notes in Computer Science; vol. 13505).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    10 Downloads (Pure)

  • An Impossibility Result in Automata-Theoretic Reinforcement Learning

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 2022, Automated Technology for Verification and Analysis. Bouajjani, A., Holík, L. & Wu, Z. (eds.). Springer Nature, Vol. 13505. p. 42-57 16 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    13 Downloads (Pure)

  • 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 proceeding › Conference contribution › Academic

    Open Access
    File
    26 Downloads (Pure)

  • Application of NLP on student's Discord messages for automatic Belbin role identification

    Dichev, K., Bukhsh, F. & Barrios-Fleitas, Y., 13 Dec 2022, 2022 International Conference on Frontiers of Information Technology (FIT). IEEE, p. 302-307 6 p. 10043095

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    15 Downloads (Pure)

  • A Predicate Transformer for Choreographies: Computing Preconditions in Choreographic Programming

    Jongmans, S-S. & van den Bos, P., 29 Mar 2022, Programming Languages and Systems: 31st European Symposium on Programming, ESOP 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2–7, 2022, Proceedings. Sergey, I. (ed.). Cham: Springer, p. 520-547 28 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    5 Citations (Scopus)
    10 Downloads (Pure)

  • ARCH-COMP22 Category Report: Stochastic Models

    Abate, A., Blom, H., Delicaris, J., Haesaert, S., Hartmanns, A., van Huijgevoort, B., Lavaei, A., Ma, H., Niehage, M., Remke, A., Schön, O., Schupp, S., Soudjani, S. & Willemsen, L., 13 Dec 2022, Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22). Frehse, G., Althoff, M., Schoitsch, E. & Guiochet, J. (eds.). EasyChair, p. 113–141 29 p. (EPiC Series in Computing; vol. 90).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    1 Citation (Scopus)
    26 Downloads (Pure)

  • A refined model of ill-definedness in project-based learning

    Rump, A. & Zaytsev, V., 23 Oct 2022, Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings. Association for Computing Machinery, p. 115-122 8 p. (Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    13 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, p. 441-452 12 p. 9833769

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    13 Downloads (Pure)

  • Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks

    D'Argenio, P. R., Fraire, J. A., Hartmanns, A. & Raverta, F. D., 11 Sept 2022, Quantitative Evaluation of Systems: 19th International Conference, QEST 2022, Warsaw, Poland, September 12–16, 2022, Proceedings. Ábrahám, E. & Paolieri, M. (eds.). Springer, p. 337-355 19 p. (Lecture Notes in Computer Science; vol. 13479).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    18 Downloads (Pure)

  • 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, p. 41-59 19 p. (Lecture Notes in Computer Science; vol. 13244).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    6 Downloads (Pure)

  • Data-Driven Inference of Fault Tree Models Exploiting Symmetry and Modularization

    Jimenez Roa, L. A., Volk, M. & Stoelinga, M. I. A., 25 Aug 2022, Computer Safety, Reliability, and Security: 41st International Conference, SAFECOMP 2022, Munich, Germany, September 6–9, 2022, Proceedings. Trapp, M., Saglietti, F., Spisländer, M. & Bitsch, F. (eds.). Springer, p. 46-61 16 p. (Lecture notes in computer science; vol. 13414).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    44 Downloads (Pure)

  • Deterioration modeling of sewer pipes via discrete-time Markov chains: A large-scale case study in the Netherlands

    Jimenez-Roa, L. A., Heskes, T., Tinga, T., Molegraaf, H. J. A. & Stoelinga, M. I. A., 30 Aug 2022, Proceedings of the 32nd European Safety and Reliability Conference (ESREL 2022). p. 1299-1306 8 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    189 Downloads (Pure)

  • DyNetKAT: An Algebra of Dynamic Networks

    Caltais, G., Hojjat, H., Mousavi, M. R. & Tunç, H. C., 29 Mar 2022, Foundations of Software Science and Computation Structures : 25th International Conference, FOSSACS 2022, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022, Munich, Germany, April 2-7, 2022, Proceedings. Bouyer, P. & Schröder, L. (eds.). Cham: Springer Nature, p. 184-204 21 p. (Lecture Notes in Computer Science; vol. 13242).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    10 Downloads (Pure)

  • EPMC Gets Knowledge in Multi-agent Systems

    Fu, C., Hahn, E. M., Li, Y., Schewe, S., Sun, M., Turrini, A. & Zhang, L., 2022, Verification, Model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings. Finkbeiner, B. & Wies, T. (eds.). Springer Nature, Vol. 13182. p. 93-107 15 p. (Lecture Notes in Computer Science).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    19 Downloads (Pure)

  • Exploring a Parallel SCC Algorithm: Using TLA + and the TLC Model Checker

    van de Pol, J., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 535-555 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    2 Citations (Scopus)
    1 Downloads (Pure)

  • Fisher Information as a Utility Metric for Frequency Estimation under Local Differential Privacy

    Lopuhaä-Zwakenberg, M., Škorić, B. & Li, N., 2022, WPES 2022 - Proceedings of the 21st Workshop on Privacy in the Electronic Society, co-located with CCS 2022. New York, NY: Association for Computing Machinery, p. 41-53 13 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    12 Downloads (Pure)

  • Formal Methods for Industrial Critical Systems

    Groote, J. F. & Huisman, M., 15 Sept 2022, (Accepted/In press) Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings. Springer, p. V 13487. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13487).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    31 Downloads (Pure)

  • Formal Methods Meet Machine Learning (F3ML)

    Larsen, K. G., Legay, A., Nolte, G., Schlüter, M., Stoelinga, M. & Steffen, B., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning : 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer Nature, p. 393-405 13 p. (Lecture Notes in Computer Science; vol. 13703).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    3 Citations (Scopus)
    107 Downloads (Pure)

  • 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, p. 69-79 11 p. 9796417

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    26 Downloads (Pure)

  • Generating Customised Control Flow Graphs for Legacy Languages with Semi-Parsing

    Deknop, C., Fabry, J., Mens, K. & Zaytsev, V., 2022, Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022. Piscataway, NJ: IEEE, p. 523-532 10 p. (Proceedings IEEE International Conference on Software Maintenance and Evolution (ICSME); vol. 2022).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    16 Downloads (Pure)

  • Go with the flow: Software engineers and distractions

    Janssens, S. & Zaytsev, V., 23 Oct 2022, Proceedings - ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems, MODELS 2022: Companion Proceedings. Association for Computing Machinery, p. 934-938 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    3 Citations (Scopus)
    57 Downloads (Pure)

  • Leveraging composability in model-based testing for microservices

    van den Brink, B., Zameni, T., Tikhonova, U., Vinke, L. & Oprescu, A-M., Sept 2022, BENEVOL’22: The 21st Belgium-Netherlands Software Evolution Workshop Mons, 12-13 September 2022: Proceedings of the Belgium-Netherlands Software Evolution Workshop. Wessel, M. & Constantinou, E. (eds.). CEUR, 11 p. (CEUR Workshop Proceedings; vol. 3245).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access

  • 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    65 Downloads (Pure)

  • Modelling Program Verification Tools for Software Engineers

    Lathouwers, S. & Zaytsev, V., 24 Oct 2022, MODELS '22: Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: Association for Computing Machinery, p. 98–108 11 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    83 Downloads (Pure)

  • Refinement of Parallel Algorithms down to LLVM

    Lammich, P., 2022, 13th International Conference on Interactive Theorem Proving (ITP 2022). Andronick, J. & de Moura, L. (eds.). Dagstuhl, p. 24:1-24:18 18 p. 24

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    2 Citations (Scopus)
    8 Downloads (Pure)

  • Reinforcement Learning with Guarantees that Hold for Ever

    Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A. & Wojtczak, D., 5 Sept 2022, Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings. Groote, J. F. & Huisman, M. (eds.). Cham: Springer, p. 3-7 5 p. (Lecture Notes in Computer Science; vol. 13487).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    10 Downloads (Pure)

  • Robust Optimization for Local Differential Privacy

    Goseling, J. & Lopuhaä-Zwakenberg, M., 3 Aug 2022, 2022 IEEE International Symposium on Information Theory (ISIT) 2022. IEEE, p. 1629-1634 6 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • SpecifyThis – Bridging Gaps Between Program Specification Paradigms

    Ahrendt, W., Herber, P., Huisman, M. & Ulbrich, M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 3-6 4 p. (Lecture Notes in Computer Science; vol. 13701).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    21 Downloads (Pure)

  • The Modest State of Learning, Sampling, and Verifying Strategies

    Hartmanns, A. & Klauck, M., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Adaptation and Learning: 11th International Symposium, ISoLA 2022, Rhodes, Greece, October 22-30, 2022, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer, Vol. Part III. p. 406-432 27 p. (Lecture Notes in Computer Science; vol. 13703).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    1 Citation (Scopus)
    19 Downloads (Pure)

  • Two for the price of one: communication efficient and privacy-preserving distributed average consensus using quantization

    Li, Q., Lopuhaä-Zwakenberg, M., Heusdens, R. & Christensen, M. G., 2022, 30th European Signal Processing Conference (EUSIPCO 2022): Proceedings. EURASIP, European Association for Signal, Speech and Image Processing

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary)

    Huisman, M. & Seceleanu, C., 17 Oct 2022, Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings. Margaria, T. & Steffen, B. (eds.). Springer, p. 417-421 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13701 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

    Open Access
    File
    13 Downloads (Pure)
  • 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 proceeding › Conference contribution › Academic

    Open Access
    File
    7 Citations (Scopus)
    56 Downloads (Pure)