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 | 42 | 2018 |
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 | 42 | 2013 |
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 | 38 | 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 | 33 | 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 | 30 | 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 | 25 | 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 | 16 | 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 | 15 | 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 | 14 | 2017 |
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 | 14 | 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 | 13 | 2014 |
Review of current use of mobile telephony in developing regions M Forlin, R Larcher, S Schivo Retrieved February 11, 2015, 2008 | 9 | 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 | 8 | 2016 |
Approximate model checking of stochastic cows P Quaglia, S Schivo International Symposium on Trustworthy Global Computing, 335-347, 2010 | 8 | 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 | 7 | 2011 |
Discretization of continuous dynamical systems using UPPAAL S Schivo, R Langerak ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of …, 2017 | 6 | 2017 |
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 | 5 | 2019 |
ECHO: the executable chondrocyte J Scholma, S Schivo, J Kerkhofs, R Langerak, HBJ Karperien, ... TERMIS-EU Chapter Meeting 2014, 54-54, 2014 | 5 | 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 | 4 | 2021 |
webANIMO: Improving the accessibility of ANIMO W Siers, M Bakker, B Rubbens, R Haasjes, J Brandt, S Schivo F1000Research 5, 1714, 2016 | 4 | 2016 |