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

Research Output 2010 2019

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

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

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

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
2014

An Echo in Biology: Validating the Executable Chondrocyte

Scholma, J., Schivo, S., Karperien, M., Langerak, R., van de Pol, J. & Post, J. N., Apr 2014, In : Osteoarthritis and Cartilage. 22, p. S157-S157 1 p.

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

Open Access

Biological networks 101: computational modeling for molecular biologists

Scholma, J., Schivo, S., Urquidi Camacho, R. A., van de Pol, J., Karperien, M. & Post, J. N., 1 Jan 2014, In : Gene. 533, 1, p. 379-84 6 p.

Research output: Contribution to journalArticleAcademicpeer-review

Molecular Models
Mathematics
Chondrocytes
Signal Transduction
Software
2013

Mathematical Modeling of Signaling Pathways in Osteoarthritis

Scholma, J., Kerkhofs, J., Schivo, S., Langerak, R., van der Vet, P., Karperien, M., van de Pol, J., Geris, L. & Post, J. N., Apr 2013, In : Osteoarthritis and Cartilage. 21, p. S123-S123 1 p.

Research output: Contribution to journalConference Abstract/Poster in journal Academicpeer-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 proceedingConference article in proceedingAcademicpeer-review

Crosstalk
Reaction kinetics
User interfaces
Semantics
Engines
2011

Modeling biological pathway dynamics with timed automata

Schivo, S., Scholma, J., Wanders, B., Post, J. N., Karperien, H. B. J., van der Vet, P. E., Langerak, R. & van de Pol, J., 2011, p. --.

Research output: Contribution to conferencePosterAcademic

Model checking
Phosphorylation
Petri nets
Experiments
Chemical activation
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