Formal Methods and Tools

Filter
Conference contribution

Search results

  • 2015

    Probabilistic Programming: A True Verification Challenge

    Katoen, J. P., Oct 2015, Automated Technology for Verification and Analysis: 13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings. Finkbeiner, B., Pu, G. & Zhang, L. (eds.). London: Springer, p. 1-3 3 p. (Lecture Notes in Computer Science; vol. 9364).

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

    Open Access
    File
    226 Downloads (Pure)

  • Quantitative Attack Tree Analysis via Priced Timed Automata

    Kumar, R., Ruijters, E. J. J. & Stoelinga, M. I. A., Sept 2015, Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015). Sankaranarayanan, S. & Vicario, E. (eds.). Zurich: Springer, p. 156-171 16 p. (Lecture Notes in Computer Science; vol. 9268).

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

    62 Citations (Scopus)
    13 Downloads (Pure)

  • Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML

    Kandziora, J., Huisman, M., Bockisch, C. & Zaharieva, M., Jul 2015, Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs (FTfJP 2015). Monahan, R. (ed.). New York: Association for Computing Machinery, p. 8 6 p. 8

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

    File
    2 Citations (Scopus)
    203 Downloads (Pure)

  • Sequential and Parallel Attack Tree Modelling

    Arnold, F., Guck, D., Kumar, R. & Stoelinga, M., Sept 2015, Computer Safety, Reliability, and Security: SAFECOMP 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands, September 22, 2015, Proceedings. Koornneef, F. & van Gulijk, C. (eds.). Cham: Springer, p. 291-299 9 p. (Lecture Notes in Computer Science; vol. 9338).

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

    35 Citations (Scopus)
    26 Downloads (Pure)

  • Specification and verification of atomic operations in GPGPU programs

    Amighi, A., Darabi, S., Blom, S. & Huisman, M., Sept 2015, Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM 2015). Calinescu, R. & Rumpe, B. (eds.). Switzerland: Springer, p. 69-83 15 p. (Lecture Notes in Computer Science; vol. 9276).

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

    File
    8 Citations (Scopus)
    366 Downloads (Pure)

  • Sylvan: Multi-core Decision Diagrams

    van Dijk, T. & van de Pol, J. C., Apr 2015, Proceedings of the 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2015. London: Springer, p. 677-691 15 p. (Lecture Notes in Computer Science; vol. 9035).

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

    File
    30 Citations (Scopus)
    424 Downloads (Pure)

  • The DESARC method: An effective approach for university-industry cooperation

    Aksit, M., Tekinerdogan, B., Sözer, H., Safi, H. F. & Ayas, M., Jan 2015, Proceedings of the International Conference on Advances in Computing, Control and Networking, ACCN 2015. New York, NY, USA: Institute of Research Engineers and Doctors, p. 51-53 3 p.

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

    File
    126 Downloads (Pure)

  • Time dependent analysis with dynamic counter measure trees

    Kumar, R., Guck, D. & Stoelinga, M. I. A., Apr 2015, Proceedings of the 13th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2015). France: INRIA , p. 1-5 4 p.

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

    File
    7 Citations (Scopus)
    69 Downloads (Pure)

  • Towards Compliance Verification Between Global and Local Process Models

    Kwantes, P. M., van Gorp, P., Kleijn, J. & Rensink, A., Jul 2015, Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015. Parisi-Presicce, F. & Westfechtel, B. (eds.). Berlin: Springer, p. 221-236 16 p. (Lecture Notes in Computer Science; vol. 9151).

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

    File
    8 Citations (Scopus)
    26 Downloads (Pure)

  • Verification of loop parallelisations

    Blom, S., Darabi, S. & Huisman, M., Apr 2015, Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015). Egyed, A. & Schaefer, I. (eds.). London: Springer, p. 202-217 15 p. (Lecture Notes in Computer Science; vol. 9033).

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

    File
    18 Citations (Scopus)
    187 Downloads (Pure)
  • 2014

    A geometric approach to stability of linear reset systems

    Vettori, P., Polderman, J. W. & Langerak, R., 7 Jul 2014, Proceedings of the 21st International Symposium on Mathematical Theory of Networks and Systems, MTNS 2014. Groningen: University of Groningen, p. 776-783 8 p.

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

    3 Downloads (Pure)

  • An echo in biology: validating the executable chondrocyte

    Scholma, J., Schivo, S., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N., 1 Apr 2014, 2014 World Congress on Osteoarthritis. Supplement ed. Amsterdam: Elsevier, Vol. 22. p. S157-S157 1 p. (Osteoarthritis and Cartilage; vol. 22).

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

    File
    138 Downloads (Pure)

  • A Symbolic Algorithm for the Analysis of Robust Timed Automata

    Kordy, P. T., Langerak, R., Mauw, S. & Polderman, J. W., 2014, 19th International Symposium on Formal Methods, FM 2014. Jones, C., Pihlajasaari, P. & Sun, J. W. (eds.). London: Springer, p. 351-366 16 p. (Lecture Notes in Computer Science; vol. 8442).

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

    File
    3 Citations (Scopus)
    40 Downloads (Pure)

  • A timed-automata approach for critical path detection in a soft real-time application

    Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M., Feb 2014, Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and network-based Processing, PDP 2014, Work In Progress Session. Italy: SEA-Johannes Kepler University Linz, p. - 2 p.

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

    File
    63 Downloads (Pure)

  • A tutorial on interactive Markov chains

    Arnold, F., Gebler, D., Guck, D. & Hatefi, H., Jun 2014, Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems. Remke, A. K. I., Remke, A. K. I., Stoelinga, M. I. A. & Stoelinga, M. I. A. (eds.). Berlin: Springer, p. 26-66 41 p. (Lecture Notes in Computer Science; vol. 8453).

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

    File
    1 Citation (Scopus)
    454 Downloads (Pure)

  • BenchmarX

    Anjorin, A., Cunha, A., Giese, H., Hermann, F., Rensink, A. & Schürr, A., Mar 2014, Bidirectional Transformations (BX 2014), Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference. Hidaka, S. & Terwilliger, J. (eds.). Aachen, Germany: CEUR, p. 82-86 5 p. (CEUR Workshop Proceedings; vol. 1133).

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

    File
    62 Downloads (Pure)

  • ECHO: the executable chondrocyte

    Scholma, J., Schivo, S., Kerkhofs, J., Langerak, R., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N., 9 Jun 2014, Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting. Malden: Wiley, p. 54-54 1 p. (s1; vol. 8).

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

    File
    133 Downloads (Pure)

  • Emergent Gummy Modules: Modular Representation of Emergent Behavior

    Malakuti Khah Olun Abadi, S. & Aksit, M., Sept 2014, Proceedings of the 2014 International Conference on Generative Programming: Concepts and Experiences, GPCE 2014. New York: Association for Computing Machinery, p. 15-24 10 p.

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

    File
    3 Citations (Scopus)
    61 Downloads (Pure)

  • Event-based Modularization: How Emergent Behavioral Patterns Must Be Modularized?

    Malakuti Khah Olun Abadi, S. & Aksit, M., Apr 2014, Proceedings of the 13th Workshop on Foundations of Aspect-Oriented Languages, FOAL 2014. New York: Association for Computing Machinery, p. 7-12 6 p.

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

    File
    5 Citations (Scopus)
    80 Downloads (Pure)

  • Extending Markov Automata with State and Action Rewards

    Guck, D., Timmer, M. & Blom, S., Apr 2014, Proceedings of the 12th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2014). Bertrand, N. & Bortolussi, L. (eds.). Rennes: INRIA , p. - 4 p.

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

    File
    62 Downloads (Pure)

  • Extending the Finite Domain Solver of GNU Prolog

    Bloemen, V., Diaz, D., van der Bijl, M. & Abreu, S., Jul 2014, Proceedings of the International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments 2014. Ströder, T. & Swift, T. (eds.). Aachen: RWTH Aachen, p. 47-62 16 p. (Aachener Informatik-Berichte (AIB); no. 2014-09).

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

    Open Access
    File
    44 Downloads (Pure)

  • Forever software

    Rensink, A., Oct 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I1. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 535-537 3 p. (Lecture Notes in Computer Science; vol. 8802).

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

    4 Citations (Scopus)
    12 Downloads (Pure)

  • Formal Specifications for Java's Synchronisation Classes

    Amighi, A., Blom, S., Huisman, M., Mostowski, W. & Zaharieva-Stojanovski, M., 12 Feb 2014, 22nd Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP 2014). Piscataway, NJ: IEEE, p. 725-733 9 p. (Proceedings Euromicro International Conference on Parallel, Distributed, and Network-Based Processing; vol. 2014).

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

    8 Citations (Scopus)
    42 Downloads (Pure)

  • Fundamental Approaches to Software Engineering - Preface

    Gnesi, S., Apr 2014, 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014. Gnesi, S. & Rensink, A. (eds.). Berlin: Springer, p. VII-VII 2 p. (Lecture Notes in Computer Science; vol. 8411).

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

    File
    61 Downloads (Pure)

  • Generating and Solving Symbolic Parity Games

    Kant, G. & van de Pol, J. C., Apr 2014, Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014). EPTCS, p. 2-14 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 159).

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

    File
    12 Citations (Scopus)
    154 Downloads (Pure)

  • Graph- versus Vector-Based Analysis of a Consensus Protocol

    Delzanno, G., Rensink, A. & Traverso, R., Apr 2014, Proceedings of the 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014). Bošnački, D., Edelkamp, S., Lluch Lafuente, A. & Wijs, A. (eds.). EPTCS, p. 44-57 14 p. (Electronic Proceedings in Theoretical Computer Science; vol. 159).

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

    File
    135 Downloads (Pure)

  • Independent Set Reconfiguration in Cographs

    Bonsma, P. S., Jun 2014, Graph-Theoretic Concepts in Computer Science: 40th International Workshop, WG 2014, Nouan-le-Fuzelier, France, June 25-27, 2014. Revised Selected Papers. Kratsch, D. & Todinca, I. (eds.). Cham, Switzerland: Springer, p. 105-116 12 p. (Lecture Notes in Computer Science; vol. 8747).

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

    10 Citations (Scopus)
    7 Downloads (Pure)

  • Instance Pointcuts: Selecting Object Sets Based on Their Usage History

    Bockisch, C., Hatun, K. & Aksit, M., Sept 2014, Proceedings of the 2014 International Conference on Principles and Practices of Programming on the Java platform: Virtual machines, Languages, and Tools, PPPJ 2014. New York: Association for Computing Machinery, p. 27-38 12 p.

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

    File
    67 Downloads (Pure)

  • Interpreting energy profiles with CEGAR

    te Brinke, S., Mar 2014, Proceedings of the 29th Annual ACM Symposium on Applied Computing, SAC 2014. New York: Association for Computing Machinery, p. 1221-1222 2 p.

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

    File
    39 Downloads (Pure)

  • Lace: non-blocking split deque for work-stealing

    van Dijk, T. & van de Pol, J. C., Aug 2014, Proceedings of the 7th International Euro-Par Workshop on Multi-/Many-core Computing Systems, MuCoCoS 2014. Switzerland: Springer, p. 206-217 12 p. (Lecture Notes in Computer Science; vol. 8806).

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

    File
    22 Citations (Scopus)
    653 Downloads (Pure)

  • Model Checking Gigantic Markov Models

    Katoen, J. P., Sept 2014, Proceedings of the 12th International Conference on Software Engineering and Formal Methods, SEFM 2014. Giannakopoulou, D. & Salaün, G. (eds.). London: Springer, p. xv-xvii 2 p. (Lecture Notes in Computer Science; vol. 8702).

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

    File
    143 Downloads (Pure)

  • Modelling and analysis of Markov reward automata

    Guck, D., Timmer, M., Hatefi, H., Ruijters, E. J. J. & Stoelinga, M. I. A., Nov 2014, Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014. Cassez, F. & Raskin, J.-F. (eds.). Berlin: Springer, p. 168-184 17 p. (Lecture Notes in Computer Science; vol. 8837).

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

    Open Access
    File
    25 Citations (Scopus)
    214 Downloads (Pure)

  • Monte-Carlo Tree Search for Poly-Y

    Wevers, L. & te Brinke, S., 6 Nov 2014, Proceedings of the 26th Benelux Conference on Artificial Intelligence, BNAIC 2014. Nijmegen, The Netherlands: Radboud Universiteit Nijmegen, p. 119-127 8 p. (BNAIC ... : proceedings of the ... Belgium/Netherlands Artificial Intelligence Conference).

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

    File
    132 Downloads (Pure)

  • Noninvasive regelbasierte Graphtransformation für Java

    Translated title of the contribution: Noninvasive rule-based graph transformation for JavaHunt, J. J., Rensink, A. & de Mol, M., 1 Jan 2014, Software Engineering 2014: Fachtagung des GI-Fachbereichs Softwaretechnik, Kiel, Deutschland, 25-28.02.2014. Hasselbring, W. & Ehmke, N. C. (eds.). Bonn: Gesellschaft für Informatik, p. 91-92 2 p. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); vol. 227).

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

    Open Access
    File
    27 Downloads (Pure)

  • Persistent Functional Languages: Toward Functional Relational Databases

    Wevers, L., 22 Jun 2014, Proceedings of the 2014 SIGMOD PhD Symposium. New York: Association for Computing Machinery, p. 21-25 5 p.

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

    File
    57 Downloads (Pure)

  • Preface

    Huisman, M. & van de Pol, J., Sept 2014, Proceedings of the 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014). Huisman, M. & van de Pol, J. (eds.). Berlin: European Association of Software Science and Technology, p. 1-3 3 p. (Electronic Communications of the EASST; vol. 70).

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

    Open Access
    File
    47 Downloads (Pure)

  • Probably safe or live

    Katoen, J. P., Song, L. & Zhang, L., Jul 2014, Proceedings of the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS). New York: Association for Computing Machinery, p. 55 10 p.

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

    File
    12 Citations (Scopus)
    174 Downloads (Pure)

  • Quantitative security analysis for programs with low input and noisy output

    Ngo, M. T. & Huisman, M., Feb 2014, Proceedings of the 6th International Symposium on Engineering Secure Software and Systems, ESSoS 2014. London: Springer, p. 77-94 18 p. (Lecture Notes in Computer Science; vol. 8364).

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

    4 Citations (Scopus)
    8 Downloads (Pure)

  • Read, Write and Copy Dependencies for Symbolic Model Checking

    Meijer, J., Kant, G., Blom, S. & van de Pol, J. C., Nov 2014, Proceedings of the 10th International Haifa Verification Conference, HVC 2014. Berlin: Springer, p. 204-219 16 p. (Lecture Notes in Computer Science; vol. 8855).

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

    File
    16 Citations (Scopus)
    103 Downloads (Pure)

  • Reconfiguring Independent Sets in Claw-Free Graphs

    Bonsma, P. S., Kamiński, M. & Wrochna, M., Jul 2014, Proceedings of the 14th Scandinavian Symposium and Workshops on Algorithm Theory, SWAT 2014. Ravi, R. & Gørtz, I. L. (eds.). Switzerland: Springer, p. 86-97 12 p. (Lecture Notes in Computer Science; vol. 8503).

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

    File
    62 Citations (Scopus)
    77 Downloads (Pure)

  • Resource-Constrained Optimal Scheduling of Synchronous Dataflow Graphs via Timed Automata

    Ahmad, W., de Groote, R., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., Jun 2014, Proceedings of the 14th International Conference on Application of Concurrency to System Design (ACSD 2014). USA: IEEE, p. 72-81 8 p.

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

    File
    54 Downloads (Pure)

  • Resource Protection Using Atomics: Patterns and Verification

    Amighi, A., Blom, S. & Huisman, M., Nov 2014, Proceedings of the 12th Asian Symposium on Programming Languages and Systems, APLAS 2014. Garrigue, J. (ed.). Berlin: Springer, p. 255-274 20 p. (Lecture Notes in Computer Science; vol. 8858).

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

    File
    5 Citations (Scopus)
    37 Downloads (Pure)

  • Setting Parameters for Biological Models With ANIMO

    Schivo, S., Scholma, J., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R., 8 Apr 2014, Proceedings 1st International Workshop on Synthesis of Continuous Parameters. André, É. & Frehse, G. (eds.). Open Publishing Association, p. 35-47 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 145).

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

    File
    8 Citations (Scopus)
    159 Downloads (Pure)

  • Smart railroad maintenance engineering with stochastic model checking

    Guck, D., Katoen, J. P., Stoelinga, M. I. A., Luiten, T. & Romijn, J., Apr 2014, Proceedings of the Second International Conference on Railway Technology: Research, Development and Maintenance, Railways 2014. Pombo, J. (ed.). Stirlingshire, UK: Civil-Comp Press, p. 299 15 p. (Civil-Comp Proceedings; vol. 104).

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

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

  • Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices

    Zambon, E. & Rensink, A., Apr 2014, Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014). Hermann, F. & Sauer, S. (eds.). Berlin, Germany: European Association of Software Science and Technology, p. - 13 p. (Electronic Communications of the EASST; vol. 67, no. 938).

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

    File
    3 Citations (Scopus)
    184 Downloads (Pure)

  • Strata: typed semi-structured data in DokuWiki

    Wanders, B. & te Brinke, S., 27 Aug 2014, Proceedings of the 10th International Symposium on Open Collaboration (OpenSym 2014). New York: Association for Computing Machinery, p. 50 2 p.

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

    File
    122 Downloads (Pure)

  • The Complexity of Bounded Length Graph Recoloring and CSP Reconfiguration

    Bonsma, P. S., Mouawad, A. E., Nishimura, N. & Raman, V., Sept 2014, Proceedings of the 9th International Symposium on Parameterized and Exact Computation, IPEC 2014. Cygan, M. & Heggernes, P. (eds.). Switzerland: Springer, p. 110-121 12 p. (Lecture Notes in Computer Science; vol. 8894).

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

    34 Citations (Scopus)
    11 Downloads (Pure)

  • The KeY platform for verification and analysis of Java programs

    Ahrendt, W., Beckert, B., Bruns, D., Bubel, R., Gladisch, C., Grebing, S., Hähnle, R., Hentschel, M., Herda, M., Klebanov, V., Mostowski, W., Scheben, C., Schmitt, P. H. & Ulbrich, M., 14 Oct 2014, Verified Software: Theories, Tools and Experiments: 6th International Conference, VSTTE 2014, Vienna, Austria, July 17-18, 2014, Revised Selected Papers. Giannakopoulou, D. & Kroening, D. (eds.). Cham: Springer, p. 55-71 17 p. (Lecture Notes In Computer Science; vol. 8471).

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

    40 Citations (Scopus)
    89 Downloads (Pure)

  • The VerCors Tool for Verification of Concurrent Programs

    Blom, S. & Huisman, M., May 2014, Proceedings of the 19th International Symposium on Formal Methods, FM 2014. Jones, C., Pihlajasaari, P. & Sun, J. (eds.). Berlin: Springer, p. 127-131 5 p. (Lecture Notes in Computer Science; vol. 8442).

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

    File
    43 Citations (Scopus)
    454 Downloads (Pure)

  • Time-dependent analysis of attacks

    Arnold, F., Hermanns, H., Pulungan, R. & Stoelinga, M., Apr 2014, Proceedings of the Third International Conference on Principles and Security of Trust, POST 2014. Berlin: Springer, p. 285-305 21 p. (Lecture Notes in Computer Science; vol. 8414).

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

    64 Citations (Scopus)
    2 Downloads (Pure)