Research Output 1988 2017

Filter
Report
2016

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

Hardware
Interoperability
2015

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

Model checking
Scalability
Specifications
2013

Publishing Your Prototype Tool on the Web: PUPTOL, a Framework

Belinfante, A. & Rensink, A. Jun 2013 Enschede: Centre for Telematics and Information Technology (CTIT). 8 p. (CTIT Technical Report Series; no. TR-CTIT-13-15)

Research output: ProfessionalReport

Computer science
Inspection
Experiments
2012
2 Citations

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

Chemical analysis
Communication

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

Parallel algorithms
Telecommunication networks

Graph Attribution Through Sub-Graphs

Kastenberg, H. & Rensink, A. Nov 2012 Enschede: Centre for Telematics and Information Technology (CTIT). 24 p. (CTIT Technical Report Series; no. TR-CTIT-12-27)

Research output: ProfessionalReport

Graph in graph theory
Formalization
Subgraph
Algebra
Uniformity

Graph Passing in Graph Transformation

Ghamarian, A. H. & Rensink, A. 31 Jan 2012 Enschede: Centre for Telematics and Information Technology (CTIT). 18 p. (CTIT Technical Report Series; no. TR-CTIT-12-04)

Research output: ProfessionalReport

Graph
Completeness
Interaction
2011

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

2010

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

Algebra
Specifications
Synchronization

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

Semantics
Software design
Scalability

Isomorphism Checking for Symmetry Reduction

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

Research output: ProfessionalReport

Isomorphism
State space
Arbitrary
Graph in graph theory
Canonical representation

Modelling and Analysis Using GROOVE

Ghamarian, A. H., de Mol, M. J., Rensink, A., Zambon, E. & Zimakova, M. V. Apr 2010 Enschede: Centre for Telematics and Information Technology (CTIT). 23 p. (CTIT Technical Report Series; no. TR-CTIT-10-18)

Research output: ProfessionalReport

Graph transformation
Template
Model
2009
3 Citations

A Type Graph Model for Java Programs

Rensink, A. & Zambon, E. 9 Feb 2009 Enschede: Formal Methods and Tools (FMT). 94 p. (CTIT Technical Report Series; no. TR-CTIT-09-01)

Research output: ProfessionalReport

Java programming language
Model checking
Static analysis
Computer programming languages
Positive ions

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

Industry
Flow graphs
Flow control
Decomposition
Modeling languages

Using Graph Transformations and Graph Abstractions for Software Verification

Zambon, E. & Rensink, A. Apr 2009 Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. TR-CTIT-10-03)

Research output: ProfessionalReport

Model checking
Storage allocation (computer)
Computer programming languages
Explosions
Semantics
2008

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

Repair
Semantics
2007

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

Specifications
Testing

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

Parallel algorithms
Telecommunication networks
2006

An Abstract Metamodel for Aspect Languages

Havinga, W. K., 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: ProfessionalReport

Semantics
Aspect oriented programming
Chemical analysis

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

Semantics
Object oriented programming
Specification languages
Computer programming
Computer programming languages

Unfolding Shape Graphs

Sathyanathan, P. W. & Rensink, A. 22 Nov 2006 Enschede: Centrum voor Telematica en Informatie Technologie. 28 p. (CTIT Technical Report Series; no. 06-68)

Research output: ProfessionalReport

Model checking
Petri nets
22 Citations

Weakest Preconditions for High-Level Programs

Habel, A., Pennemann, K-H. & Rensink, A. Jul 2006 Oldenburg: University of Oldenburg. 35 p. (Berichte aus dem Department für Informatik; no. 8/06)

Research output: ProfessionalReport

Precondition
Proof theory
Correctness
Imply
Graph in graph theory
2005

Abstract Graph Transformation

Rensink, A. & Distefano, D. S. Jan 2005 Enschede: Centre for Telematics and Information Technology (CTIT). 25 p. (CTIT technical report series; no. TR-CTIT-05-04)

Research output: ProfessionalReport

Model checking
Semantics
10 Citations

Action Refinement in Conformance Testing

van der Bijl, H. M., Rensink, A. & Tretmans, G. J. Oct 2005 Enschede: Formal Methods and Tools (FMT). 33 p. (CTIT Technical Report Series; no. 1381-3625)

Research output: ProfessionalReport

Specifications
Testing

Action Refinement in Testing with UIOCO

van der Bijl, H. M., Rensink, A. & Tretmans, G. J. Feb 2005 Enschede: Formal Methods and Tools (FMT). 45 p. (CTIT Technical Report Series; no. TR-CTIT-05-10)

Research output: ProfessionalReport

Specifications
Testing

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

Testing
Congruence
Divergence
Liveness
Process algebra
10 Citations

Modelling mobile health systems: an application of augmented MDA for the extended healthcare enterprise

Jones, V. M., Rensink, A. & Brinksma, H. Dec 2005 Enschede: Centre for Telematics and Information Technology (CTIT). 12 p. (CTIT Technical Report Series; no. TR-CTIT-05-66)

Research output: ProfessionalReport

Health
Industry
Software engineering
Servers
2003

A Logic of Local Graph Shapes

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

Research output: ProfessionalReport

Logic
Graph in graph theory
State space
Software system
Fragment

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

Testing
Embedded systems

Model Driven Architecture: Foundations and Applications

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

Research output: ProfessionalReport

Software engineering
Industry

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

Temporal logic
Model checking
Semantics
2001

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: Other research outputReport

Temporal logic
Tableau
Operational semantics
Model checking
Automata
2000

Action Contraction Using Coupled Simulation

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

Research output: ScientificReport

Observer
Simulation
Atomicity
Contraction
Refinement

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.

Research output: ProfessionalReport

1999

A Mobile Calculus with Data

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

Research output: Other research outputReport

A Mobile Calculus with Data

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

Research output: ProfessionalReport

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

Algebra
Semantics
Specifications
Mathematical operators
1998

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: Other research outputReport

Semantics
Telecommunication systems
Message passing
Algebra
Telecommunication
1997
1 Citations

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: Other research outputReport

Interaction
Equivalence
Congruence
Operator
Substitution
1995

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: Other research outputReport

Trace
Algebra
Monoidal category
Swap
Concatenation

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: Other research outputReport

Determinism
Event structures
Labeled transition system
Distinct
Generalise

Vertical Bisimulation

Rensink, A. & Gorrieri, R. Sep 1995 Hildesheim: Institut für Informatik, University of Hildesheim. 57 p. (Hildesheimer Informatikbericht; no. 9/98)

Research output: Other research outputReport

Bisimulation
Vertical
Specification
Interleaving
Recursion
1994

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: Other research outputReport

Prefix
Algebra
Concatenation
Termination
Union

Specification of Systems: Theory in Search of Practice

Brinksma, H., Parrow, J., Rensink, A. & Heymer, S. Sep 1994 Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 21 p.

Research output: Other research outputReport

1993

Order isomorphism does not preserve global event independence

Rensink, A. Sep 1993 Hildesheim: Institut für Informatik, University of Hildesheim. 12 p. (Hildesheimer Informatik-Berichte; no. 10/93)

Research output: Other research outputReport

Order relation
Feature model
Equivalence relation
Partial order
Isomorphic
1992

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: Other research outputReport

Mathematical operators

On Syntactic and Semantic Action Refinement

Goltz, U., Gorrieri, R. & Rensink, A. 1992 Hildesheim, Germany: Institut für Informatik, University of Hildesheim. 39 p. (Hildesheimer Informatik-Bericht; no. 17/92)

Research output: Other research outputReport

Refinement
Term
Event structures
Substitution
Synchronization
1991

Finite Petri nets as models for recursive causal behaviour.

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

Research output: ProfessionalReport

Pattern Sets

Rensink, A. 1991 Enschede: Department of Computer Science, University of Twente. 22 p.

Research output: Other research outputReport