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

Research Output 2010 2018

Filter
Conference contribution
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. Apr 2018 Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Russo, A. & Schürr, A. (eds.). Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Interoperability
2017
3 Citations

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. Oct 2017 Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Larsen, K., Sokolsky, O. & Wang, J. (eds.). Springer, p. 319-336 (Lecture Notes in Computer Science; vol. 10606)(Lecture Notes in Programming and Software Engineering)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Query languages
Computer hardware
Cyber Physical System

Improving the Timed Automata Approach to Biological Pathway Dynamics

Langerak, R., Pol, J. V. D., Post, J. N. & Schivo, S. 19 Aug 2017 Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday. Aceto, L., Bacci, G., Bacci, G., Ingólfsdóttir, A., Legay, A. & Mardare, R. (eds.). Springer, p. 96-111 16 p. (Lecture Notes in Computer Science; vol. 10460)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Computer science
Model checking
Biological systems
User interfaces
Genes
1 Citations

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). IEEE, 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Open Access
File
Fault tree analysis
Nuclear power plants
Aircraft
Engines
Side channel attack
2015

Comparison of Timed Automata with Discrete Event Simulation for Modeling Personalized Treatment Decisions: the Case of Metastatic Castration Resistant Prostate Cancer

Degeling, K., Degeling, K., Koffijberg, H., Schivo, S., Langerak, R. & IJzerman, M. J. Nov 2015 ISPOR 18th Annual European Congress Research Abstracts. International Society for Pharmacoeconomics and Outcomes Research (ISPOR), p. A343-A344 1 p. (Value in Health; vol. 18, no. 7)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Castration
Prostatic Neoplasms
Circulating Neoplastic Cells
Statistical Models
Therapeutics

PRM113 - Timed Automata Modeling of The Personalized Treatment Decisions In Metastatic Castration Resistant Prostate Cancer

Schivo, S., Degeling, K., Degeling, K., Koffijberg, H., IJzerman, M. J. & Langerak, R. Nov 2015 ISPOR 18th Annual European Congress Research Abstracts. Amsterdam: International Society for Pharmacoeconomics and Outcomes Research (ISPOR), p. A702-A703 (Value in Health; vol. 18, no. 7)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2014

An echo in biology: validating the executable chondrocyte

Scholma, J., Schivo, S., Karperien, H. B. J., Langerak, R., van de Pol, J. C. & Post, J. N. 1 Apr 2014 2014 World Congress on Osteoarthritis. Supplement ed. Amsterdam: ELSEVIER, Vol. 22, p. S157-S157 1 p. (Osteoarthritis and Cartilage; vol. 22)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
Chondrocytes
Cartilage
Osteogenesis
Osteoarthritis
beta Catenin

ECHO: the executable chondrocyte

Scholma, J., Schivo, S., Kerkhofs, J., Langerak, R., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N. 9 Jun 2014 Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting. Malden: Wiley, p. 54-54 1 p. (s1; vol. 8)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
6 Citations

Setting Parameters for Biological Models With ANIMO

Schivo, S., Scholma, J., Karperien, H. B. J., Post, J. N., van de Pol, J. C. & Langerak, R. 8 Apr 2014 Proceedings 1st International Workshop on Synthesis of Continuous Parameters. André, É. & Frehse, G. (eds.). Open Publishing Association, p. 35-47 13 p. (Electronic Proceedings in Theoretical Computer Science; vol. 145)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

File
2013

Mathematical modeling of signaling pathways in osteoarthritis

Scholma, J., Kerkhofs, J., Schivo, S., Langerak, R., van der Vet, P. E., Karperien, H. B. J., van de Pol, J. C., Geris, L. & Post, J. N. 19 Apr 2013 2013 Osteoarthritis Research Society International (OARSI) World Congress. Lohmander, S. (ed.). Amsterdam: ELSEVIER, p. - 1 p. (S123; vol. 21, no. Suppl.)

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2012
9 Citations

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. Nov 2012 2012 IEEE 12th International Conference on Bioinformatics and Bioengineering (BIBE 2012). IEEE Computer Society, p. 447-453 7 p.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Crosstalk
Reaction kinetics
User interfaces
Semantics
Engines
2010
2 Citations

Approximate Model Checking of Stochastic COWS

Quaglia, P. & Schivo, S. 2010 5th International Symposium on Trustworthly Global Computing, TGC 2010. Berlin: Springer Verlag, p. 335-347 13 p. (Lecture Notes in Computer Science; vol. 6084)

Research output: Chapter in Book/Report/Conference proceedingConference contribution