Arend Rensink

prof.dr.ir.

1988 …2018
If you made any changes in Pure these will be visible here soon.

Research Output 1988 2018

Filter
Paper
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 conferencePaperAcademic

Open Access
Scheduling
Reusability
Vehicle routing
Industrial plants
Logistics
2011
43 Downloads (Pure)

Modelleren is het Nieuwe Programmeren

Rensink, A., Nov 2011. 29 p.

Research output: Contribution to conferencePaperAcademic

Open Access
File
2006
11 Downloads (Pure)

A Graph-Transformation-Based Semantics for Analysing Aspect Interference

Staijen, T. & Rensink, A., 18 Sep 2006, p. 1-12. 12 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
2004
16 Downloads (Pure)

A formal MDA approach for mobile health systems

Akehurst, D. H. (ed.), Jones, V. M., Rensink, A., Ruys, T. C., Brinksma, H. & van Halteren, A., Sep 2004, p. 28-35. 8 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
69 Citations (Scopus)
42 Downloads (Pure)

Compositional Testing with ioco

Petrenko, A. (ed.), van der Bijl, H. M., Rensink, A., Ulrich, A. (ed.) & Tretmans, G. J., 2004, p. 86-100. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
188 Citations (Scopus)
43 Downloads (Pure)

The GROOVE Simulator: A Tool for State Space Generation

Rensink, A., 2004, p. 479-485. 7 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Model checking
Simulators

Who is pointing when to whom?

Distefano, D. S., Lodaya, K. (ed.), Katoen, J. P., Mahajan, M. (ed.) & Rensink, A., 2004, p. 250-262. 13 p.

Research output: Contribution to conferencePaperAcademicpeer-review

2003

A synthesis-based approach to transformations in an MDA software development process

Rensink, A. (ed.), Ivanov, I. & van den Berg, K., Jun 2003, p. 121-126. 6 p.

Research output: Contribution to conferencePaperAcademicpeer-review

2002
12 Citations (Scopus)
36 Downloads (Pure)

Model checking birth and death

Distefano, D. S., Rensink, A. & Katoen, J. P., 2002, p. 435-447. 13 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
2001
11 Downloads (Pure)

Formal Foundations for Reasoning about Composition

De Volder, K. (ed.), Glandrup, M. & Rensink, A., 14 Oct 2001. 8 p.

Research output: Contribution to conferencePaperAcademic

File
2000
11 Downloads (Pure)

Action Contraction

Palamidessi, C. (ed.) & Rensink, A., 2000, p. 290-304. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
26 Citations (Scopus)

On a Temporal Logic for Object-Based Systems

Distefano, D. S., Smith, S. F. (ed.), Katoen, J. P., Talcott, C. L. (ed.) & Rensink, A., 2000, p. 305-326. 22 p.

Research output: Contribution to conferencePaperAcademicpeer-review

Towards Model Checking OCL

Distefano, D. S., Katoen, J. P. & Rensink, A., 12 Jun 2000. 10 p.

Research output: Contribution to conferencePaperAcademic

14 Downloads (Pure)
Open Access
File
1998
32 Downloads (Pure)

An Algebraic Semantics for Message Sequence Chart Documents

Budkowski, S. (ed.), Gehrke, T., Huhn, M., Cavalli, A. (ed.), Najm, E. (ed.), Rensink, A. & Wehrheim, H., 1998, p. 3-18. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
1997
13 Citations (Scopus)
29 Downloads (Pure)

Action Refinement as an Implementation Relation

Bidoit, M. (ed.), Rensink, A., Dauchet, M. (ed.) & Gorrieri, R., 1997, p. 772-786. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
2 Citations (Scopus)
12 Downloads (Pure)

Bisimilarity of Open Terms

Rensink, A., Palamidessi, C. (ed.) & Parrow, J. (ed.), 1997, p. 262-285. 20 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
4 Citations (Scopus)
4 Downloads (Pure)

Dependency-Based Action Refinement

Rensink, A. & Wehrheim, H., 1997, p. 468-477. 10 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
Semantics
Algebra
39 Downloads (Pure)

Process Creation and Full Sequential Composition in a Name-Passing Calculus

Palamidessi, C. (ed.), Gehrke, T., Rensink, A. & Parrow, J. (ed.), 1997, p. 141-160. 20 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
1996
23 Downloads (Pure)

Applications of Fair Testing

Gotzhein, R. (ed.), Brinksma, H., Bredereke, J. (ed.), Rensink, A. & Vogler, W., 1996, p. 145-160. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
1 Citation (Scopus)
29 Downloads (Pure)

Denotational, Causal, and Operational Determinism in Event Structures

Rensink, A. & Kirchner, H. (ed.), 1996, p. 272-286. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
1995
17 Downloads (Pure)

An Event-Based SOS for a Language with Refinement

Desel, J. (ed.) & Rensink, A., 1995, p. 294-309. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
3 Citations (Scopus)
19 Downloads (Pure)

A Theory of Deterministic Event Structures

Lee, I. (ed.), Rensink, A. & Smolka, S. A. (ed.), 1995, p. 160-174. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
Event Structures
Summation
Fixpoint
Algebra
Join
21 Downloads (Pure)

Fair Testing

Lee, I. (ed.), Brinksma, H., Rensink, A., Smolka, S. A. (ed.) & Vogler, W., 1995, p. 313-327. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
1994
10 Downloads (Pure)

Methodological Aspects of Action Refinement

Olderog, E-R. (ed.) & Rensink, A., 1994, p. 227-246. 20 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
10 Citations (Scopus)
57 Downloads (Pure)

On Syntactic and Semantic Action Refinement

Hagiya, M. (ed.), Goltz, U., Mitchell, J. C. (ed.), Gorrieri, R. & Rensink, A., 1994, p. 385-404. 20 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
13 Citations (Scopus)
26 Downloads (Pure)

Weak Sequential Composition in Process Algebras

Rensink, A., Jonsson, B. (ed.), Parrow, J. (ed.) & Wehrheim, H., 1994, p. 226-241. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
1992
10 Downloads (Pure)

Posets for Configurations!

Rensink, A. & Cleaveland, W. R. (ed.), 1992, p. 269-285. 17 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File