Research Output 1988 2017

Filter
Conference contribution
2017

How to Efficiently Build a Front-End Tool for UPPAAL: A Model-Driven Approach

Schivo, S., Yildiz, B. M., Ruijters, E. J. J., Gerking, C., Kumar, R., Dziwok, S., Rensink, A. & Stoelinga, M. I. A. Oct 2017 Dependable Software Engineering. Theories, Tools, and Applications: Third International Symposium, SETTA 2017, Changsha, China, October 23-25, 2017, Proceedings. Larsen, K., Sokolsky, O. & Wang, J. (eds.). Springer, p. 319-336 (Lecture Notes in Computer Science; vol. 10606)

Research output: Scientific - peer-reviewConference contribution

Query languages
Hardware
2016

Verification Techniques for Graph Rewriting (Tutorial)

Rensink, A. Mar 2016 Verification of Evolving Graph Structures. Abdulla, P. A., Gadducci, F., König, B. & Vafeiadis, V. (eds.). Dagstuhl, Germany: Dagstuhl Publishing, p. 18-18 1 p. (Dagstuhl Reports; vol. 5, no. 11)

Research output: ScientificConference contribution

Model checking
Paint
Specifications
2015
5 Citations

Fault Trees on a Diet - Automated Reduction by Graph Rewriting

Junges, S., Guck, D., Katoen, J. P., Rensink, A. & Stoelinga, M. I. A. Nov 2015 Proceedings of the First International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2015). Li, X., Liu, Z. & Yi, W. (eds.). Berlin: Springer Verlag, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9409)

Research output: Scientific - peer-reviewConference contribution

Directed graphs
Scalability
Experiments

Graphs as Models - Preface

Rensink, A. & Zambon, E. Apr 2015 Proceedings Graphs as Models. Rensink, A. & Zambon, E. (eds.). Australia: Open Publishing Association, p. - 1 p. (Electronic Proceedings in Theoretical Computer Science; vol. 181)

Research output: ScientificConference contribution

3 Citations

Towards Compliance Verification Between Global and Local Process Models

Kwantes, P. M., van Gorp, P., Kleijn, J. & Rensink, A. Jul 2015 Proceedings of the 8th International Conference on Graph Transformation, ICGT 2015. Parisi-Presicce, F. & Westfechtel, B. (eds.). Berlin: Springer Verlag, p. 221-236 16 p. (Lecture Notes in Computer Science; vol. 9151)

Research output: Scientific - peer-reviewConference contribution

Diagrams
Graph transformation
Financial markets
2014

A timed-automata approach for critical path detection in a soft real-time application

Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M. Feb 2014 Proceedings of the 22nd Euromicro International Conference on Parallel, Distributed and network-based Processing, PDP 2014, Work In Progress Session. Italy: SEA-Johannes Kepler University Linz, p. - 2 p.

Research output: Scientific - peer-reviewConference contribution

Parallel processing systems

BenchmarX

Anjorin, A., Cunha, A., Giese, H., Hermann, F., Rensink, A. & Schürr, A. Mar 2014 Bidirectional Transformations (BX 2014), Proceedings of the Workshops of the EDBT/ICDT 2014 Joint Conference. Hidaka, S. & Terwilliger, J. (eds.). Aachen, Germany: CEUR-WS.org, p. 82-86 5 p. (CEUR Workshop Proceedings; vol. 1133)

Research output: Scientific - peer-reviewConference contribution

Forever software

Rensink, A. Oct 2014 Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications: 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, October 8-11, 2014, Proceedings, Part I1. Margaria, T. & Steffen, B. (eds.). Berlin: Springer Verlag, p. 535-537 3 p. (Lecture Notes in Computer Science; vol. 8802)

Research output: ScientificConference contribution

Software engineering
Television receivers
Railroad cars
Industry

Graph- versus Vector-Based Analysis of a Consensus Protocol

Delzanno, G., Rensink, A. & Traverso, R. Apr 2014 Proceedings of the 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014). Bošnački, D., Edelkamp, S., Lluch Lafuente, A. & Wijs, A. (eds.). EPTCS, p. 44-57 14 p. (Electronic Proceedings in Theoretical Computer Science; vol. 159)

Research output: Scientific - peer-reviewConference contribution

Model checking
Parallel algorithms
Communication

Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices

Zambon, E. & Rensink, A. Apr 2014 Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014). Hermann, F. & Sauer, S. (eds.). Berlin, Germany: European Association of Software Science and Technology, p. - 13 p. (Electronic Communications of the EASST; vol. 67, no. 938)

Research output: Scientific - peer-reviewConference contribution

5 Citations

Towards Rigorously Faking Bidirectional Model Transformations

Poskitt, C. M., Dodds, M., Paige, R. F. & Rensink, A. Sep 2014 Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014. Dingel, J., De Lara, J., Lúcio, L. & Vangheluwe, H. (eds.). Aachen: RWTH Aachen, Germany, p. 70-75 6 p. (CEUR-WS; vol. 1277)

Research output: Scientific - peer-reviewConference contribution

Model transformation
Model
Graph transformation
Calculus
Verify
2013

Class diagram restructuring with GROOVE

Smid, W. & Rensink, A. Nov 2013 Proceedings Sixth Transformation Tool Contest. Van Gorp, P., Rose, L. M. & Krause, C. (eds.). arXiv.org, p. 83-87 5 p. (Electronic Proceedings in Theoretical Computer Science; vol. 135)

Research output: Scientific - peer-reviewConference contribution

2012

Generalised compositionality in graph transformation

Ghamarian, A. H. & Rensink, A. Sep 2012 6th International Conference on Graph Transformation (ICGT 2012). Ehrig, H., Engels, G., Kreowski, H. J. & Rozenberg, G. (eds.). Berlin: Springer Verlag, p. 234-248 15 p. (Lecture Notes in Computer Science; vol. 7562)

Research output: Scientific - peer-reviewConference contribution

Chemical analysis
Communication

Graph passing in graph transformation

Ghamarian, A. H. & Rensink, A. Mar 2012 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012. Fish, A. & Lambers, L. (eds.). Berlin: European Association for Software Science and Technology, p. 723:1-723:14 14 p. (Electronic Communications of the EASST; vol. 47)

Research output: Scientific - peer-reviewConference contribution

Chemical analysis
Algebra

Graph Subsumption in Abstract State Space Exploration

Zambon, E. & Rensink, A. Apr 2012 Proceedings of First Workshop on Graph Inspection and Traversal Engineering (GRAPHite 2012). Wijs, A., Bosnacki, D. & Edelkamp, S. (eds.). Open Publishing Association, p. 35-49 15 p. (Electronic Proceedings in Theoretical Computer Science; vol. 99)

Research output: Scientific - peer-reviewConference contribution

Experiments
3 Citations

Graph Transforming Java Data

de Mol, M. J., Rensink, A. & Hunt, J. J. Mar 2012 Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012). London: Springer Verlag, p. 209-223 15 p. (Lecture Notes in Computer Science; vol. 7212)

Research output: Scientific - peer-reviewConference contribution

Incremental pattern matching for regular expressions

Jalali, A., Ghamarian, A. H. & Rensink, A. Mar 2012 11th International Workshop on Graph Transformation and Visual Modeling Techniques, GTVMT 2012. Fish, A. & Lambers, L. (eds.). Berlin: European Association for Software Science and Technology, p. 736:1-736:12 12 p. (Electronic Communications of the EASST; vol. 47)

Research output: Scientific - peer-reviewConference contribution

Pattern matching
Costs
9 Citations

Pattern-Based Graph Abstraction

Rensink, A. & Zambon, E. Sep 2012 International Conference on Graph Transformation (ICGT 2012). Ehrig, H., Engels, G., Kreowski, H. J. & Rozenberg, G. (eds.). Berlin: Springer Verlag, p. 66-80 15 p. (Lecture Notes in Computer Science; vol. 7562)

Research output: Scientific - peer-reviewConference contribution

Graph in graph theory
Production rules
Graph transformation
Collapsing
Simple graph
2011
3 Citations

Knowledge-based Graph Exploration Analysis

Galvao, I., Zambon, E., Rensink, A., Wevers, L., Wevers, L. & Aksit, M. Oct 2011 Fourth International Symposium on Applications of Graph Transformation with Industrial Relevance, AGTIVE 2011. Schürr, A., Varró, D. & Varró, G. (eds.). Berlin: Springer Verlag, p. 105-120 16 p. (Lecture Notes in Computer Science; vol. 7233)

Research output: Scientific - peer-reviewConference contribution

Modelleren is het Nieuwe Programmeren

Rensink, A. Nov 2011 i&i conferentie. Nederland: Vereniging i&i, p. - 29 p.

Research output: ScientificConference contribution

Java
Module

Neighbourhood Abstraction in GROOVE

Rensink, A. & Zambon, E. 11 Apr 2011 Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). De Lara, J. & Varro, D. (eds.). Enschede: European Association for the Study of Science and Technology, EASST, p. 1-13 13 p. (Electronic Communications of the EASST; vol. 32)

Research output: Scientific - peer-reviewConference contribution

Model checking

Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case

Ghamarian, A. H., de Mol, M. J., Rensink, A. & Zambon, E. Nov 2011 Proceedings of the Fifth Transformation Tool Contest (TTC 2011). van Gorp, P., Mazanek, S. & Rose, L. (eds.). Open Publishing Association, p. 215-222 5 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 74)

Research output: Scientific - peer-reviewConference contribution

Grammar

Solving the TTC 2011 Compiler Optimization Case with GROOVE

Rensink, A. & Zambon, E. Nov 2011 Proceedings of the Fifth Transformation Tool Contest (TTC 2011). van Gorp, P., Mazanek, S. & Rose, L. (eds.). Open Publishing Association, p. 126-130 5 p. (Electronic Proceedings in Theoretical Computer Science (EPTCS); vol. 74)

Research output: Scientific - peer-reviewConference contribution

2010
4 Citations

Compositionality in Graph Transformation

Rensink, A. Jul 2010 Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings. Abramsky, S., Gavoille, C., Kirchner, C., Meyer auf der Heide, F. & Spirakis, P. G. (eds.). Berlin: Springer Verlag, p. 309-320 12 p. (Lecture Notes in Computer Science; vol. 6199)

Research output: Scientific - peer-reviewConference contribution

Algebra
Specifications
Synchronization

Distributed Graph-Based State Space Generation

Blom, S., Kant, G. & Rensink, A. Sep 2010 Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). De Lara, J. & Varro, D. (eds.). Berlin: European Association of Software Science and Technology (EASST), p. 8 12 p. (Electronic Communications of the EASST; vol. 32, no. WP 10-06)

Research output: Scientific - peer-reviewConference contribution

Statistics

Incremental Pattern Matching in Graph-Based State Space Exploration

Ghamarian, A. H., Rensink, A. & Jalali, A. 2010 Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). De Lara, J. & Varro, D. (eds.). Enschede: European Association for the Study of Science and Technology, p. 144-154 12 p. (CTIT Workshop Proceedings; no. WP 10-06)

Research output: Scientific - peer-reviewConference contribution

Pattern matching
Costs

Neighbourhood Abstraction in GROOVE - Tool Paper

Rensink, A. & Zambon, E. Jun 2010 Proceedings of the Fourth International Workshop on Graph-Based Tools (GraBaTs 2010). de Lara, J. & Varro, D. (eds.). Enschede: Centre for Telematics and Information Technology (CTIT), p. 55-61 6 p. (CTIT Workshop Proceedings; no. WP 10-06)

Research output: Scientific - peer-reviewConference contribution

Model checking

On A Graph Formalism for Ordered Edges

de Mol, M. J. & Rensink, A. 16 Aug 2010 Proceedings of the Ninth International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT 2010). Küster, J. & Tuosto, E. (eds.). The European Association for the Study of Science and Technology, p. - 12 p. (Electronic Communications of the EASST; vol. 29)

Research output: Scientific - peer-reviewConference contribution

Data structures
Association reactions
Costs
16 Citations

Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques

Hüksbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C. & Wehrheim, H. 2010 8th International Conference on Integrated Formal Methods, IFM 2010. Méry, D. & Merz, S. (eds.). Berlin: Springer Verlag, p. 183-198 16 p. (Lecture Notes in Computer Science; vol. 6396)

Research output: Scientific - peer-reviewConference contribution

Semantics
Software design
Scalability
2009
34 Citations

A Graph-Transformation-Based Simulation Approach for Analysing Aspect Interference on Shared Join Points

Aksit, M., Rensink, A. & Staijen, T. 2009 AOSD '09: Proceedings of the 8th ACM International Conference on Aspect-Oriented Software Development. New York: ACM, p. 39-50 12 p. 10.1145/1509239.1509247

Research output: Scientific - peer-reviewConference contribution

Semantics
Chemical analysis

A Type Graph Model for Java Programs

Rensink, A. & Zambon, E. 15 Jun 2009 Proceedings of the IFIP International Conference on Formal Techniques for Distributed Systems, FMOODS/FORTE 2009. Lee, D., Lopes, A. & Poetzsch-Heffter, A. (eds.). Berlin: Springer Verlag, p. 237-242 6 p. (Lecture Notes in Computer Science; vol. 5522)

Research output: Scientific - peer-reviewConference contribution

Java programming language
Specification languages
Model checking
Static analysis
Computer programming languages

Graph-Based Specification and Simulation of Featherweight Java with Around Advice

Staijen, T. & Rensink, A. Mar 2009 FOAL '09: Proceedings of the 2009 workshop on Foundations of aspect-oriented languages. New York: ACM, p. 25-30 6 p. 10.1145/1509837.1509844

Research output: Scientific - peer-reviewConference contribution

Semantics
Specifications
Testing

Repotting the geraniums: on nested graph transformation rules

Rensink, A. & Kuperus, J-H. 2009 Graph transformation and visual modelling techniques. Boronat, A. & Heckel, R. (eds.). EASST, p. - 15 p. (Electronic Communications of the EASST; vol. 18)

Research output: Scientific - peer-reviewConference contribution

Predicate
Graph in graph theory
Amalgamation
Flowering
Morphisms

Towards model structuring based on flow diagram decomposition

Rensink, A. & Zimakova, M. V. 2009 Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture. Aksit, M., Kindler, E., Roubtsova, E. & McNeile, A. (eds.). New York: ACM, p. 5:1-5:8 8 p. 10.1145/1555852.1555857. (ACM International Conference Proceeding Series; vol. 379)

Research output: Scientific - peer-reviewConference contribution

Industry
Flow graphs
Flow control
Decomposition
Modeling languages
2008
3 Citations

AGTIVE 2007 Graph Transformation Tool Contest

Rensink, A. & Taentzer, G. 2008 Applications of Graph Transformation with Industrial Relevance (AGTIVE). Schürr, A., Nagl, M. & Zündorf, A. (eds.). Berlin: Springer Verlag, p. 487-492 6 p. 10.1007/978-3-540-89020-1_33. (Lecture Notes in Computer Science; vol. 5088)

Research output: Scientific - peer-reviewConference contribution

Graph transformation
Symposium
9 Citations

A Modal-Logic Based Graph Abstraction

Bauer, J., Boneva, I. B., Kurban, M. E. & Rensink, A. 2008 International Conference on Graph Transformations (ICGT). Ehrig, H., Heckel, R., Rozenberg, G. & Taentzer, G. (eds.). Berlin: Springer Verlag, p. 321-335 15 p. 10.1007/978-3-540-87405-8_22. (Lecture Notes in Computer Science; vol. 5214, no. Supplement)

Research output: Scientific - peer-reviewConference contribution

3 Citations

Dynamic Partial Order Reduction Using Probe Sets

Kastenberg, H. & Rensink, A. 2008 Concurrency Theory (CONCUR). Van Breughel, F. & Chechik, M. (eds.). Berlin: Springer Verlag, p. 233-247 15 p. 10.1007/978-3-540-85361-9_21. (Lecture Notes in Computer Science; vol. 5201, no. Supplement)

Research output: Scientific - peer-reviewConference contribution

Petri nets
11 Citations

From UML Activities to TAAL: Towards behaviour-preserving model transformations

Engels, G., Kleppe, A. G., Rensink, A., Semenyak, M., Soltenborn, C. & Wehrheim, H. 2008 European Conference on Model Driven Architecture - Foundations and Applications (ECMDA-FA). Hartman, A. & Schieferdecker, I. (eds.). Berlin: Springer Verlag, p. 94-109 16 p. 10.1007/978-3-540-69100-6_7. (Lecture Notes in Computer Science; vol. 5095, no. 1)

Research output: Scientific - peer-reviewConference contribution

Semantics
Computer programming languages
1 Citations

Graph-Based Tools: The Contest

Rensink, A. & Van Gorp, P. 2008 International Conference on Graph Transformations (ICGT). Ehrig, H., Heckel, R., Rozenberg, G. & Taentzer, G. (eds.). Berlin: Springer Verlag, p. 463-466 4 p. 10.1007/978-3-540-87405-8_33. (Lecture Notes in Computer Science; vol. 5214, no. Supplement)

Research output: ScientificConference contribution

Competitiveness
Graph
3 Citations

Graph Transformation Semantics for a QVT Language

Rensink, A. & Nederpel, R. May 2008 International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT). Bruni, R. & Varró, D. (eds.). Amsterdam: ELSEVIER, p. 51-62 12 p. 10.1016/j.entcs.2008.04.029. (Electronic Notes in Theoretical Computer Science; vol. 211)

Research output: Scientific - peer-reviewConference contribution

Semantics
1 Citations

Ludo: A Case Study for Graph Transformation Tools

Rensink, A., Dotor, A., Ermel, C., Jurack, S., Kniemeyer, O., De Lara, J., Maier, S., Staijen, T. & Zündorf, A. 2008 Applications of Graph Transformation with Industrial Relevance (AGTIVE). Schürr, A., Nagl, M. & Zündorf, A. (eds.). Berlin: Springer Verlag, p. 493-513 21 p. 10.1007/978-3-540-89020-1_34. (Lecture Notes in Computer Science; vol. 5088)

Research output: Scientific - peer-reviewConference contribution

General solution

On a Graph-Based Semantics for UML Class and Object Diagrams

Kleppe, A. G. & Rensink, A. 2008 Graph Transformation and Visual Modelling Techniques. Ermel, C., De Lara, J. & Heckel, R. (eds.). EASST, p. - 16 p. (Electronic Communications of the EASST; vol. 10, no. 69160R)

Research output: Scientific - peer-reviewConference contribution

Repair
Semantics
2007

An Object-Oriented Framework for Explicit-State Model Checking

Kattenbelt, M., Ruys, T. C. & Rensink, A. 23 Mar 2007 Proceedings of the 3rd European Symposium on Verification and Validation of Software Systems (VVSS 2007). Groot, P., Serebrenik, A. & van Eekelen, M. (eds.). Eindhoven: Eindhoven University of Technology, p. 84-92 9 p. (TUE Computer Science Reports; no. 07-04)

Research output: ScientificConference contribution

Positive ions
Model checking

Graph Transformation and AI Planning

Edelkamp, S. & Rensink, A. Sep 2007 Knowledge Engineering Competition (ICKEPS). Edelkamp, S. & Frank, J. (eds.). Canberra, Australia: Australian National University, p. - 7 p.

Research output: ScientificConference contribution

Planning
Knowledge engineering

Graph Transformation for Concurrency and Verification - Preface

Rensink, A., Heckel, R. & König, B. Jul 2007 Proceedings of the Workshop on Graph Transformation for Concurrency and Verification (GT-VC). Amsterdam: ELSEVIER, p. 1-2 2 p. 10.1016/j.entcs.2007.04.012. (Electronic Notes in Theoretical Computer Science; vol. 175, no. 1)

Research output: ScientificConference contribution

Isomorphism Checking in GROOVE

Rensink, A. Sep 2007 Graph-Based Tools (GraBaTs). Zündorf, A. & Varró, D. (eds.). European Association of Software Science and Technology, p. - 11 p. (Electronic Communications of the EASST; vol. 1, no. LNCS4549)

Research output: Scientific - peer-reviewConference contribution

Graph in graph theory
Certificate
Isomorphism
Edge elements
Isomorphism problem

Simulating Multigraph Transformations Using Simple Graphs

Boneva, I. B., Hermann, F., Kastenberg, H. & Rensink, A. 2007 Proceedings of the Sixth International Workshop on Graph Transformation and Visual Modeling Techniques. EASST, p. 42 14 p. (Electronic Communications of the EASST; vol. 6, no. 4542)

Research output: Scientific - peer-reviewConference contribution

Graph transformation
Multigraph
Production systems
Simple graph
Software verification
2006
28 Citations

Abstract Graph Transformation

Rensink, A. & Distefano, D. S. May 2006 Proceedings of the Third International Workshop on Software Verification and Validation (SVV 2005). Mukhopadhyay, S., Roychoudhury, A. & Yang, Z. (eds.). ELSEVIER, p. 39-59 21 p. (Electronic Notes in Theoretical Computer Science; vol. 157)

Research output: Scientific - peer-reviewConference contribution

Model checking
Semantics

An Abstract Metamodel for Aspect Languages

Havinga, W. K., Staijen, T., Rensink, A., Bergmans, L. & van den Berg, K. 2006 Open and Dynamic Aspect Languages. Brichau, J., Chiba, S., Lorenz, D. H., Tanter, E. & De Volder, K. (eds.). Aspect-Oriented Software Association, p. 9 8 p.

Research output: Scientific - peer-reviewConference contribution

Semantics
Aspect oriented programming
Chemical analysis
25 Citations

Defining Object-Oriented Execution Semantics Using Graph Transformations

Kastenberg, H., Kleppe, A. G. & Rensink, A. Jun 2006 Proceedings of the 8th IFIP International Conference on Formal Methods for Open-Object Based Distributed Systems. Gorrieri, R. & Wehrheim, H. (eds.). London: Springer Verlag, p. 186-201 16 p. 10.1007/11768869_15. (Lecture Notes in Computer Science; vol. 4037, no. 2)

Research output: Scientific - peer-reviewConference contribution

Semantics
Object oriented programming
Software engineering
Trajectories
Formal verification