Travelled to:1 × Germany
1 × Greece
1 × Italy
1 × Singapore
1 × United Kingdom
2 × France
Collaborated with:G.Denker A.Sernadas O.Pavlovic R.Pinger M.Gogolla V.G.Lohberger ∅ C.Sernadas U.W.Lipeck M.Krone M.Kowsari P.Hartel N.Vlachantonis R.Herzig S.Conrad
Talks about:system (3) specif (3) object (3) construct (2) approach (2) databas (2) algebra (2) inform (2) check (2) constraint (1)
Person: Hans-Dieter Ehrich
DBLP: Ehrich:Hans=Dieter
Contributed to:
2010
2001
19961993
19871984
1978
1976
1993Wrote 9 papers:
- ICST-2010-PavlovicE #diagrams #model checking
- Model Checking PLC Software Written in Function Block Diagram (OP, HDE), pp. 439–448.
- FASE-2001-PingerE #communication #composition
- Compositional Checking of Communication among Observers (RP, HDE), pp. 32–44.
- CAiSE-1996-KroneKHDE #case study #information management #using
- Developing an Information System Using TROLL: An Application Field Study (MK, MK, PH, GD, HDE), pp. 136–159.
- CAiSE-1993-VlachantonisHGDCE #approach #information management #reliability #towards
- Towards Reliable Information Systems: The KorSo Approach (NV, RH, MG, GD, SC, HDE), pp. 463–482.
- VLDB-1987-SernadasSE #algebra #approach #database #object-oriented #specification
- Object-Oriented Specification of Databases: An Algebraic Approach (AS, CS, HDE), pp. 107–116.
- VLDB-1984-EhrichLG #constraints #database #semantics #specification
- Specification, Semantics, and Enforcement of Dynamic Database Constraints (HDE, UWL, MG), pp. 301–308.
- GG-1978-EhrichL #data type #specification
- Constructive Specifications of Abstract Data Types by Replacements (HDE, VGL), pp. 180–191.
- ICALP-1976-Ehrich #algebra
- Outline of an Algebraic Theory of Structured Objects (HDE), pp. 508–530.
- TAPSOFT-1993-EhrichDS #community
- Constructing Systems as Object Communities (HDE, GD, AS), pp. 453–467.