Formal Methods and Tools

Filter
Conference contribution

Search results

  • 2018

    Rule-based conditioning of probabilistic data

    van Keulen, M., Kaminski, B., Matheja, C. & Katoen, J. P., 1 Jan 2018, Scalable Uncertainty Management: 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings. Ciucci, D., Pasi, G. & Vantaggi, B. (eds.). Cham: Springer, p. 290-305 16 p. (Lecture Notes in Computer Science; vol. 11142).

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

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

  • Sound Black-Box Checking in the LearnLib

    Meijer, J. & van de Pol, J., 11 Mar 2018, NASA Formal Methods: 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17-19, 2018, Proceedings. Dutle, A., Muñoz, C. A. & Narkawicz, A. (eds.). Cham: Springer, p. 349-366 18 p. (Lecture Notes in Computer Science; vol. 10811).

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

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

  • State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin

    Körner, P., Leuschel, M. & Meijer, J., Sept 2018, Integrated Formal Methods - 14th International Conference, IFM 2018, Proceedings: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings. Furia, C. A. & Winter, K. (eds.). Springer, p. 275-295 21 p. (Lecture Notes in Computer Science; vol. 11023).

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

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

  • Static Code Verification Through Process Models

    Joosten, S. J. C. & Huisman, M., 31 Oct 2018, Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems: 8th International Symposium, ISoLA 2018, Limassol, Cyprus, November 5-9, 2018, Proceedings, Part III. Margaria, T. & Steffen, B. (eds.). Cham: Springer, p. 343-354 12 p. (Lecture Notes in Computer Science; vol. 11246).

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

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

  • Tester versus Bug: A Generic Framework for Model-Based Testing via Games

    Bos, P. V. D. & Stoelinga, M., 7 Sept 2018, Proceedings Ninth International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2018, Saarbrücken, Germany, 26-28th September 2018.. Orlandini, A. & Zimmermann, M. (eds.). Dagstuhl, p. 118-132 15 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 277).

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

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

  • The Role of Computer Science and Software Technology in Organizing Universities for Industry 4.0 and beyond

    Akşit, M., 26 Oct 2018, Proceedings of the 2018 Federated Conference on Computer Science and Information Systems, FedCSIS 2018. Ganzha, M., Maciaszek, L. & Paprzycki, M. (eds.). IEEE, p. 5-11 7 p. 8511200

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

    7 Citations (Scopus)
    5 Downloads (Pure)

  • The SLCO framework for verified, model-driven construction of component software

    de Putter, S., Wijs, A. & Zhang, D., 5 Oct 2018, Formal Aspects of Component Software - 15th International Conference, FACS 2018, Proceedings. Ölveczky, P. C. & Bae, K. (eds.). Springer, p. 288-296 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11222 LNCS).

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

    7 Citations (Scopus)
    13 Downloads (Pure)

  • The Smell of Processing

    Man, R. D. & Fehnker, A., 23 Mar 2018, Proceedings of the 10th International Conference on Computer Supported Education. McLaren, B. M., Reilly, R., Zvacek, S. & Uhomoibhi, J. (eds.). Vol. 2. p. 420-431 12 p.

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

    2 Citations (Scopus)
    11 Downloads (Pure)

  • Towards a body of knowledge for model-based software engineering

    Ciccozzi, F., Lambers, L., Pierantonio, A., Taentzer, G., Famelis, M., Mosser, S., Rensink, A., Vallecillo, A., Kappel, G., Paige, R. F., Salay, R. & 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. 82-89 8 p.

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

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

  • Towards Reliable Concurrent Software

    Huisman, M. & Joosten, S. J. C., 2018, Principled Software Development: Essays Dedicated to Arnd Poetzsch-Heffter on the Occasion of his 60th Birthday. Müller, P. & Schaefer, I. (eds.). Cham: Springer, p. 129-146 18 p. (Principled Software Development).

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

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

  • Twenty Percent and a Few Days: Optimising a Bitcoin Majority Attack

    Fehnker, A. & Chaudhary, K., 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. 157-163 7 p. (Lecture Notes in Computer Science; vol. 10811).

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

    12 Citations (Scopus)
    25 Downloads (Pure)

  • Verification of Shared-Reading Synchronisers

    Amighi, A., Huisman, M. & Blom, S., 25 Jun 2018, Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design (Metrid). Bensalem, S. & Bliudze, S. (eds.). ArXiv.org, p. 107-120 14 p. (Electronic Proceedings in Theoretical Computer Science, EPTCS; vol. 272).

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

    Open Access
    File
    1 Citation (Scopus)
    117 Downloads (Pure)
  • 2017

    24 Challenges in Deductive Software Verification

    Hähnle, R. & Huisman, M., 2017, ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017. Reger, G. & Traytel, D. (eds.). EasyChair, p. 37-41 5 p. (EPiC Series in Computing; vol. 51).

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

    Open Access
    File
    233 Downloads (Pure)

  • A formalization of the Berlekamp-Zassenhaus factorization algorithm

    Divasón, J., Joosten, S., Thiemann, R. & Yamada, A., 2017, CPP 2017: Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs. Association for Computing Machinery, p. 17-29 13 p.

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

    10 Citations (Scopus)
    1 Downloads (Pure)

  • A Formal Product-Line Engineering Approach for Schedulers

    Orhan, G., Aksit, M. & Rensink, A., Nov 2017, SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. Jololian, L., Robbins, D. E. & Fernandes, S. L. (eds.). p. 15-30 16 p. (Integrated design and process technology; vol. 22).

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

    Open Access

  • A Java Bytecode Metamodel for Composable Program Analyses

    Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M., Jul 2017, Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 30-40 (Lecture Notes in Computer Science; vol. 10748).

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

    1 Citation (Scopus)
    7 Downloads (Pure)

  • A Model-Derivation Framework for Software Analysis

    Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M., Apr 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höffner, P. (eds.). ArXiv.org, p. 217-229 (EPTCS - Electronic Publications in Theoretical Computer Science; vol. 244).

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

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

  • A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

    Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M., 13 Jan 2017, Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised Selected Papers. Berger, C., Mousavi, M. & Wisniewski, R. (eds.). Switserland: Springer, p. 1-16 15 p. (Lecture Notes in Computer Science; vol. 10107).

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

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

  • An Abstraction Technique for Describing Concurrent Program Behaviour

    Oortwijn, W., Blom, S., Gurov, D., Huisman, M. & Zaharieva, M., 2017, Verified Software. Theories, Tools, and Experiments: 9th International Conference, VSTTE 2017, Heidelberg, Germany, July 22-23, 2017, Revised Selected Papers. Paskevich, A. & Wies, T. (eds.). Springer, p. 191-209 19 p. (Lecture Notes in Computer Science; vol. 10712).

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

    14 Citations (Scopus)
    13 Downloads (Pure)

  • An MDE Approach for Modular Program Analyses

    Yildiz, B. M., Bockisch, C., Aksit, M. & Rensink, A., Apr 2017, Programming ’17: Companion to the first International Conference on the Art, Science and Engineering of Programming. Association for Computing Machinery, 5 p. 15

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

    2 Citations (Scopus)
    13 Downloads (Pure)

  • Automated Program Analysis for Novice Programmers

    Blok, T. & Fehnker, A., 2017, HEAd'17: Proceedings of the 3rd International Conference on Higher Education Advances. Domenech, J., Vincent-Vela, M. C., de la Poza, E. & Blazquez, D. (eds.). Universitat Politecnica de Valencia, p. 1138-1146

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

    Open Access
    File
    90 Downloads (Pure)

  • A verification technique for deterministic parallel programs: Invited abstract

    Huisman, M., 2017, Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09 - 11, 2017. Vanhoof, W. & Pientka, B. (eds.). ACM/Sheridan, p. 3 1 p.

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

    14 Downloads (Pure)

  • A Verification Technique for Deterministic Parallel Programs

    Darabi, S., Blom, S. C. C. & Huisman, M., 2017, NASA Formal Methods: 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017, Proceedings. Barrett, C., Davies, M. & Kahsai, T. (eds.). p. 247-264 18 p. (Lecture Notes in Computer Science; vol. 10227).

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

    8 Citations (Scopus)
    8 Downloads (Pure)

  • Better Automated Importance Splitting for Transient Rare Events

    Budde, C. E., D'Argenio, P. R. & Hartmanns, A., 2017, Proceedings of the Third International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2017). Larsen, K. G. & Sokolsky, O. (eds.). Cham: Springer, p. 42-58 17 p. (Lecture Notes in Computer Science; vol. 10606).

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

    10 Citations (Scopus)
    9 Downloads (Pure)

  • Distributed Binary Decision Diagrams for Symbolic Reachability

    Oortwijn, W., van Dijk, T. & van de Pol, J., Jul 2017, SPIN 2017 Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 21-30 10 p.

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

    8 Citations (Scopus)
    14 Downloads (Pure)

  • Efficient probabilistic model checking of smart building maintenance using fault maintenance trees

    Cauchi, N., Hoque, K. A., Abate, A. & Stoelinga, M., 2017, BuildSys'17: Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments. ACM/Sheridan, 24

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

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

  • Efficient simulation-based verification of probabilistic timed automata

    Hartmanns, A., Sedwards, S. & D'Argenio, P. R., 2017, Proceedings of the 2017 Winter Simulation Conference. Chan, W. K. V., D’Ambrogio, A., Zacharewicz, G., Mustafee, N., Wainer, G. & Page, E. (eds.). IEEE, p. 1419-1430 12 p.

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

    11 Citations (Scopus)
    13 Downloads (Pure)

  • Evaluating the Stream Control Transmission Protocol Using Uppaal

    Saini, S. & Fehnker, A., 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017: Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höfner, P. (eds.). EPTCS, p. 1-13 13 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 244).

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

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

  • Explicit State Model Checking with Generalized Büchi and Rabin Automata

    Bloemen, V., Duret-Lutz, A. & van de Pol, J., Jul 2017, SPIN 2017: Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Association for Computing Machinery, p. 50-59 10 p.

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

    2 Citations (Scopus)
    21 Downloads (Pure)

  • How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

    Schivo, S., Yildiz, B. M., Ruijters, E. J. J., Gerking, C., Kumar, R., Dziwok, S., Rensink, A. & Stoelinga, M. I. A., Oct 2017, Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Larsen, K., Sokolsky, O. & Wang, J. (eds.). Springer, p. 319-336 (Lecture Notes in Computer Science; vol. 10606)(Lecture Notes in Programming and Software Engineering).

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

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

  • Improving the Timed Automata Approach to Biological Pathway Dynamics

    Langerak, R., van de Pol, J., Post, J. N. & Schivo, S., 19 Aug 2017, Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 96-111 16 p. (Lecture Notes in Computer Science; vol. 10460).

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

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

  • JANI: Quantitative Model and Tool Interaction

    Budde, C. E., Dehnert, C., Hahn, E. M., Hartmanns, A., Junges, S. & Turrini, A., 2017, Tools and Algorithms for the Construction and Analysis of Systems: 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Legay, A. & Margaria, T. (eds.). Berlin, Heidelberg: Springer, Vol. Part II. p. 151-168 18 p. (Lecture Notes in Computer Science; vol. 10206).

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

    61 Citations (Scopus)
    24 Downloads (Pure)

  • Model-Based Testing of Probabilistic Systems with Stochastic Time

    Gerhold, M. & Stoelinga, M., 18 Jun 2017, Tests and Proofs: 11th International Conference, TAP 2017, Held as Part of STAF 2017, Marburg, Germany, July 19–20, 2017, Proceedings. Broch Johnsen, E. (ed.). p. 77-97 (Lecture notes in computer science; vol. 10375).

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

    3 Citations (Scopus)
    10 Downloads (Pure)

  • Modelling, Verification, and Comparative Performance Analysis of the B.A.T.M.A.N. Protocol

    Chaudhary, K., Fehnker, A. & Mehta, V., 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems, MARS@ETAPS 2017: Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höfner, P. (eds.). EPTCS, p. 53-65 13 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 244).

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

    Open Access
    5 Citations (Scopus)
    3 Downloads (Pure)

  • Modelling and certification for electric mobility

    Graf-Brill, A., Hartmanns, A., Hermanns, H. & Rose, S., Jul 2017, 2017 IEEE 15th International Conference on Industrial Informatics (INDIN 2017). Piscataway, NJ: IEEE, p. 109-114

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

    6 Citations (Scopus)
    20 Downloads (Pure)

  • Parallel Algorithms for Model Checking

    van de Pol, J., Nov 2017, Topics in Theoretical Computer Science: Second IFIP WG 1.8 International Conference, TTCS 2017, Tehran, Iran, September 12-14, 2017, Proceedings. Mousavi, M. R. & Sgall, J. (eds.). Springer, p. xv-xvi 2 p. (Lecture Notes in Computer Science; vol. 10608).

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

  • Parsing and Printing of and with Triples

    Joosten, S. J., 2017, Relational and algebraic methods in computer science: 16th International Conference, RAMiCS 2017, Lyon, France, May 15-18, 2017. Proceedings. Höfner, P., Pous, D. & Struth, G. (eds.). Cham: Springer, p. 159-176 18 p. (Lecture Notes in Computer Science; vol. 10226).

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

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

  • Property-Preserving Generation of Tailored Benchmark Petri Nets

    Bernhard, S., Jasper, M., Meijer, J. & van de Pol, J., Jun 2017, 17th International Conference on Application of Concurrency to System Design - ACSD 2017: 25-30 June 2017, Zaragoza, Spain : proceedings. Piscataway, NJ: IEEE, 8 p.

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

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

  • Quantitative security and safety analysis with attack-fault trees

    Kumar, R. & Stoelinga, M. I. A., 12 Jan 2017, Proceedings of the 18th IEEE International Symposium on High Assurance Systems Engineering (HASE 2017). IEEE, p. 25-32 8 p. (HASE).

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

    Open Access
    File
    88 Citations (Scopus)
    1788 Downloads (Pure)

  • Rare Event Simulation for Dynamic Fault Trees

    Ruijters, E. J. J., Reijsbergen, D. P., de Boer, P.-T. & Stoelinga, M. I. A., 17 Aug 2017, Computer Safety, Reliability, and Security: 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings. Tonetta, S., Schoitsch, E. & Bitsch, F. (eds.). Springer, p. 20-35 15 p. (Lecture Notes in Computer Science; vol. 10488).

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

    Open Access
    File
    192 Downloads (Pure)

  • The RERS 2017 Challenge and Workshop

    Jasper, M., Fecke, M., Steffen, B., Schordan, M., Meijer, J., van de Pol, J., Howar, F. & Siegel, S. F., Jul 2017, Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. New York: Association for Computing Machinery, p. 11-20 10 p.

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

    15 Citations (Scopus)
    19 Downloads (Pure)

  • The VerCors Tool Set: Verification of Parallel and Concurrent Software

    Blom, S., Darabi, S., Huisman, M. & Oortwijn, W., 2017, Integrated Formal Methods: 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings. Polikarpova, N. & Schneider, S. (eds.). Springer, p. 102-110 9 p. (Lecture Notes in Computer Science; vol. 10510).

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

    56 Citations (Scopus)
    59 Downloads (Pure)

  • Uniform analysis of fault trees through model transformations

    Ruijters, E., Schivo, S., Stoelinga, M. & Rensink, A., 23 Jan 2017, 2017 Annual Reliability and Maintainability Symposium (RAMS). IEEE, 7 p.

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

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

  • Verification of Concurrent Software with VerCors

    Huisman, M., 2017, Proceedings of the 29th Nordic Workshop on Programming Theory (NWPT). Walden, M. (ed.). p. 2 1 p. (TUCS lecture notes; no. 27).

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

    Open Access
    File
    246 Downloads (Pure)
  • 2016

    A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques

    Hahn, E. M. & Hartmanns, A., 2016, Dependable Software Engineering: Theories, Tools, and Applications: Second International Symposium, SETTA 2016, Beijing, China, November 9-11, 2016, Proceedings. Fränzle, M. & Kapur, D. (eds.). Cham: Springer, p. 85-100 16 p. (Lecture Notes in Computer Science; vol. 9984).

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

    Open Access
    File
    15 Citations (Scopus)
    176 Downloads (Pure)

  • A simulation tool for evolving functionalities in disordered nanoparticle networks

    van Damme, R. M. J., Broersma, H. J., Mikhal, J. O., Lawrence, C. P. & van der Wiel, W. G., 21 Nov 2016, 2016 IEEE Congress on Evolutionary Computation (CEC 2016). USA: IEEE, p. 5238-5245 8 p.

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

    3 Citations (Scopus)
    13 Downloads (Pure)

  • Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis

    Meijer, J. & van de Pol, J. C., 7 Jun 2016, NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings. Rayadurgam, S. & Tkachuk, O. (eds.). Springer, p. 255-271 15 p. (Lecture Notes in Computer Science; vol. 9690).

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

    Open Access
    File
    20 Citations (Scopus)
    544 Downloads (Pure)

  • Better railway engineering through statistical model checking

    Ruijters, E. & Stoelinga, M., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10–14, 2016, Proceedings, Part I. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 151-165 15 p. (Lecture Notes in Computer Science; vol. 9952).

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

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

  • Design and implementation of digital communication systems for victim-offender mediation

    van den Berg, L. I. S. A., Zebel, S., Stoelinga, M. I. A., Haverkort, B. R. H. M. & Giebels, E., 5 Sept 2016, SMART School on computational social and behavioral sciences. Paris: Laboratory of Excellence SMART, p. -

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

  • Dynamic Frames Based Verification Method for Concurrent Java Programs

    Mostowski, W., 2016, Proceedings of the 7th Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2015. Revised Selected Papers. Gurfinkel, A. & Seshia, S. A. (eds.). Cham: Springer, p. 124-141 18 p. (Lecture Notes in Computer Science; vol. 9593).

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

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