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

Fingerprint Fingerprint is based on mining the text of the person's scientific documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

  • 6 Similar Profiles
Chondrocytes Medicine & Life Sciences
Castration Medicine & Life Sciences
Osteoarthritis Medicine & Life Sciences
Software Medicine & Life Sciences
Prostatic Neoplasms Medicine & Life Sciences
Computer Simulation Medicine & Life Sciences
Joints Medicine & Life Sciences
Circulating Neoplastic Cells Medicine & Life Sciences

Network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output 2010 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
Castration
Circulating Neoplastic Cells
Prostatic Neoplasms
Software
Biomarkers

Computational Modeling of Complex Protein Activity Networks

Schivo, S., Leijten, J., Karperien, M. & Post, J. N. 29 Nov 2017 Protein Phosphorylation. Prignet, C. (ed.). IntechOpen, p. 155-178 24 p.

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Computational Modeling
Computer Simulation
Molecular interactions
Proteins
Protein

Discretization of Continuous Dynamical Systems Using UPPAAL

Schivo, S. & Langerak, R. 27 Sep 2017 ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, p. 297-315 19 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Chapter in Book/Report/Conference proceedingChapter

Open Access
File
Dynamical systems
Differential equations
Model checking
2 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