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
Timed automata Mathematics
Software Medicine & Life Sciences
Model checking Engineering & Materials Science
Osteoarthritis Medicine & Life Sciences
Pathway Mathematics
Cartilage Medicine & Life Sciences
Computer Simulation 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: Scientific - peer-reviewConference contribution

Interoperability
Circulating Neoplastic Cells
Software
Biological Markers
Economics
Health

Computational Modeling of Complex Protein Activity Networks

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

Research output: Scientific - peer-reviewChapter

Computer Simulation
Molecular interactions
Workflow
Osteoarthritis
Functional analysis

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: Scientific - peer-reviewChapter

Dynamical systems
Differential equations
Model checking
1 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: Scientific - peer-reviewConference contribution

Query languages
Hardware