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.

  • 23 Similar Profiles
Semantics Engineering & Materials Science
Model checking Engineering & Materials Science
Graph in graph theory Mathematics
Chemical analysis Engineering & Materials Science
Specifications Engineering & Materials Science
Graph transformation Mathematics
Algebra Engineering & Materials Science
Pattern matching Engineering & Materials Science

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

Research Output 1988 2017

1 Citations

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

Berger, C. (ed.), Ahmad, W., Yildiz, B. M., Reza Mousavi, M. (ed.), Rensink, A., Wisniewski, R. (ed.) & Stoelinga, M. I. A. 13 Jan 2017 p. 1-16 15 p.

Research output: Scientific - peer-reviewPaper


Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A. 2017 53 p.

Research output: Scientific - peer-reviewArticle

Directed graphs

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)

Research output: Scientific - peer-reviewConference contribution

Query languages

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, J-P., Langerak, R. & Rensink, A. 2017 Springer. 390 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: ScientificBook editing

Formal methods
Computer science
Dynamical systems
Fault tree analysis
Nuclear power plants
Side channel attack

Activities 2003 2004

  • 2 Oral presentation

Canonical Graph Shapes

Rensink, A. (Speaker)
1 Mar 2004

Activity: Oral presentation

Model Checking Graph Grammars

Rensink, A. (Speaker)
3 Apr 2003

Activity: Oral presentation