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

Research Output 1988 2019

Filter
Article
2019
3 Downloads (Pure)

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., 18 Jul 2019, In : Software and systems modeling. 18, 6, p. 3193-3205 13 p.

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
File
Software Engineering
Software engineering
Model-based
Curricula
Knowledge
2017
8 Citations (Scopus)

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

Graph Rewriting
Fault Tree
Nutrition
Directed graphs
Reliability Modeling
2014
36 Citations (Scopus)
161 Downloads (Pure)

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
Taxonomies
Data structures
Engineers
1 Citation (Scopus)
25 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
2012
71 Citations (Scopus)

Modelling and analysis using GROOVE

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

Research output: Contribution to journalArticleAcademicpeer-review

22 Downloads (Pure)

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
2011
4 Citations (Scopus)

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

2010
11 Citations (Scopus)

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

2009
7 Citations (Scopus)
4 Downloads (Pure)

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

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
18 Downloads (Pure)

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
Formal methods
Sampling
2007
93 Citations (Scopus)

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
Congruence
Testing
Divergence
Computability and decidability
Liveness
2005
15 Downloads (Pure)

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
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

19 Downloads (Pure)

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

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, p. 155-234

Research output: Contribution to journalArticleAcademicpeer-review

5 Citations (Scopus)
31 Downloads (Pure)

Process Algebra with Action Dependencies

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

Research output: Contribution to journalArticleAcademicpeer-review

File
16 Citations (Scopus)
28 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
Vertical
Bisimulation
Algebra
Semantics
Concretes
2000
28 Citations (Scopus)

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
Term
Closed
Substitution reactions
Congruence
Semantics
1996
5 Citations (Scopus)
43 Downloads (Pure)

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
17 Citations (Scopus)
12 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
Syntactics
Refinement
Semantics
Parallel Composition
Term
1994
4 Citations (Scopus)
35 Downloads (Pure)

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
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