Research Output 1988 2017

Filter
Paper
2017
1 Citations

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

Berger, C. (ed.), Ahmad, W., Yildiz, B. M., Reza Mousavi, M. (ed.), Rensink, A., Wisniewski, R. (ed.) & Stoelinga, M. I. A. 13 Jan 2017 p. 1-16 15 p.

Research output: Scientific - peer-reviewPaper

Hardware
Interoperability
Fault tree analysis
Nuclear power plants
Aircraft
Engines
Side channel attack
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

Health
Formal methods
Security systems

Canonical Graph Shapes

Rensink, A. & Schmidt, D. A. (ed.) 2004 p. 401-415 15 p.

Research output: Scientific - peer-reviewPaper

59 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

Graph in graph theory
First-order logic
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

Handling QoS in MDA: a discussion on availability and dynamic reconfiguration

Andrade Almeida, J., Rensink, A. (ed.), van Sinderen, M. J., Ferreira Pires, L. & Wegdam, M. Jun 2003 p. 91-96 6 p.

Research output: Scientific - peer-reviewPaper

Quality of service
Model driven architecture
Dynamic reconfiguration
Availability
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

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

1 Citations

Bisimilarity of Open Terms

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

Research output: Scientific - peer-reviewPaper

Term
Closed
Bisimulation
Congruence
Subset
3 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
Model
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
Algebra
Fixpoint
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
Term
Event structures
Operator
Substitution
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