Formal Methods and Tools

Filter
Conference contribution

Search results

  • 2019

    Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System

    Oortwijn, W. & Huisman, M., 2019, Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Springer, p. 418-436 19 p. (Lecture Notes in Computer Science; vol. 11918).

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

    9 Citations (Scopus)
    18 Downloads (Pure)

  • From Good Intentions to Behaviour Change: Probabilistic Feature Diagrams for Behaviour Support Agents

    Kließ, M. S., Stoelinga, M. & van Riemsdijk, M. B., 21 Oct 2019, PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings. Baldoni, M., Dastani, M., Liao, B., Sakurai, Y. & Zalila-Wenkstern, R. (eds.). Cham: Springer, p. 354-369 16 p. (Lecture Notes in Computer Science; vol. 11873).

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

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

  • Induction of Fault Trees through Bayesian Networks

    Linard, A., Bueno, M. L. P., Bucur, D. & Stoelinga, M. I. A., 2019, Proceedings of the 29th European Safety and Reliability Conference (ESREL). Beer, M. & Zio, E. (eds.). Research Publishing, p. 910-918 9 p.

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

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

  • Minimal-time synthesis for parametric timed automata

    André, É., Bloemen, V., Petrucci, L. & van de Pol, J., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 211-228 18 p. (Lecture Notes in Computer Science; vol. 11428)(Theoretical Computer Science and General Issues).

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

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

  • Multi-core On-The-Fly Saturation

    van Dijk, T., Meijer, J. & van de Pol, J., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Cham: Springer, p. 58-75 18 p. (Lecture Notes in Computer Science; vol. 11428)(Theoretical Computer Science and General Issues).

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

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

  • Parametric Analyses of Attack-Fault Trees

    André, É., Lime, D., Ramparison, M. & Stoelinga, M., Jun 2019, Proceedings - 2019 19th International Conference on Application of Concurrency to System Design, ACSD 2019. Piscataway, NJ: IEEE, p. 33-42 10 p. (Proceedings - International Conference on Application of Concurrency to System Design, ACSD; vol. 2019).

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

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

  • Practical Abstractions for Automated Verification of Message Passing Concurrency

    Oortwijn, W. & Huisman, M., 22 Nov 2019, Integrated Formal Methods - 15th International Conference, IFM 2019, Proceedings. Ahrendt, W. & Tapia Tarifa, S. L. (eds.). Springer, p. 399-417 19 p. (Lecture Notes in Computer Science; vol. 11918).

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

    2 Citations (Scopus)
    12 Downloads (Pure)

  • Practical Mutation Testing for Smart Contracts

    Honig, J. J., Everts, M. H. & Huisman, M., 2019, Data Privacy Management, Cryptocurrencies and Blockchain Technology: ESORICS 2019 International Workshops, DPM 2019 and CBT 2019, Luxembourg, September 26-27, 2019, Proceedings. Pérez-Solà, C., Navarro-Arribas, G., Biryukov, A. & García-Alfaro, J. (eds.). Cham: Springer, p. 289-303 15 p. (Lecture Notes in Computer Science; vol. 11737).

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

    25 Citations (Scopus)
    79 Downloads (Pure)

  • Preface

    Sun, J., Katoen, J.-P. & Guan, N., 2019, Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27–29, 2019, Proceedings. Cham: Springer, p. v-v (Lecture Notes in Computer Science; vol. 11951).

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

    Open Access
    File
    41 Downloads (Pure)

  • Presentation of the 9th Edition of the Model Checking Contest

    Amparore, E., Berthomieu, B., Ciardo, G., Dal Zilio, S., Gallà, F., Hillah, L. M., Hulin-Hubard, F., Jensen, P. G., Jezequel, L., Kordon, F., Le Botlan, D., Liebke, T., Meijer, J., Miner, A., Paviot-Adet, E., Srba, J., Thierry-Mieg, Y., van Dijk, T. & Wolf, K., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Proceedings. Kordon, F., Huisman, M., Steffen, B. & Beyer, D. (eds.). Springer, p. 50-68 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11429 LNCS).

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

    Open Access
    File
    24 Citations (Scopus)
    68 Downloads (Pure)

  • Probabilistic Verification for Reliable Network-on-Chip System Design

    Lewis, B., Hartmanns, A., Basu, P., Shridevi, R. J., Chakraborty, K., Roy, S. & Zhang, Z., Aug 2019, Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings. Larsen, K. G. & Willemse, T. (eds.). Cham: Springer, p. 110-126 17 p. (Lecture Notes in Computer Science; vol. 11687).

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

    2 Citations (Scopus)
    12 Downloads (Pure)

  • Rewriting Abstract Structures: Materialization Explained Categorically

    Corradini, A., Heindel, T., König, B., Nolte, D. & Rensink, A., 1 Jan 2019, Foundations of Software Science and Computation Structures: 22nd International Conference, FOSSACS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Simpson, A. & Bojanczyk, M. (eds.). Cham: Springer, p. 169-188 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11425 LNCS).

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

    Open Access
    File
    4 Citations (Scopus)
    123 Downloads (Pure)

  • Simple Fixpoint Iteration To Solve Parity Games

    Dijk, T. V. & Rubbens, B., 2019, Proceedings Tenth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2019: Bordeaux, France, 2-3rd September 2019. Leroux, J. & Raskin, J.-F. (eds.). ArXiv.org, p. 123-139 17 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 305).

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

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

  • The 2019 Comparison of Tools for the Analysis of Quantitative Formal Models: (QComp 2019 Competition Report)

    Hahn, E. M., Hartmanns, A., Hensel, C., Klauck, M., Klein, J., Křetínský, J., Parker, D., Quatmann, T., Steinmetz, M. & Ruijters, E., 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, Vol. Part III. p. 69-92 24 p. (Lecture Notes in Computer Science; vol. 11429).

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

    Open Access
    File
    34 Citations (Scopus)
    73 Downloads (Pure)

  • The Quantitative Verification Benchmark Set

    Hartmanns, A., Klauck, M., Parker, D., Quatmann, T. & Ruijters, E. J. J., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings. Zhang, L. & Vojnar, T. (eds.). Springer, p. 344-350 7 p. (Lecture Notes in Computer Science; vol. 11427).

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

    Open Access
    File
    43 Citations (Scopus)
    123 Downloads (Pure)

  • The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey

    Nakhaee, M. C., Hiemstra, D., Stoelinga, M. & Noort, M. V., 24 Apr 2019, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Collart-Dutilleul, S., Lecomte, T. & Romanovsky, A. B. (eds.). Cham: Springer, p. 91-105 15 p. (Lecture Notes in Computer Science; vol. 11495).

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

    Open Access
    File
    55 Citations (Scopus)
    922 Downloads (Pure)

  • TOOLympics 2019: An Overview of Competitions in Formal Methods

    Bartocci, E., Beyer, D., Black, P. E., Fedyukovich, G., Garavel, H., Hartmanns, A., Huisman, M., Kordon, F., Nagele, J., Sighireanu, M., Steffen, B., Suda, M., Sutcliffe, G., Weber, T. & Yamada, A., 1 Jan 2019, Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. 3-24 22 p. (Lecture Notes in Computer Science; vol. 11429).

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

    Open Access
    File
    33 Citations (Scopus)
    197 Downloads (Pure)

  • Towards a formal specification of multi-paradigm modelling

    Amrani, M., Blouin, D., Heinrich, R., Rensink, A., Vangheluwe, H. & Wortmann, A., Sept 2019, Proceedings - 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion, MODELS-C 2019. Burgueño, L., Pretschner, A., Voss, S., Chaudron, M., Kienzle, J., Völter, M., Gérard, S., Zahedi, M., Bousse, E., Rensink, A., Polack, F., Engels, G. & Kappel, G. (eds.). IEEE, p. 419-424 6 p. 8904740

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

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

  • Treatment of children obesity and diabetes through gamification: A case of study

    Gómez del Río, N., González-González, C. S., Martín-González, R., Navarro-Adelantado, V., Toledo-Delgado, P., Marrero-Gordillo, N., del Cristo Barrios-Fleitas, Y., Armas-Ramos, H. & Gacía-Pẽalvo, F., 16 Oct 2019, Proceedings - TEEM ' 19: 7th International Conference on Technological Ecosystems for Enhancing Multiculturality. Conde-Gonzalez, M. A., Rodriguez-Sedano, F. J., Fernandez-Llamas, C. & Garcia-Penalvo, F. J. (eds.). New York, NY: Association for Computing Machinery, p. 452-458 7 p.

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

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

  • VerifyThis - Verification Competition with a Human Factor

    Ernst, G., Huisman, M., Mostowski, W. & Ulbrich, M., 4 Apr 2019, Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III. Beyer, D., Huisman, M., Kordon, F. & Steffen, B. (eds.). Cham: Springer, p. 176-195 20 p. (Lecture Notes in Computer Science; vol. 11429).

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

    Open Access
    File
    12 Citations (Scopus)
    102 Downloads (Pure)
  • 2018

    Adaptive Formal Framework for WMN Routing Protocols

    Kamali, M. & Fehnker, A., 10 Oct 2018, Formal Aspects of Component Software: 15th International Conference, FACS 2018, Pohang, South Korea, October 10-12, 2018, Proceedings. p. 175-195 21 p. (Lecture notes in computer science; vol. 11222).

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

    2 Citations (Scopus)
    8 Downloads (Pure)

  • Adaptive Learning for Learn-Based Regression Testing

    Huistra, D., Meijer, J. & Pol, J. V. D., Sept 2018, Formal Methods for Industrial Critical Systems: 23rd International Conference, FMICS 2018, Maynooth, Ireland, September 3-4, 2018, Proceedings. Howar, F. & Barnat, J. (eds.). Springer, p. 162-177 16 p. (Lecture Notes in Computer Science; vol. 11119).

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

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

  • A Hierarchy of Scheduler Classes for Stochastic Automata

    D'Argenio, P. R., Gerhold, M., Hartmanns, A. & Sedwards, S., 1 Jan 2018, Proceedings of the 21st International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2018). Baier, C. & Dal Lago, U. (eds.). Cham: Springer, p. 384-402 19 p. (Lecture Notes in Computer Science; vol. 10803).

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

    Open Access
    File
    9 Citations (Scopus)
    135 Downloads (Pure)

  • An Even Better Approach: Improving the B.A.T.M.A.N. Protocol Through Formal Modelling and Analysis

    Fehnker, A., Chaudhary, K. & Mehta, V., 2018, NASA Formal Methods: 10th International Symposium, NFM 2018 Newport News, VA, USA, April 17-19, 2018 Proceedings. Dutle, A., Muñoz, C. & Narkawicz, A. (eds.). Cham: Springer, p. 164-178 15 p. (Lecture Notes in Computer Science; vol. 10811).

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

    1 Citation (Scopus)
    15 Downloads (Pure)

  • An Exercise in Verifying Sequential Programs with VerCors

    Joosten, S. J. C., Oortwijn, W., Safari, M. & Huisman, M., 16 Jul 2018, ISSTA '18: Companion Proceedings for the ISSTA/ECOOP 2018 Workshops. 6 p.

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

    5 Citations (Scopus)
    140 Downloads (Pure)

  • A Perron-Frobenius Theorem for Jordan Blocks for Complexity Proving

    Divasón, J., Joosten, S. J. C., Thiemann, R. & Yamada, A., Jul 2018, 16th International Workshop on Termination: WST 2018, July 18-19. 2018, Oxford, UK. Lucas, S. (ed.). p. 30-34 5 p.

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

    Open Access
    File
    239 Downloads (Pure)

  • ARCH-COMP18 Category Report: Stochastic Modelling

    Abate, A., Blom, H., Cauchi, N., Haesaert, S., Hartmanns, A., Lesser, K., Oishi, M., Sivaramakrishnan, V., Soudjani, S., Vasile, C. I. & Vinod, A. P., 2018, Proceedings of the 5th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 2018). Frehse, G., Althoff, M., Bogomolov, S. & Johnson, T. T. (eds.). EasyChair, Vol. 54. p. 71-103 33 p. (EPiC Series in Computing).

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

    Open Access
    File
    101 Downloads (Pure)

  • Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees

    Abate, A., Budde, C. E., Cauchi, N., Hoque, K. A. & Stoelinga, M. I. A., 2 Jul 2018, PHME 2018: Proceedings of the European Conference of the PHM Society 2018. Kulkarni, C. S. & Tinga, T. (eds.). PHM Society, 16 p. (Proceedings of the European Conference of the PHM Society; vol. 4, no. 1).

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

    Open Access
    File
    151 Downloads (Pure)

  • A Statistical Model Checker for Nondeterminism and Rare Events

    Budde, C. E., D'Argenio, P. R., Hartmanns, A. & Sedwards, S., 2018, Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 340-358 19 p. (Lecture Notes in Computer Science; vol. 10806).

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

    Open Access
    File
    27 Citations (Scopus)
    354 Downloads (Pure)

  • Designing Reusable and Run-Time Evolvable Scheduling Software

    Orhan, G., Aksit, M. & Rensink, A., 28 Aug 2018, PATAT 2018: Proceedings of the 12th International Conference of the Practice and Theory of Automated Timetabling. Burke, E. K., Di Gaspero, L., McCollum, B., Musliu, N. & Özcan, E. (eds.). Wien: TU Wien, p. 339-373 35 p.

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

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

  • DFT Analysis Incorporating Spare Parts in Fault Trees

    Heijblom, R., Postma, W., Natarajan, V. & Stoelinga, M., 11 Sept 2018, 2018 Annual Reliability and Maintainability Symposium, RAMS 2018. IEEE, 8463074. (Proceedings - Annual Reliability and Maintainability Symposium; vol. 2018-January).

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

    2 Citations (Scopus)
    5 Downloads (Pure)

  • Effective Analysis of Attack Trees: A Model-Driven Approach

    Kumar, R., Schivo, S., Ruijters, E., Yildiz, B. M., Huistra, D., Brandt, J., Rensink, A. & Stoelinga, M., Apr 2018, Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Russo, A. & Schürr, A. (eds.). Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802).

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

    Open Access
    File
    29 Citations (Scopus)
    426 Downloads (Pure)

  • Efficient certification of complexity proofs: formalizing the Perron--Frobenius theorem (invited talk paper)

    Divasón, J., Joosten, S., Kuncar, O., Thiemann, R. & Yamada, A., 8 Jan 2018, Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs. Felty, A. & Andronick, J. (eds.). p. 2-13 12 p.

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

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

  • Formal Methods in Industrial Practice: Bridging the Gap (Track Summary)

    Felderer, M., Gurov, D., Huisman, M., Lisper, B. & Schlick, R., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part IV. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 77-81 5 p. (Lecture Notes in Computer Science; vol. 11247).

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

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

  • How do we teach modelling and model-driven engineering? A survey

    Ciccozzi, F., Famelis, M., Kappel, G., Mosser, S., Paige, R. F., Pierantonio, A., Rensink, A., Salay, R., Taentzer, G., Valecillo, A. & Wimmer, M., 14 Oct 2018, MODELS'18. Proceedings of the 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings. Babur, Ö., Strüber, D. & Abrahão, S. (eds.). ACM Press, p. 122-129

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

    Open Access
    File
    27 Citations (Scopus)
    210 Downloads (Pure)

  • Layered and Collecting NDFS with Subsumption for Parametric Timed Automata

    Nguyen, H. G., Petrucci, L. & Pol, J. V. D., Dec 2018, 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018. Lin, A. W. & Sun, J. (eds.). IEEE Xplore: IEEE, 9 p.

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

    Open Access
    File
    14 Citations (Scopus)
    192 Downloads (Pure)

  • LIFT: Learning Fault Trees from Observational Data

    Nauta, M., Bucur, D. & Stoelinga, M., 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, p. 306-322 (Lecture Notes in Computer Science; vol. 11024).

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

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

  • Lightweight Statistical Model Checking in Nondeterministic Continuous Time

    D'Argenio, P. R., Hartmanns, A. & Sedwards, S., 2018, Proceedings of the 8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2018). Margaria, T. & Steffen, B. (eds.). Springer, Vol. 11245. p. 336-353 18 p. (Lecture Notes in Computer Science; vol. 11245).

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

    15 Citations (Scopus)
    10 Downloads (Pure)

  • LOCKS: A property specification language for security goals

    Kumar, R., Rensink, A. & Stoelinga, M. I. A., 9 Apr 2018, SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Haddad, H. M., Wainwright, R. L. & Chbeir, R. (eds.). Association for Computing Machinery, p. 1907-1915

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

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

  • Maximizing Synchronization for Aligning Observed and Modelled Behaviour

    Bloemen, V., van Zelst, S. J., van der Aalst, W. M. P., van Dongen, B. F. & van de Pol, J., 2018, Business Process Management: 16th International Conference, BPM 2018, Sydney, NSW, Australia, September 9–14, 2018, Proceedings. Weske, M., Montali, M., vom Brocke, J. & Weber, I. (eds.). Cham: Springer, Vol. 11080. p. 233-249 17 p.

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

    Open Access
    File
    14 Citations (Scopus)
    257 Downloads (Pure)

  • Model-Based Testing for General Stochastic Time

    Gerhold, M., Hartmanns, A. & Stoelinga, M., 11 Mar 2018, Proceedings of the 10th International NASA Formal Methods Symposium (NFM 2018). Dutle, A., Munoz, C. & Narkawicz, A. (eds.). Springer, p. 203-219 (Lecture Notes in Computer Science; vol. 10811).

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

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

  • Modelling Smart Buildings Using Fault Maintenance Trees

    Abate, A., Budde, C. E., Cauchi, N., van Harmelen, A., Hoque, K. A. & Stoelinga, M. I. A., 3 Oct 2018, Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Bakhshi, R., Ballarini, P., Barbot, B., Castel-Taleb, H. & Remke, A. (eds.). Cham: Springer, p. 110-125 16 p. (Lecture Notes in Computer Science; vol. 11178).

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

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

  • Models, More Models, and Then a Lot More

    Babur, Ö., Cleophas, L., van den Brand, M., Tekinerdogan, B. & Aksit, M., 2018, Software Technologies: Applications and Foundations - STAF 2017 Collocated Workshops, Revised Selected Papers. Zschaler, S. & Seidl, M. (eds.). Springer, p. 129-135 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10748 LNCS).

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

    13 Citations (Scopus)
    14 Downloads (Pure)

  • Multi-cost Bounded Reachability in MDP

    Hartmanns, A., Junges, S., Katoen, J.-P. & Quatmann, T., 2018, Proceedings of the 24th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2018). Beyer, D. & Huisman, M. (eds.). Cham: Springer, p. 320-339 20 p. (Lecture Notes in Computer Science; vol. 10806).

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

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

  • One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs

    Junges, S., Katoen, J. P., Stoelinga, M. & Volk, M., 8 May 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khomenko, V. & Roux, O. H. (eds.). Cham: Springer, p. 272-293 22 p. (Lecture Notes in Computer Science; vol. 10877).

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

    Open Access
    File
    12 Citations (Scopus)
    148 Downloads (Pure)

  • On Models and Code: A Unified Approach to Support Large-Scale Deductive Program Verification

    Huisman, M., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 111-118 8 p. (Lecture Notes in Computer Science; vol. 11244).

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

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

  • Parameter Synthesis Algorithms for Parametric Interval Markov Chains

    Petrucci, L. & van de Pol, J., Jun 2018, Formal Techniques for Distributed Objects, Components, and Systems: 38th IFIP WG 6.1 International Conference, FORTE 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018, Proceedings. Baier, C. & Caires, L. (eds.). Cham: Springer, p. 121-140 20 p. (Lecture Notes in Computer Science; vol. 10854).

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

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

  • Program Correctness by Transformation

    Huisman, M., Blom, S., Darabi, S. & Safari, M., 2018, Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 365-380 16 p. (Lecture Notes in Computer Science; vol. 11244).

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

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

  • Reasoning About JML: Differences Between KeY and OpenJML

    Boerman, J., Huisman, M. & Joosten, S. J. C., 5 Sept 2018, Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018. Proceedings. Furia, C. A. & Winter, K. (eds.). Cham: Springer, p. 30-46 17 p. 3. (Lecture Notes in Computer Science; vol. 11023).

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

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

  • Risk management for high tech systems

    Stoelinga, M., Jun 2018, FormaliSE'18. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. Gnesi, S., Plat, N., Spoletini, P. & Pelliccione, P. (eds.). Association for Computing Machinery, 1 p.

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