Research Output 1988 2017

Filter
Article
2017
4 Citations

Fault trees on a diet: automated reduction by graph rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A. 2017 53 p.

Research output: Scientific - peer-reviewArticle

Directed graphs
Nutrition
Scalability
Experiments
2014
19 Citations

A survey and comparison of transformation tools based on the transformation tool contest

Jakumeit, E., Van Gorp, P. (ed.), Buchwald, S., Rose, L. (ed.), Wagelaar, D., Dan, L., Hegedüs, Á., Hermannsdörfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L. M., Wätzoldt, S. & Mazanek, S. Jun 2014 In : Science of computer programming. 85A, A, p. 41-99 59 p.

Research output: Scientific - peer-reviewArticle

Taxonomies
Data structures
Engineers
2012
55 Citations

Modelling and analysis using GROOVE

Ghamarian, A. H., de Mol, M. J., Rensink, A., Zambon, E. & Zimakova, M. V. Feb 2012 online pre, 1, p. 15-40 26 p.

Research output: Scientific - peer-reviewArticle

Recent Developments in the Theory of Graph Transformation, 2010

Rensink, A., Rozenberg, G. & Schürr, A. 2012 118, 3, p. v-vii 3 p.

Research output: ScientificArticle

2011

Using Graph Transformations and Graph Abstractions for Software Verification

Corradini, A. (ed.), Zambon, E. & Rensink, A. Aug 2011 In : EASST electronic communications. 38, p. 1-13 13 p.

Research output: Scientific - peer-reviewArticle

Model checking
Storage allocation (computer)
Computer programming languages
Explosions
Semantics
2010
10 Citations

Graph transformation tool contest 2008

Rensink, A. & van Gorp, P. Jun 2010 12, 3-4, p. 171-181 11 p., 10.1007/s10009-010-0157-7

Research output: ScientificArticle

2009
7 Citations

Editorial for Special Section on Dependencies and Interactions with Aspects

Chitchyan, R., Rashid, A. (ed.), Fabry, J., Ossher, H. (ed.), Katz, S. & Rensink, A. 2009 In : Lecture notes in artificial intelligence. 5490, p. 133-134 2 p.

Research output: ScientificArticle

Graph Abstraction for a Modal Logic

Boneva, I., Ehrig, H. (ed.), Kreiker, J., Kurban, M. E. & Rensink, A. Feb 2009 In : Bulletin of the European Association for Theoretical Computer Science. 97, p. 106-116 11 p.

Research output: ScientificArticle

Graph in graph theory
Graph transformation
Modal logic
Radius
Vertex of a graph
2008

Applying Formal Methods to Gossiping Networks with mCRL and Groove

Haverkort, B. R. H. M. (ed.), Crouzen, P., Siegle, M. (ed.), van de Pol, J. C., van Steen, M. R. (ed.), Rensink, A. & van Steen, M. (ed.) Dec 2008 36, CFP08545-D/3, p. 7-16 10 p., 10.1145/1481506.1481510

Research output: Scientific - peer-reviewArticle

Formal methods
Sampling
2007
83 Citations

Fair Testing

Rensink, A. & Vogler, W. 2007 In : Information and computation. 205, 2, p. 125-198 74 p., 10.1016/j.ic.2006.06.002

Research output: Scientific - peer-reviewArticle

Testing
Computability and decidability
Algebra
Scheduling
2005

Graph Transformation for Verification and Concurrency

Heckel, R., König, B. & Rensink, A. Jul 2005 1381-3625, p. - 114 p.

Research output: ScientificArticle

The Joys of Graph Transformation

Rensink, A. 2005 9, p. - 13 p.

Research output: ProfessionalArticle

language
programming language
hope
allocation
mobility
2002

Model checking birth and death.

Distefano, D. S., Rensink, A. & Katoen, J. P. 2002 In : Theoretical computer science. p. -

Research output: Scientific - peer-reviewArticle

Model checking for dynamic allocation and deallocation

Distefano, D. S., Rensink, A. & Katoen, J. P. 2002 In : CTIT Technical Reports Series. 01-40, p. - 57 p.

Research output: ScientificArticle

Visualisatie van het Objectgeoriënteerde Paradigma

Rensink, A. 2002 11, 2, p. 80-83 4 p.

Research output: Scientific - peer-reviewArticle

Huns

Visualisatie van het Object-georiënteerde Paradigma

Rensink, A. 2002 11, 2, p. 80-83

Research output: ScientificArticle

2001
5 Citations

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

Algebra
Semantics
Mathematical operators
Specifications

Process Algebra with Action Dependencies

Rensink, A. & Wehrheim, H. 2001 In : Acta informatica. 38, p. 155-234

Research output: Scientific - peer-reviewArticle

14 Citations

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

Algebra
Semantics
Specifications
2000
23 Citations

Bisimilarity of Open Terms

Rensink, A. 2000 In : Information and computation. 156, 1-2, p. 345-385 41 p.

Research output: Scientific - peer-reviewArticle

Substitution reactions
Semantics

On a temporal Logic for Object-based Systems

Distefano, D. S., Katoen, J. P. & Rensink, A. Mar 2000 00, 06, p. 1-17 17 p.

Research output: ScientificArticle

Temporal logic
Semantics
Object oriented programming
Specifications

YOO (Why Object-Orientation)

Rensink, A. Sep 2000 2000, 00-12, p. - 30 p.

Research output: ScientificArticle

1996
5 Citations

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

Algebra
Prefix
Operator
Equational theory
Concatenation
15 Citations

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., 10.1006/inco.1996.0026

Research output: Scientific - peer-reviewArticle

Semantics
Syntactics
Chemical analysis
Substitution reactions
Algebra
1994
4 Citations

Finite petri nets as models for recursive causal behaviour

Goltz, U. & Rensink, A. 1994 In : Theoretical computer science. 124, 1, p. 169-179 11 p.

Research output: Scientific - peer-reviewArticle

Petri nets
1992

Abstaction and Refinement in Configuration Structures

Constantini, R. & Rensink, A. 1992 92, 17, p. - 31 p.

Research output: ProfessionalArticle

Finite Petri Nets as Models for recursive Causal Behaviour

Goltz, U. & Rensink, A. 1992 0, 604, p. - 17 p.

Research output: ProfessionalArticle

On Syntactic and Semantic Notions of Refinement

Goltz, U., Gorrierri, R. & Rensink, A. 1992 92, 18, p. - 31 p.

Research output: ProfessionalArticle

1991

Pattern sets

Rensink, A. 1991 1, 24, p. - 17 p.

Research output: ProfessionalArticle

1990

Elementary Structures of Non-Atomic Events

Rensink, A. 1990 89, 65, p. - 24 p.

Research output: ProfessionalArticle

Non-Atomic Events and Event Hierarachies

Rensink, A. 1990 90, 63, p. - 20 p.

Research output: ProfessionalArticle

Selection Structures

Rensink, A. 1990 90, 71, p. - 32 p.

Research output: ProfessionalArticle