Stefano Schivo

View Scopus Profile

Stefano Schivo

Dr

 https://orcid.org/0000-0002-4945-1473
20102021

Research activity per year

Filter
Conference Article in proceeding

Search results

  • 2021

    A Structured (Java) Exercise Repository with Automated Feedback (SERF).

    Passier, H., Huizing, C., Kok, A., Kuiper, R., Bijlsma, L., Scheffers, E., Schivo, S. & Vos, T. E. J., 22 Nov 2021, CSERC '21: Proceedings of the 10th Computer Science Education Research Conference. Stikkolorum, D. & Rahimi, E. (eds.). Association for Computing Machinery (ACM), p. 68-69 2 p.

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

    Open Access
  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

    Open Access
  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

  • 2014

    Setting Parameters for Biological Models With ANIMO

    Schivo, S., Scholma, J., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R., 8 Apr 2014, Proceedings 1st International Workshop on Synthesis of Continuous Parameters: SynCoP'14. André, É. & Frehse, G. (eds.). Open Publishing Association, p. 35-47 13 p. (Electronic proceedings in theoretical computer science).

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

    Open Access
  • 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 proceeding › Conference Article in proceeding › Academic › peer-review

  • 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 proceeding › Conference Article in proceeding › Academic › peer-review