• 1514 Citations
1988 …2020

Research output per year

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

Research Output

Bisimilarity of Open Terms

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

Research output: Contribution to conferencePaper

File
2 Citations (Scopus)
30 Downloads (Pure)

CALIBAN - Esprit Basic Research WG 6067

Best, E., Devillers, R., Pelz, E., Rensink, A., Silva, M. & Teruel, E., 1995, Structures in Concurrency Theory. Desel, J. (ed.). Berlin: Springer, p. 2-31 30 p. (Workshops in Computing).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Canonical Graph Shapes

Rensink, A., 2004, Programming Languages and Systems: 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29-April 2, 2004. Proceedings. Schmidt, D. (ed.). Berlin: Springer, p. 401-415 15 p. (Lecture Notes in Computer Science; vol. 2986).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

37 Citations (Scopus)

Causal Traces

Rensink, A., Dec 1995, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 39 p. (Hildesheimer Informatik-Berichte; no. 39/95)

Research output: Book/ReportReportOther research output

File
20 Downloads (Pure)

Class diagram restructuring with GROOVE

Smid, W. & Rensink, A., Nov 2013, Proceedings Sixth Transformation Tool Contest. Van Gorp, P., Rose, L. M. & Krause, C. (eds.). arXiv.org, p. 83-87 5 p. (Electronic Proceedings in Theoretical Computer Science; vol. 135).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
67 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)
32 Downloads (Pure)

Component Based Testing with ioco

van der Bijl, M., Rensink, A. & Tretmans, J., Aug 2003, Enschede: University of Twente. 44 p. (CTIT technical report series; no. TR-CTIT-03-34)

Research output: Book/ReportReportProfessional

Open Access
File
28 Downloads (Pure)

Compositional based testing with ioco

van der Bijl, H. M., Rensink, A. & Tretmans, G. J., 6 Oct 2004, Formal approaches to software testing. Petrenko, A. & Ulrich, A. (eds.). Berlin: Springer, p. 86-100

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Compositionality in Graph Transformation

Rensink, A., Jul 2010, Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings. Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F. & Spirakis, P. G. (eds.). Berlin: Springer, p. 309-320 12 p. (Lecture Notes in Computer Science; vol. 6199).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)

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 conferencePaper

File
79 Citations (Scopus)
73 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., 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)
28 Downloads (Pure)

Defining Object-Oriented Execution Semantics Using Graph Transformations

Kastenberg, H., Kleppe, A. G. & Rensink, A., Jun 2006, Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems. Gorrieri, R. & Wehrheim, H. (eds.). London: Springer, p. 186-201 16 p. 10.1007/11768869_15. (Lecture Notes in Computer Science; vol. 4037, no. 2).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
30 Citations (Scopus)
63 Downloads (Pure)

Denotational, Causal, and Operational Determinism in Event Structures

Rensink, A., Sep 1995, Hildesheim: Institut für Informatik, University of Hildesheim. 24 p. (Hildesheimer Informatik-Berichte; no. 29/95)

Research output: Book/ReportReportOther research output

File
60 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 conferencePaper

File
1 Citation (Scopus)
58 Downloads (Pure)

Dependency-Based Action Refinement

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

Research output: Contribution to conferencePaper

File
4 Citations (Scopus)
10 Downloads (Pure)

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 conferencePaper

Open Access

Deterministic Pomsets

Rensink, A., Nov 1994, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 42 p. (Hildesheimer Informatik-Bericht; no. 30/94)

Research output: Book/ReportReportOther research output

File
28 Downloads (Pure)

Distributed Graph-Based State Space Generation

Blom, S., Kant, G. & Rensink, A., Sep 2010, Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). De Lara, J. & Varro, D. (eds.). Berlin: European Association of Software Science and Technology (EASST), p. 8 12 p. (Electronic Communications of the EASST; vol. 32, no. WP 10-06).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
2 Citations (Scopus)
23 Downloads (Pure)

Dynamic Partial Order Reduction Using Probe Sets

Kastenberg, H. & Rensink, A., 2008, Concurrency Theory (CONCUR). Van Breughel, F. & Chechik, M. (eds.). Berlin: Springer, p. 233-247 15 p. 10.1007/978-3-540-85361-9_21. (Lecture Notes in Computer Science; vol. 5201, no. Supplement).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

8 Citations (Scopus)

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)

Effective Analysis of Attack Trees: A Model-Driven Approach

Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A., Apr 2018, Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Russo, A. & Schürr, A. (eds.). Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
8 Citations (Scopus)
242 Downloads (Pure)

Elementary Structures of Non-Atomic Events

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

Research output: Contribution to journalArticleProfessional

Elementary Structures of Non-Atomic Events

Rensink, A., 1989, Enschede: University of Twente, Department of Computer Science. 25 p.

Research output: Book/ReportReportOther research output

Engineering Object-Oriented Semantics Using Graph Transformations

Kastenberg, H., Kleppe, A. G. & Rensink, A., Mar 2006, Enschede: Centrum voor Telematica en Informatie Technologie. 93 p. (CTIT Technical Report Series; no. 06-12)

Research output: Book/ReportReportProfessional

File
25 Downloads (Pure)

Ensuring Structural Constraints in Graph-Based Models with Type Inheritance

Taentzer, G. & Rensink, A., Apr 2005, Fundamental Approaches to Software Engineering (FASE). Cerioli, M. (ed.). Berlin: Springer, p. 64-79 15 p. (Lecture Notes in Computer Science; vol. 3442, no. XIII).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
33 Citations (Scopus)
50 Downloads (Pure)

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

24 Citations (Scopus)

Extraordinals: An Equational Theory of Posets

Rensink, A., 1994, Combining Structures, Logics and Theories. de Rijke, M. (ed.). Copenhagen, Denmark: Copenhagen Business School, p. 149-169 21 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

Fair Testing

Brinksma, H., Rensink, A. & Vogler, W., 8 Feb 1995, CONCUR'95, Concurrency Theory, Lecture Notes in Computer Science 962. Lee, I. & Smolka, S. A. (eds.). p. 313-327 (Lecture notes in computer science; vol. 962).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Open Access
File
61 Citations (Scopus)
14 Downloads (Pure)

Fair Testing

Rensink, A. & Vogler, W., Dec 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 74 p. (CTIT Technical Report Series; no. 05-64)

Research output: Book/ReportReportProfessional

File
27 Downloads (Pure)

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)

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

9 Citations (Scopus)

Fault Trees on a Diet: Automated Reduction by Graph Rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A., Nov 2015, Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9409)(Lecture Notes in Programming and Software Engineering).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
5 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
4 Citations (Scopus)
57 Downloads (Pure)

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

Finite Petri nets as models for recursive causal behaviour.

Goltz, U. & Rensink, A., 1991, St. Augustin: Geen opgaven. 17 p.

Research output: Book/ReportReportProfessional

Flow Diagram Decomposition Using Graph Transformations

Rensink, A. & Zimakova, M. V., 3 Sep 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 39 p. (CTIT Technical Report Series; no. TR-CTIT-09-30)

Research output: Book/ReportReportProfessional

File
20 Downloads (Pure)

Forever software

Rensink, A., Oct 2014, Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I1. Margaria, T. & Steffen, B. (eds.). Berlin: Springer, p. 535-537 3 p. (Lecture Notes in Computer Science; vol. 8802).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

1 Citation (Scopus)
3 Downloads (Pure)

Formal Foundation for Reasoning about Composition

Glandrup, M. & Rensink, A., 2001, Advanced Separation of Concerns. Tampa, Florida (USA), p. - 8 p.

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Formal Foundations for Reasoning about Composition

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

Research output: Contribution to conferencePaper

File
15 Downloads (Pure)

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

Formal Semantics of the CHART Transformation Language

de Mol, M. J. & Rensink, A., Dec 2011, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-12-03)

Research output: Book/ReportReportProfessional

File
18 Downloads (Pure)

From UML Activities to TAAL: Towards behaviour-preserving model transformations

Engels, G., Kleppe, A., Rensink, A., Semenyak, M., Soltenborn, C. & Wehrheim, H., 2008, Model Driven Architecture – Foundations and Applications: 4th European Conference, ECMDA-FA 2008, Berlin, Germany, June 9-13, 2008, Proceedings. Schieferdecker, I. & Hartman, A. (eds.). Berlin: Springer, p. 94-109 16 p. (Lecture Notes in Computer Science; vol. 5095, no. 1).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

15 Citations (Scopus)

Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques

Hülsbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C. & Wehrheim, H., Feb 2010, Enschede: Centre for Telematics and Information Technology (CTIT). 33 p. (CTIT Technical Report Series; no. TR-CTIT-10-09)

Research output: Book/ReportReportProfessional

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

155 Downloads (Pure)

Generalised compositionality in graph transformation

Ghamarian, A. H. & Rensink, A., Sep 2012, 6th International Conference on Graph Transformation (ICGT 2012). Ehrig, H., Engels, G., Kreowski, H. J. & Rozenberg, G. (eds.). Berlin: Springer, p. 234-248 15 p. (Lecture Notes in Computer Science; vol. 7562).

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

File
8 Downloads (Pure)

Generalised compositionality in graph transformation

Ghamarian, A. H. & Rensink, A., 1 Jul 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. TR-CTIT-12-17)

Research output: Book/ReportReportProfessional

File
3 Citations (Scopus)
52 Downloads (Pure)

Graph Abstraction and Abstract Graph Transformation

Boneva, I. B., Rensink, A., Kurban, M. E. & Bauer, J., 23 Jul 2007, Enschede: Formal Methods and Tools (FMT). 52 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-50)

Research output: Book/ReportReportProfessional

File
376 Downloads (Pure)

Graph abstraction and abstract graph transformations (Amended version)

Boneva, I. B., Kreiker, J., Kurban, M. E., Rensink, A. & Zambon, E., Oct 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 54 p. (CTIT Technical Report Series; no. TR-CTIT-12-26)

Research output: Book/ReportReportProfessional

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

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
1 Citation (Scopus)
35 Downloads (Pure)