Research Output 1988 2018

Filter
Paper
2006

A Graph-Transformation-Based Semantics for Analysing Aspect Interference

Staijen, T. & Rensink, A. 18 Sep 2006 p. 1-12 12 p.

Research output: Scientific - peer-reviewPaper

Semantics
Chemical analysis
2004

A formal MDA approach for mobile health systems

Akehurst, D. H. (ed.), Jones, V. M., Rensink, A., Ruys, T. C., Brinksma, H. & van Halteren, A. Sep 2004 p. 28-35 8 p.

Research output: Scientific - peer-reviewPaper

Formal methods
Health
Security systems
60 Citations

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: Scientific - peer-reviewPaper

Testing
Interoperability
Embedded systems

Model Checking Graph Transformations: A Comparison of Two Approaches

Ehrig, H. (ed.), Rensink, A., Engels, G. (ed.), Schmidt, Á., Parise-Presicce, F. (ed.), Varró, D. & Rozenberg, G. (ed.) 2004 p. 226-241 16 p.

Research output: Scientific - peer-reviewPaper

Model checking
Hardware

Representing First-Order Logic Using Graphs

Ehrig, H. (ed.), Rensink, A., Engels, G. (ed.), Parisi-Presicce, F. (ed.) & Rozenberg, G. (ed.) 2004 p. 319-335 17 p.

Research output: Scientific - peer-reviewPaper

First-order logic
Graph in graph theory
Graph rewriting
Nested models
Graph transformation

The GROOVE Simulator: A Tool for State Space Generation

Rensink, A., Pfaltz, J. L. (ed.), Nagl, M. (ed.) & Böhlen, B. (ed.) 2004 p. 479-485 7 p.

Research output: Scientific - peer-reviewPaper

Model checking

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: Scientific - peer-reviewPaper

Automata
Temporal logic
Model checking
2003

A synthesis-based approach to transformations in an MDA software development process

Rensink, A. (ed.), Ivanov, I. & van den Berg, K. Jun 2003 p. 121-126 6 p.

Research output: Scientific - peer-reviewPaper

Diphtheria Antitoxin
Cerebellar Ataxia
2002
12 Citations

Model checking birth and death

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

Research output: Scientific - peer-reviewPaper

2001

Formal Foundations for Reasoning about Composition

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

Research output: ScientificPaper

2000

Action Contraction

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

Research output: Scientific - peer-reviewPaper

Observer
Atomicity
Refinement
Simulation
24 Citations

On a Temporal Logic for Object-Based Systems

Distefano, D. S., Smith, S. F. (ed.), Katoen, J. P., Talcott, C. L. (ed.) & Rensink, A. 2000 p. 305-326 22 p.

Research output: Scientific - peer-reviewPaper

Formal semantics
Temporal logic
Logic
Object-oriented languages
Branching

Towards Model Checking OCL

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

Research output: ScientificPaper

Temporal logic
Model checking
Semantics
Object oriented programming
Specifications
1998

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: Scientific - peer-reviewPaper

Semantics
Telecommunication systems
Message passing
Algebra
Telecommunication
1997
12 Citations

Action Refinement as an Implementation Relation

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

Research output: Scientific - peer-reviewPaper

2 Citations

Bisimilarity of Open Terms

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

Research output: Scientific - peer-reviewPaper

Bisimulation
Term
Congruence
Closed
Subset
4 Citations

Dependency-Based Action Refinement

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

Research output: Scientific - peer-reviewPaper

Semantics
Algebra

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

Palamidessi, C. (ed.), Gehrke, T., Rensink, A. & Parrow, J. (ed.) 1997 p. 141-160 20 p.

Research output: Scientific - peer-reviewPaper

Completeness
Interaction
Equivalence
Axiomatics
Operator
1996

Applications of Fair Testing

Gotzhein, R. (ed.), Brinksma, H., Bredereke, J. (ed.), Rensink, A. & Vogler, W. 1996 p. 145-160 16 p.

Research output: Scientific - peer-reviewPaper

Testing
Specifications
Substitution reactions
Scheduling
1 Citations

Denotational, Causal, and Operational Determinism in Event Structures

Rensink, A. & Kirchner, H. (ed.) 1996 p. 272-286 15 p.

Research output: Scientific - peer-reviewPaper

Determinism
Event structures
1995

An Event-Based SOS for a Language with Refinement

Desel, J. (ed.) & Rensink, A. 1995 p. 294-309 16 p.

Research output: Scientific - peer-reviewPaper

Refinement
Denotational semantics
Operational semantics
Transition systems
Complement
3 Citations

A Theory of Deterministic Event Structures

Lee, I. (ed.), Rensink, A. & Smolka, S. A. (ed.) 1995 p. 160-174 15 p.

Research output: Scientific - peer-reviewPaper

Event structures
Summation
Fixpoint
Algebra
Join

Fair Testing

Lee, I. (ed.), Brinksma, H., Rensink, A., Smolka, S. A. (ed.) & Vogler, W. 1995 p. 313-327 15 p.

Research output: Scientific - peer-reviewPaper

Testing
Preorder
Congruence
Divergence
Parallel composition
1994

Methodological Aspects of Action Refinement

Olderog, E-R. (ed.) & Rensink, A. 1994 p. 227-246 20 p.

Research output: Scientific - peer-reviewPaper

Semantics
Algebra
Mathematical operators
Systems analysis
10 Citations

On Syntactic and Semantic Action Refinement

Hagiya, M. (ed.), Goltz, U., Mitchell, J. C. (ed.), Gorrieri, R. & Rensink, A. 1994 p. 385-404 20 p.

Research output: Scientific - peer-reviewPaper

Refinement
Event structures
Term
Substitution
Synchronization
13 Citations

Weak Sequential Composition in Process Algebras

Rensink, A., Jonsson, B. (ed.), Parrow, J. (ed.) & Wehrheim, H. 1994 p. 226-241 16 p.

Research output: Scientific - peer-reviewPaper

Semantics
Chemical analysis
Algebra
Communication
1992

Posets for Configurations!

Rensink, A. & Cleaveland, W. R. (ed.) 1992 p. 269-285 17 p.

Research output: Scientific - peer-reviewPaper

Poset
Configuration
Prefix
Morphism
Morphisms