No photo of Mariëlle I.A. Stoelinga
Contact Expert

Mariëlle I.A. Stoelinga

dr., Prof.dr.

 https://orcid.org/0000-0001-6793-8165
20042024

Research activity per year

Filter
Conference contribution

Search results

  • 2007

    Best of Three Worlds: Towards Sound Architectural Dependability Models

    Boudali, H., Haverkort, B. R., Kuntz, M. & Stoelinga, M., Sept 2007, 8th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS-8). Enschede: Centre for Telematics and Information Technology (CTIT), p. 45-49 5 p. (CTIT Workshop Proceedings).

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

    Open Access
    File
    65 Downloads (Pure)

  • Dynamic Fault Tree analysis using Input/Output Interactive Markov Chains

    Boudali, H., Crouzen, P. & Stoelinga, M. I. A., Jun 2007, Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN). USA: IEEE, p. 708-717 10 p. 10.1109/DSN.2007.37

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

    File
    138 Citations (Scopus)
    339 Downloads (Pure)

  • Game Relations and Metrics

    de Alfaro, L., Majumdar, R., Raman, V. & Stoelinga, M. I. A., Jul 2007, Twenty-Second Annual IEEE Symposium on LOGIC IN COMPUTER SCIENCE (LICS 2007). Los Alamitos: IEEE, p. 99-108 10 p. 10.1109/LICS.2007.22

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

    37 Citations (Scopus)
    2 Downloads (Pure)
  • 2006

    A Semantic Framework for Test Coverage

    Brandan Briones, L., Brinksma, H. & Stoelinga, M. I. A., 2006, Automated Technology for Verification and Analysis: 4th International Symposium, ATVA 2006, Beijing, China, October 23-26, 2006. Proceedings. Graf, S. & Zhang, W. (eds.). Berlin: Springer, p. 399-414 16 p. (Lecture Notes in Computer Science; vol. 4218).

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

    Open Access
    File
    170 Downloads (Pure)

  • Quantitative Compositional Reasoning

    Chatterjee, K., de Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R. & Stoelinga, M. I. A., Sept 2006, Third International Conference on the Quantitative Evaluation of Systems (QEST'06). Los Alamitos, CA: IEEE, Vol. 2. p. 179-189 10 p.

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

    Open Access
    File
    16 Citations (Scopus)
    96 Downloads (Pure)
  • 2004

    Linear and branching metrics for quantitative transition systems

    de Alfaro, L., Faella, M. & Stoelinga, M. I. A., 12 Jul 2004, Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings. Díaz, J., Karhumäki, J., Lepistö, A. & Sannella, D. (eds.). Berlin: Springer, p. 97-109 (Lecture Notes in Computer Science; vol. 3142).

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

    66 Citations (Scopus)
    6 Downloads (Pure)

  • Model Checking Discounted Temporal Properties

    de Alfaro, L., Faella, M., Henzinger, T. A., Majumdar, R. & Stoelinga, M. I. A., 2004, Proc. 10th Int'l Conf. on tools and algorithms for the construction and analysis of systems. Jensen, K. & Podelski, A. (eds.). Berlin: Springer, p. 77-92 16 p. (Lecture Notes in Computer Science; vol. 2988, no. XIV).

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

    File
    19 Citations (Scopus)
    143 Downloads (Pure)