Research Output 1988 2018

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. 2017 In : Formal aspects of computing. 29, 4, p. 651-703

Research output: Scientific - peer-reviewArticle

Directed graphs
Nutrition
Scalability
Experiments
2014
21 Citations

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

Jakumeit, E., Buchwald, S., Wagelaar, D., Dan, L., Hegedüs, Á., Hermannsdörfer, M., Horn, T., Kalnina, E., Krause, C., Lano, K., Lepper, M., Rensink, A., Rose, L., 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
1 Citations
2012
59 Citations

Modelling and analysis using GROOVE

Ghamarian, A. H., de Mol, M. J., Rensink, A., Zambon, E. & Zimakova, M. V. Feb 2012 In : International journal on software tools for technology transfer. 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 In : Fundamenta informaticae. 118, 3, p. v-vii 3 p.

Research output: ScientificArticle

2011
3 Citations

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 In : International journal on software tools for technology transfer. 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 transformation
Modal logic
Graph in graph theory
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 In : SIGMETRICS performance evaluation review. 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
programming language
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

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

Process Algebra with Action Dependencies

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

Research output: Scientific - peer-reviewArticle

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

Prefix
Algebra
Equational theory
Concatenation
Multiset
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
Substitution reactions
Chemical analysis
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 In : Memoranda informatica. 92, 17, p. - 31 p.

Research output: ProfessionalArticle

Finite Petri Nets as Models for recursive Causal Behaviour

Goltz, U. & Rensink, A. 1992 In : Memoranda informatica. 0, 604, p. - 17 p.

Research output: ProfessionalArticle

On Syntactic and Semantic Notions of Refinement

Goltz, U., Gorrierri, R. & Rensink, A. 1992 In : Hildesheimer Informatik-Berichte. 92, 18, p. - 31 p.

Research output: ProfessionalArticle

1991

Pattern sets

Rensink, A. 1991 In : Memoranda informatica. 1, 24, p. - 17 p.

Research output: ProfessionalArticle

1990

Elementary Structures of Non-Atomic Events

Rensink, A. 1990 In : Memoranda informatica. 89, 65, p. - 24 p.

Research output: ProfessionalArticle

Non-Atomic Events and Event Hierarachies

Rensink, A. 1990 In : Memoranda informatica. 90, 63, p. - 20 p.

Research output: ProfessionalArticle

Selection Structures

Rensink, A. 1990 In : Memoranda informatica. 90, 71, p. - 32 p.

Research output: ProfessionalArticle