Articles with public access mandates - Arend RensinkLearn more
Available somewhere: 15
Weakest preconditions for high-level programs
A Habel, KH Pennemann, A Rensink
Graph Transformations: Third International Conference, ICGT 2006 Natal, Rio …, 2006
Mandates: German Research Foundation
A survey and comparison of transformation tools based on the transformation tool contest
E Jakumeit, S Buchwald, D Wagelaar, L Dan, Á Hegedüs, ...
Science of computer programming 85, 41-99, 2014
Mandates: German Research Foundation
Showing full semantics preservation in model transformation-a comparison of techniques
M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ...
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010
Mandates: German Research Foundation
Fault trees on a diet: automated reduction by graph rewriting
S Junges, D Guck, JP Katoen, A Rensink, M Stoelinga
Formal aspects of computing 29, 651-703, 2017
Mandates: Netherlands Organisation for Scientific Research
How do we teach modelling and model-driven engineering? a survey
F Ciccozzi, M Famelis, G Kappel, L Lambers, S Mosser, RF Paige, ...
Proceedings of the 21st ACM/IEEE international conference on model driven …, 2018
Mandates: Government of Spain
Multi-paradigm modelling for cyber–physical systems: a descriptive framework
M Amrani, D Blouin, R Heinrich, A Rensink, H Vangheluwe, A Wortmann
Software and Systems Modeling 20 (3), 611-639, 2021
Mandates: German Research Foundation, Federal Ministry of Education and Research, Germany
Graph transformation and ai planning
S Edelkamp, A Rensink
Knowledge Engineering Competition (ICKEPS), Rhode Island, USA: Knowledge …, 2007
Mandates: German Research Foundation
How to efficiently build a front-end tool for UPPAAL: a model-driven approach
S Schivo, BM Yildiz, E Ruijters, C Gerking, R Kumar, S Dziwok, A Rensink, ...
Dependable Software Engineering. Theories, Tools, and Applications: Third …, 2017
Mandates: Netherlands Organisation for Scientific Research, European Commission
Towards a body of knowledge for model-based software engineering
F Ciccozzi, M Famelis, G Kappel, L Lambers, S Mosser, RF Paige, ...
Proceedings of the 21st ACM/IEEE International Conference on Model Driven …, 2018
Mandates: Government of Spain
Towards rigorously faking bidirectional model transformations
CM Poskitt, M Dodds, RF Paige, A Rensink
AMT 2014-Analysis of Model Transformations Workshop Proceedings 1277, 70-75, 2014
Mandates: European Commission
LOCKS: a property specification language for security goals
R Kumar, A Rensink, M Stoelinga
Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1907-1915, 2018
Mandates: Netherlands Organisation for Scientific Research
A model-driven framework for hardware-software co-design of dataflow applications
W Ahmad, BM Yildiz, A Rensink, M Stoelinga
Cyber Physical Systems. Design, Modeling, and Evaluation: 6th International …, 2017
Mandates: Netherlands Organisation for Scientific Research
From BDD Scenarios to Test Case Generation
T Zameni, P van Den Bos, J Tretmans, J Foederer, A Rensink
2023 IEEE International Conference on Software Testing, Verification and …, 2023
Mandates: Netherlands Organisation for Scientific Research
Weakest Preconditions for High-Level Programs (Long Version)
A Habel, KH Pennemann, A Rensink
University of Oldenburg, 2006
Mandates: German Research Foundation
A model-driven framework for hardware-software co-design of dataflow applications (extended version)
W Ahmad, BM Yildiz, A Rensink, M Stoelinga
Technical Report TR-CTIT-16-09, Centre for Telematics and Information …, 2016
Mandates: Netherlands Organisation for Scientific Research
Publication and funding information is determined automatically by a computer program