• 1447 Citations
1988 …2020

Research output per year

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

Research Output

2003

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)

Model Checking Graph Grammars

Rensink, A., 2003, Proceedings of the 3rd Automated Verification of Critical Systems (AVoCS’03): April 2-3 2003, Southampton (GB). Leuschel, M., Gruner, S. & Presti, S. L. (eds.). Southampton: University of Southampton, p. 150-160 11 p. (Technical Report; vol. DSSE-TR-2003-02, no. TR-2003-2).

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

Open Access
File
59 Downloads (Pure)

Model Driven Architecture: Foundations and Applications

Rensink, A. (ed.), Jun 2003, Enschede: Centre for Telematics and Information Technology (CTIT). 132 p. (CTIT technical report series; no. TR-CTIT-03-27)

Research output: Book/ReportReportProfessional

Open Access
File
64 Downloads (Pure)

Who is pointing when to whom: on model-checking pointer structures

Distefano, D. S., Rensink, A. & Katoen, J. P., Apr 2003, Enschede: Centre for Telematics and Information Technology (CTIT). 79 p. (CTIT-technical reports; no. 2003-..)

Research output: Book/ReportReportProfessional

File
15 Downloads (Pure)
2002

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

Model checking birth and death

Distefano, D. S., Rensink, A. & Katoen, J. P., 2002, p. 435-447. 13 p.

Research output: Contribution to conferencePaper

File
12 Citations (Scopus)
57 Downloads (Pure)

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

Model checking for dynamic allocation and deallocation

Distefano, D. S., Rensink, A. & Katoen, J. P., 2002, Centre for Telematics and Information Technology (CTIT). 57 p. (CTIT Technical Report Series; no. 01-40)

Research output: Book/ReportReportAcademic

Preface

Rensink, A. & Jacobs, B., 1 Jan 2002, Formal Methods for Open Object-Based Distributed Systems V: IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems. Vol. 81. (IFIP advances in information and communication technology).

Research output: Chapter in Book/Report/Conference proceedingForeword/postscriptAcademic

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

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

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)

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

Model Checking Dynamic Allocation and Deallocation

Distefano, D. S., Rensink, A. & Katoen, J. P., Dec 2001, Enschede: Centre for Telematics and Information Technology (CTIT). (CTIT technical report series; no. TR-CTIT-01-40)

Research output: Book/ReportReportOther research output

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

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)

Representatie van Objecten en Primitieve Waarden

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

Research output: Chapter in Book/Report/Conference proceedingChapterAcademic

Representatie van Objecten en Primitieve Waarden

Rensink, A., 2001, Visueel Programmeren met Java, deel 2. Heerlen: Open Universiteit, p. 71-138

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Syntaxis van Java

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

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

Verklarende Woordenlijst

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

Research output: Chapter in Book/Report/Conference proceedingChapterProfessional

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

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)

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)

n a Temporal Logic for Object-Based Systems

Distefano, D. S., Katoen, J. P. & Rensink, A., 2000, Enschede: Centre for Telematics and Information Technology (CTIT). 17 p. (CTIT Technical Report Series; no. 00-06)

Research output: Book/ReportReportProfessional

On a Temporal Logic for Object-Based Systems

Distefano, D., Katoen, J-P. & Rensink, A., 2000, Formal Methods for Open Object-Based Distributed Systems IV: IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA. Smith, S. F. & Talcott, C. L. (eds.). Boston, MA: Kluwer Academic Publishers, p. 305-326 22 p. (IFIP Advances in Information and Communication Technology; vol. 10).

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

Open Access
File
26 Citations (Scopus)
18 Downloads (Pure)

Towards model checking OCL

Distefano, D. S., Katoen, J. P. & Rensink, A., 21 Feb 2000, Defining Precise Semantics for UML (satellite workshop of ECOOP 2000). Cannes, France, p. 0-9 10 p.

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

Towards Model Checking OCL

Distefano, D. S., Katoen, J. P. & Rensink, A., 12 Jun 2000. 10 p.

Research output: Contribution to conferencePaper

20 Downloads (Pure)
1999

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)

Process Algebra with Action Dependencies

Rensink, A. & Wehrheim, H., Feb 1999, Enschede: Universiteit Twente. 59 p. (CTIT technical report series; no. TR-CTIT-99-02)

Research output: Book/ReportReportProfessional

Open Access
File
14 Downloads (Pure)
1998

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

Spezifikation eines RPC-Speichers mit der Sprache ProFun

Firley, T., Gehrke, T. & Rensink, A., 1998, Formale Beschreibungstechniken für verteilte Systeme: 8. GI/ITG-Fachgespräch, Cottbus, 4. und 5. Juni 1998. König, H. & Langendörfer, P. (eds.). Aachen, Germany: Shaker Verlag, p. 136-147 12 p.

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

1997

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

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)

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

Process Creation and Full Sequential Composition in a Name-Passing Calculus

Gehrke, T. & Rensink, A., May 1997, Hildesheim: Institut für Informatik, University of Hildesheim. 27 p.

Research output: Book/ReportReportOther research output

File
2 Citations (Scopus)
69 Downloads (Pure)

Process Creation and Full Sequential Composition in a Name-Passing Calculus

Gehrke, T. & Rensink, A., 1997, EXPRESS'97: 8-12 September 1997 • Santa Margherita Ligure, Italy. Palamidessi, C. & Parrow, J. (eds.). Amsterdam: Elsevier, p. 141-160 20 p. (Electronic Notes in Theoretical Computer Science; vol. 7).

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

Open Access
File
61 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)

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)

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)

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

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)