See IoT Succes Project


  • 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). D10.1007/978-3-319-69483-2_19
  • 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. Kammüller. 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. Kammüller. 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
  • F. Kammüller, J. C. Augusto, S. Jones. Security and Privacy Requirements Engineering for Human Centric IoT Systems using eFRIEND and Isabelle. IEEE/ACIS 15th International Conference on Software Engineering Research, Management and Application, SERA2017, IEEE-CPS 2017. DOI: 10.1109/SERA.2017.7965758
  • F. Kammüller. A Proof Calculus for Attack Trees in Isabelle. Data Privacy Management, DPM’17, 12th Int. Workshop, co-located with ESORICS’17. LNCS 10436, Springer, 2017. DOI: 10.1007/978-3-319-67816-0_1
  • A. Nouri, B. L. Mediouni, M. Bozga, A. Legay, S. Bensalem. Performance Evaluation of Stochastic Real-Time Systems with the SBIP Framework. Verimag Research Report TR-2017-6 September 27, 2017.