×

zbMATH — the first resource for mathematics

Rensink, Arend

Compute Distance To:
Author ID: rensink.arend Recent zbMATH articles by "Rensink, Arend"
Published as: Rensink, Arend; Rensing, Arend
Documents Indexed: 50 Publications since 1993, including 8 Books

Publications by Year

Citations contained in zbMATH Open

32 Publications have been cited 149 times in 125 Documents Cited by Year
Fair testing. Zbl 1109.68077
Rensink, Arend; Vogler, Walter
24
2007
Action refinement. Zbl 1035.68068
Gorrieri, Roberto; Rensink, Arend
15
2001
Compositional testing with ioco. Zbl 1185.68234
van der Bijl, Machiel; Rensink, Arend; Tretmans, Jan
13
2004
Bisimilarity of open terms. Zbl 1046.68626
Rensink, Arend
11
2000
Ensuring structural constraints in graph-based models with type inheritance. Zbl 1119.68365
Taentzer, Gabriele; Rensink, Arend
10
2005
Explicit state model checking for graph grammars. Zbl 1143.68462
Rensink, Arend
7
2008
Model checking graph transformations: A comparison of two approaches. Zbl 1116.68486
Rensink, Arend; Schmidt, Ákos; Varró, Dániel
7
2004
Weakest preconditions for high-level programs. Zbl 1156.68347
Habel, Annegret; Pennemann, Karl-Heinz; Rensink, Arend
6
2006
Comparing syntactic and semantic action refinement. Zbl 0853.68129
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend
6
1996
Representing first-order logic using graphs. Zbl 1116.03303
Rensink, Arend
6
2004
Abstract graph transformation. Zbl 1273.68196
Rensink, Arend; Distefano, Dino
5
2006
Vertical implementation. Zbl 1005.68095
Rensink, Arend; Gorrieri, Roberto
4
2001
A modal-logic based graph abstraction. Zbl 1175.68214
Bauer, Jörg; Boneva, Iovka; Kurbán, Marcos E.; Rensink, Arend
4
2008
Bisimilarity of open terms. Zbl 0911.68066
Rensink, Arend
3
1997
Safety and liveness in concurrent pointer programs. Zbl 1196.68045
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
3
2006
Who is pointing when to whom? On the automated verification of linked list structures. Zbl 1117.68427
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
2
2004
Process creation and full sequential composition in a name-passing calculus. Zbl 0911.68054
Gehrke, Thomas; Rensink, Arend
2
1997
On a temporal logic for object-based systems. Zbl 0968.68020
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
2
2000
Algebra and theory of order-deterministic pomsets. Zbl 0865.06004
Rensink, Arend
2
1996
Finite Petri nets as models for recursive causal behaviour. Zbl 0795.68146
Goltz, Ursula; Rensink, Arend
2
1994
Compositionality in graph transformation. Zbl 1288.68144
Rensink, Arend
2
2010
Canonical graph shapes. Zbl 1126.68355
Rensink, Arend
2
2004
Graph attribution through sub-graphs. Zbl 1383.68063
Kastenberg, Harmen; Rensink, Arend
2
2018
Action contraction. Zbl 0999.68528
Rensink, Arend
1
2000
On syntactic and semantic action refinement. Zbl 0942.68633
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend
1
1994
Graph transformation semantics for a QVT language. Zbl 1283.68201
Rensink, Arend; Nederpel, Ronald
1
2008
Graph-based tools: The contest. Zbl 1175.68232
Rensink, Arend; Van Gorp, Pieter
1
2008
Generalised compositionality in graph transformation. Zbl 1367.68131
Ghamarian, Amir Hossein; Rensink, Arend
1
2012
Fault trees on a diet – automated reduction by graph rewriting. Zbl 1369.68172
Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle
1
2015
Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Zbl 1196.68007
Ehrig, Hartmut (ed.); Rensink, Arend (ed.); Rozenberg, Grzegorz (ed.); Schürr, Andy (ed.)
1
2010
Model checking quantified computation tree logic. Zbl 1151.68489
Rensink, Arend
1
2006
A tutorial on graph transformation. Zbl 1383.68044
König, Barbara; Nolte, Dennis; Padberg, Julia; Rensink, Arend
1
2018
Graph attribution through sub-graphs. Zbl 1383.68063
Kastenberg, Harmen; Rensink, Arend
2
2018
A tutorial on graph transformation. Zbl 1383.68044
König, Barbara; Nolte, Dennis; Padberg, Julia; Rensink, Arend
1
2018
Fault trees on a diet – automated reduction by graph rewriting. Zbl 1369.68172
Junges, Sebastian; Guck, Dennis; Katoen, Joost-Pieter; Rensink, Arend; Stoelinga, Mariëlle
1
2015
Generalised compositionality in graph transformation. Zbl 1367.68131
Ghamarian, Amir Hossein; Rensink, Arend
1
2012
Compositionality in graph transformation. Zbl 1288.68144
Rensink, Arend
2
2010
Graph transformations. 5th international conference, ICGT 2010, Enschede, The Netherlands, September 27 – October 2, 2010. Proceedings. Zbl 1196.68007
Ehrig, Hartmut; Rensink, Arend; Rozenberg, Grzegorz; Schürr, Andy
1
2010
Explicit state model checking for graph grammars. Zbl 1143.68462
Rensink, Arend
7
2008
A modal-logic based graph abstraction. Zbl 1175.68214
Bauer, Jörg; Boneva, Iovka; Kurbán, Marcos E.; Rensink, Arend
4
2008
Graph transformation semantics for a QVT language. Zbl 1283.68201
Rensink, Arend; Nederpel, Ronald
1
2008
Graph-based tools: The contest. Zbl 1175.68232
Rensink, Arend; Van Gorp, Pieter
1
2008
Fair testing. Zbl 1109.68077
Rensink, Arend; Vogler, Walter
24
2007
Weakest preconditions for high-level programs. Zbl 1156.68347
Habel, Annegret; Pennemann, Karl-Heinz; Rensink, Arend
6
2006
Abstract graph transformation. Zbl 1273.68196
Rensink, Arend; Distefano, Dino
5
2006
Safety and liveness in concurrent pointer programs. Zbl 1196.68045
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
3
2006
Model checking quantified computation tree logic. Zbl 1151.68489
Rensink, Arend
1
2006
Ensuring structural constraints in graph-based models with type inheritance. Zbl 1119.68365
Taentzer, Gabriele; Rensink, Arend
10
2005
Compositional testing with ioco. Zbl 1185.68234
van der Bijl, Machiel; Rensink, Arend; Tretmans, Jan
13
2004
Model checking graph transformations: A comparison of two approaches. Zbl 1116.68486
Rensink, Arend; Schmidt, Ákos; Varró, Dániel
7
2004
Representing first-order logic using graphs. Zbl 1116.03303
Rensink, Arend
6
2004
Who is pointing when to whom? On the automated verification of linked list structures. Zbl 1117.68427
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
2
2004
Canonical graph shapes. Zbl 1126.68355
Rensink, Arend
2
2004
Action refinement. Zbl 1035.68068
Gorrieri, Roberto; Rensink, Arend
15
2001
Vertical implementation. Zbl 1005.68095
Rensink, Arend; Gorrieri, Roberto
4
2001
Bisimilarity of open terms. Zbl 1046.68626
Rensink, Arend
11
2000
On a temporal logic for object-based systems. Zbl 0968.68020
Distefano, Dino; Katoen, Joost-Pieter; Rensink, Arend
2
2000
Action contraction. Zbl 0999.68528
Rensink, Arend
1
2000
Bisimilarity of open terms. Zbl 0911.68066
Rensink, Arend
3
1997
Process creation and full sequential composition in a name-passing calculus. Zbl 0911.68054
Gehrke, Thomas; Rensink, Arend
2
1997
Comparing syntactic and semantic action refinement. Zbl 0853.68129
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend
6
1996
Algebra and theory of order-deterministic pomsets. Zbl 0865.06004
Rensink, Arend
2
1996
Finite Petri nets as models for recursive causal behaviour. Zbl 0795.68146
Goltz, Ursula; Rensink, Arend
2
1994
On syntactic and semantic action refinement. Zbl 0942.68633
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend
1
1994
all top 5

Cited by 215 Authors

6 Montanari, Ugo G.
5 Majster-Cederbaum, Mila E.
5 Taentzer, Gabriele
4 Bourdonov, Igor B.
4 Bruni, Roberto
4 de Lara, Juan
4 Kossatchev, Alexander S.
4 Orejas, Fernando
4 Rensink, Arend
4 Ribeiro, Leila
4 Sabel, David
4 Vogler, Walter
3 Aceto, Luca
3 Corradini, Andrea
3 Foss, Luciana
3 Gorrieri, Roberto
3 Ingólfsdóttir, Anna
3 Katoen, Joost-Pieter
3 König, Barbara
3 Rutle, Adrian
3 Schmidt-Schauß, Manfred
3 Stahl, Christian
3 Wolter, Uwe E.
2 Arendt, Thorsten
2 Baldan, Paolo
2 Barbosa, Luís Soares
2 Bracciali, Andrea
2 Bravetti, Mario
2 da Costa Cavalheiro, Simone André
2 Da Costa, Simone André
2 Demri, Stéphane P.
2 Duan, Zhenhua
2 Durán, Francisco
2 Ehrig, Hartmut
2 Ehrig, Karsten
2 Fábregas, Ignacio
2 Fecher, Harald
2 Gregorio-Rodríguez, Carlos
2 Guerra, Esther
2 Habel, Annegret
2 Hennicker, Rolf
2 Kosiol, Jens
2 Lambers, Leen
2 Lamo, Yngve
2 Lehtonen, Erkko
2 Lochau, Malte
2 Lu, Xu
2 Lüttgen, Gerald
2 Madeira, Alexandre
2 Madelaine, Eric
2 Martins, Manuel António
2 Padovani, Luca
2 Pennemann, Karl-Heinz
2 Reeves, Steve
2 Rossini, Alessandro
2 Schürr, Andy
2 Streader, David
2 Strecker, Martin
2 Tian, Cong
2 Valmari, Antti
2 Wu, Jinzhao
2 Zavattaro, Gianluigi
1 Aiguier, Marc
1 Andova, Suzana
1 Arbab, Farhad
1 Barbanera, Franco
1 Bardohl, Roswitha
1 Bartoletti, Massimo
1 Beohar, Harsh
1 Bergstra, Jan A.
1 Bernardi, Giovanni
1 Bertei, Alex
1 Bisping, Benjamin
1 Bliudze, Simon
1 Bossi, Annalisa
1 Bottoni, Paolo
1 Boulanger, Frédéric
1 Brochenin, Rémi
1 Brogi, Antonio
1 Bujtor, Ferenc
1 Busi, Nadia
1 Chechik, Marsha
1 Chen, Taolue
1 Cherchago, Alexey
1 Cherkaoui, Omar
1 Cimini, Matteo
1 Cimoli, Tiziana
1 D’Argenio, Pedro Rubén
1 de Bakker, Jacobus W.
1 de Vink, Erik P.
1 Deca, Rudy
1 de’Liguoro, Ugo
1 den Hartog, Jerry I.
1 Deng, Yuxin
1 Dershowitz, Nachum
1 Deters, Morgan
1 Dimitrova, Rayna
1 dos Santos, Osmar Marchi
1 Dotti, Fernando Luís
1 Du, Hongwei
...and 115 more Authors

Citations by Year