Heinrich Hußmann

Heinrich Hussmann

2009
64	EE	Alexander De Luca, Emanuel von Zezschwitz, Heinrich Hußmann: Vibrapass: secure authentication based on shared lies. CHI 2009: 913-916
63	EE	Gerrit Meixner, Daniel Görlich, Kai Breiner, Heinrich Hußmann, Andreas Pleuß, Stefan Sauer, Jan Van den Bergh: Fourth international workshop on model driven development of advanced user interfaces. IUI 2009: 503-504
2008
62	EE	Florence T. Balagtas-Fernandez, Heinrich Hussmann: Model-Driven Development of Mobile Applications. ASE 2008: 509-512
61	EE	Alexander De Luca, Roman Weiss, Heinrich Hußmann, Xueli An: Eyepass - eye-stroke authentication for public terminals. CHI Extended Abstracts 2008: 3003-3008
60		Michael Rohs, Paul Holleis, Matthias Kranz, Heinrich Hußmann: Mobile and Embedded Interactive Systems (MEIS'08). GI Jahrestagung (1) 2008: 255-256
2007
59		Andreas Pleuß, Jan Van den Bergh, Heinrich Hußmann, Stefan Sauer, Daniel Görlich: Proceedings of the MoDELS 2007 Workshop on Model Driven Development of Advanced User Interfaces, Nashville, Tennessee, USA, October 1, 2007 CEUR-WS.org 2007
58	EE	Paul Holleis, Friederike Otto, Heinrich Hussmann, Albrecht Schmidt: Keystroke-level model for advanced mobile phone interaction. CHI 2007: 1505-1514
57	EE	Andreas Pleuß, Heinrich Hußmann: Integrating Authoring Tools into Model-Driven Development of Interactive Multimedia Applications. HCI (1) 2007: 1168-1177
56		Heiko Drewes, Heinrich Hußmann, Albrecht Schmidt: Blickgesten als Fernbedienung. Mensch & Computer 2007: 79-88
55	EE	Andreas Pleuss, Arnd Vitzthum, Heinrich Hussmann: Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications. MoDELS 2007: 241-255
54	EE	Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Daniel Görlich, Heinrich Hußmann: Third International Workshop on Model Driven Development of Advanced User Interfaces. MoDELS Workshops 2007: 59-64
53	EE	Alexander De Luca, Roman Weiss, Heinrich Hussmann: PassShape: stroke based shape passwords. OZCHI 2007: 239-240
2006
52	EE	Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Heinrich Hußmann, Alexander Bödcher: Model Driven Development of Advanced User Interfaces (MDDAUI) - MDDAUI'06 Workshop Report. MoDELS Workshops 2006: 101-105
51		Richard Atterer, Albrecht Schmidt, Heinrich Hußmann: Extending Web Engineering Models and Tools for Automatic Usability Validation. J. Web Eng. 5(1): 43-64 (2006)
50	EE	Arnd Vitzthum, Heinrich Hussmann: Modeling Augmented Reality User Interfaces with SSIML/AR. Journal of Multimedia 1(3): 13-22 (2006)
49	EE	Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz: SoSyM special section on service-based software engineering. Software and System Modeling 5(2): 170-171 (2006)
2005
48		Andreas Pleuß, Jan Van den Bergh, Heinrich Hußmann, Stefan Sauer: MDDAUI '05, Model Driven Development of Advanced User Interfaces 2005, Proceedings of the MoDELS'05 Workshop on Model Driven Development of Advanced User Interfaces, Montego Bay, Jamaica, October 2, 2005 CEUR-WS.org 2005
47	EE	Thomas Baar, Dan Chiorean, Alexandre L. Correa, Martin Gogolla, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer: Tool Support for OCL and Related Formalisms - Needs and Trends. MoDELS Satellite Events 2005: 1-9
46	EE	Andreas Pleuß, Jan Van den Bergh, Stefan Sauer, Heinrich Hußmann: Workshop Report: Model Driven Development of Advanced User Interfaces (MDDAUI). MoDELS Satellite Events 2005: 182-190
2004
45	EE	Jean-Michel Bruel, Geri Georg, Heinrich Hußmann, Ileana Ober, Christoph Pohl, Jon Whittle, Steffen Zschaler: Models for Non-functional Aspects of Component-Based Software (NfC'04). UML Satellite Activities 2004: 62-66
44	EE	Jean Bézivin, Thomas Baar, Tracy Gardner, Martin Gogolla, Reiner Hähnle, Heinrich Hußmann, Octavian Patrascoiu, Peter H. Schmitt, Jos Warmer: OCL and Model Driven Engineering. UML Satellite Activities 2004: 67-75
43	EE	Enrico Rukzio, Albrecht Schmidt, Heinrich Hußmann: Physical Posters as Gateways to Context-Aware Services for Mobile Devices. WMCSA 2004: 10-19
2003
42	EE	Berthold F. Koch, Heinrich Hußmann: Overview of the Project AQUILA (IST-1999-10077). Art-QoS 2003: 154-164
41	EE	Ronald Aigner, Henrike Berthold, Elke Franz, Steffen Göbel, Hermann Härtig, Heinrich Hußmann, Klaus Meißner, Klaus Meyer-Wegener, Marcus Meyerhöfer, Andreas Pfitzmann, Simone Röttger, Alexander Schill, Thomas Springer, Frank Wehner: COMQUAD: Komponentenbasierte Softwaresysteme mit zusagbaren quantitativen Eigenschaften und Adaptionsfähigkeit. Inform., Forsch. Entwickl. 18(1): 39-40 (2003)
2002
40		Jean-Marc Jézéquel, Heinrich Hußmann, Stephen Cook: UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30 - October 4, 2002, Proceedings Springer 2002
39	EE	Birgit Demuth, Mike Fischer, Heinrich Hußmann: Experience in Early and Late Software Engineering Project Courses. CSEE&T 2002: 241-
38	EE	Rolf Hennicker, Heinrich Hußmann, Michel Bidoit: On the Precise Meaning of OCL Constraints. Object Modeling with the OCL 2002: 69-84
37	EE	Heinrich Hußmann, Birgit Demuth, Frank Finger: Modular architecture for a toolset supporting OCL. Sci. Comput. Program. 44(1): 51-69 (2002)
2001
36		Heinrich Hußmann: Fundamental Approaches to Software Engineering, 4th International Conference, FASE 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings Springer 2001
35	EE	Birgit Demuth, Heinrich Hußmann, Sten Loecher: OCL as a Specification Language for Business Rules in Database Applications. UML 2001: 104-117
34	EE	Heinrich Hußmann: Workshops and Tutorials at the UML 2001 Conference. UML 2001: 503-508
2000
33	EE	Birgit Demuth, Heinrich Hußmann, Steffen Zschaler, Lothar Schmitz: A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience. CSEE&T 2000: 283-293
32	EE	Gianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann: Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE 2000: 127-146
31	EE	Heinrich Hußmann, Birgit Demuth, Frank Finger: Modular Architecture for a Toolset Supporting OCL. UML 2000: 278-293
1999
30		Roel Wieringa, Egidio Astesiano, Gianna Reggio, Alain Le Guennec, Heinrich Hußmann, Klaas van den Berg, Pim van den Broek: Is It Feasable to Construct a Semantics for All of UML? What Are the Outstanding Issues? ECOOP Workshops 1999: 49-55
29		Heinrich Hußmann: Formale Beschreibungstechniken und praktische Softwaretechnik - eine unglückliche Verbindung? FBT 1999: 1-6
28		Birgit Demuth, Heinrich Hußmann: Using UML/OCL Constraints for Relational Database Design. UML 1999: 598-613
1997
27		Heinrich Hußmann: Formal Foundations for Software Engineeing Methods Springer 1997
26		Heinrich Hußmann, F. J. Herrera, R. Pasquali, P. Todorova, Iakovos S. Venieris, Fabrizio Zizza: A Transnational IN/B-ISDN Integrated Network for the Provision of Multimedia Services. ECMAST 1997: 19-36
25		Giovanna De Zen, Lorenzo Faglia, Heinrich Hußmann, Alexander W. van der Vekens: Proposal for an IN Switching State Model in an Integrated IN/B-ISDN Scenario. IS&N 1997: 179-188
24		Heinrich Hußmann: Intelligent ATM Networks: Services and Realisation Alternatives. IS&N 1997: 87-96
1996
23		Bernhard Schätz, Heinrich Hußmann, Manfred Broy: Graphical Development of Consistent System Specifications. FME 1996: 248-267
1995
22		Felix Cornelius, Heinrich Hußmann, Michael Löwe: The KORSO Case Study for Software Engineering with Formal Methods: A Medical Information System. KORSO Book 1995: 417-432
1994
21		Heinrich Hußmann, Barbara Paech: Software Engineering im Unterricht der Hochschulen SEUH '94, Workshop des German Chapter of the ACM und der Gesellschaft für Informatik (GI) am 24. und 25. Februar 1994 in München Teubner 1994
20		Heinrich Hußmann: Axiomatic Specification of Large Information Systems: Experiences and Consequences. COMPASS/ADT 1994: 336-350
19		Heinrich Hußmann: Formal Foundations for Pragmatic Software Engineering Methods. GI Jahrestagung 1994: 27-34
18		Heinrich Hußmann: Agenda für die Arbeitsgruppe CASE- Werkzeuge. SEUH 1994: 145-148
1993
17		Heinrich Hußmann, Jacques Loeckx, Wolfgang Reif: KORSO: Das Verbundprojekt "Korrekte Software". GI Jahrestagung 1993: 266-271
16		Heinrich Hußmann: "CASE-Werkzeuge" - Hauptseminar mit Industriekontakten. SEUH 1993: 125-134
1992
15		Ulrich Fraus, Heinrich Hußmann: An Inductive Theorem Prover Based on Narrowing. LPAR 1992: 475-477
14		Heinrich Hußmann: Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. J. Log. Program. 12(3&4): 237-255 (1992)
1991
13		Heinrich Hussmann: A Case Study Towards Algebraic Verification of Code. AMAST 1991: 254-263
12		Ulrich Fraus, Heinrich Hußmann: A Narrowing-Based Theorem Prover. PLILP 1991: 421-422
1988
11		Heinrich Hußmann: Prototyping Non-Deterministic Algebraic Specifications using the RAP System. ADT 1988
10		Heinrich Hußmann: Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. ALP 1988: 31-40
1987
9		Heinrich Hußmann, Alfons Geser: The RAP System as a Tool for Testing COLD Specifications. Algebraic Methods 1987: 331-345
8		Heinrich Hußmann, Christian Rank: Specification and Prototyping of a Compiler for a Small Applicative Language. Algebraic Methods 1987: 403-418
7		Heinrich Hußmann: The Passau RAP System: Rapid Prototyping for Algebraic Specifications. CTRS 1987: 264-265
6		Alfons Geser, Heinrich Hußmann, Andreas Mück: A Compiler for a Class of Conditional Term Rewriting Systems. CTRS 1987: 84-90
5		Heinrich Hußmann: The Passau RAP System: Rapid Prototyping for Algebraic Specifications. STACS 1987: 475-476
1986
4		Manfred Broy, Alfons Geser, Heinrich Hußmann: Towards Advanced Programming Environments Based on Algebraic Concepts. Advanced Programming Environments 1986: 554-470
3		Heinrich Hußmann: The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing. CADE 1986: 689-690
2		Alfons Geser, Heinrich Hußmann: Experiences with the RAP System - A Specification Interpreter Combining Term Rewriting and Resolution. ESOP 1986: 339-350
1985
1		Heinrich Hußmann: Unification in Conditional Equational Theories. European Conference on Computer Algebra (2) 1985: 543-553

Coauthor Index

1	Ronald Aigner	[41]
2	Xueli An	[61]
3	Egidio Astesiano	[30] [32]
4	Richard Atterer	[51]
5	Thomas Baar	[44] [47]
6	Florence T. Balagtas-Fernandez	[62]
7	Klaas van den Berg	[30]
8	Jan Van den Bergh	[46] [48] [52] [54] [59] [63]
9	Henrike Berthold	[41]
10	Jean Bézivin	[44]
11	Michel Bidoit	[38]
12	Alexander Bödcher	[52]
13	Kai Breiner	[63]
14	Pim van den Broek (P. M. van den Broek)	[30]
15	Manfred Broy	[4] [23] [49]
16	Jean-Michel Bruel	[45]
17	Dan Chiorean	[47]
18	Christine Choppy	[32]
19	Stephen Cook	[40]
20	Felix Cornelius	[22]
21	Alexandre L. Correa	[47]
22	Birgit Demuth	[28] [31] [33] [35] [37] [39]
23	Heiko Drewes	[56]
24	Lorenzo Faglia	[25]
25	Frank Finger	[31] [37]
26	Mike Fischer	[39]
27	Elke Franz	[41]
28	Ulrich Fraus	[12] [15]
29	Tracy Gardner	[44]
30	Geri Georg	[45]
31	Alfons Geser	[2] [4] [6] [9]
32	Steffen Göbel	[41]
33	Martin Gogolla	[44] [47]
34	Daniel Görlich	[54] [59] [63]
35	Alain Le Guennec	[30]
36	Reiner Hähnle	[44]
37	Hermann Härtig (Hermann Haertig)	[41]
38	Rolf Hennicker	[38]
39	F. J. Herrera	[26]
40	Paul Holleis	[58] [60]
41	Jean-Marc Jézéquel	[40]
42	Berthold F. Koch	[42]
43	Matthias Kranz	[60]
44	Ingolf Krüger (Ingolf H. Krüger)	[49]
45	Sten Loecher	[35]
46	Jacques Loeckx	[17]
47	Michael Löwe	[22]
48	Alexander De Luca	[53] [61] [64]
49	Klaus Meißner	[41]
50	Gerrit Meixner	[63]
51	Klaus Meyer-Wegener	[41]
52	Marcus Meyerhöfer	[41]
53	Andreas Mück	[6]
54	Ileana Ober	[45]
55	Friederike Otto	[58]
56	Barbara Paech	[21]
57	R. Pasquali	[26]
58	Octavian Patrascoiu	[44] [47]
59	Andreas Pfitzmann	[41]
60	Andreas Pleuß (Andreas Pleuss)	[46] [48] [52] [54] [55] [57] [59] [63]
61	Christoph Pohl	[45]
62	Christian Rank	[8]
63	Gianna Reggio	[30] [32]
64	Wolfgang Reif	[17]
65	Michael Rohs	[60]
66	Simone Röttger	[41]
67	Enrico Rukzio	[43]
68	Stefan Sauer	[46] [48] [52] [54] [59] [63]
69	Bernhard Schätz	[23] [49]
70	Alexander Schill	[41]
71	Albrecht Schmidt	[43] [51] [56] [58]
72	Peter H. Schmitt	[44] [47]
73	Lothar Schmitz	[33]
74	Thomas Springer	[41]
75	P. Todorova	[26]
76	Alexander W. van der Vekens	[25]
77	Iakovos S. Venieris	[26]
78	Arnd Vitzthum	[50] [55]
79	Jos Warmer	[44] [47]
80	Frank Wehner	[41]
81	Roman Weiss	[53] [61]
82	Jon Whittle (Jonathan Whittle)	[45]
83	Roel Wieringa	[30]
84	Giovanna De Zen	[25]
85	Emanuel von Zezschwitz	[64]
86	Fabrizio Zizza	[26]
87	Steffen Zschaler	[33] [45]

Colors in the list of coauthors