Follow
Stefano Schivo
Title
Cited by
Cited by
Year
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
382013
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
302014
Effective analysis of attack trees: A model-driven approach
R Kumar, S Schivo, E Ruijters, BM Yildiz, D Huistra, J Brandt, A Rensink, ...
International Conference on Fundamental Approaches to Software Engineering …, 2018
262018
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
252017
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), 1-15, 2016
252016
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, ...
International Symposium on Dependable Software Engineering: Theories, Tools …, 2017
142017
FFORT: a benchmark suite for fault tree analysis
E Ruijters, CE Budde, MC Nakhaee, MIA Stoelinga, D Bucur, D Hiemstra, ...
Singapore: Research Publishing, 2019
122019
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
122014
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
102017
Review of current use of mobile telephony in developing regions
M Forlin, R Larcher, S Schivo
Retrieved February 11, 2015, 2008
102008
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
82020
Approximate model checking of stochastic cows
P Quaglia, S Schivo
International Symposium on Trustworthy Global Computing, 335-347, 2010
82010
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), 1-13, 2016
72016
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
62017
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, 522-540, 2011
62011
J Van De Pol2, L Geris4 and JN Post1 1Developmental Bioengineering, MIRA institute for biomedical technology and technical medicine, University of Twente, Enschede, The …
J Scholma, S Schivo, J Kerkhofs, R Langerak, M Karperien
J Tissue Eng Regen Med 8 (1), 39-206, 2014
52014
Mathematical modeling of signaling pathways in osteoarthritis
J Scholma, J Kerkhofs, S Schivo, R Langerak, P van der Vet, M Karperien, ...
Osteoarthritis and Cartilage 21, S123, 2013
42013
Discretization of continuous dynamical systems using UPPAAL
S Schivo, R Langerak
ModelEd, TestEd, TrustEd, 297-315, 2017
32017
webANIMO: Improving the accessibility of ANIMO
W Siers, M Bakker, B Rubbens, R Haasjes, J Brandt, S Schivo
F1000Research 5 (1714), 1714, 2016
32016
An echo in biology: Validating the executable chondrocyte
J Scholma, S Schivo, M Karperien, R Langerak, J van de Pol, JN Post
Osteoarthritis and cartilage 22, S157, 2014
32014
The system can't perform the operation now. Try again later.
Articles 1–20