• 1360 Citations
1988 …2019
If you made any changes in Pure these will be visible here soon.

Research Output 1988 2019

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
44 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
70 Citations (Scopus)
47 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)
49 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

2002
12 Citations (Scopus)
40 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

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
36 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)
33 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
46 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
19 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

Open Access
File
1 Citation (Scopus)
34 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
20 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)
20 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
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)
63 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)
32 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