Hennicker, Rolf: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Semantics of OCL Operation Specifications

Rolf Hennicker, Alexander Knapp, Hubert Baumeister

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 349 KB

english, 2004

2

Context induction: A proof principle for behavioural abstractions and algebraic implementations

Journal:

Formal Aspects of Computing

Year:

1991

Language:

english

File:

PDF, 1.21 MB

english, 1991

3

[Lecture Notes in Computer Science] Software, Services, and Systems Volume 8950 || Formal Modelling for Cooking Assistance

De Nicola, Rocco, Hennicker, Rolf

Year:

2015

File:

PDF, 607 KB

2015

4

Connecting open systems of communicating finite state machines

Barbanera, Franco, de'Liguoro, Ugo, Hennicker, Rolf

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

Language:

english

File:

PDF, 770 KB

english, 2019

5

Connecting open systems of communicating finite state machines

Barbanera, Franco, de'Liguoro, Ugo, Hennicker, Rolf

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2019

File:

PDF, 770 KB

2019

6

Behavioural and abstractor specifications

Michel Bidoit, Rolf Hennicker, Martin Wirsing

Journal:

Science of Computer Programming

Year:

1995

Language:

english

File:

PDF, 2.69 MB

english, 1995

7

A semi-algorithm for algebraic implementation proofs

Journal:

Theoretical Computer Science

Year:

1992

Language:

english

File:

PDF, 2.42 MB

english, 1992

8

Behavioural theories and the proof of behavioural properties

Michel Bidoit, Rolf Hennicker

Journal:

Theoretical Computer Science

Year:

1996

Language:

english

File:

PDF, 3.83 MB

english, 1996

9

On the Observable Behaviour of Composite Components

Rolf Hennicker, Stephan Janisch, Alexander Knapp

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 696 KB

english, 2010

10

A Component Model for Architectural Programming

Hubert Baumeister, Florian Hacklinger, Rolf Hennicker, Alexander Knapp, Martin Wirsing

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 453 KB

english, 2006

11

Behaviour Protocols for Interacting Stateful Components

Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2010

Language:

english

File:

PDF, 380 KB

english, 2010

12

Interface theories for concurrency and data

Sebastian S. Bauer, Rolf Hennicker, Martin Wirsing

Journal:

Theoretical Computer Science

Year:

2011

Language:

english

File:

PDF, 717 KB

english, 2011

13

On institutions for modular coalgebraic specifications

Alexander Kurz, Rolf Hennicker

Journal:

Theoretical Computer Science

Year:

2002

Language:

english

File:

PDF, 295 KB

english, 2002

14

Observational logic, constructor-based logic, and their duality

Michel Bidoit, Rolf Hennicker, Alexander Kurz

Journal:

Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 406 KB

english, 2003

15

Proof systems for structured specifications with observability operators

Rolf Hennicker, Martin Wirsing, Michel Bidoit

Journal:

Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 3.52 MB

english, 1997

16

(Ω, Ξ)-Logic: On the Algebraic Extension of Coalgebraic Specifications

Rolf Hennicker, Alexander Kurz

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1999

Language:

english

File:

PDF, 204 KB

english, 1999

17

Observational implementation of algebraic specifications

Journal:

Acta Informatica

Year:

1991

Language:

english

File:

PDF, 2.47 MB

english, 1991

18

Modular correctness proofs of behavioural implementations

Michel Bidoit, Rolf Hennicker

Journal:

Acta Informatica

Year:

1998

Language:

english

File:

PDF, 345 KB

english, 1998

19

Folgen des Globalen Wandels für das Grundwasser in Süddeutschland – Teil 1: Naturräumliche Aspekte

Roland Barthel, Tim G. Reichenau, Markus Muerth, Christoph Heinzeller, Karl Schneider, Rolf Hennicker, Wolfram Mauser

Journal:

Year:

2011

Language:

german

File:

PDF, 4.18 MB

german, 2011

20

Folgen des Globalen Wandels für das Grundwasser in Süddeutschland – Teil 2: Sozioökonomische Aspekte

Roland Barthel, Tatjana Krimly, Michael Elbers, Anja Soboll, Johann Wackerbauer, Rolf Hennicker, Stephan Janisch, Tim G. Reichenau, Stephan Dabbert, Jürgen Schmude, Andreas Ernst, Wolfram Mauser

Journal:

Year:

2011

File:

PDF, 1.31 MB

2011

21

Constructor-based observational logic

Michel Bidoit, Rolf Hennicker

Journal:

The Journal of Logic and Algebraic Programming

Year:

2006

Language:

english

File:

PDF, 452 KB

english, 2006

22

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 2755 || AGILE: Software Architecture for Mobility

Wirsing, Martin, Pattinson, Dirk, Hennicker, Rolf

Year:

2003

Language:

english

File:

PDF, 529 KB

english, 2003

23

A meta-theory for component interfaces with contracts on ports

Bauer, Sebastian, Hennicker, Rolf, Legay, Axel

Journal:

Science of Computer Programming

Year:

2014

Language:

english

File:

PDF, 1.18 MB

english, 2014

24

[IEEE 2014 23rd Australian Software Engineering Conference (ASWEC) - Milsons Point, NSW, Australia (2014.4.7-2014.4.10)] 2014 23rd Australian Software Engineering Conference - Design and Implementation of Dynamically Evolving Ensembles with the Helena Framework

Klarl, Annabelle, Hennicker, Rolf

Year:

2014

Language:

english

File:

PDF, 378 KB

english, 2014

25

[IEEE 2013 IEEE Conference on Self-Adaptive and Self-Organizing Systems Workshops (SASOW) - Philadelphia, PA, USA (2013.09.9-2013.09.13)] 2013 IEEE 7th International Conference on Self-Adaptation and Self-Organizing Systems Workshops - The Autonomic Cloud: A Vision of Voluntary, Peer-2-Peer Cloud Computing

Mayer, Philip, Klarl, Annabelle, Hennicker, Rolf, Puviani, Mariachiara, Tiezzi, Francesco, Pugliese, Rosario, Keznikl, Jaroslav, Bure, Toma

Year:

2013

Language:

english

File:

PDF, 323 KB

english, 2013

26

Storage and management of formal specifications for reuse

Chen, Patrick Shicheng, Hennicker, Rolf, Jarke, Matthias

Journal:

Journal of the Chinese Institute of Engineers

Year:

1995

Language:

english

File:

PDF, 769 KB

english, 1995

27

Refinement in hybridised institutions

Madeira, Alexandre, Martins, Manuel A., Barbosa, Luís S., Hennicker, Rolf

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 704 KB

english, 2015

28

Moving from interface theories to assembly theories

Hennicker, Rolf, Knapp, Alexander

Journal:

Acta Informatica

Year:

2015

Language:

english

File:

PDF, 874 KB

english, 2015

29

[Lecture Notes in Computer Science] Software, Services, and Systems Volume 8950 || Formal Analysis of Leader Election in MANETs Using Real-Time Maude

De Nicola, Rocco, Hennicker, Rolf

Year:

2015

Language:

english

File:

PDF, 657 KB

english, 2015

30

[Lecture Notes in Computer Science] Software, Services, and Systems Volume 8950 || A Homage to Martin Wirsing

De Nicola, Rocco, Hennicker, Rolf

Year:

2015

Language:

english

File:

PDF, 148 KB

english, 2015

31

[Lecture Notes in Computer Science] Software, Services, and Systems Volume 8950 || The KnowLang Approach to Self-adaptation

De Nicola, Rocco, Hennicker, Rolf

Year:

2015

Language:

english

File:

PDF, 1.08 MB

english, 2015

32

[Lecture Notes in Computer Science] Software, Services, and Systems Volume 8950 ||

De Nicola, Rocco, Hennicker, Rolf

Year:

2015

Language:

english

File:

PDF, 19.79 MB

english, 2015

33

DANUBIA: AN INTEGRATIVE SIMULATION SYSTEM FOR GLOBAL CHANGE RESEARCH IN THE UPPER DANUBE BASIN

BARTH, MICHAEL, HENNICKER, ROLF, KRAUS, ANDREAS, LUDWIG, MATTHIAS

Journal:

Cybernetics & Systems

Year:

2004

Language:

english

File:

PDF, 2.41 MB

english, 2004

34

Behavioural and abstractor specifications revisited

Hennicker, Rolf, Madeira, Alexandre, Wirsing, Martin

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 737 KB

english, 2018

35

A logic for the stepwise development of reactive systems

Madeira, Alexandre, Barbosa, Luís S., Hennicker, Rolf, Martins, Manuel A.

Journal:

Theoretical Computer Science

Year:

2018

Language:

english

File:

PDF, 1.03 MB

english, 2018

36

Human biliary mucin binds to E-selectin: a possible role in modulation of inflammation

Sreejayan, Nair, Wittig, Bianca M., von Stillfried, Niko, Hennicke, Matthias S., Meyer, Gunther, Stieber, Petra, Lamerz, Rolf, von Ritter, Christoph

Journal:

American Journal of Physiology - Gastrointestinal and Liver Physiology

Year:

2001

Language:

english

File:

PDF, 136 KB

english, 2001

37

[Lecture Notes in Computer Science] Recent Trends in Algebraic Development Techniques Volume 2755 || Monad-Independent Dynamic Logic in HasCasl

Wirsing, Martin, Pattinson, Dirk, Hennicker, Rolf

Year:

2003

File:

PDF, 217 KB

2003