Stefano Schivo
Cited by
Cited by
Modeling biological pathway dynamics with timed automata
S Schivo, J Scholma, B Wanders, RAU Camacho, PE Van der Vet, ...
IEEE journal of biomedical and health informatics 18 (3), 832-839, 2013
Effective analysis of attack trees: A model-driven approach
R Kumar, S Schivo, E Ruijters, BM Yildiz, D Huistra, J Brandt, A Rensink, ...
Fundamental Approaches to Software Engineering: 21st International …, 2018
Nitric oxide mediates crosstalk between interleukin 1β and WNT signaling in primary human chondrocytes by reducing DKK1 and FRZB expression
L Zhong, S Schivo, X Huang, J Leijten, M Karperien, JN Post
International journal of molecular sciences 18 (11), 2491, 2017
Biological networks 101: Computational modeling for molecular biologists
J Scholma, S Schivo, RAU Camacho, J van de Pol, M Karperien, JN Post
Gene 533 (1), 379-384, 2014
Modelling with ANIMO: between fuzzy logic and differential equations
S Schivo, J Scholma, PE van der Vet, M Karperien, JN Post, J van de Pol, ...
BMC systems biology 10, 1-15, 2016
FFORT: a benchmark suite for fault tree analysis
E Ruijters, CE Budde, MC Nakhaee, MIA Stoelinga, D Bucur, D Hiemstra, ...
Singapore: Research Publishing, 2019
How to efficiently build a front-end tool for UPPAAL: a model-driven approach
S Schivo, BM Yildiz, E Ruijters, C Gerking, R Kumar, S Dziwok, A Rensink, ...
Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017
ECHO, the executable CHOndrocyte: A computational model to study articular chondrocytes in health and disease
S Schivo, S Khurana, K Govindaraj, J Scholma, J Kerkhofs, L Zhong, ...
Cellular Signalling 68, 109471, 2020
Comparison of timed automata with discrete event simulation for modeling of biomarker-based treatment decisions: an illustration for metastatic castration-resistant prostate cancer
K Degeling, S Schivo, N Mehra, H Koffijberg, R Langerak, JS de Bono, ...
Value in health 20 (10), 1411-1419, 2017
Setting parameters for biological models with ANIMO
S Schivo, J Scholma, M Karperien, JN Post, J van de Pol, R Langerak
arXiv preprint arXiv:1404.0444, 2014
Uniform analysis of fault trees through model transformations
E Ruijters, S Schivo, M Stoelinga, A Rensink
2017 Annual Reliability and Maintainability Symposium (RAMS), 1-7, 2017
Review of current use of mobile telephony in developing regions
M Forlin, R Larcher, S Schivo
Retrieved February 11, 2015, 2008
Improved intra-array and interarray normalization of peptide microarray phosphorylation for phosphorylome and kinome profiling by rational selection of relevant spots
J Scholma, GM Fuhler, J Joore, M Hulsman, S Schivo, AF List, ...
Scientific reports 6 (1), 26695, 2016
Approximate model checking of stochastic cows
P Quaglia, S Schivo
International Symposium on Trustworthy Global Computing, 335-347, 2010
Quantitative analysis of services
I Cappello, A Clark, S Gilmore, D Latella, M Loreti, P Quaglia, S Schivo
Rigorous Software Engineering for Service-Oriented Systems: Results of the …, 2011
In silico validation of a cartilage specific circadian clock: mutation of BMAL1 increased MMP expression
S Khurana, A Bokkers, DJ Geijs, S Schivo, M Karperien, JN Post
Osteoarthritis and Cartilage 27, S193-S194, 2019
Discretization of continuous dynamical systems using UPPAAL
S Schivo, R Langerak
ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of …, 2017
ECHO: the executable chondrocyte
J Scholma, S Schivo, J Kerkhofs, R Langerak, HBJ Karperien, ...
TERMIS-EU Chapter Meeting 2014, 54-54, 2014
An ECHO of Cartilage: In Silico Prediction of Combinatorial Treatments to Switch Between Transient and Permanent Cartilage Phenotypes With Ex Vivo Validation
S Khurana, S Schivo, JRM Plass, N Mersinis, J Scholma, J Kerkhofs, ...
Frontiers in bioengineering and biotechnology 9, 732917, 2021
webANIMO: Improving the accessibility of ANIMO
W Siers, M Bakker, B Rubbens, R Haasjes, J Brandt, S Schivo
F1000Research 5, 1714, 2016
The system can't perform the operation now. Try again later.
Articles 1–20