• 1447 Citations
1988 …2020

Research output per year

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

Research Output

Abstaction and Refinement in Configuration Structures

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

Research output: Contribution to journalArticleProfessional

Abstract Graph Transformation

Rensink, A. & Distefano, D., Jan 2005, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. TR-CTIT-05-04)

Research output: Book/ReportReportProfessional

Open Access
File
37 Downloads (Pure)

Abstract Graph Transformation

Rensink, A. & Distefano, D. S., May 2006, Proceedings of the Third International Workshop on Software Verification and Validation (SVV 2005). Mukhopadhyay, S., Roychoudhury, A. & Yang, Z. (eds.). Elsevier, p. 39-59 21 p. (Electronic Notes in Theoretical Computer Science; vol. 157).

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

40 Citations (Scopus)

Abstraction and Refinement in Configuration Structures

Costantini, R. & Rensink, A., 1992, Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 38 p. (Hildesheimer Informatik-Bericht; no. 18/92)

Research output: Book/ReportReportOther research output

File
21 Downloads (Pure)

Action Contraction

Rensink, A., 2000, CONCUR 2000 - Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000. Proceedings. Palamidessi, C. (ed.). Berlin, Heidelberg: Springer, p. 290-305 16 p. (Lecture Notes in Computer Science; vol. 1877).

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

Open Access
File
4 Citations (Scopus)
16 Downloads (Pure)

Action Contraction Using Coupled Simulation

Rensink, A., 2000, University of Twente. 44 p. (CTIT Technical Report series; vol. TR-CTIT-00-13)

Research output: Book/ReportReportAcademic

File
7 Downloads (Pure)

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

Action Refinement as an Implementation Relation

Rensink, A., Dauchet, M. (ed.) & Gorrieri, R., 1997, TAPSOFT '97: Theory and Practice of Software Development: 7th International Joint Conference CAAP/FASE Lille, France, April 14–18, 1997. Proceedings. Bidoit, M. & Dauchet, M. (eds.). Berlin, Heidelberg: Springer, p. 772-786 15 p. (Lecture Notes in Computer Science; vol. 1214).

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

Open Access
File
13 Citations (Scopus)
48 Downloads (Pure)

Action Refinement for Vertical Implementation

Rensink, A. & Gorrieri, R., 1997, Formale Beschreibungstechniken für verteilte Systeme: GI/ITG-Fachgespräch, 19.-20. Juni 1997 in Berlin. Wolisz, A., Schieferdecker, I. & Rennoch, A. (eds.). Sankt Augustin: GMD-Forschungszentrum Informationstechnik GmbH, p. 69-78 10 p. (GMD Studien; vol. 315).

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

Action Refinement in Conformance Testing

van der Bijl, M., Rensink, A. & Tretmans, J., 2005, Testing of Communicating Systems: 17th IFIP TC6/WG 6.1 International Conference, TestCom 2005, Montreal, Canada, May 31 - June, 2005. Proceedings. Khendek, F. & Dssouli, R. (eds.). Berlin: STW, p. 81-96 16 p. (Lecture Notes in Computer Science; vol. 3502).

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

Open Access
File
53 Downloads (Pure)

Action Refinement in Conformance Testing

van der Bijl, M., Rensink, A. & Tretmans, J., Oct 2005, Enschede: University of Twente, Department of Computer Science. 33 p. (CTIT Technical Report Series; no. 1381-3625)

Research output: Book/ReportReportProfessional

Open Access
File
11 Citations (Scopus)
36 Downloads (Pure)

Action Refinement in Testing with UIOCO

van der Bijl, M., Rensink, A. & Tretmans, J., Feb 2005, Enschede: University of Twente, Department of Computer Science. 45 p. (CTIT Technical Report Series; no. TR-CTIT-05-10)

Research output: Book/ReportReportProfessional

Open Access
File
14 Downloads (Pure)

A First Study of Compositionality in Graph Transformation

Rensink, A., Feb 2010, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT Technical Report Series; no. TR-CTIT-10-08)

Research output: Book/ReportReportProfessional

File
17 Downloads (Pure)

A formal MDA approach for mobile health systems

Jones, V., Rensink, A., Ruys, T., Brinksma, E. & van Halteren, A., Sep 2004, Second European Workshop on Model Driven Architecture (MDA) with an emphasis on Methodologies and Transformations: September 7th-8th 2004 Canterbury, UK: Proceedings. Akehurst, D. H. (ed.). University of Kent, p. 28-35 8 p. (Technical Report; no. 17-04).

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

Open Access
File
15 Downloads (Pure)

A Formal Product-Line Engineering Approach for Schedulers

Orhan, G., Aksit, M. & Rensink, A., Nov 2017, SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. Jololian, L., Robbins, D. E. & Fernandes, S. L. (eds.). p. 15-30 16 p. (Integrated design and process technology; vol. 22).

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

Open Access

A Graph-Based Semantics for UML Class and Object Diagrams

Kleppe, A. G. & Rensink, A., 30 Jan 2008, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-08-06)

Research output: Book/ReportReportProfessional

File
12 Citations (Scopus)
530 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 conferencePaper

File
50 Downloads (Pure)

A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points

Aksit, M., Rensink, A. & Staijen, T., 2009, AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development. New York: Association for Computing Machinery (ACM), p. 39-50 12 p. 10.1145/1509239.1509247

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

35 Citations (Scopus)

AGTIVE'03: Summary from the Outside In

Rensink, A., 2004, Applications of Graph Transformations with Industrial Relevance: Second International Workshop, AGTIVE 2003, Charlottesville, VA, USA, September 27 - October 1, 2003, Revised Selected and Invited Papers. Pfaltz, J. L., Nagl, M. & Böhlen, B. (eds.). Berlin, Heidelberg: Springer, p. 486-488 3 p. (Lecture Notes in Computer Science; vol. 3062).

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

2 Citations (Scopus)

AGTIVE '03: Summary From the Outside In

Rensink, A., 2004, Applications of Graph Transformations with industrial Relevance. Pfalz, J., Nagl, M. & Boehlen, B. (eds.). Springer, p. 486-488 3 p.

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

AGTIVE 2007 Graph Transformation Tool Contest

Rensink, A. & Taentzer, G., 2008, Applications of Graph Transformation with Industrial Relevance: Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Papers. Schürr, A., Nagl, M. & Zündorf, A. (eds.). Berlin, Heidelberg: Springer, p. 487-492 6 p. (Lecture Notes in Computer Science; vol. 5088).

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

4 Citations (Scopus)

A Java Bytecode Metamodel for Composable Program Analyses

Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M., Jul 2017, Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 30-40 (Lecture Nodes in Computer Science; vol. 10748).

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

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)

A Logic of Local Graph Shapes

Rensink, A., Aug 2003, Enschede: Software Engineering (SE). 33 p. (CTIT-technical reports; no. 2003-35)

Research output: Book/ReportReportProfessional

File
13 Downloads (Pure)

A Mobile Calculus with Data

Gehrke, T. & Rensink, A., 1999, Braunschweig, Germany: Technical University of Braunschweig. 46 p. (Informatik-Bericht; no. 99-04)

Research output: Book/ReportReportProfessional

Open Access
File
17 Downloads (Pure)

A Modal-Logic Based Graph Abstraction

Bauer, J., Boneva, I. B., Kurban, M. E. & Rensink, A., 2008, International Conference on Graph Transformations (ICGT). Ehrig, H., Heckel, R., Rozenberg, G. & Taentzer, G. (eds.). Berlin: Springer, p. 321-335 15 p. 10.1007/978-3-540-87405-8_22. (Lecture Notes in Computer Science; vol. 5214, no. Supplement).

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

14 Citations (Scopus)

A Model-Derivation Framework for Software Analysis

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M., Apr 2017, Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höffner, P. (eds.). arXiv.org, p. 217-229 (EPTCS - Electronic Publications in Theoretical Computer Science; vol. 244).

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

Open Access
File
1 Citation (Scopus)
60 Downloads (Pure)

A Model-Derivation Framework for Timing Analysis of Java Software Systems

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M., 30 Dec 2015, Enschede: Centre for Telematics and Information Technology (CTIT). 26 p. (CTIT Technical Report Series; no. TR-CTIT-15-08)

Research output: Book/ReportReportProfessional

File
73 Downloads (Pure)

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A., 13 Jan 2017, Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems: CyPhy 2016. Revised Selected Papers. Berger, C., Mousavi, M. & Wisniewski, R. (eds.). Switserland: Springer, Vol. 10107. p. 1-16 15 p. (Lecture Notes in Computer Science; vol. 10107).

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

Open Access
File
1 Citation (Scopus)
89 Downloads (Pure)

A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications (extended version)

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A., Sep 2016, Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-16-09)

Research output: Book/ReportReportProfessional

File
63 Downloads (Pure)

An Abstract Metamodel for Aspect Languages

Havinga, W., Staijen, T., Rensink, A., Bergmans, L. & van den Berg, K., May 2006, Enschede: Centrum voor Telematica en Informatie Technologie. 21 p. (CTIT Technical Report Series; no. 06-22)

Research output: Book/ReportReportProfessional

Open Access
File
16 Downloads (Pure)

An Abstract Metamodel for Aspect Languages

Havinga, W., Staijen, T., Rensink, A., Bergmans, L. & van den Berg, K., 2006, Open and Dynamic Aspect Languages. Brichau, J., Chiba, S., Lorenz, D. H., Tanter, E. & De Volder, K. (eds.). Aspect-Oriented Software Association, 8 p.

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

Open Access
File
13 Downloads (Pure)

An Algebraic Semantics for Message Sequence Chart Documents

Gehrke, T., Huhn, M., Rensink, A. & Wehrheim, H., 1998, Formal Description Techniques and Protocol Specification, Testing and Verification, FORTE XI / PSTV XVIII'98. Budkowski, S., Cavalli, A. R. & Najm, E. (eds.). Parijs, France: Kluwer, p. 3-18 16 p. (IFIP Advances in Information and Communication Technology; vol. 6).

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

Open Access
File
51 Downloads (Pure)

An Algebraic Semantics for Message Sequence Chart Documents

Gehrke, T., Huhn, M., Rensink, A. & Wehrheim, H., 1998, Hildesheim, Germany: University of Hildesheim. 16 p. (Hildesheimer Informatik-Berichte; no. 5/98)

Research output: Book/ReportReportOther research output

Open Access
File
12 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 conferencePaper

File
31 Downloads (Pure)

An MDE Approach for Modular Program Analyses

Yildiz, B. M., Bockisch, C., Aksit, M. & Rensink, A., Apr 2017, Programming ’17: Companion to the first International Conference on the Art, Science and Engineering of Programming. Association for Computing Machinery (ACM), 5 p. 15

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

An Object-Oriented Framework for Explicit-State Model Checking

Kattenbelt, M., Ruys, T. C. & Rensink, A., 23 Mar 2007, Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007). Groot, P., Serebrenik, A. & van Eekelen, M. (eds.). Eindhoven: Eindhoven University of Technology, p. 84-92 9 p. (TUE Computer Science Reports; no. 07-04).

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

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

Open Access
File
29 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
20 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
40 Citations (Scopus)
223 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 conferencePaper

File
3 Citations (Scopus)
42 Downloads (Pure)

A timed-automata approach for critical path detection in a soft real-time application

Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M., Feb 2014, Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and network-based Processing, PDP 2014, Work In Progress Session. Italy: SEA-Johannes Kepler University Linz, p. - 2 p.

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

File
22 Downloads (Pure)

Atomic Action Refinement in Model Based Testing

van der Bijl, H. M., Rensink, A. & Tretmans, G. J., 22 Aug 2007, Enschede: Formal Methods and Tools (FMT). 67 p. (CTIT Technical Report Series; no. LNCS4549/TR-CTIT-07-64)

Research output: Book/ReportReportProfessional

File
23 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
5 Citations (Scopus)
71 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
20 Downloads (Pure)

A Type Graph Model for Java Programs

Rensink, A. & Zambon, E., 9 Feb 2009, Enschede: Centre for Telematics and Information Technology (CTIT). 94 p. (CTIT Technical Report Series; no. TR-CTIT-09-01)

Research output: Book/ReportReportProfessional

Open Access
File
5 Citations (Scopus)
101 Downloads (Pure)

A Type Graph Model for Java Programs

Rensink, A. & Zambon, E., 15 Jun 2009, Formal Techniques for Distributed Systems: Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings. Lee, D., Lopes, A. & Poetzsch-Heffter, A. (eds.). Berlin, Heidelberg: Springer, p. 237-242 6 p. (Lecture Notes in Computer Science; vol. 5522).

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

BenchmarX

Anjorin, A., Cunha, A., Giese, H., Hermann, F., Rensink, A. & Schürr, A., Mar 2014, Bidirectional Transformations (BX 2014), Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference. Hidaka, S. & Terwilliger, J. (eds.). Aachen, Germany: CEUR, p. 82-86 5 p. (CEUR Workshop Proceedings; vol. 1133).

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

File
17 Downloads (Pure)

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