Publications

  • S. Schivo, B.M. Yildiz, E. Ruijters, C. Gerking, R. Kumar, S. Dziwok, A. Rensink, M. Stoelinga. How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach. 3rd Symposium on Dependable Software Engineering (SETTA 2017). To appear in Springer.
  • E. Ruijters, D. Reijsbergen, P-T. de Boer, M. Stoelinga. Rare Event Simulation for Dynamic Fault Trees. 36th International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2017). DOI: 10.1007/978-3-319-66266-4_2
  • M. Gerhold, M. Stoelinga. Model-Based Testing of Probabilistic Systems with Stochastic Time. 11th International Conference on Tests and Proofs (TAP 2017). DOI: 10.1007/978-3-319-61467-0_5
  • F. Kammueller. Formal Modeling and Analysis with Humans in Infrastructures for IoT Healthcare Systems. 5th International Conference on Human Aspects of Information Security, Privacy, and Trust, HAS'17, co-located with HCII 2017. DOI: 10.1007/978-3-319-58460-7_24
  • F. Kammueller. Human Centric Security and Privacy for the IoT using Formal Techniques. 3rd International Conference on Human Factors in Cybersecurity, affiliated with AHFE 2017. DOI: 10.1007/978-3-319-60585-2_12