• 1447 Citations
1988 …2020

Research output per year

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

Research Output

Filter
Article
2019

Contents for a Model-Based Software Engineering Body of Knowledge

Burgueño, L., Ciccozzi, F., Famelis, M., Kappel, G., Lambers, L., Mosser, S., Paige, R. F., Pierantonio, A., Rensink, A., Salay, R., Taentzer, G., Vallecillo, A. & Wimmer, M., 1 Dec 2019, In : Software and systems modeling. 18, 6, p. 3193-3205 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
1 Citation (Scopus)
27 Downloads (Pure)
2017

Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M., 2017, In : Formal aspects of computing. 29, 4, p. 651-703

Research output: Contribution to journalArticleAcademicpeer-review

8 Citations (Scopus)
2014

A survey and comparison of transformation tools based on the transformation tool contest

Jakumeit, E., Buchwald, S., Wagelaar, D., Dan, L., Hegedüs, Á., Hermannsdörfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L., Wätzoldt, S. & Mazanek, S., Jun 2014, In : Science of computer programming. 85A, A, p. 41-99 59 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
40 Citations (Scopus)
224 Downloads (Pure)

Software and systems modeling with graph transformations: Theme issue of the Journal on Software and Systems Modeling

Schürr, A. & Rensink, A., Feb 2014, In : Software and systems modeling. 13, 1, p. 171-172 2 p.

Research output: Contribution to journalArticleAcademic

File
2 Citations (Scopus)
28 Downloads (Pure)
2012

Modelling and analysis using GROOVE

Ghamarian, A. H., de Mol, M., Rensink, A., Zambon, E. & Zimakova, M., Feb 2012, In : International journal on software tools for technology transfer. 14, p. 15-40 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

80 Citations (Scopus)

Recent Developments in the Theory of Graph Transformation, 2010

Rensink, A., Rozenberg, G. & Schürr, A., 2012, In : Fundamenta informaticae. 118, 3, p. v-vii 3 p.

Research output: Contribution to journalArticleAcademic

File
33 Downloads (Pure)
2011

Using Graph Transformations and Graph Abstractions for Software Verification

Corradini, A. (ed.), Zambon, E. & Rensink, A., Aug 2011, In : EASST electronic communications. 38, p. 1-13 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

4 Citations (Scopus)
2010

Graph transformation tool contest 2008

Rensink, A. & van Gorp, P., Jun 2010, In : International journal on software tools for technology transfer. 12, 3-4, p. 171-181 11 p., 10.1007/s10009-010-0157-7.

Research output: Contribution to journalArticleAcademic

11 Citations (Scopus)
2009

Editorial for Special Section on Dependencies and Interactions with Aspects

Chitchyan, R., Rashid, A. (ed.), Fabry, J., Ossher, H. (ed.), Katz, S. & Rensink, A., 2009, In : Lecture notes in artificial intelligence. 5490, p. 133-134 2 p.

Research output: Contribution to journalArticleAcademic

File
7 Citations (Scopus)
10 Downloads (Pure)

Graph Abstraction for a Modal Logic

Boneva, I., Ehrig, H. (ed.), Kreiker, J., Kurban, M. E. & Rensink, A., Feb 2009, In : Bulletin of the European Association for Theoretical Computer Science. 97, p. 106-116 11 p.

Research output: Contribution to journalArticleAcademic

2008

Applying Formal Methods to Gossiping Networks with mCRL and Groove

Crouzen, P., van de Pol, J. & Rensink, A., Dec 2008, In : SIGMETRICS performance evaluation review. 36, 3, p. 7-16 10 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
20 Downloads (Pure)
2007

Fair Testing

Rensink, A. & Vogler, W., 2007, In : Information and computation. 205, 2, p. 125-198 74 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
98 Citations (Scopus)
18 Downloads (Pure)
2005

The Joys of Graph Transformation

Rensink, A., 2005, In : Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 9, p. - 13 p.

Research output: Contribution to journalArticleProfessional

File
19 Downloads (Pure)
2002

Model checking birth and death.

Distefano, D. S., Rensink, A. & Katoen, J. P., 2002, In : Theoretical computer science. p. -

Research output: Contribution to journalArticleAcademicpeer-review

Visualisatie van het Objectgeoriënteerde Paradigma

Rensink, A., 2002, In : TINFON. 11, 2, p. 80-83 4 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
25 Downloads (Pure)

Visualisatie van het Object-georiënteerde Paradigma

Rensink, A., 2002, In : TINFON. 11, 2, p. 80-83

Research output: Contribution to journalArticleAcademic

2001

Process Algebra with Action Dependencies

Rensink, A. & Wehrheim, H., 2001, In : Acta informatica. 38, 3, p. 155-234 80 p.

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
16 Downloads (Pure)

Vertical Implementation

Rensink, A. & Gorrieri, R., 2001, In : Information and computation. 170, 1, p. 95-133 39 p., 10.1006/inco.2001.2967.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
16 Citations (Scopus)
44 Downloads (Pure)
2000

Bisimilarity of Open Terms

Rensink, A., 2000, In : Information and computation. 156, 1-2, p. 345-385 41 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
29 Citations (Scopus)
13 Downloads (Pure)
1996

Algebra and Theory of Order-Deterministic Pomsets

Rensink, A., 1996, In : Notre Dame Journal of Formal Logic. 37, 2, p. 283-320 38 p., 10.1305/ndjfl/1040046090.

Research output: Contribution to journalArticleAcademicpeer-review

File
5 Citations (Scopus)
65 Downloads (Pure)

Comparing Syntactic and Semantics Action Refinement

Goltz, U., Gorrieri, R. & Rensink, A., Mar 1996, In : Information and computation. 125, 2, p. 118-143 26 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
17 Citations (Scopus)
27 Downloads (Pure)
1994

Finite petri nets as models for recursive causal behaviour

Goltz, U. & Rensink, A., 1994, In : Theoretical computer science. 124, 1, p. 169-179 11 p.

Research output: Contribution to journalArticleAcademicpeer-review

File
4 Citations (Scopus)
55 Downloads (Pure)
1993

Order isomorphism does not preserve global event independence

Rensink, A., Oct 1993, In : Bulletin of the European Association for Theoretical Computer Science. 51, p. 228-235 8 p.

Research output: Contribution to journalArticleAcademic

1992

Abstaction and Refinement in Configuration Structures

Constantini, R. & Rensink, A., 1992, In : Memoranda informatica. 92, 17, p. - 31 p.

Research output: Contribution to journalArticleProfessional

Finite Petri Nets as Models for recursive Causal Behaviour

Goltz, U. & Rensink, A., 1992, In : Memoranda informatica. 0, 604, p. - 17 p.

Research output: Contribution to journalArticleProfessional

On Syntactic and Semantic Notions of Refinement

Goltz, U., Gorrierri, R. & Rensink, A., 1992, In : Hildesheimer Informatik-Berichte. 92, 18, p. - 31 p.

Research output: Contribution to journalArticleProfessional

1991

Pattern sets

Rensink, A., 1991, In : Memoranda informatica. 1, 24, p. - 17 p.

Research output: Contribution to journalArticleProfessional

1990

Elementary Structures of Non-Atomic Events

Rensink, A., 1990, In : Memoranda informatica. 89, 65, p. - 24 p.

Research output: Contribution to journalArticleProfessional

Non-Atomic Events and Event Hierarachies

Rensink, A., 1990, In : Memoranda informatica. 90, 63, p. - 20 p.

Research output: Contribution to journalArticleProfessional

Selection Structures

Rensink, A., 1990, In : Memoranda informatica. 90, 71, p. - 32 p.

Research output: Contribution to journalArticleProfessional