Arend Rensink

prof.dr.ir.

1988 …2018
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.

  • 10 Similar Profiles
Model checking Engineering & Materials Science
Semantics Engineering & Materials Science
Nutrition Engineering & Materials Science
Software engineering Engineering & Materials Science
Specifications Engineering & Materials Science
Interoperability Engineering & Materials Science
Scheduling Engineering & Materials Science
Algebra Engineering & Materials Science

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

Research Output 1988 2018

Designing Reusable and Run-Time Evolvable Scheduling Software

Orhan, G., Aksit, M. & Rensink, A. 28 Aug 2018 p. 339-373 35 p.

Research output: Contribution to conferencePaper

Open Access
Scheduling
Reusability
Vehicle routing
Industrial plants
Logistics

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

Truth or dare: quantitative security risk analysis via attack trees

Kumar, R. 17 Oct 2018 Enschede: University of Twente. 226 p.

Research output: ThesisPhD Thesis - Research UT, graduation UT

Open Access
File
Risk analysis
Taxonomies
Model checking
Security of data
Computer viruses

A Formal Product-Line Engineering Approach for Schedulers

Orhan, G., Aksit, M. & Rensink, A. Nov 2017 SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. Jololian, L., Robbins, D. E. & Fernandes, S. L. (eds.). p. 15-30 16 p. (Integrated design and process technology; vol. 22)

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

Open Access
Scheduling
Elevators
Radar systems
Airports
Railroad cars

A Java Bytecode Metamodel for Composable Program Analyses

Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M. Jul 2017 Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 30-40 (Lecture Nodes in Computer Science; vol. 10748)

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

Interoperability
Specifications

Activities 2003 2004

  • 4 Oral presentation

Canonical Graph Shapes

Rensink, A. (Speaker)
1 Mar 2004

Activity: Oral presentation

The GROOVE Simulator: A Tool for State Space Generation

Rensink, A. (Speaker)
1 Oct 2003

Activity: Oral presentation

AGTIVE 2003: From the Outside In

Rensink, A. (Speaker)
1 Oct 2003

Activity: Oral presentation

Model Checking Graph Grammars

Rensink, A. (Speaker)
3 Apr 2003

Activity: Oral presentation