Research Output 1988 2018

Filter
Conference contribution
2018

Effective Analysis of Attack Trees: A Model-Driven Approach

Kumar, R., Schivo, S., Ruijters, E. J. J., Yildiz, B. M., Huistra, D. J., Brandt, J., Rensink, A. & Stoelinga, M. I. A. Apr 2018 Proceedings of the 21st International Conference on Fundamental Approaches to Software Engineering (FASE 2018). Russo, A. & Schürr, A. (eds.). Springer, p. 56-73 18 p. (Lecture Notes in Computer Science; vol. 10802)

Research output: Scientific - peer-reviewConference contribution

Interoperability
2017

A Formal Product-Line Engineering Approach for Schedulers

Orhan, G., Aksit, M. & Rensink, A. Nov 2017 SDPS 22nd International Conference on Emerging Trends and Technologies in Convergence Solutions. Jololian, L., Robbins, D. E. & Fernandes, S. L. (eds.). p. 15-30 16 p. (Integrated design and process technology; vol. 22)

Research output: ScientificConference contribution

Scheduling
Elevators
Radar systems
Airports
Railroad cars

A Java Bytecode Metamodel for Composable Program Analyses

Yildiz, B. M., Bockisch, C., Rensink, A. & Aksit, M. Jul 2017 Software Technologies: Applications and Foundations: STAF 2017 Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised Selected Papers. Seidl, M. & Zschaler, S. (eds.). Springer, p. 30-40 (Lecture Nodes in Computer Science; vol. 10748)

Research output: Scientific - peer-reviewConference contribution

Interoperability
Specifications
1 Citations

A Model-Derivation Framework for Software Analysis

Yildiz, B. M., Rensink, A., Bockisch, C. & Aksit, M. Apr 2017 Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems (MARS): Uppsala, Sweden, 29th April 2017. Hermanns, H. & Höffner, P. (eds.). arXiv.org, p. 217-229 (EPTCS - Electronic Publications in Theoretical Computer Science; vol. 244)

Research output: Scientific - peer-reviewConference contribution

Scalability
1 Citations

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

Ahmad, W., Yildiz, B. M., Rensink, A. & Stoelinga, M. I. A. 13 Jan 2017 Proceedings of the 6th International Workshop on Design, Modeling and Evaluation of Cyber Physical Systems: CyPhy 2016. Revised Selected Papers. Berger, C., Mousavi, M. & Wisniewski, R. (eds.). Switserland: Springer Verlag, Vol. 10107, p. 1-16 15 p. (Lecture Notes in Computer Science; vol. 10107)

Research output: Scientific - peer-reviewConference contribution

Hardware
Interoperability

An MDE Approach for Modular Program Analyses

Yildiz, B. M., Bockisch, C., Aksit, M. & Rensink, A. Apr 2017 Programming ’17: Companion to the first International Conference on the Art, Science and Engineering of Programming. Association for Computing Machinery, 5 p. 15

Research output: Scientific - peer-reviewConference contribution

Model checking
Application programming interfaces (API)
Interoperability
Specifications
1 Citations

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)(Lecture Notes in Programming and Software Engineering)

Research output: Scientific - peer-reviewConference contribution

Query languages
Hardware
1 Citations

Uniform analysis of fault trees through model transformations

Ruijters, E., Schivo, S., Stoelinga, M. & Rensink, A. 23 Jan 2017 2017 Annual Reliability and Maintainability Symposium (RAMS). IEEE, 7 p.

Research output: Scientific - peer-reviewConference contribution

Fault tree analysis
Nuclear power plants
Aircraft
Engines
Side channel attack
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 Dependable Software Engineering: Theories, Tools, and Applications: First International Symposium, SETTA 2015, Nanjing, China, November 4-6, 2015, Proceedings. Li, X., Liu, Z. & Yi, W. (eds.). Cham, Switzerland: Springer, p. 3-18 16 p. (Lecture Notes in Computer Science; vol. 9409)(Lecture Notes in Programming and Software Engineering)

Research output: Scientific - peer-reviewConference contribution

Directed graphs
Nutrition
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

4 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

1 Citations

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
2 Citations

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

6 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
Graph transformation
Calculus
Verify
Graph in graph theory
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

1 Citations

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
7 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
2 Citations

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
5 Citations

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
17 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 Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Méry, D. & Merz, S. (eds.). Berlin, Heidelberg: Springer, p. 183-198 16 p. (Lecture Notes in Computer Science; vol. 6396)

Research output: Scientific - peer-reviewConference contribution

Semantics
Software design
Scalability
2009
35 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: Association for Computing Machinery, 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: Association for Computing Machinery, p. 25-30 6 p. 10.1145/1509837.1509844

Research output: Scientific - peer-reviewConference contribution

Semantics
Specifications
Testing
20 Citations

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
Amalgamation
Graph in graph theory
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: Association for Computing Machinery, p. 5:1-5:8 8 p. 10.1145/1555852.1555857. (ACM International Conference Proceeding Series; vol. 379)

Research output: Scientific - peer-reviewConference contribution

Flow graphs
Flow control
Industry
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
12 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

5 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
13 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