Formal Methods and Tools

Filter
Conference contribution

Search results

  • 2016

    Exploring model quality for ACAS X

    Giannakopoulou, D., Guck, D. & Schumann, J., Nov 2016, FM 2016: Formal Methods: 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings. Springer, Vol. 9995. p. 274-290 17 p. (Lecture Notes in Computer Science; vol. 9995).

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

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

  • Fault maintenance trees: reliability centered maintenance via statistical model checking

    Ruijters, E. J. J., Guck, D., Drolenga, P. & Stoelinga, M. I. A., Jan 2016, Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016. Piscataway, NJ: IEEE, 6 p.

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

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

  • Flexible support for time and costs in scenario-aware dataflow

    Hartmanns, A., Hermanns, H. & Bungert, M., Oct 2016, Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016). New York: Association for Computing Machinery, 10 p.

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

    7 Citations (Scopus)
    22 Downloads (Pure)

  • Future-based Static Analysis of Message Passing Programs

    Oortwijn, W., Blom, S. & Huisman, M., Apr 2016, Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016. Orchard, D. & Yoshida, N. (eds.). ArXiv.org, p. 65-72 8 p.

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

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

  • Lazy Evaluation for Concurrent OLTP and Bulk Transactions

    Wevers, L., Huisman, M. & van Keulen, M., 11 Jul 2016, Proceedings of the 20th International Database Engineering & Applications Symposium (IDEAS 2016). New York: Association for Computing Machinery, p. 115-124 10 p.

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

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

  • Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor

    Ruijters, E. J. J., Guck, D., Drolenga, P., Peters, M. & Stoelinga, M. I. A., Aug 2016, Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016. Agha, G. & Van Houdt, B. (eds.). Berlin: Springer, p. 331-347 16 p. (Lecture Notes in Computer Science; vol. 9826).

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

    Open Access
    File
    16 Citations (Scopus)
    186 Downloads (Pure)

  • Model-Based Testing of Probabilistic Systems

    Gerhold, M. & Stoelinga, M. I. A., Apr 2016, Fundamental Approaches to Software Engineering: 19th International Conference, FASE 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016, Proceedings. Stevens, P. & Wasowski, A. (eds.). Heidelberg-Berlin: Springer, p. 251-268 18 p. (Lecture Notes in Computer Science; vol. 9633).

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

    9 Citations (Scopus)
    96 Downloads (Pure)

  • Model-Based Testing of Stochastic Systems with IOCO Theory

    Gerhold, M. & Stoelinga, M. I. A., 18 Nov 2016, Proceedings of the 7th International Workshop on Automating Test Case Design, Selection, and Evaluation, A-TEST 2016. New York: Association for Computing Machinery, p. 45-51 7 p.

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

    File
    1 Citation (Scopus)
    137 Downloads (Pure)

  • Model Checking a Client-Side Micro Payment Protocol

    Chaudhary, K. & Fehnker, A., 1 Dec 2016, 3rd Asia-Pacific World Congress on Computer Science and Engineering (APWC on CSE 2016). IEEE, p. 90-97 8 p.

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

    5 Downloads (Pure)

  • Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata

    Ahmad, W., Jongerden, M. R., Stoelinga, M. I. A. & van de Pol, J. C., 24 Jun 2016, Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016. USA: IEEE, p. 114-123 10 p.

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

    File
    7 Citations (Scopus)
    220 Downloads (Pure)

  • Modelling attack-defense trees using timed automata

    Gadyatskaya, O., Hansen, R. R., Larsen, K. G., Legay, A., Olesen, M. C. & Poulsen, D. B., 17 Aug 2016, Formal Modeling and Analysis of Timed Systems: 14th International Conference, FORMATS 2016, Quebec, QC, Canada, August 24-26, 2016, Proceedings. Fränzle, M. & Markey, N. (eds.). Cham, Switzerland: Springer, p. 35-50 16 p. (Lecture Notes in Computer Science; vol. 9884).

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

    45 Citations (Scopus)
    4 Downloads (Pure)

  • Multi-Core On-The-Fly SCC Decomposition

    Bloemen, V., Laarman, A. & van de Pol, J. C., Mar 2016, Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP 2016. New York: Association for Computing Machinery, p. 8 12 p.

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

    File
    29 Citations (Scopus)
    604 Downloads (Pure)

  • Multi-core SCC-Based LTL Model Checking

    Bloemen, V. & van de Pol, J. C., Nov 2016, Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016. Bloem, R. & Arbel, E. (eds.). Cham: Springer, p. 18-33 16 p. (Lecture Notes in Computer Science; vol. 10028).

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

    File
    13 Citations (Scopus)
    99 Downloads (Pure)

  • Multi-core Symbolic Bisimulation Minimisation

    van Dijk, T. & van de Pol, J. C., Apr 2016, Proceedings of the 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2016). Chechik, M. & Raskin, J.-F. (eds.). Berlin: Springer, p. 332-348 17 p. (Lecture Notes in Computer Science; vol. 9636).

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

    File
    5 Citations (Scopus)
    55 Downloads (Pure)

  • Parallel Model Checking of ω-Automata

    Bloemen, V., 8 Nov 2016, Proceedings of the Formal Methods 2016 Doctoral Symposium co-located with 21st International Symposium on Formal Methods (FM 2016). Butterfield, A. & Rossi, M. (eds.). Aachen: CEUR, p. 1 6 p.

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

    Open Access
    File
    68 Downloads (Pure)

  • Partial-Order Reduction for GPU Model Checking

    Neele, T., Wijs, A., Bošnački, D. & van de Pol, J., Oct 2016, Automated Technology for Verification and Analysis : 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings. Artho, C., Legay, A. & Peled, D. (eds.). Berlin: Springer, p. 357-374 18 p. (Lecture Notes in Computer Science; vol. 9938).

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

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

  • Reliability-centered maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A practical experience report

    Ruijters, E. J. J., Guck, D., van Noort, M. & Stoelinga, M. I. A., Jul 2016, Proceedings of the 46th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016. USA: IEEE, p. 662-669 8 p.

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

    File
    17 Citations (Scopus)
    496 Downloads (Pure)

  • RERS 2016: Parallel and Sequential Benchmarks with Focus on LTL Verification

    Geske, M., Jasper, M., Steffen, B., Howar, F., Schordan, M. & van de Pol, J. C., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 787-803 17 p. (Lecture Notes in Computer Science; vol. 9953).

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

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

  • Schedulers are no Prophets

    Hartmanns, A., Hermanns, H. & Krčál, J., Jan 2016, Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays. Cham: Springer, p. 214-235 22 p. (Lecture Notes in Computer Science; vol. 9560).

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

    File
    4 Citations (Scopus)
    279 Downloads (Pure)

  • Software that meets its Intent

    Huisman, M., Bos, H., Brinkkemper, S., van Deursen, A., Groote, J. F., Lago, P., van de Pol, J. & Visser, E., Oct 2016, Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications: 7th International Symposium, ISoLA 2016, Imperial, Corfu, Greece, October 10-14, 2016, Proceedings, Part II. Margaria, T. & Steffen, B. (eds.). Springer, p. 609-625 17 p. (Lecture Notes in Computer Science; vol. 9953).

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

    2 Citations (Scopus)
    10 Downloads (Pure)

  • Specification and Verification of Synchronization with Condition Variables.

    Gomes, P., Gurov, D. & Huisman, M., Nov 2016, Proceedings of the Fifth International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2016). Artho, C. & Ölveczky, P. C. (eds.). London: Springer, p. 3-19 16 p. (Communications in Computer and Information Science; vol. 694).

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

    File
    4 Citations (Scopus)
    62 Downloads (Pure)

  • Static and runtime verification, competitors or friends? (Track summary)

    Gurov, D., Havelund, K., Huisman, M. & Monahan, R., 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. 397-401 5 p. (Lecture Notes in Computer Science; vol. 9952).

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

    1 Citation (Scopus)
    4 Downloads (Pure)

  • Statistical Approximation of Optimal Schedulers for Probabilistic Timed Automata

    D'Argenio, P. R., Hartmanns, A., Legay, A. & Sedwards, S., Jun 2016, Proceedings of the 12th International Conference on Integrated Formal Methods (IFM 2016). Cham: Springer, p. 99-114 16 p. (Lecture Notes in Computer Science; vol. 9681).

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

    File
    16 Citations (Scopus)
    210 Downloads (Pure)

  • Symbolic Reachability Analysis of B through ProB and LTSmin

    Bendisposto, J., Körner, P., Leuschel, M., Meijer, J., van de Pol, J. C., Treharne, H. & Whitefield, J., Jun 2016, Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Ábrahám, E. & Huisman, M. (eds.). Cham: Springer, p. 275-291 16 p. (Lecture Notes in Computer Science; vol. 9681).

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

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

  • Synthesizing Energy-Optimal Controllers for Multiprocessor Dataflow Applications with UPPAAL STRATEGO

    Ahmad, W. & van de Pol, J. C., 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.). London: Springer, p. 94-113 20 p. (Lecture Notes in Computer Science; vol. 9952).

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

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

  • The Probabilistic Model Checking Landscape

    Katoen, J. P., Jul 2016, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (LICS 2016). USA: Association for Computing Machinery, p. 31-45 15 p.

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

    File
    121 Citations (Scopus)
    407 Downloads (Pure)

  • The Value of Attack-Defence Diagrams

    Hermanns, H., Krämer, J., Krčál, J. & Stoelinga, M. I. A., Apr 2016, Proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016. Piessens, F. & Viganò, L. (eds.). Berlin: Springer, p. 163-185 23 p. (Lecture Notes in Computer Science; vol. 9635).

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

    29 Citations (Scopus)
    33 Downloads (Pure)

  • Unconventional computing using evolution-in-nanomaterio: neural networks meet nanoparticle networks

    Greff, K., van Damme, R. M. J., Koutnik, J., Broersma, H. J., Mikhal, J. O., Lawrence, C. P., van der Wiel, W. G. & Schmidhuber, J., 20 Mar 2016, The Eighth International Conference on Future Computational Technologies and Applications, FUTURE COMPUTING 2016. Wilmington, U.S.A.: IARIA, p. 15-20 6 p.

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

    File
    275 Downloads (Pure)

  • Uncovering dynamic fault trees

    Junges, S., Guck, D., Katoen, J. P. & Stoelinga, M. I. A., Jun 2016, 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) 2016. Toulouse, France: IEEE, p. 299-310 12 p.

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

    Open Access
    File
    40 Citations (Scopus)
    852 Downloads (Pure)

  • Using attack-defense trees to analyze threats and countermeasures in an ATM: A case study

    Fraile, M., Ford, M., Gadyatskaya, O., Kumar, R., Stoelinga, M. I. A. & Trujillo-Rasua, R., 2016, 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM). Berlin: Springer, p. 326-334 9 p. (Lecture Notes in Business Information Processing; vol. 267).

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

    42 Citations (Scopus)
    8 Downloads (Pure)

  • VerCors: A Layered Approach to Practical Verification of Concurrent Software

    Amighi, A., Blom, S. & Huisman, M., Feb 2016, Proceedings of the 24th Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP 2016). USA: IEEE, p. 495-503 9 p.

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

    File
    10 Citations (Scopus)
    131 Downloads (Pure)

  • Verification Techniques for Graph Rewriting (Tutorial)

    Rensink, A., Mar 2016, Verification of Evolving Graph Structures. Abdulla, P. A., Gadducci, F., König, B. & Vafeiadis, V. (eds.). Dagstuhl, Germany: Dagstuhl, p. 18-18 1 p. (Dagstuhl Reports; vol. 5, no. 11).

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

    File
    104 Downloads (Pure)
  • 2015

    A Benchmark for Online Non-Blocking Schema Transformations

    Wevers, L., Hofstra, M., Tammens, M., Huisman, M. & van Keulen, M., 20 Jul 2015, Proceedings of 4th International Conference on Data Management Technologies and Applications, DATA 2015: July 20-22, 2015, in Colmar, Alsace, France. Helfert, M., Holzinger, A., Belo, O. & Francalanci, C. (eds.). SCITEPRESS, p. 288-298 11 p.

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

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

  • A Comparative Study of BDD Packages for Probabilistic Symbolic Model Checking

    van Dijk, T., Hahn, E. M., Jansen, D. N., Li, Y., Neele, T., Stoelinga, M., Turrini, A. & Zhang, L., 2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 35-51 17 p. (Lecture Notes in Computer Science; vol. 9409).

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

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

  • A Distributed Hash Table for Shared Memory

    Oortwijn, W. H. M., van Dijk, T. & van de Pol, J. C., Sept 2015, Parallel Processing and Applied Mathematics: 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part II. Wyrzykowski, R., Deelman, E., Dongarra, J., Karczewski, K., Kitowski, J. & Wiatr, K. (eds.). London: Springer, p. 15-24 10 p. (Lecture Notes in Computer Science; vol. 9574).

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

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

  • Analysis of the blocking behaviour of schema transformations in relational database systems

    Wevers, L., Hofstra, M., Tammens, M., Huisman, M. & van Keulen, M., Sept 2015, Proceedings of the 19th East European Conference on Advances in Databases and Information Systems, ADBIS 2015. Berlin: Springer, p. 169-183 15 p. (Lecture Notes in Computer Science; vol. 9282).

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

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

  • A Probabilistic Analysis Framework for Malicious Insider Threats

    Chen, T., Kammüller, F., Nemli, I. & Probst, C. W., 21 Jul 2015, Human Aspects of Information Security, Privacy, and Trust: Third International Conference, HAS 2015, Held as Part of HCI International 2015, Los Angeles, CA, USA, August 2-7, 2015. Proceedings. Tryfonas, T. & Askoxylakis, I. (eds.). Berlin: Springer, p. 178-189 12 p. (Lecture notes in computer science; vol. 9190).

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

    17 Citations (Scopus)
    2 Downloads (Pure)

  • A Symbolic Approach to Permission Accounting for Concurrent Reasoning

    Huisman, M. & Mostowski, W., 29 Jun 2015, Proceedings of the 14th International Symposium on Parallel and Distributed Computing, ISPDC 2015. Piscataway, NJ: IEEE, p. 165-174 10 p. (Proceedings International Symposium on Parallel and Distributed Computing; vol. 2015, no. 14).

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

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

  • Automated Verification of Nested DFS

    van de Pol, J. C., Jun 2015, Proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015). Núñez, M. & Güdemann, M. (eds.). Heidelberg: Springer, p. 181-197 17 p. (Lecture Notes in Computer Science; vol. 9128).

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

    File
    3 Citations (Scopus)
    759 Downloads (Pure)

  • Computational matter: evolving computational solutions in materials

    Miller, J. F. & Broersma, H. J., 11 Jul 2015, Proceedings of the 2015 Annual Conference on Genetic and Evolutionary Computation, GECCO Companion 2015. Silva, S. (ed.). New York: Association for Computing Machinery, p. 769-770 2 p.

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

    File
    1 Citation (Scopus)
    50 Downloads (Pure)

  • DFTCalc: Reliability centered maintenance via fault tree analysis (tool paper)

    Guck, D., Spel, J. & Stoelinga, M. I. A., Nov 2015, Proceedings of the 17th International Conference on Formal Engineering Methods (ICFEM 2015). Butler, M., Conchon, S. & Zaïdi, F. (eds.). Berlin: Springer, p. 304-311 8 p. (Lecture Notes in Computer Science; vol. 9407).

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

    File
    19 Citations (Scopus)
    497 Downloads (Pure)

  • Dynamic Dispatch for Method Contracts through Abstract Predicates

    Mostowski, W. & Ulbrich, M., 16 Mar 2015, Proceedings of the 14th International Conference on Modularity (MODULARITY 2015). New York: Association for Computing Machinery, p. 109-116 8 p. (MODULARITY 2015).

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

    File
    4 Citations (Scopus)
    45 Downloads (Pure)

  • Fault Trees on a Diet: Automated Reduction by Graph Rewriting

    Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A., Nov 2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9409)(Lecture Notes in Programming and Software Engineering).

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

    9 Citations (Scopus)
    27 Downloads (Pure)

  • Graphs as Models - Preface

    Rensink, A. & Zambon, E., Apr 2015, Proceedings Graphs as Models. Rensink, A. & Zambon, E. (eds.). Australia: Open Publishing Association, p. - 1 p. (Electronic Proceedings in Theoretical Computer Science; vol. 181).

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

    File
    69 Downloads (Pure)

  • Green computing: power optimisation of vfi-based real-time multiprocessor dataflow applications

    Ahmad, W., Holzenspies, P. K. F., Stoelinga, M. I. A. & van de Pol, J. C., 26 Aug 2015, 18th Euromicro Conference on Digital Systems Design (DSD 2015). USA: IEEE, p. 271-275 5 p.

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

    9 Citations (Scopus)
    5 Downloads (Pure)

  • Hermeneutics framework: integration of design rationale and optimizing software modules

    Aksit, M. & Malakuti Khah Olun Abadi, S., Feb 2015, Proceedings of the 14th International Conference on Software Engineering, Parallel and Distributed Systems (SEPADS 2015). Sofia, Bulgaria: WSEAS Press, p. 58-62 5 p. (Recent Advances in Computer Engineering Series; vol. 27).

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

    File
    104 Downloads (Pure)

  • History-Based Verification of Functional Behaviour of Concurrent Programs

    Blom, S., Huisman, M. & Zaharieva, 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. 84-98 15 p. (Lecture Notes in Computer Science; vol. 9276).

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

    File
    38 Downloads (Pure)

  • Ioco Theory for Probabilistic Automata

    Gerhold, M. & Stoelinga, M. I. A., 9 Apr 2015, Proceedings of the 10th Workshop on Model Based Testing, MBT 2015. London: Open Publishing Association, p. 23-40 18 p. (Electronic proceedings in theoretical computer science; vol. 180).

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

    File
    3 Citations (Scopus)
    133 Downloads (Pure)

  • Modeling and Verification of the Bitcoin Protocol

    Chaudhary, K., Fehnker, A., van de Pol, J. C. & Stoelinga, M. I. A., 13 Nov 2015, Proceedings of the Workshop on Models for Formal Analysis of Real Systems (MARS 2015). van Glabbeek, R. J., Groote, J. F. & Höfner, P. (eds.). Australia: Open Publishing Association, p. 46-60 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 196).

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

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

  • On liberating programs from the von neumann architecture via event-based modularization

    Malakuti Khah Olun Abadi, S. & Aksit, M., 16 Mar 2015, Companion Proceedings of the 14th International Conference on Modularity, MODULARITY Companion 2015. New York: Association for Computing Machinery, p. 31-34 4 p.

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

    File
    1 Citation (Scopus)
    50 Downloads (Pure)