×

zbMATH — the first resource for mathematics

Hennicker, Rolf

Compute Distance To:
Author ID: hennicker.rolf Recent zbMATH articles by "Hennicker, Rolf"
Published as: Hennicker, R.; Hennicker, Rolf
Documents Indexed: 51 Publications since 1985, including 3 Books

Publications by Year

Citations contained in zbMATH Open

37 Publications have been cited 200 times in 113 Documents Cited by Year
Constructor-based observational logic. Zbl 1088.68112
Bidoit, Michel; Hennicker, Rolf
24
2006
Behavioural and abstractor specifications. Zbl 0853.68130
Bidoit, Michel; Hennicker, Rolf; Wirsing, Martin
23
1995
On weak modal compatibility, refinement, and the MIO workbench. Zbl 1284.68339
Bauer, Sebastian S.; Mayer, Philip; Schroeder, Andreas; Hennicker, Rolf
19
2010
Context induction: A proof principle for behavioural abstractions and algebraic implementations. Zbl 0739.68060
Hennicker, Rolf
15
1991
Behavioural theories and the proof of behavioural properties. Zbl 0872.68167
Bidoit, Michel; Hennicker, Rolf
14
1996
Observational logic, constructor-based logic, and their duality. Zbl 1038.68079
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander
8
2003
On the integration of observability and reachability concepts. Zbl 1077.68709
Bidoit, Michel; Hennicker, Rolf
7
2002
Proof systems for structured specifications with observability operators. Zbl 0901.68116
Hennicker, Rolf; Wirsing, Martin; Bidoit, Michel
7
1997
Proving behavioural theorems with standard first-order logic. Zbl 0988.03525
Bidoit, M.; Hennicker, R.
6
1994
Refinement in hybridised institutions. Zbl 1331.68149
Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf
5
2015
On the duality between observability and reachability. Zbl 0986.68018
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander
5
2001
A Hoare calculus for verifying Java realizations of OCL-constrained design models. Zbl 0977.68858
Reus, Bernhard; Wirsing, Martin; Hennicker, Rolf
5
2001
\((\Omega,\Xi)\)-logic: On the algebraic extension of coalgebraic specifications. Zbl 0918.68064
Hennicker, Rolf; Kurz, Alexander
5
1999
Observational implementation of algebraic specifications. Zbl 0696.68026
Hennicker, Rolf
5
1991
Modal interface theories for communication-safe component assemblies. Zbl 1350.68182
Hennicker, Rolf; Knapp, Alexander
4
2011
On institutions for modular coalgebraic specifications. Zbl 1052.68089
Kurz, Alexander; Hennicker, Rolf
4
2002
Proof systems for structured specifications and their refinements. Zbl 0948.68118
Bidoit, Michel; Cengarle, María Victoria; Hennicker, Rolf
4
1999
Modular correctness proofs of behavioural implementations. Zbl 0910.68145
Bidoit, Michel; Hennicker, Rolf
4
1998
Dynamic logic with binders and its application to the development of reactive systems. Zbl 06667720
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A.
3
2016
Foundations for ensemble modeling – the Helena approach. Handling massively distributed systems with elaborate ensemble architectures. Zbl 1320.68118
Hennicker, Rolf; Klarl, Annabelle
3
2014
A modal interface theory with data constraints. Zbl 1325.68055
Bauer, Sebastian S.; Hennicker, Rolf; Bidoit, Michel
3
2011
Proving behavioral refinements of COL-specifications. Zbl 1132.68486
Bidoit, Michel; Hennicker, Rolf
3
2006
Behavioural specifications. Zbl 0831.68061
Hennicker, Rolf; Wirsing, Martin
3
1995
Observational specification: A Birkhoff-theorem. Zbl 0584.68039
Hennicker, Rolf; Wirsing, Martin
3
1985
Moving from interface theories to assembly theories. Zbl 1309.68047
Hennicker, Rolf; Knapp, Alexander
2
2015
Specification of asynchronous component systems with modal I/O-Petri nets. Zbl 1348.68162
Haddad, Serge; Hennicker, Rolf; Møller, Mikael H.
2
2014
Assembly theories for communication-safe component systems. Zbl 1310.68057
Hennicker, Rolf; Knapp, Alexander; Wirsing, Martin
2
2014
Channel properties of asynchronously composed Petri nets. Zbl 1381.68203
Haddad, Serge; Hennicker, Rolf; Møller, Mikael H.
2
2013
Refinement and asynchronous composition of modal Petri nets. Zbl 1350.68201
Elhog-Benzina, Dorsaf; Haddad, Serge; Hennicker, Rolf
2
2012
Connecting open systems of communicating finite state machines. Zbl 1435.68211
Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf
1
2019
Compatibility properties of synchronously and asynchronously communicating components. Zbl 06825411
Hennicker, Rolf; Bidoit, Michel
1
2018
Institutions for behavioural dynamic logic with binders. Zbl 1444.68119
Hennicker, Rolf; Madeira, Alexandre
1
2017
Model-checking Helena ensembles with Spin. Zbl 1321.68346
Hennicker, Rolf; Klarl, Annabelle; Wirsing, Martin
1
2015
Interface theories for concurrency and data. Zbl 1216.68187
Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin
1
2011
Views on behaviour protocols and their semantic foundation. Zbl 1239.68023
Bauer, Sebastian S.; Hennicker, Rolf
1
2009
An algebraic semantics for contract-based software components. Zbl 1170.68427
Bidoit, Michel; Hennicker, Rolf
1
2008
Externalized and internalized notions of behavioral refinement. Zbl 1169.68525
Bidoit, Michel; Hennicker, Rolf
1
2005
Connecting open systems of communicating finite state machines. Zbl 1435.68211
Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf
1
2019
Compatibility properties of synchronously and asynchronously communicating components. Zbl 06825411
Hennicker, Rolf; Bidoit, Michel
1
2018
Institutions for behavioural dynamic logic with binders. Zbl 1444.68119
Hennicker, Rolf; Madeira, Alexandre
1
2017
Dynamic logic with binders and its application to the development of reactive systems. Zbl 06667720
Madeira, Alexandre; Barbosa, Luis S.; Hennicker, Rolf; Martins, Manuel A.
3
2016
Refinement in hybridised institutions. Zbl 1331.68149
Madeira, Alexandre; Martins, Manuel A.; Barbosa, Luís S.; Hennicker, Rolf
5
2015
Moving from interface theories to assembly theories. Zbl 1309.68047
Hennicker, Rolf; Knapp, Alexander
2
2015
Model-checking Helena ensembles with Spin. Zbl 1321.68346
Hennicker, Rolf; Klarl, Annabelle; Wirsing, Martin
1
2015
Foundations for ensemble modeling – the Helena approach. Handling massively distributed systems with elaborate ensemble architectures. Zbl 1320.68118
Hennicker, Rolf; Klarl, Annabelle
3
2014
Specification of asynchronous component systems with modal I/O-Petri nets. Zbl 1348.68162
Haddad, Serge; Hennicker, Rolf; Møller, Mikael H.
2
2014
Assembly theories for communication-safe component systems. Zbl 1310.68057
Hennicker, Rolf; Knapp, Alexander; Wirsing, Martin
2
2014
Channel properties of asynchronously composed Petri nets. Zbl 1381.68203
Haddad, Serge; Hennicker, Rolf; Møller, Mikael H.
2
2013
Refinement and asynchronous composition of modal Petri nets. Zbl 1350.68201
Elhog-Benzina, Dorsaf; Haddad, Serge; Hennicker, Rolf
2
2012
Modal interface theories for communication-safe component assemblies. Zbl 1350.68182
Hennicker, Rolf; Knapp, Alexander
4
2011
A modal interface theory with data constraints. Zbl 1325.68055
Bauer, Sebastian S.; Hennicker, Rolf; Bidoit, Michel
3
2011
Interface theories for concurrency and data. Zbl 1216.68187
Bauer, Sebastian S.; Hennicker, Rolf; Wirsing, Martin
1
2011
On weak modal compatibility, refinement, and the MIO workbench. Zbl 1284.68339
Bauer, Sebastian S.; Mayer, Philip; Schroeder, Andreas; Hennicker, Rolf
19
2010
Views on behaviour protocols and their semantic foundation. Zbl 1239.68023
Bauer, Sebastian S.; Hennicker, Rolf
1
2009
An algebraic semantics for contract-based software components. Zbl 1170.68427
Bidoit, Michel; Hennicker, Rolf
1
2008
Constructor-based observational logic. Zbl 1088.68112
Bidoit, Michel; Hennicker, Rolf
24
2006
Proving behavioral refinements of COL-specifications. Zbl 1132.68486
Bidoit, Michel; Hennicker, Rolf
3
2006
Externalized and internalized notions of behavioral refinement. Zbl 1169.68525
Bidoit, Michel; Hennicker, Rolf
1
2005
Observational logic, constructor-based logic, and their duality. Zbl 1038.68079
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander
8
2003
On the integration of observability and reachability concepts. Zbl 1077.68709
Bidoit, Michel; Hennicker, Rolf
7
2002
On institutions for modular coalgebraic specifications. Zbl 1052.68089
Kurz, Alexander; Hennicker, Rolf
4
2002
On the duality between observability and reachability. Zbl 0986.68018
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander
5
2001
A Hoare calculus for verifying Java realizations of OCL-constrained design models. Zbl 0977.68858
Reus, Bernhard; Wirsing, Martin; Hennicker, Rolf
5
2001
\((\Omega,\Xi)\)-logic: On the algebraic extension of coalgebraic specifications. Zbl 0918.68064
Hennicker, Rolf; Kurz, Alexander
5
1999
Proof systems for structured specifications and their refinements. Zbl 0948.68118
Bidoit, Michel; Cengarle, María Victoria; Hennicker, Rolf
4
1999
Modular correctness proofs of behavioural implementations. Zbl 0910.68145
Bidoit, Michel; Hennicker, Rolf
4
1998
Proof systems for structured specifications with observability operators. Zbl 0901.68116
Hennicker, Rolf; Wirsing, Martin; Bidoit, Michel
7
1997
Behavioural theories and the proof of behavioural properties. Zbl 0872.68167
Bidoit, Michel; Hennicker, Rolf
14
1996
Behavioural and abstractor specifications. Zbl 0853.68130
Bidoit, Michel; Hennicker, Rolf; Wirsing, Martin
23
1995
Behavioural specifications. Zbl 0831.68061
Hennicker, Rolf; Wirsing, Martin
3
1995
Proving behavioural theorems with standard first-order logic. Zbl 0988.03525
Bidoit, M.; Hennicker, R.
6
1994
Context induction: A proof principle for behavioural abstractions and algebraic implementations. Zbl 0739.68060
Hennicker, Rolf
15
1991
Observational implementation of algebraic specifications. Zbl 0696.68026
Hennicker, Rolf
5
1991
Observational specification: A Birkhoff-theorem. Zbl 0584.68039
Hennicker, Rolf; Wirsing, Martin
3
1985
all top 5

Cited by 149 Authors

23 Hennicker, Rolf
10 Martins, Manuel António
9 Bidoit, Michel
9 Madeira, Alexandre
8 Sannella, Donald T.
7 Diaconescu, Răzvan
7 Tarlecki, Andrzej
7 Wirsing, Martin
6 Roşu, Grigore
6 Vogler, Walter
5 Barbosa, Luís S.
5 Bauer, Sebastian S.
5 Gaĭnă, Daniel
5 Lüttgen, Gerald
5 Mossakowski, Till
4 Fendrich, Sascha
4 Futatsugi, Kokichi
4 Knapp, Alexander
4 Larsen, Kim Guldstrand
4 Lucanu, Dorel
3 Aiguier, Marc
3 Bujtor, Ferenc
3 Klarl, Annabelle
3 Legay, Axel
3 Ogata, Kazuhiro
3 Roggenbach, Markus
3 Rutten, Jan J. M. M.
2 Barbanera, Franco
2 Barbosa, Luís Soares
2 Bernot, Gilles
2 Caleiro, Carlos
2 Cîrstea, Corina
2 Delahaye, Benoît
2 Knapik, Teodor
2 Kurz, Alexander
2 Le Gall, Pascale
2 Petria, Marius
2 Rusinowitch, Michaël
2 Srba, Jiří
2 Tews, Hendrik
1 Ábrahám, Erika
1 Anureev, Igor S.
1 Arnould, Agnès
1 Astesiano, Egidio
1 Audrito, Giorgio
1 Autexier, Serge
1 Babenyshev, Sergey
1 Bakhshi, Rena
1 Ballester-Bolinches, Adolfo
1 Beal, Jacob
1 Belzner, Lenz
1 Beneš, Nikola
1 Boin, Clément
1 Bonchi, Filippo
1 Bonsangue, Marcello Maria
1 Borzyszkowski, Tomasz
1 Bouhoula, Adel
1 Bride, Hadrien
1 Busch, Marianne
1 Carmona, Josep
1 Casadei, Roberto
1 Choppy, Christine
1 Cosme-Llópez, Enric
1 Damiani, Ferruccio
1 de Boer, Frank S.
1 De Nicola, Rocco
1 de Roever, Willem-Paul
1 de’Liguoro, Ugo
1 Dezani-Ciancaglini, Mariangiola
1 Domínguez, César
1 Dovland, Johan
1 Dubranovsky, I. V.
1 Endrullis, Jörg
1 Fasching, Anton
1 Ferreirim, Isabel M. A.
1 Goguen, Joseph Amadee
1 Gonçalves, Ricardo
1 Grigoraş, Gheorghe
1 Hameurlain, Nabil
1 Hansen, Helle Hvid
1 Haxthausen, Anne Elisabeth
1 Hendriks, Dimitri
1 Hofmann, Martin
1 Hölzl, Matthias M.
1 Hutter, Dieter
1 Imine, Abdessamad
1 Janicki, Ryszard
1 Johnsen, Einar Broch
1 Juhl, Line
1 Kahrs, Stefan Michael
1 Kirchner, Hélène
1 Kleijn, Jetty H. C. M.
1 Koch, Nora
1 Kouchnarenko, Olga
1 Křetínský, Jan
1 Krieg-Brückner, Bernd
1 Kroiss, Christian
1 Kupke, Clemens
1 Lambán, Laureano
1 Lanese, Ivan
...and 49 more Authors

Citations by Year