20102019

Research output per year

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

Research Output

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
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

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

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

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

Nitric Oxide Mediates Crosstalk between Interleukin 1β and WNT Signaling in Primary Human Chondrocytes by Reducing DKK1 and FRZB Expression

Zhong, L., Schivo, S., Huang, X., Leijten, J., Karperien, M. & Post, J. N., 22 Nov 2017, In : International Journal of Molecular Sciences. 18, 11, 18 p., 2491.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access

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

2016

Improved intra-array and interarray normalization of peptide microarray phosphorylation for phosphorylome and kinome profiling by rational selection of relevant spots

Scholma, J., Fuhler, G. M., Joore, J., Hulsman, M., Schivo, S., List, A. F., Reinders, M. J. T., Peppelenbosch, M. P. & Post, J. N., 26 May 2016, In : Scientific Reports. 6, 13 p., 26695.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
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

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

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

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