R. Hennicker
发表
A. Kurz,
M. Bidoit,
R. Hennicker,
2022
.
M. Birna van Riemsdijk,
Martin Wirsing,
Rolf Hennicker,
2008,
AMAST.
M. Bidoit,
R. Hennicker,
2003
.
D Hirsch,
R. Hennicker,
D. Hirsch,
.
R. Hennicker,
L. Barbosa,
M. Martins,
2016
.
Rolf Hennicker,
Dorsaf Elhog-Benzina,
Serge Haddad,
2012,
Trans. Petri Nets Other Model. Concurr..
R. Hennicker,
M. Wirsing,
Alexander Knapp,
2001
.
M. Riemsdijk,
R. Hennicker,
M. Wirsing,
2008
.
Axel Legay,
Andrzej Wasowski,
Sebastian Bauer,
2012,
FASE.
Martin Wirsing,
Donald Sannella,
Rolf Hennicker,
2017
.
Martin Wirsing,
Rolf Hennicker,
R. Hennicker,
2020,
ISoLA.
Martin Wirsing,
Rolf Hennicker,
Andreas Schroeder,
2009,
BNAIC 2009.
R. Hennicker,
M. Wirsing,
1995
.
Ralf Ludwig,
Markus Reichstein,
Wolfram Mauser,
2003
.
R. Hennicker,
S. Janisch,
Matthias Ludwig,
2010
.
R. Hennicker,
Alexander Knapp,
2022,
J. Log. Algebraic Methods Program..
R. Hennicker,
A. Knapp,
A. Madeira,
2021,
Formal Aspects of Computing.
S. Gilmore,
R. Hennicker,
M. Wirsing,
2007
.
Axel Legay,
Rolf Hennicker,
Sebastian S. Bauer,
2012,
FACS.
Kim G. Larsen,
Axel Legay,
Andrzej Wasowski,
2012,
FASE.
Rolf Hennicker,
Dorsaf Elhog-Benzina,
Serge Haddad,
2010,
ACSD/Petri Nets Workshops.
Martin Wirsing,
Rolf Hennicker,
R. Hennicker,
1991,
Methods of Programming.
Martin Wirsing,
Rolf Hennicker,
Robert Stabl,
1989,
ESEC.
Ruth Breu,
Martin Wirsing,
Rolf Hennicker,
1988,
MFCS.
Heinrich Hußmann,
Michel Bidoit,
Rolf Hennicker,
2002,
Object Modeling with the OCL.
Maurice H. ter Beek,
Rolf Hennicker,
José Proença,
2021,
FM.
Michel Bidoit,
Rolf Hennicker,
M. Bidoit,
1992,
Larch.
Martin Wirsing,
Michel Bidoit,
Rolf Hennicker,
1997,
Theor. Comput. Sci..
Lenz Belzner,
Martin Wirsing,
Rolf Hennicker,
2015,
FACS.
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2016,
ICTAC.
Alexandre Madeira,
Rolf Hennicker,
R. Hennicker,
2016,
WADT.
Nora Koch,
Rolf Hennicker,
R. Hennicker,
2001,
Unified Modeling Language: Systems Analysis, Design and Development Issues.
Nora Koch,
Rolf Hennicker,
R. Hennicker,
2000,
UML.
Nora Koch,
Rolf Hennicker,
Andreas Kraus,
2000
.
R. Hennicker,
L. Barbosa,
M. Martins,
2015,
Formal Aspects of Computing.
Maurice H. ter Beek,
Jetty Kleijn,
Rolf Hennicker,
2020,
ICTAC.
Bernhard Bauer,
Rolf Hennicker,
R. Hennicker,
1993,
DISCO.
Rolf Hennicker,
R. Hennicker,
1992,
Theor. Comput. Sci..
Rolf Hennicker,
R. Hennicker,
1991,
Formal Aspects of Computing.
Rolf Hennicker,
R. Hennicker,
1990,
DISCO.
Rolf Hennicker,
Andreas Kraus,
Michael N. Barth,
2004,
Cybern. Syst..
Manuel A. Martins,
Luís Soares Barbosa,
Alexandre Madeira,
2018,
Theor. Comput. Sci..
Josep Carmona,
Maurice H. ter Beek,
Jetty Kleijn,
2017,
COORDINATION.
R. Hennicker,
M. Beek,
J. Proença,
2023,
World Congress on Formal Methods.
Alexander Knapp,
Alexandre Madeira,
Rolf Hennicker,
2021,
Formal Aspects Comput..
Alexander Knapp,
Alexandre Madeira,
Rolf Hennicker,
2019,
FASE.
Matthias Jarke,
Rolf Hennicker,
Patrick Shicheng Chen,
1993,
[1993] Proceedings Advances in Software Reuse.
Alexander Knapp,
Rolf Hennicker,
Hubert Baumeister,
2004,
OCL 2.0 @ UML.
Rolf Hennicker,
Annabelle Klarl,
Lucia Cichella,
2014,
FACS.
Rocco De Nicola,
Rolf Hennicker,
R. Nicola,
2015,
Software, Services, and Systems.
Rolf Hennicker,
Sebastian S. Bauer,
Stephan Janisch,
2010
.
Michel Bidoit,
Rolf Hennicker,
M. Bidoit,
1996,
Theor. Comput. Sci..
Martin Wirsing,
Michel Bidoit,
Rolf Hennicker,
1995,
Sci. Comput. Program..
Michel Bidoit,
Rolf Hennicker,
M. Bidoit,
1995,
AMAST.
Michel Bidoit,
Rolf Hennicker,
M. Bidoit,
1994,
ALP.
Michel Bidoit,
Rolf Hennicker,
M. Bidoit,
1994,
COMPASS/ADT.
Martin Wirsing,
Michel Bidoit,
Rolf Hennicker,
1994,
ESOP.
Michel Bidoit,
Rolf Hennicker,
M. Bidoit,
1993,
TAPSOFT.
Friederike Nickl,
Rolf Hennicker,
R. Hennicker,
1992,
COMPASS/ADT.
Rolf Hennicker,
Stefan Gastinger,
Robert Stabl,
1995,
KORSO Book.
Alexander Knapp,
Michel Bidoit,
Rolf Hennicker,
2004,
Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004..
Nora Koch,
Rolf Hennicker,
R. Hennicker,
2001,
pUML.
Rolf Hennicker,
Annabelle Klarl,
R. Hennicker,
2014,
2014 23rd Australian Software Engineering Conference.
Francesco Tiezzi,
Rolf Hennicker,
Rosario Pugliese,
2013,
2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops.
Martin Wirsing,
Rolf Hennicker,
Sebastian S. Bauer,
2010,
WADT.
Alexander Kurz,
Michel Bidoit,
Rolf Hennicker,
2003,
Theor. Comput. Sci..
Alexander Kurz,
Michel Bidoit,
Rolf Hennicker,
2001,
FoSSaCS.
Rolf Hennicker,
R. Hennicker,
1989,
TAPSOFT, Vol.1.
Rolf Hennicker,
R. Hennicker,
1989,
STACS.
Sebastian S. Bauer,
R. Hennicker,
Matthias Ludwig,
2010
.
Rolf Hennicker,
Matthias Ludwig,
R. Hennicker,
2012,
Monterey Workshop.
Martin Wirsing,
Bernhard Reus,
Rolf Hennicker,
2001,
FASE.