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

Fingerprint Dive into the research topics where Stefano Schivo is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Chondrocytes Medicine & Life Sciences
Software Medicine & Life Sciences
Model checking Engineering & Materials Science
Differential equations Engineering & Materials Science
Signal Transduction Medicine & Life Sciences
Fuzzy Logic Medicine & Life Sciences
Fault tree analysis Engineering & Materials Science
Crosstalk Engineering & Materials Science

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2010 2019

In Silico Validation of a cartilage specific circadian clock: mutation of BMAL1 increased MMP expression

Khurana, S., Bokkers, A., Geijs, D. J., Schivo, S., Karperien, M. & Post, J. N., Apr 2019, In : Osteoarthritis and Cartilage. 27, S1, p. S193-S194 2 p.

Research output: Contribution to journalConference Abstract/Poster in journal Academicpeer-review

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

Comparison of Timed Automata with Discrete Event Simulation for Modeling of Biomarker-Based Treatment Decisions: An Illustration for Metastatic Castration-Resistant Prostate Cancer

Degeling, K., Schivo, S., Mehra, N., Koffijberg, H., Langerak, R., de Bono, J. S. & IJzerman, M. J., Dec 2017, In : Value in Health. 20, 10, p. 1411-1419 9 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
Castration
Circulating Neoplastic Cells
Prostatic Neoplasms
Software
Biomarkers

Computational Modeling of Complex Protein Activity Networks

Schivo, S., Leijten, J., Karperien, M. & Post, J. N., 29 Nov 2017, Protein Phosphorylation. Prignet, C. (ed.). United Kingdom: IntechOpen, p. 155-178 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
Molecular interactions
Functional analysis
Proteins
Interleukin-1
Large scale systems

Discretization of Continuous Dynamical Systems Using UPPAAL

Schivo, S. & Langerak, R., 27 Sep 2017, ModelEd, TestEd, TrustEd. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, p. 297-315 19 p. (Lecture Notes in Computer Science).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Dynamical systems
Differential equations
Model checking