Mariëlle Ida Antoinette Stoelinga

dr., Prof.dr.

20042020

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • 2020

    Alice and Eve: a celebration of women in computer science

    van Huizen, J. C., Huisman, M., Lathouwers, S. A. M., Schaafstal, A. M. & Stoelinga, M. I. A., 2020, Engaging, Engineering, Education: Book of Abstracts, SEFI 48th Annual Conference University of Twente (online), 20-24 September, 2020. van der Veen, J., van Hattum-Janssen, N., Järvinen, H-M., de Laet, T. & ten Dam, I. (eds.). Enschede: University of Twente, 11 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    10 Downloads (Pure)
  • 2019

    Fault Trees from Data: Efficient Learning with an Evolutionary Algorithm

    Linard, A., Bucur, D. & Stoelinga, M., 2019, Dependable Software Engineering. Theories, Tools, and Applications: 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings. Guan, N., Katoen, J-P. & Sun, J. (eds.). Cham: Springer, p. 19-37 19 p. (Lecture Notes in Computer Science; vol. 11951)(Programming and Software Engineering).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • FFORT: A benchmark suite for fault tree analysis

    Ruijters, E. J. J., Budde, C. E., Chenariyan Nakhaee, M., Stoelinga, M. I. A., Bucur, D., Hiemstra, D. & Schivo, S., 2019, ESREL 2019: Proceedings of the 29th European Safety and Reliability Conference. Beer, M. & Zio, E. (eds.). Research Publishing, p. 878-885 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    109 Downloads (Pure)
  • From Good Intentions to Behaviour Change: Probabilistic Feature Diagrams for Behaviour Support Agents

    Kließ, M. S., Stoelinga, M. & van Riemsdijk, M. B., 2019, PRIMA 2019: Principles and Practice of Multi-Agent Systems: 22nd International Conference, Turin, Italy, October 28-31, 2019, Proceedings. Baldoni, M., Dastani, M., Liao, B., Sakurai, Y. & Zalila-Wenkstern, R. (eds.). Cham: Springer, p. 354-369 16 p. (Lecture Notes in Computer Science; vol. 11873).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Induction of Fault Trees through Bayesian Networks

    Linard, A., Bueno, M., Bucur, D. & Stoelinga, M. I. A., 2019, Proceedings of the 29th European Safety and Reliability Conference (ESREL). Beer, M. & Zio, E. (eds.). Research Publishing, p. 910-918 9 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Parametric Analyses of Attack-Fault Trees

    André, É., Lime, D., Ramparison, M. & Stoelinga, M., Jun 2019, Proceedings - 2019 19th International Conference on Application of Concurrency to System Design, ACSD 2019. Piscataway, NJ: IEEE, p. 33-42 10 p. (Proceedings - International Conference on Application of Concurrency to System Design, ACSD; vol. 2019).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    5 Citations (Scopus)
  • The Recent Applications of Machine Learning in Rail Track Maintenance: A Survey

    Nakhaee, M. C., Hiemstra, D., Stoelinga, M. & Noort, M. V., 2019, Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification: Third International Conference, RSSRail 2019, Lille, France, June 4-6, 2019, Proceedings. Collart-Dutilleul, S., Lecomte, T. & Romanovsky, A. B. (eds.). Cham: Springer, p. 91-105 15 p. (Lecture Notes in Computer Science; vol. 11495).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
  • 2018

    Assessment of Maintenance Policies for Smart Buildings: Application of Formal Methods to Fault Maintenance Trees

    Abate, A., Budde, C. E., Cauchi, N., Hoque, K. A. & Stoelinga, M. I. A., 2 Jul 2018, Proceedings of the European Conference of the PHM Society. 1 ed. PHM society, Vol. 4. 16 p. (Proceedings of the European Conference of the PHM Society).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    66 Downloads (Pure)
  • Effective Analysis of Attack Trees: A Model-Driven Approach

    Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A., Apr 2018, Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Russo, A. & Schürr, A. (eds.). Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    13 Citations (Scopus)
    304 Downloads (Pure)
  • LIFT: Learning Fault Trees from Observational Data

    Nauta, M., Bucur, D. & Stoelinga, M., 2018, Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings. McIver, A. & Horvath, A. (eds.). Springer, (Lecture Notes in Computer Science; vol. 11024).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
  • LOCKS: a property specification language for security goals

    Kumar, R., Rensink, A. & Stoelinga, M. I. A., 9 Apr 2018, SAC '18: Proceedings of the 33rd Annual ACM Symposium on Applied Computing. Haddad, H. M., Wainwright, R. L. & Chbeir, R. (eds.). Association for Computing Machinery (ACM), p. 1907-1915

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
    38 Downloads (Pure)
  • Model-Based Testing for General Stochastic Time

    Gerhold, M., Hartmanns, A. & Stoelinga, M., 11 Mar 2018, Proceedings of the 10th International NASA Formal Methods Symposium (NFM 2018). Dutle, A., Munoz, C. & Narkawicz, A. (eds.). Springer, p. 203-219 (Lecture Notes in Computer Science; vol. 10811).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    35 Downloads (Pure)
  • Modelling Smart Buildings Using Fault Maintenance Trees

    Abate, A., Budde, C. E., Cauchi, N., van Harmelen, A., Hoque, K. A. & Stoelinga, M. I. A., 3 Oct 2018, Computer Performance Engineering: 15th European Workshop, EPEW 2018, Paris, France, October 29-30, 2018, Proceedings. Bakhshi, R., Ballarini, P., Barbot, B., Castel-Taleb, H. & Remke, A. (eds.). Cham: Springer, p. 110-125 16 p. (Lecture Notes in Computer Science; vol. 11178).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    43 Downloads (Pure)
  • One Net Fits All: A Unifying Semantics of Dynamic Fault Trees Using GSPNs

    Junges, S., Katoen, J. P., Stoelinga, M. I. A. & Volk, M., 8 May 2018, Application and Theory of Petri Nets and Concurrency: 39th International Conference, PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018, Proceedings. Khomenko, V. & Roux, O. H. (eds.). Cham: Springer, p. 272-293 22 p. (Lecture notes in computer science; vol. 10877).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    6 Citations (Scopus)
    42 Downloads (Pure)
  • Risk management for high tech systems

    Stoelinga, M., Jun 2018, FormaliSE'18. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. Gnesi, S., Plat, N., Spoletini, P. & Pelliccione, P. (eds.). ACM Inc., 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

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

    Bos, P. V. D. & Stoelinga, M., 7 Sep 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.). p. 118-132 15 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    3 Citations (Scopus)
    28 Downloads (Pure)
  • 2017

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

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

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    135 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    5 Citations (Scopus)
    62 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    7 Citations (Scopus)
    281 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 proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    32 Citations (Scopus)
    1057 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    110 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    6 Citations (Scopus)
    44 Downloads (Pure)
  • 2016

    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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    6 Citations (Scopus)
    42 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 Sep 2016, SMART School on computational social and behavioral sciences. Paris: Laboratory of Excellence SMART, p. -

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

  • 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. USA: IEEE, 6 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    20 Citations (Scopus)
    399 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 proceedingConference contributionAcademicpeer-review

    File
    12 Citations (Scopus)
    96 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 proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
    95 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 (ACM), p. 45-51 7 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    1 Citation (Scopus)
    89 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 Computer Society, p. 114-123 10 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    5 Citations (Scopus)
    77 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 Computer Society, p. 662-669 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    10 Citations (Scopus)
    292 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 proceedingConference contributionAcademicpeer-review

    17 Citations (Scopus)
    3 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    24 Citations (Scopus)
    112 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 proceedingConference contributionAcademicpeer-review

    25 Citations (Scopus)
    1 Downloads (Pure)
  • 2015

    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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    8 Citations (Scopus)
    152 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 proceedingConference contributionAcademicpeer-review

    File
    12 Citations (Scopus)
    338 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 proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
    10 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 Computer Society, p. 271-275 5 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
  • 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 proceedingConference contributionAcademicpeer-review

    File
    53 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 proceedingConference contributionAcademicpeer-review

    File
    11 Citations (Scopus)
    460 Downloads (Pure)
  • Quantitative Attack Tree Analysis via Priced Timed Automata

    Kumar, R., Ruijters, E. J. J. & Stoelinga, M. I. A., Sep 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 proceedingConference contributionAcademicpeer-review

    35 Citations (Scopus)
    1 Downloads (Pure)
  • Sequential and Parallel Attack Tree Modelling

    Arnold, F., Guck, D., Kumar, R. & Stoelinga, M., Sep 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 proceedingConference contributionAcademicpeer-review

    19 Citations (Scopus)
  • 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 proceedingConference contributionAcademic

    File
    6 Citations (Scopus)
    36 Downloads (Pure)
  • 2014

    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. Berlin: Springer, p. 168-184 17 p. (Lecture Notes in Computer Science; vol. 8837).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    22 Citations (Scopus)
    107 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 Computer Society, p. 72-81 8 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    File
    30 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    6 Citations (Scopus)
    105 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 proceedingConference contributionAcademicpeer-review

    42 Citations (Scopus)
  • 2013

    Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

    Ngo, M. T., Stoelinga, M. I. A. & 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 proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
  • Confluence reduction for Markov automata

    Timmer, M., van de Pol, J. C. & Stoelinga, M. I. A., 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 proceedingConference contributionAcademic

    File
    51 Downloads (Pure)
  • Confluence Reduction for Markov Automata

    Timmer, M., van de Pol, J. C. & 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 proceedingConference contributionAcademicpeer-review

    File
    21 Citations (Scopus)
    69 Downloads (Pure)