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

Research Output 2010 2019

Filter
Conference article in proceeding
2018

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., 4 Apr 2018, Fundamental Approaches to Software Engineering: FASE 2018. Russo, A. & Schürr, A. (eds.). Cham: Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802).

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

Open Access
Interoperability
2017

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., 1 Oct 2017, Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Guldstrand Larsen, K., Sokolsky, O. & Wang, J. (eds.). Cham: Springer, p. 319-336 18 p. (Lecture Notes in Computer Science; vol. 10606).

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

Query languages
Computer hardware
Cyber Physical System

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). United States: Institute of Electrical and Electronics Engineers Inc.

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

Fault tree analysis
Nuclear power plants
Aircraft
Engines
Side channel attack
2012

Modelling biological pathway dynamics with Timed Automata

Schivo, S., Scholma, J., Wanders, B., Urquidi Camacho, R. A., van der Vet, P. E., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N., 1 Nov 2012, 2012 IEEE 12th International Conference on Bioinformatics and Bioengineering (BIBE 2012). United States: IEEE Computer Society, p. 447-453 7 p.

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

Crosstalk
Reaction kinetics
User interfaces
Semantics
Engines
2010

Approximate Model Checking of Stochastic COWS

Quaglia, P. & Schivo, S., 2010, 5th International Symposium on Trustworthly Global Computing, TGC 2010. Wirsing, M., Hofmann, M. & Rauschmayer, A. (eds.). Germany: Springer Verlag, p. 335-347 13 p. (Lecture Notes in Computer Science).

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

Approximate Model
Model Checking
Process Calculi
Orchestration
State Space