Formal Methods and Tools

Filter
Conference contribution

Search results

  • 2014

    Towards Online Relational Schema Transformations

    Wevers, L., Hofstra, M., Tammens, M., Huisman, M. & van Keulen, M., 17 Oct 2014, Dutch-Belgian Database Day 2014. Antwerp, Belgium: Dutch-Belgian Database Day, p. 1 1 p.

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

    File
    1 Citation (Scopus)
    65 Downloads (Pure)

  • Towards Rigorously Faking Bidirectional Model Transformations

    Poskitt, C. M., Dodds, M., Paige, R. F. & Rensink, A., Sept 2014, AMT 2014: Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014). Dingel, J., de Lara, J., Lúcio, L. & Vangheluwe, H. (eds.). Aachen: CEUR, p. 70-75 6 p. (CEUR Workshop Proceedings; vol. 1277).

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

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

  • Verifying class invariants in concurrent programs

    Zaharieva, M. & Huisman, M., Apr 2014, Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014). Gnesi, S. & Rensink, A. (eds.). Berlin: Springer, p. 230-245 16 p. (Lecture Notes in Computer Science; vol. 8411).

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

    File
    112 Downloads (Pure)

  • Verifying Functional Behaviour of Concurrent Programs

    Zaharieva, M., Huisman, M. & Blom, S., Jul 2014, FTfJP'14: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs. Pearce, D. (ed.). New York: Association for Computing Machinery, p. 4:1-4:6 6 p.

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

    File
    2 Citations (Scopus)
    175 Downloads (Pure)

  • Verifying parallel loops with separation logic

    Blom, S., Darabi, S. & Huisman, M., 12 Apr 2014, Proceedings of the 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014): Grenoble, France, 12 April 2014. Donaldson, A. F. & Vasconcelos, V. T. (eds.). New York: Cornell University, p. 47-53 7 p. (Electronic Proceedings in Theoretical Computer Science; vol. 155).

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

    Open Access
    File
    1 Citation (Scopus)
    106 Downloads (Pure)
  • 2013

    A case study in formal verification using multiple explicit heaps

    Mostowski, W., Jun 2013, Formal Techniques for Distributed Systems: Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Florence, Italy, June 3-5, 2013. Proceedings. Beyer, D. & Boreale, M. (eds.). Berlin, Heidelberg: Springer, p. 20-34 15 p. (Lecture Notes in Computer Science; vol. 7892).

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

    7 Citations (Scopus)
    6 Downloads (Pure)

  • Class diagram restructuring with GROOVE

    Smid, W. & Rensink, A., Nov 2013, Proceedings Sixth Transformation Tool Contest. Van Gorp, P., Rose, L. M. & Krause, C. (eds.). ArXiv.org, p. 83-87 5 p. (Electronic Proceedings in Theoretical Computer Science; vol. 135).

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

    File
    127 Downloads (Pure)

  • Concurrency meets probability: theory and practice (abstract)

    Katoen, J. P., Aug 2013, 24th International Conference on Concurrency Theory, CONCUR 2013. London: Springer, p. 44-45 2 p. (Lecture Notes in Computer Science; vol. 8052).

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

    File
    33 Downloads (Pure)

  • Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

    Ngo, M. T., Stoelinga, M. & Huisman, M., Feb 2013, Proceedings of the 5th International Conference on Engineering Secure Software and Systems, ESSoS 2013. London: Springer, p. 107-122 16 p. (Lecture Notes in Computer Science; no. 7781).

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

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

  • Confluence reduction for Markov automata

    Timmer, M., van de Pol, J. & Stoelinga, M., Mar 2013, Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013). Trieste: University of Trieste, p. 18 4 p.

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

    Open Access
    File
    96 Downloads (Pure)

  • Confluence Reduction for Markov Automata

    Timmer, M., van de Pol, J. & Stoelinga, M. I. A., Aug 2013, Proceedings of the 11th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS). Braberman, V. & Fribourg, L. (eds.). Berlin: Springer, p. 243-257 15 p. (Lecture Notes in Computer Science; vol. 8053).

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

    Open Access
    File
    21 Citations (Scopus)
    113 Downloads (Pure)

  • DFTCalc: a tool for efficient fault tree analysis

    Arnold, F., Belinfante, A., van der Berg, F. I., Guck, D. & Stoelinga, M. I. A., Sept 2013, Proceedings of the 32nd International Conference on Computer Safety, Reliability, and Security (SAFECOMP). Berlin: Springer, p. 293-301 9 p. (Lecture Notes in Computer Science; vol. 8153).

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

    File
    49 Citations (Scopus)
    597 Downloads (Pure)

  • Divergent quiescent transition systems

    Stokkink, W. G. J., Timmer, M. & Stoelinga, M. I. A., Jun 2013, Proceedings of the 7th International Conference on Tests and Proofs (TAP 2013). Veanes, M. & Viganò, L. (eds.). Berlin: Springer, p. 214-231 18 p. (Lecture Notes in Computer Science; vol. 7942).

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

    File
    7 Citations (Scopus)
    284 Downloads (Pure)

  • Guard-based Partial-Order Reduction

    Laarman, A., Pater, E., van de Pol, J. C. & Weber, M., 8 Jul 2013, Proceedings of the 20th International SPIN Symposium on Model Checking of Software, SPIN 2013. Bartocci, E. & Ramakrishnan, C. R. (eds.). London: Springer, p. 227-245 18 p. (Lecture Notes in Computer Science; vol. 7976).

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

    File
    8 Citations (Scopus)
    443 Downloads (Pure)

  • How do developers use APIs? A case study in concurrency

    Blom, S., Kiniry, J. & Huisman, M., Jul 2013, Proceedings of the 18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013. USA: IEEE, p. 212-221 10 p.

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

    File
    8 Citations (Scopus)
    224 Downloads (Pure)

  • Improved On-The-Fly Livelock Detection: Combining Partial Order Reduction and Parallelism for DFSFIFO

    Laarman, A. & Faragó, D., 2013, NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings. Brat, G., Rungta, N. & Venet, A. (eds.). Springer, p. 32-47 15 p. (Lecture Notes in Computer Science; vol. 7871).

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

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

  • Improving the performance of periodic real-time processes: a graph theoretical approach

    Boode, A. H., Broersma, H. J. & Broenink, J. F., 25 Aug 2013, Communicating Process Architectures 2013. Bicester: Open Channel Publishing Ltd, p. 57-79 23 p. (35th WoTUG conference on concurrent and parallel programming).

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

    File
    85 Downloads (Pure)

  • Linear-time algorithms for scattering number and hamilton-connectivity of interval graphs

    Broersma, H. J., Fiala, J., Golovach, P. A., Kaiser, T., Paulusma, D. & Proskurowski, A., 2013, Graph-Theoretic Concepts in Computer Science: 39th International Workshop, WG 2013, Lübeck, Germany, June 19-21, 2013, Revised Papers. Brandstädt, A., Jansen, K. & Reischuk, R. (eds.). Berlin: Springer, p. 127-138 12 p. (Lecture Notes in Computer Science; vol. 8165).

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

    2 Citations (Scopus)
    6 Downloads (Pure)

  • Mathematical modeling of signaling pathways in osteoarthritis

    Scholma, J., Kerkhofs, J., Schivo, S., Langerak, R., van der Vet, P. E., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N., 19 Apr 2013, 2013 Osteoarthritis Research Society International (OARSI) World Congress. Lohmander, S. (ed.). Amsterdam: Elsevier, p. - 1 p. (S123; vol. 21, no. Suppl.).

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

    1 Downloads (Pure)

  • Modelling, Reduction and Analysis of Markov Automata

    Guck, D., Hatefi, H., Hermanns, H., Katoen, J. P. & Timmer, M., Aug 2013, Proceedings of the 10th International Conference on Quantitative Evaluation of Systems (QEST). Joshi, K. R., Siegle, M., Stoelinga, M. I. A. & d' Argenio, P. R. (eds.). Berlin: Springer, p. 55-71 17 p. (Lecture Notes in Computer Science; vol. 8054).

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

    File
    33 Citations (Scopus)
    332 Downloads (Pure)

  • Multi-core emptiness checking of timed Büchi automata using inclusion abstraction

    Laarman, A., Olesen, M. C., Dalsgaard, A. E., Larsen, K. G. & van de Pol, J., 13 Jul 2013, Computer Aided Verification: 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Sharygina, N. & Veith, H. (eds.). Berlin, Heidelberg: Springer, p. 968-983 18 p. (Lecture Notes in Computer Science; vol. 8044).

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

    25 Citations (Scopus)
    15 Downloads (Pure)

  • On-the-fly confluence detection for statistical model checking

    Hartmanns, A. & Timmer, M., Mar 2013, Proceedings of the 11th Workshop on Quantitative Aspects of Programming Languages and Systems (QAPL 2013). Trieste: University of Trieste, p. 19 4 p.

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

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

  • Quantitative penetration testing with item response theory

    Arnold, F., Pieters, W. & Stoelinga, M., 6 Dec 2013, 9th International Conference on Information Assurance and Security, IAS 2013. Piscataway, NJ: IEEE, p. 49-54 6 p.

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

    9 Citations (Scopus)
    18 Downloads (Pure)

  • Quantitative Security Analysis for Multi-threaded Programs

    Ngo, M. T. & Huisman, M., 11 Jun 2013, Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems. Bortolussi, L. & Wiklicky, H. (eds.). ArXiv.org, p. 34-48 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 117).

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

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

  • Taming confusion for modeling and implementing probabilistic concurrent systems

    Katoen, J. P. & Peled, D., Mar 2013, Proceedings of the 22nd European Symposium on Programming (ESOP 2013). Felleisen, M. & Gardner, P. (eds.). London: Springer, p. 411-430 20 p. (Lecture Notes in Computer Science; vol. 7792).

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

    File
    10 Citations (Scopus)
    351 Downloads (Pure)

  • The fine details of fast dynamic programming over tree decompositions

    Bodlaender, H. L., Bonsma, P. S. & Lokshtanov, D., Sept 2013, Proceedings of the 8th International Symposium on Parameterized and Exact Computation (IPEC 2013). Gutin, G. & Szeider, S. (eds.). Berlin: Springer, p. 41-53 13 p. (Lecture Notes in Computer Science; vol. 8246).

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

    File
    20 Citations (Scopus)
    9 Downloads (Pure)

  • Tight lower and upper bounds for the complexity of canonical colour refinement

    Berkholz, C., Bonsma, P. S. & Grohe, M., Sept 2013, Proceedings of the 21st Annual European Symposium on Algorithms (ESA 2013). Bodlaender, H. L. & Italiano, G. F. (eds.). Berlin: Springer, p. 145-156 12 p. (Lecture Notes in Computer Science; vol. 8125).

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

    File
    25 Citations (Scopus)
    49 Downloads (Pure)

  • Traitor: associating concepts using the world wide web

    Drijfhout, W., Oliver, J., Oliver, J., Wevers, L. & Hiemstra, D., Apr 2013, Proceedings of the 13th Dutch-Belgian Workshop on Information Retrieval, DIR 2013. Aachen, Germany: CEUR, p. 56-57 2 p. (CEUR Workshop Proceedings; vol. 986).

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

    File
    72 Downloads (Pure)
  • 2012

    A Distributed Scheduling Algorithm for Real-time (D-SAR) Industrial Wireless Sensor and Actuator Networks

    Zand, P., Chatterjea, S., Ketema, J. & Havinga, P. J. M., Sept 2012, Proceedings of the 17th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2012. USA: IEEE, p. 1-4 4 p.

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

    File
    17 Citations (Scopus)
    221 Downloads (Pure)

  • A history of BlockingQueues

    Zaharieva-Stojanovski, M., Huisman, M. & Blom, S., 19 Sept 2012, Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2012). Pace, G. J. & Ravn, A. P. (eds.). London: EPTCS, p. 31-35 5 p. (Electronic Proceedings in Theoretical Computer Science; vol. 94).

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

    Open Access
    File
    76 Downloads (Pure)

  • Analytische meetkunde door een synthetische bril

    Timmer, M., Jeurnink, G. A. M. & Verhoef, N., Feb 2012, Conferentiegids van de 18e Nationale Wiskunde Dagen. Utrecht: Freudenthal Instituut, p. 44-44 1 p.

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

    Open Access
    File
    55 Downloads (Pure)

  • A tool framework for deriving the application architecture for global software development projects

    Yildiz, B. M., Tekinerdogan, B. & Cetin, S., Aug 2012, Proceedings of the 7th IEEE International Conference on Global Software Engineering, ICGSE 2012. USA: IEEE, p. 94-103 10 p.

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

    File
    3 Citations (Scopus)
    52 Downloads (Pure)

  • Characterizing Languages by Normalization and Termination in String Rewriting

    Ketema, J. & Simonsen, J. G., Aug 2012, Developments in Language Theory: 16th International Conference, DLT 2012, Taipei, Taiwan, August 14-17, 2012. Proceedings. Yen, H.-C. & Ibarra, O. H. (eds.). Berlin, Heidelberg: Springer, p. 459-464 6 p. (Lecture Notes in Computer Science; vol. 7410).

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

    Open Access
    File
    235 Downloads (Pure)

  • Efficient Instantiation of Parameterised Boolean Equation Systems to Parity Games

    Kant, G. & van de Pol, J. C., Apr 2012, First Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2012). Wijs, A. J., Bošnački, D. & Edelkamp, S. (eds.). EPTCS, p. 50-65 16 p. (Electronic Proceedings in Theoretical Computer Science; vol. 99).

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

    File
    134 Downloads (Pure)

  • Efficient Modelling and Generation of Markov Automata

    Timmer, M., Katoen, J. P., van de Pol, J. C. & Stoelinga, M. I. A., 31 Mar 2012, 10th Workshop on Quantitative Aspects of Programming Languages, QAPL 2012. Pisa: Istituto di Scienza e Tecnologie dell'Informazione, p. - 4 p.

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

    File
    32 Citations (Scopus)
    122 Downloads (Pure)

  • Efficient Modelling and Generation of Markov Automata

    Timmer, M., Katoen, J. P., van de Pol, J. & Stoelinga, M. I. A., Sept 2012, CONCUR 2012 - Concurrency Theory: 23rd International Conference. Koutny, M. & Ulidowski, I. (eds.). Berlin, Heidelberg: Springer, p. 364-379 16 p. (Lectures Notes in Computer Science; vol. 7454).

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

    Open Access
    File
    166 Downloads (Pure)

  • Formal correctness, safety, dependability, and performance analysis of a satellite

    Esteve, M.-A., Katoen, J.-P., Nguyen, V. Y., Postma, B. & Yushtein, Y., Jun 2012, 34th International Conference on Software Engineering, ICSE 2012. Piscataway, NJ, USA: IEEE, p. 1022-1031 10 p. (ACM Proceedings - International Conference on Software Engineering).

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

    Open Access
    File
    66 Citations (Scopus)
    46 Downloads (Pure)

  • Generalised compositionality in graph transformation

    Ghamarian, A. H. & Rensink, A., Sept 2012, 6th International Conference on Graph Transformation (ICGT 2012). Ehrig, H., Engels, G., Kreowski, H. J. & Rozenberg, G. (eds.). Berlin: Springer, p. 234-248 15 p. (Lecture Notes in Computer Science; vol. 7562).

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

    File
    34 Downloads (Pure)

  • Graph passing in graph transformation

    Ghamarian, A. H. & Rensink, A., Mar 2012, 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012. Fish, A. & Lambers, L. (eds.). Berlin: European Association for Software Science and Technology, p. 723:1-723:14 14 p. (Electronic Communications of the EASST; vol. 47).

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

    File
    23 Downloads (Pure)

  • Graph Subsumption in Abstract State Space Exploration

    Zambon, E. & Rensink, A., Apr 2012, Proceedings of First Workshop on Graph Inspection and Traversal Engineering (GRAPHite 2012). Wijs, A., Bosnacki, D. & Edelkamp, S. (eds.). Open Publishing Association, p. 35-49 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 99).

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

    File
    150 Downloads (Pure)

  • Graph Transforming Java Data

    de Mol, M. J., Rensink, A. & Hunt, J. J., Mar 2012, Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012). London: Springer, p. 209-223 15 p. (Lecture Notes in Computer Science; vol. 7212).

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

    4 Citations (Scopus)
    1 Downloads (Pure)

  • GSPNs Revisited: Simple Semantics and New Analysis Algorithms

    Katoen, J. P., Jun 2012, 12th International Conference on Application of Concurrency to System Design, ACSD 2012. USA: IEEE, p. 6-11 6 p.

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

    16 Citations (Scopus)
    17 Downloads (Pure)

  • Improved Multi-Core Nested Depth-First Search

    Evangelista, S., Laarman, A., Petrucci, L. & van de Pol, J. C., 3 Oct 2012, Proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012. Ramesh, S. (ed.). London: Springer, p. 269-283 15 p. (Lecture Notes in Computer Science; vol. 7561).

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

    File
    49 Citations (Scopus)
    527 Downloads (Pure)

  • Incremental pattern matching for regular expressions

    Jalali, A., Ghamarian, A. H. & Rensink, A., Mar 2012, 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012. Fish, A. & Lambers, L. (eds.). Berlin: European Association for Software Science and Technology, p. 736:1-736:12 12 p. (Electronic Communications of the EASST; vol. 47).

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

    File
    1 Citation (Scopus)
    79 Downloads (Pure)

  • Max-plus algebraic throughput analysis of synchronous dataflow graphs

    de Groote, R., Kuper, J., Broersma, H. J. & Smit, G. J. M., 2012, 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA). USA: IEEE, p. 29-38 10 p.

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

    File
    30 Citations (Scopus)
    752 Downloads (Pure)

  • Model checking: one can do much more than you think!

    Katoen, J. P., 2012, Fundamentals of Software Engineering: fourth IPM International Conference, FSEN 2011. Berlin: Springer, p. 1-14 14 p. (Lecture Notes in Computer Science; vol. 7141).

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

    File
    2 Citations (Scopus)
    81 Downloads (Pure)

  • Modelling biological pathway dynamics with Timed Automata

    Schivo, S., Scholma, J., Wanders, B., Urquidi Camacho, R. A., van der Vet, P. E., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N., Nov 2012, 2012 IEEE 12th International Conference on Bioinformatics and Bioengineering (BIBE 2012). IEEE, p. 447-453 7 p.

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

    12 Citations (Scopus)
    13 Downloads (Pure)

  • Multi-core and/or symbolic model checking

    van Dijk, T., Laarman, A. & van de Pol, J. C., Sept 2012, 12th International Workshop on Automated Verification of Critical Systems, AVoCS 2012. Luettgen, G. & Merz, S. (eds.). Berlin: European Association for the Study of Science and Technology, 7 p. 773. (Electronic Communications of the EASST; vol. 53).

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

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

  • Multi-Core BDD Operations for Symbolic Reachability

    van Dijk, T., Laarman, A. & van de Pol, J. C., 17 Sept 2012, 11th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2012. Heljanko, K. & Knottenbelt, W. J. (eds.). Amsterdam: Elsevier, p. 127-143 18 p. (Electronic Notes in Theoretical Computer Science; vol. 296).

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

    File
    20 Citations (Scopus)
    142 Downloads (Pure)

  • Multi-Core Reachability for Timed Automata

    Dalsgaard, A., Laarman, A., Larsen, K. G., Olesen, M. C. & van de Pol, J., 18 Sept 2012, Formal Modeling and Analysis of Timed Systems: 10th International Conference, FORMATS 2012, London, UK, September 18-20, 2012, Proceedings. Jurdziński, M. & Ničković, D. (eds.). Berlin, Heidelberg: Springer, p. 91-106 16 p. (Lecture Notes in Computer Science; vol. 7595).

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

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