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

Research Output 1988 2019

2004
19 Citations (Scopus)

Who is pointing when to whom?

Distefano, D. S., Katoen, J. P. & Rensink, A., 16 Dec 2004, FSTTCS 2004: foundations of software technology and theoretical computer science. Lodaya, K. & Mahajan, M. (eds.). Berlin: Springer, p. 250-262

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

Who is pointing when to whom?

Distefano, D. S., Lodaya, K. (ed.), Katoen, J. P., Mahajan, M. (ed.) & Rensink, A., 2004, p. 250-262. 13 p.

Research output: Contribution to conferencePaperAcademicpeer-review

2003
8 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
20 Downloads (Pure)

Component Based Testing with ioco

van der Bijl, H. M., Rensink, A. & Tretmans, G. J., Aug 2003, Enschede: Formal Methods & Tools. 44 p. (CTIT-technical reports; no. 2003-..)

Research output: Book/ReportReportProfessional

File
40 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
Temporal logic
Model checking
Semantics
48 Downloads (Pure)

Model Driven Architecture: Foundations and Applications

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

Research output: Book/ReportReportProfessional

Open Access
File
Software engineering
Industry
102 Downloads (Pure)

On Model Checking the Dynamics of Object-Based Software: A Foundational Approach

Distefano, D. S., 2003, Enschede: Twente University Press (TUP). 313 p.

Research output: ThesisPhD Thesis - Research UT, graduation UTAcademic

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

12 Citations (Scopus)
41 Downloads (Pure)

Model checking birth and death

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

Research output: Contribution to conferencePaperAcademicpeer-review

File

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

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

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

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

11 Downloads (Pure)

Formal Foundations for Reasoning about Composition

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

Research output: Contribution to conferencePaperAcademic

File

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

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

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

Action Contraction

Palamidessi, C. (ed.) & Rensink, A., 2000, p. 290-304. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File
3 Citations (Scopus)

Action Contraction

Rensink, A., 23 Feb 2000, CONCUR'2000: Concurrency Theory. State College, Pennsylvania, USA, p. 290-305 16 p. (Lecture Notes in Computer Science; vol. 1877).

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

5 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
Observer
Simulation
Contraction
Toys
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

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

26 Citations (Scopus)
1 Downloads (Pure)

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
Temporal logic
Semantics
Object oriented programming
Specifications

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 conferencePaperAcademic

14 Downloads (Pure)
Open Access
File
1999

A Mobile Calculus with Data

Gehrke, T. & Rensink, A., 1999, Braunschweig: Universitat Braunschweig, Institut fur Software. 46 p.

Research output: Book/ReportReportProfessional

16 Downloads (Pure)

A Mobile Calculus with Data

Gehrke, T. & Rensink, A., 1999, Braunschweig, Germany: Technical University of Braunschweig. 47 p.

Research output: Book/ReportReportOther research output

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

File
1998
38 Downloads (Pure)

An Algebraic Semantics for Message Sequence Chart Documents

Budkowski, S. (ed.), Gehrke, T., Huhn, M., Cavalli, A. (ed.), Najm, E. (ed.), Rensink, A. & Wehrheim, H., 1998, p. 3-18. 16 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

An Algebraic Semantics for Message Sequence Chast Documents

Gehrke, T., Huhn, M., Rensink, A. & Wehrheim, H., 11 Feb 1998, Formal, Description Techniques and Protocol Specification, Testing and Verification. Parijs, France, p. - 16 p.

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

13 Downloads (Pure)

A Process Algebra Semantics for Message Sequence Chart Documents

Gehrke, T., Huhn, M., Rensink, A. & Wehrheim, H., 1998, Hildesheim, Germany: University of Hildesheim. 16 p.

Research output: Book/ReportReportOther research output

File

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
13 Citations (Scopus)
35 Downloads (Pure)

Action Refinement as an Implementation Relation

Bidoit, M. (ed.), Rensink, A., Dauchet, M. (ed.) & Gorrieri, R., 1997, p. 772-786. 15 p.

Research output: Contribution to conferencePaperAcademicpeer-review

File

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

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
2 Citations (Scopus)
12 Downloads (Pure)

Bisimilarity of Open Terms

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

Research output: Contribution to conferencePaperAcademicpeer-review

File