Arend Rensink

prof.dr.ir.

Formal Methods and Tools

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.

9 Similar Profiles

Model checking Engineering & Materials Science

Semantics Engineering & Materials Science

Nutrition Engineering & Materials Science

Specifications Engineering & Materials Science

Interoperability Engineering & Materials Science

Scheduling Engineering & Materials Science

Algebra Engineering & Materials Science

Event Structures Mathematics

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

Research Output 1988 2018

89 Conference contribution
56 Report
30 Article
29 Paper
33 More

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 conference › Paper

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 proceeding › Conference contribution

Open Access

File

Interoperability

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 proceeding › Conference 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 proceeding › Conference contribution

Interoperability

Specifications

1 Citations

A Model-Derivation Framework for Software Analysis

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M. Apr 2017 Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höffner, P. (eds.). arXiv.org, p. 217-229 (EPTCS - Electronic Publications in Theoretical Computer Science; vol. 244)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Open Access

File

Scalability

Electric potential