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

Research Output 1988 2019

Article

Abstaction and Refinement in Configuration Structures

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

Research output: Contribution to journalArticleProfessional

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
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
36 Citations (Scopus)
153 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
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
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
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
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

Elementary Structures of Non-Atomic Events

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

Research output: Contribution to journalArticleProfessional

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

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

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

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

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

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

Non-Atomic Events and Event Hierarachies

Rensink, A., 1990, In : Memoranda informatica. 90, 63, p. - 20 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

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

Pattern sets

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

Research output: Contribution to journalArticleProfessional

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

Selection Structures

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

Research output: Contribution to journalArticleProfessional

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

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

Book editing

Formal Methods for Open Object-Based Distributed Systems V

Jacobs, B. (ed.) & Rensink, A. (ed.), 2002, Dordrecht: Kluwer Academic Publishers. 296 p. (IFIP Conference Proceedings; vol. 209)

Research output: Book/ReportBook editingAcademic

78 Downloads (Pure)

Fundamental Approaches to Software Engineering

Gnesi, S. (ed.) & Rensink, A. (ed.), Apr 2014, Berlin: Springer. 429 p. (Lecture Notes in Computer Science; vol. 8411)(Advanced Research in Computing and Software Science)

Research output: Book/ReportBook editingAcademic

Software engineering

Graph Transformations: 5th International Conference, ICGT 2010, Enschede, The Netherlands, September 27–October 2, 2010. Proceedings

Ehrig, H. (ed.), Rensink, A. (ed.), Rozenberg, G. (ed.) & Schürr, A. (ed.), 2010, Berlin: Springer. 418 p. (Lecture Notes in Computer Science; vol. 6372)

Research output: Book/ReportBook editingAcademic

88 Downloads (Pure)

Model Driven Architecture

Aßmann, U., Aksit, M. (ed.) & Rensink, A. (ed.), 2005, Berlin / Heidelberg: Springer. 233 p. (Lecture Notes in Computer Science; vol. 3599, no. 3599)

Research output: Book/ReportBook editingAcademic

File

Model Driven Architecture - Foundations and Applications

Rensink, A. (ed.) & Warmer, J. (ed.), Jul 2006, Berlin: Springer. 392 p. (Lecture Notes in Computer Science; vol. 4066, no. 2/4066)

Research output: Book/ReportBook editingAcademic

2 Citations (Scopus)

Model Driven Architecture - Foundations and Applications

Paige, R. F. (ed.), Hartman, A. (ed.) & Rensink, A. (ed.), 2009, Berlin: Springer. 337 p. (Lecture Notes in Computer Science; vol. 5562)

Research output: Book/ReportBook editingAcademic

66 Downloads (Pure)

ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday

Katoen, J-P., Langerak, R. & Rensink, A., 2017, Springer. 390 p. (Lecture Notes in Computer Science; vol. 10500)

Research output: Book/ReportBook editingAcademic

Open Access
File
Birthday
Formal Methods
Festschrift
Mathematics
Language Modeling
19 Downloads (Pure)

Transformation Tool Contest 2010, 1-2 July 2010, Malaga, Spain

Mazanek, S., Rensink, A. (ed.) & van Gorp, P. (ed.), Jun 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 207 p. (CTIT Workshop Proceedings Series; vol. 10-03)

Research output: Book/ReportBook editingAcademic

File
Chapter

Action Refinement

Gorrieri, R. & Rensink, A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Amsterdam: Elsevier, p. 1047-1146 100 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Action Refinement

Gorrieri, R. & Rensink, A., 2001, Handbook of Process Algebra. Bergstra, J. A., Ponse, A. & Smolka, S. A. (eds.). Amsterdam: Elsevier, p. 1047-1147

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

1 Citation (Scopus)
12 Downloads (Pure)

A tutorial on graph transformation

König, B., Nolte, D., Padberg, J. & Rensink, A., 7 Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Heckel, R. & Taentzer, G. (eds.). Springer, p. 83-104 22 p. (Lecture Notes in Computer Science; vol. 10800).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
Gluing
Graph Transformation
Graph Rewriting
Leader Election
Tool Support
17 Downloads (Pure)

A Typed Functional Calculus With State

Rensink, A., 1997, Special Issues in Object-Oriented Programming. Müllhäuser, M. (ed.). Heidelberg, Germany: D.punkt Verlag, p. 558-561 4 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File
22 Citations (Scopus)

Explicit State Model Checking for Graph Grammars

Rensink, A., Jun 2008, Concurrency, Graphs and Models. de Nicola, R., Degano, P. & Meseguer, J. (eds.). Berlin: Springer, p. 114-132 19 p. 10.1007/978-3-540-68679-8_8. (Lecture Notes in Computer Science; vol. 5065, no. 274/5065).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

1 Citation (Scopus)
11 Downloads (Pure)

Graph Attribution Through Sub-Graphs

Kastenberg, H. & Rensink, A., 7 Feb 2018, Graph Transformation, Specifications, and Nets: In Memory of Hartmut Ehrig. Springer, p. 245-265 (Lecture Notes in Computer Science; vol. 10800).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

Open Access
File
2 Downloads (Pure)

How much are your geraniums? Taking graph conditions beyond first Order

Rensink, A., 2017, ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday. Katoen, J-P., Langerak, R. & Rensink, A. (eds.). Springer, Vol. 10500 LNCS. p. 191-213 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10500 LNCS).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

First-order Logic
First-order
Graph in graph theory
Operator
Graph Transformation

Klasse- en Objectdiagrammen

Rensink, A., 2001, Visueel Programmeren met Java, deel 3. Heerlen: Open Universiteit, p. 25-46

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

2 Citations (Scopus)
12 Downloads (Pure)

Model Patterns - The Quest for the Right Level of Abstraction

Rensink, A., Sep 2016, Transactions on Foundations for Mastering Change I. Steffen, B. (ed.). Berlin: Springer, p. 47-70 24 p. (Lecture Notes in Computer Science; vol. 9960, no. 9960).

Research output: Chapter in Book/Report/Conference proceedingChapterAcademicpeer-review

File

Objectoriëntatie

Rensink, A., 2001, Visueel Programmeren met Java. Heerlen, Netherlands: Open Universiteit Nederland, p. 73-116 44 p.

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Objectoriëntatie

Rensink, A., 2001, Visueel Programmeren met Java, deel 1. Heerlen: Open Universiteit, p. 73-116

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional