Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Arend Rensink
@article{DBLP:journals/fac/BouwmanWLSR23,
author = {Mark Bouwman and
Djurre van der Wal and
Bas Luttik and
Mari{\"{e}}lle Stoelinga and
Arend Rensink},
title = {A Case in Point: Verification and Testing of a {EULYNX} Interface},
journal = {Formal Aspects Comput.},
volume = {35},
number = {1},
pages = {2:1--2:38},
year = {2023},
url = {https://doi.org/10.1145/3528207},
doi = {10.1145/3528207},
timestamp = {Fri, 02 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/BouwmanWLSR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/ZameniBTFR23,
author = {Tannaz Zameni and
Petra van den Bos and
Jan Tretmans and
Johan Foederer and
Arend Rensink},
title = {From {BDD} Scenarios to Test Case Generation},
booktitle = {{IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2023 - Workshops, Dublin, Ireland, April 16-20,
2023},
pages = {36--44},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/ICSTW58534.2023.00019},
doi = {10.1109/ICSTW58534.2023.00019},
timestamp = {Wed, 07 Jun 2023 22:08:04 +0200},
biburl = {https://dblp.org/rec/conf/icst/ZameniBTFR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/AmraniBHRVW21,
author = {Moussa Amrani and
Dominique Blouin and
Robert Heinrich and
Arend Rensink and
Hans Vangheluwe and
Andreas Wortmann},
title = {Multi-paradigm modelling for cyber-physical systems: a descriptive
framework},
journal = {Softw. Syst. Model.},
volume = {20},
number = {3},
pages = {611--639},
year = {2021},
url = {https://doi.org/10.1007/s10270-021-00876-z},
doi = {10.1007/S10270-021-00876-Z},
timestamp = {Fri, 23 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/AmraniBHRVW21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csedu/BergmansBLR21,
author = {Laura Bergmans and
Nacir Bouali and
Marloes Luttikhuis and
Arend Rensink},
editor = {Beno Csap{\'{o}} and
James Uhomoibhi},
title = {On the Efficacy of Online Proctoring using Proctorio},
booktitle = {Proceedings of the 13th International Conference on Computer Supported
Education, {CSEDU} 2021, Online Streaming, April 23-25, 2021, Volume
1},
pages = {279--290},
publisher = {{SCITEPRESS}},
year = {2021},
url = {https://doi.org/10.5220/0010399602790290},
doi = {10.5220/0010399602790290},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csedu/BergmansBLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/21/HeinrichBKRRRS21,
author = {Robert Heinrich and
Erwan Bousse and
Sandro Koch and
Arend Rensink and
Elvinia Riccobene and
Daniel Ratiu and
Marjan Sirjani},
editor = {Robert Heinrich and
Francisco Dur{\'{a}}n and
Carolyn L. Talcott and
Steffen Zschaler},
title = {Integration and Orchestration of Analysis Tools},
booktitle = {Composing Model-Based Analysis Tools},
pages = {71--95},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81915-6\_5},
doi = {10.1007/978-3-030-81915-6\_5},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/21/HeinrichBKRRRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/CuadradoR20,
author = {Jes{\'{u}}s S{\'{a}}nchez Cuadrado and
Arend Rensink},
title = {Special section on {ICMT} at {STAF} 2018},
journal = {Softw. Syst. Model.},
volume = {19},
number = {2},
pages = {399--400},
year = {2020},
url = {https://doi.org/10.1007/s10270-020-00775-9},
doi = {10.1007/S10270-020-00775-9},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/CuadradoR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/BurguenoCFKLMPP19,
author = {Loli Burgue{\~{n}}o and
Federico Ciccozzi and
Michalis Famelis and
Gerti Kappel and
Leen Lambers and
S{\'{e}}bastien Mosser and
Richard F. Paige and
Alfonso Pierantonio and
Arend Rensink and
Rick Salay and
Gabriele Taentzer and
Antonio Vallecillo and
Manuel Wimmer},
title = {Contents for a Model-Based Software Engineering Body of Knowledge},
journal = {Softw. Syst. Model.},
volume = {18},
number = {6},
pages = {3193--3205},
year = {2019},
url = {https://doi.org/10.1007/s10270-019-00746-9},
doi = {10.1007/S10270-019-00746-9},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/BurguenoCFKLMPP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/CorradiniHKNR19,
author = {Andrea Corradini and
Tobias Heindel and
Barbara K{\"{o}}nig and
Dennis Nolte and
Arend Rensink},
editor = {Mikolaj Bojanczyk and
Alex Simpson},
title = {Rewriting Abstract Structures: Materialization Explained Categorically},
booktitle = {Foundations of Software Science and Computation Structures - 22nd
International Conference, {FOSSACS} 2019, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2019,
Prague, Czech Republic, April 6-11, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11425},
pages = {169--188},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-17127-8\_10},
doi = {10.1007/978-3-030-17127-8\_10},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/CorradiniHKNR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/AmraniBHRVW19,
author = {Moussa Amrani and
Dominique Blouin and
Robert Heinrich and
Arend Rensink and
Hans Vangheluwe and
Andreas Wortmann},
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {Towards a Formal Specification of Multi-paradigm Modelling},
booktitle = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
pages = {419--424},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/MODELS-C.2019.00067},
doi = {10.1109/MODELS-C.2019.00067},
timestamp = {Wed, 23 Feb 2022 12:16:49 +0100},
biburl = {https://dblp.org/rec/conf/models/AmraniBHRVW19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/models/2019c,
editor = {Loli Burgue{\~{n}}o and
Alexander Pretschner and
Sebastian Voss and
Michel Chaudron and
J{\"{o}}rg Kienzle and
Markus V{\"{o}}lter and
S{\'{e}}bastien G{\'{e}}rard and
Mansooreh Zahedi and
Erwan Bousse and
Arend Rensink and
Fiona Polack and
Gregor Engels and
Gerti Kappel},
title = {22nd {ACM/IEEE} International Conference on Model Driven Engineering
Languages and Systems Companion, {MODELS} Companion 2019, Munich,
Germany, September 15-20, 2019},
publisher = {{IEEE}},
year = {2019},
url = {https://ieeexplore.ieee.org/xpl/conhome/8892449/proceeding},
isbn = {978-1-7281-5125-0},
timestamp = {Wed, 23 Feb 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/models/2019c.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1902-04809,
author = {Andrea Corradini and
Tobias Heindel and
Barbara K{\"{o}}nig and
Dennis Nolte and
Arend Rensink},
title = {Rewriting Abstract Structures: Materialization Explained Categorically},
journal = {CoRR},
volume = {abs/1902.04809},
year = {2019},
url = {http://arxiv.org/abs/1902.04809},
eprinttype = {arXiv},
eprint = {1902.04809},
timestamp = {Sat, 04 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1902-04809.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0001NPR18,
author = {Barbara K{\"{o}}nig and
Dennis Nolte and
Julia Padberg and
Arend Rensink},
editor = {Reiko Heckel and
Gabriele Taentzer},
title = {A Tutorial on Graph Transformation},
booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut
Ehrig},
series = {Lecture Notes in Computer Science},
volume = {10800},
pages = {83--104},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75396-6\_5},
doi = {10.1007/978-3-319-75396-6\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/0001NPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/KastenbergR18,
author = {Harmen Kastenberg and
Arend Rensink},
editor = {Reiko Heckel and
Gabriele Taentzer},
title = {Graph Attribution Through Sub-Graphs},
booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut
Ehrig},
series = {Lecture Notes in Computer Science},
volume = {10800},
pages = {245--265},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-75396-6\_14},
doi = {10.1007/978-3-319-75396-6\_14},
timestamp = {Tue, 06 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/birthday/KastenbergR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/ZambonR18,
author = {Eduardo Zambon and
Arend Rensink},
editor = {Peter M{\"{u}}ller and
Ina Schaefer},
title = {Recipes for Coffee: Compositional Construction of {JAVA} Control Flow
Graphs in {GROOVE}},
booktitle = {Principled Software Development - Essays Dedicated to Arnd Poetzsch-Heffter
on the Occasion of his 60th Birthday},
pages = {305--323},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-98047-8\_19},
doi = {10.1007/978-3-319-98047-8\_19},
timestamp = {Wed, 31 Oct 2018 17:54:14 +0100},
biburl = {https://dblp.org/rec/conf/birthday/ZambonR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/0012SRYHBRS18,
author = {Rajesh Kumar and
Stefano Schivo and
Enno Ruijters and
Bugra Mehmet Yildiz and
David Huistra and
Jacco Brandt and
Arend Rensink and
Mari{\"{e}}lle Stoelinga},
editor = {Alessandra Russo and
Andy Sch{\"{u}}rr},
title = {Effective Analysis of Attack Trees: {A} Model-Driven Approach},
booktitle = {Fundamental Approaches to Software Engineering, 21st International
Conference, {FASE} 2018, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2018, Thessaloniki, Greece,
April 14-20, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10802},
pages = {56--73},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89363-1\_4},
doi = {10.1007/978-3-319-89363-1\_4},
timestamp = {Fri, 31 Jan 2020 21:32:22 +0100},
biburl = {https://dblp.org/rec/conf/fase/0012SRYHBRS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CiccozziFKL0PPR18,
author = {Federico Ciccozzi and
Michalis Famelis and
Gerti Kappel and
Leen Lambers and
S{\'{e}}bastien Mosser and
Richard F. Paige and
Alfonso Pierantonio and
Arend Rensink and
Rick Salay and
Gabi Taentzer and
Antonio Vallecillo and
Manuel Wimmer},
editor = {{\"{O}}nder Babur and
Daniel Str{\"{u}}ber and
Silvia Abrah{\~{a}}o and
Loli Burgue{\~{n}}o and
Martin Gogolla and
Joel Greenyer and
Sahar Kokaly and
Dimitris S. Kolovos and
Tanja Mayerhofer and
Mansooreh Zahedi},
title = {Towards a body of knowledge for model-based software engineering},
booktitle = {Proceedings of the 21st {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems: Companion Proceedings, {MODELS}
2018, Copenhagen, Denmark, October 14-19, 2018},
pages = {82--89},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3270112.3270121},
doi = {10.1145/3270112.3270121},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/CiccozziFKL0PPR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/CiccozziFKL0PPR18a,
author = {Federico Ciccozzi and
Michalis Famelis and
Gerti Kappel and
Leen Lambers and
S{\'{e}}bastien Mosser and
Richard F. Paige and
Alfonso Pierantonio and
Arend Rensink and
Rick Salay and
Gabi Taentzer and
Antonio Vallecillo and
Manuel Wimmer},
editor = {{\"{O}}nder Babur and
Daniel Str{\"{u}}ber and
Silvia Abrah{\~{a}}o and
Loli Burgue{\~{n}}o and
Martin Gogolla and
Joel Greenyer and
Sahar Kokaly and
Dimitris S. Kolovos and
Tanja Mayerhofer and
Mansooreh Zahedi},
title = {How do we teach modelling and model-driven engineering?: a survey},
booktitle = {Proceedings of the 21st {ACM/IEEE} International Conference on Model
Driven Engineering Languages and Systems: Companion Proceedings, {MODELS}
2018, Copenhagen, Denmark, October 14-19, 2018},
pages = {122--129},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3270112.3270129},
doi = {10.1145/3270112.3270129},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/models/CiccozziFKL0PPR18a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/0012RS18,
author = {Rajesh Kumar and
Arend Rensink and
Mari{\"{e}}lle Stoelinga},
editor = {Hisham M. Haddad and
Roger L. Wainwright and
Richard Chbeir},
title = {{LOCKS:} a property specification language for security goals},
booktitle = {Proceedings of the 33rd Annual {ACM} Symposium on Applied Computing,
{SAC} 2018, Pau, France, April 09-13, 2018},
pages = {1907--1915},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3167132.3167336},
doi = {10.1145/3167132.3167336},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sac/0012RS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icmt/2018,
editor = {Arend Rensink and
Jes{\'{u}}s S{\'{a}}nchez Cuadrado},
title = {Theory and Practice of Model Transformation - 11th International Conference,
ICMT@STAF 2018, Toulouse, France, June 25-26, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10888},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-93317-7},
doi = {10.1007/978-3-319-93317-7},
isbn = {978-3-319-93316-0},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icmt/2018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/JungesGKRS17,
author = {Sebastian Junges and
Dennis Guck and
Joost{-}Pieter Katoen and
Arend Rensink and
Mari{\"{e}}lle Stoelinga},
title = {Fault trees on a diet: automated reduction by graph rewriting},
journal = {Formal Aspects Comput.},
volume = {29},
number = {4},
pages = {651--703},
year = {2017},
url = {https://doi.org/10.1007/s00165-016-0412-0},
doi = {10.1007/S00165-016-0412-0},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/JungesGKRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rensink17,
author = {Arend Rensink},
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {How Much Are Your Geraniums? Taking Graph Conditions Beyond First
Order},
booktitle = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
pages = {191--213},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9\_10},
doi = {10.1007/978-3-319-68270-9\_10},
timestamp = {Thu, 14 Oct 2021 10:33:18 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Rensink17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programming/YildizBRA17,
author = {Bugra M. Yildiz and
Christoph Bockisch and
Arend Rensink and
Mehmet Aksit},
editor = {Jennifer B. Sartor and
Theo D'Hondt and
Wolfgang De Meuter},
title = {An {MDE} Approach for Modular Program Analyses},
booktitle = {Companion to the first International Conference on the Art, Science
and Engineering of Programming, Programming 2017, Brussels, Belgium,
April 3-6, 2017},
pages = {15:1--15:5},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3079368.3079392},
doi = {10.1145/3079368.3079392},
timestamp = {Tue, 06 Nov 2018 16:57:28 +0100},
biburl = {https://dblp.org/rec/conf/programming/YildizBRA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/SchivoYRGKDRS17,
author = {Stefano Schivo and
Bugra M. Yildiz and
Enno Ruijters and
Christopher Gerking and
Rajesh Kumar and
Stefan Dziwok and
Arend Rensink and
Mari{\"{e}}lle Stoelinga},
editor = {Kim Guldstrand Larsen and
Oleg Sokolsky and
Ji Wang},
title = {How to Efficiently Build a Front-End Tool for {UPPAAL:} {A} Model-Driven
Approach},
booktitle = {Dependable Software Engineering. Theories, Tools, and Applications
- Third International Symposium, {SETTA} 2017, Changsha, China, October
23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10606},
pages = {319--336},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-69483-2\_19},
doi = {10.1007/978-3-319-69483-2\_19},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/SchivoYRGKDRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/YildizBRA17,
author = {Bugra M. Yildiz and
Christoph Bockisch and
Arend Rensink and
Mehmet Aksit},
editor = {Martina Seidl and
Steffen Zschaler},
title = {A Java Bytecode Metamodel for Composable Program Analyses},
booktitle = {Software Technologies: Applications and Foundations - {STAF} 2017
Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10748},
pages = {30--40},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-74730-9\_4},
doi = {10.1007/978-3-319-74730-9\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/staf/YildizBRA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/YildizRBA17,
author = {Bugra M. Yildiz and
Arend Rensink and
Christoph Bockisch and
Mehmet Aksit},
editor = {Holger Hermanns and
Peter H{\"{o}}fner},
title = {A Model-Derivation Framework for Software Analysis},
booktitle = {Proceedings 2nd Workshop on Models for Formal Analysis of Real Systems,
MARS@ETAPS 2017, Uppsala, Sweden, 29th April 2017},
series = {{EPTCS}},
volume = {244},
pages = {217--229},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.244.9},
doi = {10.4204/EPTCS.244.9},
timestamp = {Sat, 30 Sep 2023 10:07:58 +0200},
biburl = {https://dblp.org/rec/journals/corr/YildizRBA17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2017brinksma,
editor = {Joost{-}Pieter Katoen and
Rom Langerak and
Arend Rensink},
title = {ModelEd, TestEd, TrustEd - Essays Dedicated to Ed Brinksma on the
Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {10500},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68270-9},
doi = {10.1007/978-3-319-68270-9},
isbn = {978-3-319-68269-3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2017brinksma.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fomac/Rensink16,
author = {Arend Rensink},
title = {Model Patterns - The Quest for the Right Level of Abstraction},
journal = {{LNCS} Trans. Found. Mastering Chang.},
volume = {1},
pages = {47--70},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-46508-1\_4},
doi = {10.1007/978-3-319-46508-1\_4},
timestamp = {Thu, 16 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fomac/Rensink16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cyphy/AhmadYRS16,
author = {Waheed Ahmad and
Bugra M. Yildiz and
Arend Rensink and
Mari{\"{e}}lle Stoelinga},
editor = {Christian Berger and
Mohammad Reza Mousavi and
Rafael Wisniewski},
title = {A Model-Driven Framework for Hardware-Software Co-design of Dataflow
Applications},
booktitle = {Cyber Physical Systems. Design, Modeling, and Evaluation - 6th International
Workshop, CyPhy 2016, Pittsburgh, PA, USA, October 6, 2016, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {10107},
pages = {1--16},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-51738-4\_1},
doi = {10.1007/978-3-319-51738-4\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cyphy/AhmadYRS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/KwantesGKR15,
author = {Pieter M. Kwantes and
Pieter Van Gorp and
Jetty Kleijn and
Arend Rensink},
editor = {Francesco Parisi{-}Presicce and
Bernhard Westfechtel},
title = {Towards Compliance Verification Between Global and Local Process Models},
booktitle = {Graph Transformation - 8th International Conference, {ICGT} 2015,
Held as Part of {STAF} 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9151},
pages = {221--236},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21145-9\_14},
doi = {10.1007/978-3-319-21145-9\_14},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/KwantesGKR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/setta/JungesGKRS15,
author = {Sebastian Junges and
Dennis Guck and
Joost{-}Pieter Katoen and
Arend Rensink and
Mari{\"{e}}lle Stoelinga},
editor = {Xuandong Li and
Zhiming Liu and
Wang Yi},
title = {Fault Trees on a Diet - - Automated Reduction by Graph Rewriting -},
booktitle = {Dependable Software Engineering: Theories, Tools, and Applications
- First International Symposium, {SETTA} 2015, Nanjing, China, November
4-6, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9409},
pages = {3--18},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-25942-0\_1},
doi = {10.1007/978-3-319-25942-0\_1},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/setta/JungesGKRS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/RensinkZ15,
editor = {Arend Rensink and
Eduardo Zambon},
title = {Proceedings Graphs as Models, GaM@ETAPS 2015, London, UK, 11-12 April
2015},
series = {{EPTCS}},
volume = {181},
year = {2015},
url = {https://doi.org/10.4204/EPTCS.181},
doi = {10.4204/EPTCS.181},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/RensinkZ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ZambonR14,
author = {Eduardo Zambon and
Arend Rensink},
title = {Solving the N-Queens Problem with {GROOVE} - Towards a Compendium
of Best Practices},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {67},
year = {2014},
url = {https://doi.org/10.14279/tuj.eceasst.67.938},
doi = {10.14279/TUJ.ECEASST.67.938},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ZambonR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/JakumeitBWDHHHKKLLRRWM14,
author = {Edgar Jakumeit and
Sebastian Buchwald and
Dennis Wagelaar and
Li Dan and
{\'{A}}bel Heged{\"{u}}s and
Markus Herrmannsd{\"{o}}rfer and
Tassilo Horn and
Elina Kalnina and
Christian Krause and
Kevin Lano and
Markus Lepper and
Arend Rensink and
Louis M. Rose and
Sebastian W{\"{a}}tzoldt and
Steffen Mazanek},
title = {A survey and comparison of transformation tools based on the transformation
tool contest},
journal = {Sci. Comput. Program.},
volume = {85},
pages = {41--99},
year = {2014},
url = {https://doi.org/10.1016/j.scico.2013.10.009},
doi = {10.1016/J.SCICO.2013.10.009},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/JakumeitBWDHHHKKLLRRWM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sosym/SchurrR14,
author = {Andy Sch{\"{u}}rr and
Arend Rensink},
title = {Software and systems modeling with graph transformations theme issue
of the Journal on Software and Systems Modeling},
journal = {Softw. Syst. Model.},
volume = {13},
number = {1},
pages = {171--172},
year = {2014},
url = {https://doi.org/10.1007/s10270-012-0254-z},
doi = {10.1007/S10270-012-0254-Z},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sosym/SchurrR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edbt/AnjorinCG0RS14,
author = {Anthony Anjorin and
Alcino Cunha and
Holger Giese and
Frank Hermann and
Arend Rensink and
Andy Sch{\"{u}}rr},
editor = {K. Sel{\c{c}}uk Candan and
Sihem Amer{-}Yahia and
Nicole Schweikardt and
Vassilis Christophides and
Vincent Leroy},
title = {BenchmarX},
booktitle = {Proceedings of the Workshops of the {EDBT/ICDT} 2014 Joint Conference
{(EDBT/ICDT} 2014), Athens, Greece, March 28, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1133},
pages = {82--86},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1133/paper-13.pdf},
timestamp = {Fri, 10 Mar 2023 16:23:45 +0100},
biburl = {https://dblp.org/rec/conf/edbt/AnjorinCG0RS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/PoskittDPR14,
author = {Christopher M. Poskitt and
Mike Dodds and
Richard F. Paige and
Arend Rensink},
editor = {J{\"{u}}rgen Dingel and
Juan de Lara and
Levi Lucio and
Hans Vangheluwe},
title = {Towards Rigorously Faking Bidirectional Model Transformations},
booktitle = {Proceedings of the Workshop on Analysis of Model Transformations co-located
with {ACM/IEEE} 17th International Conference on Model Driven Engineering
Languages {\&} Systems (MoDELS 2014), Valencia, Spain, September
29, 2014},
series = {{CEUR} Workshop Proceedings},
volume = {1277},
pages = {70--75},
publisher = {CEUR-WS.org},
year = {2014},
url = {https://ceur-ws.org/Vol-1277/8.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:20 +0100},
biburl = {https://dblp.org/rec/conf/models/PoskittDPR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/se/HuntMR14,
author = {James J. Hunt and
Maarten de Mol and
Arend Rensink},
editor = {Wilhelm Hasselbring and
Nils Christian Ehmke},
title = {Noninvasive regelbasierte Graphtransformation f{\"{u}}r Java},
booktitle = {Software Engineering 2014, Fachtagung des GI-Fachbereichs Softwaretechnik,
25. Februar - 28. Februar 2014, Kiel, Germany},
series = {{LNI}},
volume = {{P-227}},
pages = {91--92},
publisher = {{GI}},
year = {2014},
url = {https://dl.gi.de/handle/20.500.12116/30976},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/se/HuntMR14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/DelzannoRT14,
author = {Giorgio Delzanno and
Arend Rensink and
Riccardo Traverso},
editor = {Dragan Bosnacki and
Stefan Edelkamp and
Alberto Lluch{-}Lafuente and
Anton Wijs},
title = {Graph- versus Vector-Based Analysis of a Consensus Protocol},
booktitle = {Proceedings 3rd Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2014, Grenoble, France, 5th April 2014},
series = {{EPTCS}},
volume = {159},
pages = {44--57},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.159.5},
doi = {10.4204/EPTCS.159.5},
timestamp = {Wed, 14 Nov 2018 10:31:26 +0100},
biburl = {https://dblp.org/rec/journals/corr/DelzannoRT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2014,
editor = {Stefania Gnesi and
Arend Rensink},
title = {Fundamental Approaches to Software Engineering - 17th International
Conference, {FASE} 2014, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France,
April 5-13, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8411},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54804-8},
doi = {10.1007/978-3-642-54804-8},
isbn = {978-3-642-54803-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/2014.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/SmidR13,
author = {Wietse Smid and
Arend Rensink},
editor = {Pieter Van Gorp and
Louis M. Rose and
Christian Krause},
title = {Class Diagram Restructuring with {GROOVE}},
booktitle = {Proceedings Sixth Transformation Tool Contest, {TTC} 2013, Budapest,
Hungary, 19-20 June, 2013},
series = {{EPTCS}},
volume = {135},
pages = {83--87},
year = {2013},
url = {https://doi.org/10.4204/EPTCS.135.10},
doi = {10.4204/EPTCS.135.10},
timestamp = {Wed, 07 Dec 2022 23:01:01 +0100},
biburl = {https://dblp.org/rec/journals/corr/SmidR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GhamarianR12,
author = {Amir Hossein Ghamarian and
Arend Rensink},
title = {Graph Passing in Graph Transformation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {47},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.47.723},
doi = {10.14279/TUJ.ECEASST.47.723},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/GhamarianR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/JalaliRG12,
author = {Arash Jalali and
Arend Rensink and
Amir Hossein Ghamarian},
title = {Incremental Pattern Matching for Regular Expressions},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {47},
year = {2012},
url = {https://doi.org/10.14279/tuj.eceasst.47.736},
doi = {10.14279/TUJ.ECEASST.47.736},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/JalaliRG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/RensinkRS12,
author = {Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Preface},
journal = {Fundam. Informaticae},
volume = {118},
number = {1-2},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-703},
doi = {10.3233/FI-2012-703},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/RensinkRS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/GhamarianMRZZ12,
author = {Amir Hossein Ghamarian and
Maarten de Mol and
Arend Rensink and
Eduardo Zambon and
Maria Zimakova},
title = {Modelling and analysis using {GROOVE}},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {14},
number = {1},
pages = {15--40},
year = {2012},
url = {https://doi.org/10.1007/s10009-011-0186-x},
doi = {10.1007/S10009-011-0186-X},
timestamp = {Thu, 02 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/GhamarianMRZZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/MolRH12,
author = {Maarten de Mol and
Arend Rensink and
James J. Hunt},
editor = {Juan de Lara and
Andrea Zisman},
title = {Graph Transforming Java Data},
booktitle = {Fundamental Approaches to Software Engineering - 15th International
Conference, {FASE} 2012, Held as Part of the European Joint Conferences
on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
March 24 - April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7212},
pages = {209--223},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28872-2\_15},
doi = {10.1007/978-3-642-28872-2\_15},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/MolRH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/RensinkZ12,
author = {Arend Rensink and
Eduardo Zambon},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Pattern-Based Graph Abstraction},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {66--80},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_5},
doi = {10.1007/978-3-642-33654-6\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/RensinkZ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/GhamarianR12,
author = {Amir Hossein Ghamarian and
Arend Rensink},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Generalised Compositionality in Graph Transformation},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {234--248},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_16},
doi = {10.1007/978-3-642-33654-6\_16},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/GhamarianR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1210-6413,
author = {Eduardo Zambon and
Arend Rensink},
editor = {Anton Wijs and
Dragan Bosnacki and
Stefan Edelkamp},
title = {Graph Subsumption in Abstract State Space Exploration},
booktitle = {Proceedings First Workshop on {GRAPH} Inspection and Traversal Engineering,
{GRAPHITE} 2012, Tallinn, Estonia, 1st April 2012},
series = {{EPTCS}},
volume = {99},
pages = {35--49},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.99.6},
doi = {10.4204/EPTCS.99.6},
timestamp = {Wed, 12 Sep 2018 01:05:14 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1210-6413.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ZambonR11,
author = {Eduardo Zambon and
Arend Rensink},
title = {Using Graph Transformations and Graph Abstractions for Software Verification},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {38},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.38.560},
doi = {10.14279/TUJ.ECEASST.38.560},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ZambonR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/GalvaoZRWA11,
author = {Ism{\^{e}}nia Galv{\~{a}}o and
Eduardo Zambon and
Arend Rensink and
Lesley Wevers and
Mehmet Aksit},
editor = {Andy Sch{\"{u}}rr and
D{\'{a}}niel Varr{\'{o}} and
Gergely Varr{\'{o}}},
title = {Knowledge-Based Graph Exploration Analysis},
booktitle = {Applications of Graph Transformations with Industrial Relevance -
4th International Symposium, {AGTIVE} 2011, Budapest, Hungary, October
4-7, 2011, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {7233},
pages = {105--120},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-34176-2\_11},
doi = {10.1007/978-3-642-34176-2\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/agtive/GalvaoZRWA11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-4746,
author = {Arend Rensink and
Eduardo Zambon},
editor = {Pieter Van Gorp and
Steffen Mazanek and
Louis M. Rose},
title = {Solving the {TTC} 2011 Compiler Optimization Case with {GROOVE}},
booktitle = {Proceedings Fifth Transformation Tool Contest, {TTC} 2011, Z{\"{u}}rich,
Switzerland, June 29-30 2011},
series = {{EPTCS}},
volume = {74},
pages = {126--130},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.74.11},
doi = {10.4204/EPTCS.74.11},
timestamp = {Wed, 07 Dec 2022 23:01:02 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-4746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1111-4754,
author = {Amir Hossein Ghamarian and
Maarten de Mol and
Arend Rensink and
Eduardo Zambon},
editor = {Pieter Van Gorp and
Steffen Mazanek and
Louis M. Rose},
title = {Saying Hello World with {GROOVE} - {A} Solution to the {TTC} 2011
Instructive Case},
booktitle = {Proceedings Fifth Transformation Tool Contest, {TTC} 2011, Z{\"{u}}rich,
Switzerland, June 29-30 2011},
series = {{EPTCS}},
volume = {74},
pages = {215--222},
year = {2011},
url = {https://doi.org/10.4204/EPTCS.74.19},
doi = {10.4204/EPTCS.74.19},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-4754.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/MolR10,
author = {Maarten de Mol and
Arend Rensink},
title = {On {A} Graph Formalism for Ordered Edges},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {29},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.29.417},
doi = {10.14279/TUJ.ECEASST.29.417},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/MolR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BlomKR10,
author = {Stefan Blom and
Gijs Kant and
Arend Rensink},
title = {Distributed Graph-Based State Space Generation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {32},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.32.521},
doi = {10.14279/TUJ.ECEASST.32.521},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BlomKR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GhamarianJR10,
author = {Amir Hossein Ghamarian and
Arash Jalali and
Arend Rensink},
title = {Incremental Pattern Matching in Graph-Based State Space Exploration},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {32},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.32.520},
doi = {10.14279/TUJ.ECEASST.32.520},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/GhamarianJR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RensinkZ10,
author = {Arend Rensink and
Eduardo Zambon},
title = {Neighbourhood Abstraction in {GROOVE}},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {32},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.32.501},
doi = {10.14279/TUJ.ECEASST.32.501},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/RensinkZ10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/RensinkG10,
author = {Arend Rensink and
Pieter Van Gorp},
title = {Graph transformation tool contest 2008},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {171--181},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0157-7},
doi = {10.1007/S10009-010-0157-7},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/sttt/RensinkG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rensink10,
author = {Arend Rensink},
editor = {Gregor Engels and
Claus Lewerentz and
Wilhelm Sch{\"{a}}fer and
Andy Sch{\"{u}}rr and
Bernhard Westfechtel},
title = {The Edge of Graph Transformation - Graphs for Behavioural Specification},
booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of his 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5765},
pages = {6--32},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17322-6\_2},
doi = {10.1007/978-3-642-17322-6\_2},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Rensink10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Rensink10,
author = {Arend Rensink},
editor = {Samson Abramsky and
Cyril Gavoille and
Claude Kirchner and
Friedhelm Meyer auf der Heide and
Paul G. Spirakis},
title = {Compositionality in Graph Transformation},
booktitle = {Automata, Languages and Programming, 37th International Colloquium,
{ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6199},
pages = {309--320},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14162-1\_26},
doi = {10.1007/978-3-642-14162-1\_26},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/Rensink10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/HulsbuschKRSSW10,
author = {Mathias H{\"{u}}lsbusch and
Barbara K{\"{o}}nig and
Arend Rensink and
Maria Semenyak and
Christian Soltenborn and
Heike Wehrheim},
editor = {Dominique M{\'{e}}ry and
Stephan Merz},
title = {Showing Full Semantics Preservation in Model Transformation - {A}
Comparison of Techniques},
booktitle = {Integrated Formal Methods - 8th International Conference, {IFM} 2010,
Nancy, France, October 11-14, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6396},
pages = {183--198},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16265-7\_14},
doi = {10.1007/978-3-642-16265-7\_14},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/ifm/HulsbuschKRSSW10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/gg/2010,
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2},
doi = {10.1007/978-3-642-15928-2},
isbn = {978-3-642-15927-5},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BonevaKKR09,
author = {Iovka Boneva and
J{\"{o}}rg Kreiker and
Marcos E. Kurb{\'{a}}n and
Arend Rensink},
title = {Graph Abstraction for a Modal Logic},
journal = {Bull. {EATCS}},
volume = {97},
pages = {106--116},
year = {2009},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BonevaKKR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RensinkK09,
author = {Arend Rensink and
Jan{-}Hendrik Kuperus},
title = {Repotting the Geraniums: On Nested Graph Transformation Rules},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {18},
year = {2009},
url = {https://doi.org/10.14279/tuj.eceasst.18.260},
doi = {10.14279/TUJ.ECEASST.18.260},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/RensinkK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taosd/ChitchyanFKR09,
author = {Ruzanna Chitchyan and
Johan Fabry and
Shmuel Katz and
Arend Rensink},
title = {Editorial for Special Section on Dependencies and Interactions with
Aspects},
journal = {{LNCS} Trans. Aspect Oriented Softw. Dev.},
volume = {5},
pages = {133--134},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02059-9\_4},
doi = {10.1007/978-3-642-02059-9\_4},
timestamp = {Thu, 04 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taosd/ChitchyanFKR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aosd/AksitRS09,
author = {Mehmet Aksit and
Arend Rensink and
Tom Staijen},
editor = {Kevin J. Sullivan and
Ana Moreira and
Christa Schwanninger and
Jeff Gray},
title = {A graph-transformation-based simulation approach for analysing aspect
interference on shared join points},
booktitle = {Proceedings of the 8th International Conference on Aspect-Oriented
Software Development, {AOSD} 2009, Charlottesville, Virginia, USA,
March 2-6, 2009},
pages = {39--50},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1509239.1509247},
doi = {10.1145/1509239.1509247},
timestamp = {Mon, 21 Jun 2021 12:26:27 +0200},
biburl = {https://dblp.org/rec/conf/aosd/AksitRS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/foal/StaijenR09,
author = {Tom Staijen and
Arend Rensink},
editor = {Mario S{\"{u}}dholt},
title = {Graph-based specification and simulation of featherweight Java with
around advice},
booktitle = {Proceedings of the 8th Workshop on Foundations of Aspect-Oriented
Languages, {FOAL} 2009, Charlottesville, Virginia, USA, March 2, 2009},
pages = {25--30},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1509837.1509844},
doi = {10.1145/1509837.1509844},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/foal/StaijenR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/RensinkZ09,
author = {Arend Rensink and
Eduardo Zambon},
editor = {David Lee and
Ant{\'{o}}nia Lopes and
Arnd Poetzsch{-}Heffter},
title = {A Type Graph Model for Java Programs},
booktitle = {Formal Techniques for Distributed Systems, Joint 11th {IFIP} {WG}
6.1 International Conference {FMOODS} 2009 and 29th {IFIP} {WG} 6.1
International Conference {FORTE} 2009, Lisboa, Portugal, June 9-12,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5522},
pages = {237--242},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02138-1\_18},
doi = {10.1007/978-3-642-02138-1\_18},
timestamp = {Mon, 15 Jul 2019 16:26:46 +0200},
biburl = {https://dblp.org/rec/conf/forte/RensinkZ09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecmdafa/2009,
editor = {Richard F. Paige and
Alan Hartman and
Arend Rensink},
title = {Model Driven Architecture - Foundations and Applications, 5th European
Conference, {ECMDA-FA} 2009, Enschede, The Netherlands, June 23-26,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5562},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02674-4},
doi = {10.1007/978-3-642-02674-4},
isbn = {978-3-642-02673-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/2009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/RensinkK08,
author = {Arend Rensink and
Anneke Kleppe},
title = {On a Graph-Based Semantics for {UML} Class and Object Diagrams},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {10},
year = {2008},
url = {https://doi.org/10.14279/tuj.eceasst.10.153},
doi = {10.14279/TUJ.ECEASST.10.153},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/RensinkK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigmetrics/CrouzenPR08,
author = {Pepijn Crouzen and
Jaco van de Pol and
Arend Rensink},
title = {Applying formal methods to gossiping networks with mCRL and groove},
journal = {{SIGMETRICS} Perform. Evaluation Rev.},
volume = {36},
number = {3},
pages = {7--16},
year = {2008},
url = {https://doi.org/10.1145/1481506.1481510},
doi = {10.1145/1481506.1481510},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigmetrics/CrouzenPR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Rensink08,
author = {Arend Rensink},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Explicit State Model Checking for Graph Grammars},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {114--132},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_8},
doi = {10.1007/978-3-540-68679-8\_8},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Rensink08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/KastenbergR08,
author = {Harmen Kastenberg and
Arend Rensink},
editor = {Franck van Breugel and
Marsha Chechik},
title = {Dynamic Partial Order Reduction Using Probe Sets},
booktitle = {{CONCUR} 2008 - Concurrency Theory, 19th International Conference,
{CONCUR} 2008, Toronto, Canada, August 19-22, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5201},
pages = {233--247},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-85361-9\_21},
doi = {10.1007/978-3-540-85361-9\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/KastenbergR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/EngelsKRSSW08,
author = {Gregor Engels and
Anneke Kleppe and
Arend Rensink and
Maria Semenyak and
Christian Soltenborn and
Heike Wehrheim},
editor = {Ina Schieferdecker and
Alan Hartman},
title = {From {UML} Activities to {TAAL} - Towards Behaviour-Preserving Model
Transformations},
booktitle = {Model Driven Architecture - Foundations and Applications, 4th European
Conference, {ECMDA-FA} 2008, Berlin, Germany, June 9-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5095},
pages = {94--109},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69100-6\_7},
doi = {10.1007/978-3-540-69100-6\_7},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/EngelsKRSSW08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BauerBKR08,
author = {J{\"{o}}rg Bauer and
Iovka Boneva and
Marcos E. Kurb{\'{a}}n and
Arend Rensink},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {A Modal-Logic Based Graph Abstraction},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {321--335},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_22},
doi = {10.1007/978-3-540-87405-8\_22},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/BauerBKR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/RensinkG08,
author = {Arend Rensink and
Pieter Van Gorp},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Graph-Based Tools: The Contest},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {463--466},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_33},
doi = {10.1007/978-3-540-87405-8\_33},
timestamp = {Mon, 15 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/RensinkG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2007gtvc,
editor = {Barbara K{\"{o}}nig and
Arend Rensink and
Reiko Heckel},
title = {Proceedings of the Third Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {213},
number = {1},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/213/issue/1},
timestamp = {Fri, 17 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2007gtvc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/BonevaHKR07,
author = {Iovka Boneva and
Frank Hermann and
Harmen Kastenberg and
Arend Rensink},
title = {Simulating Multigraph Transformations Using Simple Graphs},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {6},
year = {2007},
url = {https://doi.org/10.14279/tuj.eceasst.6.62},
doi = {10.14279/TUJ.ECEASST.6.62},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/BonevaHKR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RensinkV07,
author = {Arend Rensink and
Walter Vogler},
title = {Fair testing},
journal = {Inf. Comput.},
volume = {205},
number = {2},
pages = {125--198},
year = {2007},
url = {https://doi.org/10.1016/j.ic.2006.06.002},
doi = {10.1016/J.IC.2006.06.002},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RensinkV07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/RensinkT07,
author = {Arend Rensink and
Gabriele Taentzer},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {{AGTIVE} 2007 Graph Transformation Tool Contest},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {487--492},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_33},
doi = {10.1007/978-3-540-89020-1\_33},
timestamp = {Thu, 14 Oct 2021 10:29:53 +0200},
biburl = {https://dblp.org/rec/conf/agtive/RensinkT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/RensinkDEJKLMSZ07,
author = {Arend Rensink and
Alexander Dotor and
Claudia Ermel and
Stefan Jurack and
Ole Kniemeyer and
Juan de Lara and
Sonja Maier and
Tom Staijen and
Albert Z{\"{u}}ndorf},
editor = {Andy Sch{\"{u}}rr and
Manfred Nagl and
Albert Z{\"{u}}ndorf},
title = {Ludo: {A} Case Study for Graph Transformation Tools},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Third
International Symposium, {AGTIVE} 2007, Kassel, Germany, October 10-12,
2007, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {5088},
pages = {493--513},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-89020-1\_34},
doi = {10.1007/978-3-540-89020-1\_34},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agtive/RensinkDEJKLMSZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KonigRH08,
author = {Barbara K{\"{o}}nig and
Arend Rensink and
Reiko Heckel},
editor = {Barbara K{\"{o}}nig and
Arend Rensink and
Reiko Heckel},
title = {Preface},
booktitle = {Proceedings of the Third Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3,
2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {213},
number = {1},
pages = {1--2},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.04.070},
doi = {10.1016/J.ENTCS.2008.04.070},
timestamp = {Fri, 17 Feb 2023 09:59:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KonigRH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2006gtvc,
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Proceedings of the Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {4},
publisher = {Elsevier},
year = {2007},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/175/issue/4},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2006gtvc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Rensink06,
author = {Arend Rensink},
title = {Isomorphism Checking in {GROOVE}},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {1},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.1.77},
doi = {10.14279/TUJ.ECEASST.1.77},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/Rensink06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Rensink06,
author = {Arend Rensink},
editor = {Christel Baier and
Holger Hermanns},
title = {Model Checking Quantified Computation Tree Logic},
booktitle = {{CONCUR} 2006 - Concurrency Theory, 17th International Conference,
{CONCUR} 2006, Bonn, Germany, August 27-30, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4137},
pages = {110--125},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11817949\_8},
doi = {10.1007/11817949\_8},
timestamp = {Sat, 30 Sep 2023 09:37:42 +0200},
biburl = {https://dblp.org/rec/conf/concur/Rensink06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/KastenbergKR06,
author = {Harmen Kastenberg and
Anneke Kleppe and
Arend Rensink},
editor = {Roberto Gorrieri and
Heike Wehrheim},
title = {Defining Object-Oriented Execution Semantics Using Graph Transformations},
booktitle = {Formal Methods for Open Object-Based Distributed Systems, 8th {IFIP}
{WG} 6.1 International Conference, {FMOODS} 2006, Bologna, Italy,
June 14-16, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4037},
pages = {186--201},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11768869\_15},
doi = {10.1007/11768869\_15},
timestamp = {Thu, 14 Oct 2021 10:14:37 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/KastenbergKR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Rensink06,
author = {Arend Rensink},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Nested Quantification in Graph Transformation Rules},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {1--13},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_1},
doi = {10.1007/11841883\_1},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/Rensink06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/HabelPR06,
author = {Annegret Habel and
Karl{-}Heinz Pennemann and
Arend Rensink},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Weakest Preconditions for High-Level Programs},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {445--460},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_31},
doi = {10.1007/11841883\_31},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/HabelPR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spin/KastenbergR06,
author = {Harmen Kastenberg and
Arend Rensink},
editor = {Antti Valmari},
title = {Model Checking Dynamic States in {GROOVE}},
booktitle = {Model Checking Software, 13th International {SPIN} Workshop, Vienna,
Austria, March 30 - April 1, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3925},
pages = {299--305},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11691617\_19},
doi = {10.1007/11691617\_19},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/spin/KastenbergR06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/SmelikRK06,
author = {Ruben Smelik and
Arend Rensink and
Harmen Kastenberg},
title = {Specification and Construction of Control Flow Semantics},
booktitle = {2006 {IEEE} Symposium on Visual Languages and Human-Centric Computing
{(VL/HCC} 2006), 4-8 September 2006, Brighton, {UK}},
pages = {65--72},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/VLHCC.2006.45},
doi = {10.1109/VLHCC.2006.45},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/SmelikRK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RensinkHK07,
author = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Preface},
booktitle = {Proceedings of the Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {4},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.012},
doi = {10.1016/J.ENTCS.2007.04.012},
timestamp = {Tue, 24 Jan 2023 11:47:54 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RensinkHK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RensinkN08,
author = {Arend Rensink and
Ronald Nederpel},
editor = {Roberto Bruni and
D{\'{a}}niel Varr{\'{o}}},
title = {Graph Transformation Semantics for a {QVT} Language},
booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation
and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria,
April 1-2, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {211},
pages = {51--62},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2008.04.029},
doi = {10.1016/J.ENTCS.2008.04.029},
timestamp = {Fri, 17 Feb 2023 09:34:01 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RensinkN08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/concur/2005gtvc,
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Proceedings of the Workshop on Graph Transformation for Verification
and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San
Francisco, CA, USA, August 22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {2},
publisher = {Elsevier},
year = {2006},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/154/issue/2},
timestamp = {Fri, 20 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/concur/2005gtvc.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecmdafa/2006,
editor = {Arend Rensink and
Jos Warmer},
title = {Model Driven Architecture - Foundations and Applications, 2nd European
Conference, {ECMDA-FA} 2006, Bilbao, Spain, July 10-13, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4066},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11787044},
doi = {10.1007/11787044},
isbn = {3-540-35909-5},
timestamp = {Wed, 24 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecmdafa/2006.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/edoc/JonesRB05,
author = {Val Jones and
Arend Rensink and
Ed Brinksma},
title = {Modelling mobile health systems: an application of augmented {MDA}
for the extended healthcare enterprise.},
booktitle = {Ninth {IEEE} International Enterprise Distributed Object Computing
Conference {(EDOC} 2005), 19-23 September 2005, Enschede, The Netherlands},
pages = {58--69},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/EDOC.2005.22},
doi = {10.1109/EDOC.2005.22},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/edoc/JonesRB05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/TaentzerR05,
author = {Gabriele Taentzer and
Arend Rensink},
editor = {Maura Cerioli},
title = {Ensuring Structural Constraints in Graph-Based Models with Type Inheritance},
booktitle = {Fundamental Approaches to Software Engineering, 8th International
Conference, {FASE} 2005, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April
4-8, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3442},
pages = {64--79},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/978-3-540-31984-9\_6},
doi = {10.1007/978-3-540-31984-9\_6},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/TaentzerR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmco/DistefanoKR05,
author = {Dino Distefano and
Joost{-}Pieter Katoen and
Arend Rensink},
editor = {Frank S. de Boer and
Marcello M. Bonsangue and
Susanne Graf and
Willem P. de Roever},
title = {Safety and Liveness in Concurrent Pointer Programs},
booktitle = {Formal Methods for Components and Objects, 4th International Symposium,
{FMCO} 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised
Lectures},
series = {Lecture Notes in Computer Science},
volume = {4111},
pages = {280--312},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11804192\_14},
doi = {10.1007/11804192\_14},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/fmco/DistefanoKR05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/BijlRT05,
author = {Machiel van der Bijl and
Arend Rensink and
Jan Tretmans},
editor = {Ferhat Khendek and
Rachida Dssouli},
title = {Action Refinement in Conformance Testing},
booktitle = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3502},
pages = {81--96},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11430230\_7},
doi = {10.1007/11430230\_7},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/pts/BijlRT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RensinkHK06,
author = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Preface},
booktitle = {Proceedings of the Workshop on Graph Transformation for Verification
and Concurrency, {GT-VC} 2005, Satellite Event of {CONCUR} 2005, San
Francisco, CA, USA, August 22, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {154},
number = {2},
pages = {1--5},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2005.03.028},
doi = {10.1016/J.ENTCS.2005.03.028},
timestamp = {Fri, 20 Jan 2023 11:11:36 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RensinkHK06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/RensinkD06,
author = {Arend Rensink and
Dino Distefano},
editor = {Supratik Mukhopadhyay and
Abhik Roychoudhury and
Zijiang Yang},
title = {Abstract Graph Transformation},
booktitle = {Proceedings of the Third International Workshop on Software Verification
and Validation, SVV@ICFEM 2005, Manchester, UK, October 31, 2005},
series = {Electronic Notes in Theoretical Computer Science},
volume = {157},
number = {1},
pages = {39--59},
publisher = {Elsevier},
year = {2005},
url = {https://doi.org/10.1016/j.entcs.2006.01.022},
doi = {10.1016/J.ENTCS.2006.01.022},
timestamp = {Fri, 20 Jan 2023 11:27:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/RensinkD06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mdafa/2004,
editor = {Uwe A{\ss}mann and
Mehmet Aksit and
Arend Rensink},
title = {Model Driven Architecture, European {MDA} Workshops: Foundations and
Applications, {MDAFA} 2003 and {MDAFA} 2004, Twente, The Netherlands,
June 26-27, 2003 and Link{\"{o}}ping, Sweden, June 10-11, 2004,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3599},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11538097},
doi = {10.1007/11538097},
isbn = {3-540-28240-8},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mdafa/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Rensink04,
author = {Arend Rensink},
editor = {David A. Schmidt},
title = {Canonical Graph Shapes},
booktitle = {Programming Languages and Systems, 13th European Symposium on Programming,
{ESOP} 2004, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29
- April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2986},
pages = {401--415},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24725-8\_28},
doi = {10.1007/978-3-540-24725-8\_28},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Rensink04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/DistefanoKR04,
author = {Dino Distefano and
Joost{-}Pieter Katoen and
Arend Rensink},
editor = {Kamal Lodaya and
Meena Mahajan},
title = {Who is Pointing When to Whom?},
booktitle = {{FSTTCS} 2004: Foundations of Software Technology and Theoretical
Computer Science, 24th International Conference, Chennai, India, December
16-18, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3328},
pages = {250--262},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30538-5\_21},
doi = {10.1007/978-3-540-30538-5\_21},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/fsttcs/DistefanoKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/RensinkSV04,
author = {Arend Rensink and
{\'{A}}kos Schmidt and
D{\'{a}}niel Varr{\'{o}}},
editor = {Hartmut Ehrig and
Gregor Engels and
Francesco Parisi{-}Presicce and
Grzegorz Rozenberg},
title = {Model Checking Graph Transformations: {A} Comparison of Two Approaches},
booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004,
Rome, Italy, September 28 - October 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3256},
pages = {226--241},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30203-2\_17},
doi = {10.1007/978-3-540-30203-2\_17},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/RensinkSV04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Rensink04,
author = {Arend Rensink},
editor = {Hartmut Ehrig and
Gregor Engels and
Francesco Parisi{-}Presicce and
Grzegorz Rozenberg},
title = {Representing First-Order Logic Using Graphs},
booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004,
Rome, Italy, September 28 - October 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3256},
pages = {319--335},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30203-2\_23},
doi = {10.1007/978-3-540-30203-2\_23},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/Rensink04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rensink05,
author = {Arend Rensink},
editor = {Tom Mens and
Andy Sch{\"{u}}rr and
Gabriele Taentzer},
title = {Time and Space Issues in the Generation of Graph Transition Systems},
booktitle = {Proceedings of the 2nd International Workshop on Graph-Based Tools,
GraBaTs 2004, Rome, Italy, October 2, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {127},
number = {1},
pages = {127--139},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2004.12.036},
doi = {10.1016/J.ENTCS.2004.12.036},
timestamp = {Mon, 12 Dec 2022 13:56:25 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rensink05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/BaldanKR04,
author = {Paolo Baldan and
Barbara K{\"{o}}nig and
Arend Rensink},
editor = {Barbara K{\"{o}}nig and
Ugo Montanari and
Philippa Gardner},
title = {Summary 2: Graph Grammar Verification through Abstraction},
booktitle = {Graph Transformations and Process Algebras for Modeling Distributed
and Mobile Systems, 6.-11. June 2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04241},
publisher = {IBFI, Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/29},
timestamp = {Thu, 10 Jun 2021 13:02:09 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/BaldanKR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Rensink04,
author = {Arend Rensink},
editor = {Jean B{\'{e}}zivin and
Reiko Heckel},
title = {Subjects, Models, Languages, Transformations},
booktitle = {Language Engineering for Model-Driven Software Development, 29. February
- 5. March 2004},
series = {Dagstuhl Seminar Proceedings},
volume = {04101},
publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik
(IBFI), Schloss Dagstuhl, Germany},
year = {2004},
url = {http://drops.dagstuhl.de/opus/volltexte/2005/24},
timestamp = {Thu, 10 Jun 2021 13:02:04 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Rensink04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/Rensink03,
author = {Arend Rensink},
editor = {John L. Pfaltz and
Manfred Nagl and
Boris B{\"{o}}hlen},
title = {The {GROOVE} Simulator: {A} Tool for State Space Generation},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Second
International Workshop, {AGTIVE} 2003, Charlottesville, VA, USA, September
27 - October 1, 2003, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3062},
pages = {479--485},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25959-6\_40},
doi = {10.1007/978-3-540-25959-6\_40},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/agtive/Rensink03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/agtive/Rensink03a,
author = {Arend Rensink},
editor = {John L. Pfaltz and
Manfred Nagl and
Boris B{\"{o}}hlen},
title = {AGTIVE'03: Summary from the Outside In},
booktitle = {Applications of Graph Transformations with Industrial Relevance, Second
International Workshop, {AGTIVE} 2003, Charlottesville, VA, USA, September
27 - October 1, 2003, Revised Selected and Invited Papers},
series = {Lecture Notes in Computer Science},
volume = {3062},
pages = {486--488},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-25959-6\_41},
doi = {10.1007/978-3-540-25959-6\_41},
timestamp = {Thu, 25 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/agtive/Rensink03a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fates/BijlRT03,
author = {Machiel van der Bijl and
Arend Rensink and
Jan Tretmans},
editor = {Alexandre Petrenko and
Andreas Ulrich},
title = {Compositional Testing with ioco},
booktitle = {Formal Approaches to Software Testing, Third International Workshop
on Formal Approaches to Testing of Software, {FATES} 2003, Montreal,
Quebec, Canada, October 6th, 2003},
series = {Lecture Notes in Computer Science},
volume = {2931},
pages = {86--100},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24617-6\_7},
doi = {10.1007/978-3-540-24617-6\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/fates/BijlRT03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/DistefanoRK02,
author = {Dino Distefano and
Arend Rensink and
Joost{-}Pieter Katoen},
editor = {Ricardo A. Baeza{-}Yates and
Ugo Montanari and
Nicola Santoro},
title = {Model Checking Birth and Death},
booktitle = {Foundations of Information Technology in the Era of Networking and
Mobile Computing, {IFIP} 17\({}^{\mbox{th}}\) World Computer Congress
- {TC1} Stream / 2\({}^{\mbox{nd}}\) {IFIP} International Conference
on Theoretical Computer Science {(TCS} 2002), August 25-30, 2002,
Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
series = {{IFIP} Conference Proceedings},
volume = {223},
pages = {435--447},
publisher = {Kluwer},
year = {2002},
url = {https://doi.org/10.1007/978-0-387-35608-2\_36},
doi = {10.1007/978-0-387-35608-2\_36},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/DistefanoRK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2002,
editor = {Bart Jacobs and
Arend Rensink},
title = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP}
{TC6/WG6.1} Fifth International Conference on Formal Methods for Open
Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002,
Enschede, The Netherlands},
series = {{IFIP} Conference Proceedings},
volume = {209},
publisher = {Kluwer},
year = {2002},
isbn = {0-7923-7683-8},
timestamp = {Thu, 09 Jul 2015 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmoods/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acta/RensinkW01,
author = {Arend Rensink and
Heike Wehrheim},
title = {Process algebra with action dependencies},
journal = {Acta Informatica},
volume = {38},
number = {3},
pages = {155--234},
year = {2001},
url = {https://doi.org/10.1007/s002360100070},
doi = {10.1007/S002360100070},
timestamp = {Sun, 21 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acta/RensinkW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/RensinkG01,
author = {Arend Rensink and
Roberto Gorrieri},
title = {Vertical Implementation},
journal = {Inf. Comput.},
volume = {170},
number = {1},
pages = {95--133},
year = {2001},
url = {https://doi.org/10.1006/inco.2001.2967},
doi = {10.1006/INCO.2001.2967},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/RensinkG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/el/01/GorrieriR01,
author = {Roberto Gorrieri and
Arend Rensink},
editor = {Jan A. Bergstra and
Alban Ponse and
Scott A. Smolka},
title = {Action Refinement},
booktitle = {Handbook of Process Algebra},
pages = {1047--1147},
publisher = {North-Holland / Elsevier},
year = {2001},
url = {https://doi.org/10.1016/b978-044482830-9/50034-5},
doi = {10.1016/B978-044482830-9/50034-5},
timestamp = {Fri, 28 Jun 2019 09:45:11 +0200},
biburl = {https://dblp.org/rec/books/el/01/GorrieriR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Rensink00,
author = {Arend Rensink},
title = {Bisimilarity of Open Terms},
journal = {Inf. Comput.},
volume = {156},
number = {1-2},
pages = {345--385},
year = {2000},
url = {https://doi.org/10.1006/inco.1999.2818},
doi = {10.1006/INCO.1999.2818},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Rensink00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Rensink00,
author = {Arend Rensink},
editor = {Catuscia Palamidessi},
title = {Action Contraction},
booktitle = {{CONCUR} 2000 - Concurrency Theory, 11th International Conference,
University Park, PA, USA, August 22-25, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1877},
pages = {290--304},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44618-4\_22},
doi = {10.1007/3-540-44618-4\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Rensink00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/DistefanoKR00,
author = {Dino Distefano and
Joost{-}Pieter Katoen and
Arend Rensink},
editor = {Scott F. Smith and
Carolyn L. Talcott},
title = {On a Temporal Logic for Object-Based Systems},
booktitle = {Formal Methods for Open Object-Based Distributed Systems IV, {IFIF}
{TC6/WG6.1} Fourth International Conference on Formal Methods for
Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8,
2000, Stanford, California, {USA}},
series = {{IFIP} Conference Proceedings},
volume = {177},
pages = {305--325},
publisher = {Kluwer},
year = {2000},
url = {https://doi.org/10.1007/978-0-387-35520-7\_16},
doi = {10.1007/978-0-387-35520-7\_16},
timestamp = {Wed, 14 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fmoods/DistefanoKR00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/FirleyGR98,
author = {Thomas Firley and
Thomas Gehrke and
Arend Rensink},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {Spezifikation eines RPC-Speichers mit der Sprache ProFun},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {136--147},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 12:16:22 +0200},
biburl = {https://dblp.org/rec/conf/fbt/FirleyGR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/GehrkeHNRW98,
author = {Thomas Gehrke and
Michaela Huhn and
Peter Niebert and
Arend Rensink and
Heike Wehrheim},
editor = {Hartmut K{\"{o}}nig and
Peter Langend{\"{o}}rfer},
title = {A Process Algebra Semantics for {MSC} Including Conditions},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, 8.
GI/ITG-Fachgespr{\"{a}}ch, Cottbus, 4. und 5. Juni 1998},
pages = {185--196},
publisher = {Verlag Shaker},
year = {1998},
timestamp = {Tue, 19 Jul 2005 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fbt/GehrkeHNRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/GehrkeHRW98,
author = {Thomas Gehrke and
Michaela Huhn and
Arend Rensink and
Heike Wehrheim},
editor = {Stanislaw Budkowski and
Ana R. Cavalli and
Elie Najm},
title = {An Algebraic Semantics for Message Sequence Chart Documents},
booktitle = {Formal Description Techniques and Protocol Specification, Testing
and Verification, {FORTE} {XI} / {PSTV} XVIII'98, {IFIP} {TC6} {WG6.1}
Joint International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols {(FORTE} {XI)} and
Protocol Specification, Testing and Verification {(PSTV} XVIII), 3-6
November, 1998, Paris, France},
series = {{IFIP} Conference Proceedings},
volume = {135},
pages = {3--18},
publisher = {Kluwer},
year = {1998},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/GehrkeHRW98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fbt/RensinkG97,
author = {Arend Rensink and
Roberto Gorrieri},
editor = {Adam Wolisz and
Ina Schieferdecker and
Axel Rennoch},
title = {Action refinement for Vertical Implementation},
booktitle = {Formale Beschreibungstechniken f{\"{u}}r verteilte Systeme, GI/ITG-Fachgespr{\"{a}}ch,
Berlin, 19.-20. Juni 1997},
series = {GMD-Studien},
volume = {315},
pages = {69--78},
publisher = {GMD-Forschungszentrum Informationstechnik GmbH},
year = {1997},
timestamp = {Thu, 27 Mar 2003 09:36:35 +0100},
biburl = {https://dblp.org/rec/conf/fbt/RensinkG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/RensinkW97,
author = {Arend Rensink and
Heike Wehrheim},
editor = {Igor Pr{\'{\i}}vara and
Peter Ruzicka},
title = {Dependency-Based Action Refinement},
booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International
Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1295},
pages = {468--477},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0029990},
doi = {10.1007/BFB0029990},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/RensinkW97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/RensinkG97,
author = {Arend Rensink and
Roberto Gorrieri},
editor = {Michel Bidoit and
Max Dauchet},
title = {Action Refinement as an Implementation Relations},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {772--786},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030640},
doi = {10.1007/BFB0030640},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/RensinkG97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GehrkeR97,
author = {Thomas Gehrke and
Arend Rensink},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Process creation and full sequential composition in a name-passing
calculus},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {141--160},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80471-2},
doi = {10.1016/S1571-0661(05)80471-2},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GehrkeR97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Rensink97,
author = {Arend Rensink},
editor = {Catuscia Palamidessi and
Joachim Parrow},
title = {Bisimilarity of open terms},
booktitle = {International Workshop on Expressiveness in Concurrency, {EXPRESS}
1997, Santa Margherita Ligure, Italy, September 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {7},
pages = {262},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80477-3},
doi = {10.1016/S1571-0661(05)80477-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Rensink97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GoltzGR96,
author = {Ursula Goltz and
Roberto Gorrieri and
Arend Rensink},
title = {Comparing Syntactic and Semantic Sction Refinement},
journal = {Inf. Comput.},
volume = {125},
number = {2},
pages = {118--143},
year = {1996},
url = {https://doi.org/10.1006/inco.1996.0026},
doi = {10.1006/INCO.1996.0026},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/GoltzGR96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ndjfl/Rensink96,
author = {Arend Rensink},
title = {Algebra and Theory of Order-Deterministic Pomsets},
journal = {Notre Dame J. Formal Log.},
volume = {37},
number = {2},
pages = {283--320},
year = {1996},
url = {https://doi.org/10.1305/ndjfl/1040046090},
doi = {10.1305/NDJFL/1040046090},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ndjfl/Rensink96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/caap/Rensink96,
author = {Arend Rensink},
editor = {H{\'{e}}l{\`{e}}ne Kirchner},
title = {Denotational, Causal, and Operational Determinism in Event Structures},
booktitle = {Trees in Algebra and Programming - CAAP'96, 21st International Colloquium,
Link{\"{o}}ping, Sweden, April, 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1059},
pages = {272--286},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61064-2\_43},
doi = {10.1007/3-540-61064-2\_43},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/caap/Rensink96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/BrinksmaRV96,
author = {Ed Brinksma and
Arend Rensink and
Walter Vogler},
editor = {Reinhard Gotzhein and
Jan Bredereke},
title = {Applications of Fair Testing},
booktitle = {Formal Description Techniques {IX:} Theory, application and tools,
{IFIP} {TC6} {WG6.1} International Conference on Formal Description
Techniques {IX} / Protocol Specification, Testing and Verification
XVI, Kaiserslautern, Germany, 8-11 October 1996},
series = {{IFIP} Conference Proceedings},
volume = {69},
pages = {145--160},
publisher = {Chapman {\&} Hall},
year = {1996},
timestamp = {Fri, 29 Oct 2004 12:58:31 +0200},
biburl = {https://dblp.org/rec/conf/forte/BrinksmaRV96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Rensink95,
author = {Arend Rensink},
editor = {Insup Lee and
Scott A. Smolka},
title = {A Complete Theory of Deterministic Event Structures},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {160--174},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_12},
doi = {10.1007/3-540-60218-6\_12},
timestamp = {Thu, 26 Jan 2023 14:05:52 +0100},
biburl = {https://dblp.org/rec/conf/concur/Rensink95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BrinksmaRV95,
author = {Ed Brinksma and
Arend Rensink and
Walter Vogler},
editor = {Insup Lee and
Scott A. Smolka},
title = {Fair Testing},
booktitle = {{CONCUR} '95: Concurrency Theory, 6th International Conference, Philadelphia,
PA, USA, August 21-24, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {962},
pages = {313--327},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60218-6\_23},
doi = {10.1007/3-540-60218-6\_23},
timestamp = {Sat, 20 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BrinksmaRV95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/strict/BestDPR0T95,
author = {Eike Best and
Raymond R. Devillers and
Elisabeth Pelz and
Arend Rensink and
Manuel Silva and
Enrique Teruel},
editor = {J{\"{o}}rg Desel},
title = {{CALIBAN} - Esprit Basic Research {WG} 6067},
booktitle = {Proceedings of the International Workshop on Structures in Concurrency
Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
series = {Workshops in Computing},
pages = {2--31},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3078-9\_2},
doi = {10.1007/978-1-4471-3078-9\_2},
timestamp = {Tue, 25 Jun 2019 18:06:54 +0200},
biburl = {https://dblp.org/rec/conf/strict/BestDPR0T95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/strict/Rensink95,
author = {Arend Rensink},
editor = {J{\"{o}}rg Desel},
title = {An Event-Based {SOS} for a Language with Refinement},
booktitle = {Proceedings of the International Workshop on Structures in Concurrency
Theory, {STRICT} 1995, Berlin, Germany, May 11-13, 1995},
series = {Workshops in Computing},
pages = {294--309},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/978-1-4471-3078-9\_20},
doi = {10.1007/978-1-4471-3078-9\_20},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/strict/Rensink95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GoltzR94,
author = {Ursula Goltz and
Arend Rensink},
title = {Finite Petri Nets as Models for Recursive Causal Behaviour},
journal = {Theor. Comput. Sci.},
volume = {124},
number = {1},
pages = {169--179},
year = {1994},
url = {https://doi.org/10.1016/0304-3975(94)90058-2},
doi = {10.1016/0304-3975(94)90058-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GoltzR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/RensinkW94,
author = {Arend Rensink and
Heike Wehrheim},
editor = {Bengt Jonsson and
Joachim Parrow},
title = {Weak Sequential Composition in Process Algebras},
booktitle = {{CONCUR} '94, Concurrency Theory, 5th International Conference, Uppsala,
Sweden, August 22-25, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {836},
pages = {226--241},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/978-3-540-48654-1\_20},
doi = {10.1007/978-3-540-48654-1\_20},
timestamp = {Tue, 31 Aug 2021 12:07:11 +0200},
biburl = {https://dblp.org/rec/conf/concur/RensinkW94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/procomet/Rensink94,
author = {Arend Rensink},
editor = {Ernst{-}R{\"{u}}diger Olderog},
title = {Methodological Aspects of Action Refinement},
booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP}
{TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts,
Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June,
1994},
series = {{IFIP} Transactions},
volume = {{A-56}},
pages = {227--246},
publisher = {North-Holland},
year = {1994},
timestamp = {Thu, 03 Jan 2002 12:07:43 +0100},
biburl = {https://dblp.org/rec/conf/procomet/Rensink94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/GoltzGR94,
author = {Ursula Goltz and
Roberto Gorrieri and
Arend Rensink},
editor = {Masami Hagiya and
John C. Mitchell},
title = {On Syntactic and Semantic Action Refinement},
booktitle = {Theoretical Aspects of Computer Software, International Conference
{TACS} '94, Sendai, Japan, April 19-22, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {789},
pages = {385--404},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-57887-0\_106},
doi = {10.1007/3-540-57887-0\_106},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/tacs/GoltzGR94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Rensink93a,
author = {Arend Rensink},
title = {Order isomorphism odes not preserve global event independence},
journal = {Bull. {EATCS}},
volume = {49},
pages = {228--235},
year = {1993},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Rensink93a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/Rensink93,
author = {Arend Rensink},
title = {Order isomorphism odes not preserve global event independence},
journal = {Bull. {EATCS}},
volume = {51},
pages = {228--235},
year = {1993},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/Rensink93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Rensink92,
author = {Arend Rensink},
editor = {Rance Cleaveland},
title = {Posets for Configurations!},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {269--285},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084797},
doi = {10.1007/BFB0084797},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Rensink92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-10-02 01:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
