dblp.uni-trier.dewww.uni-trier.de

Heinrich Hußmann Vis

Heinrich Hussmann

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
67EEAlexander De Luca, Emanuel von Zezschwitz, Heinrich Hußmann: Vibrapass: secure authentication based on shared lies. CHI 2009: 913-916
66EEFlorence T. Balagtas-Fernandez, Heinrich Hussmann: Evaluation of User-Interfaces for Mobile Application Development Environments. HCI (1) 2009: 204-213
65EEFlorence T. Balagtas-Fernandez, Jenny Forrai, Heinrich Hussmann: Evaluation of User Interface Design and Input Methods for Applications on Mobile Touch Screen Devices. INTERACT (1) 2009: 243-246
64EEGerrit 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
63EEAlexander De Luca, Martin Denzel, Heinrich Hussmann: Look into my eyes!: can you guess my password? SOUPS 2009
2008
62EEFlorence T. Balagtas-Fernandez, Heinrich Hussmann: Model-Driven Development of Mobile Applications. ASE 2008: 509-512
61EEAlexander 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
58EEPaul Holleis, Friederike Otto, Heinrich Hussmann, Albrecht Schmidt: Keystroke-level model for advanced mobile phone interaction. CHI 2007: 1505-1514
57EEAndreas 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
55EEAndreas Pleuss, Arnd Vitzthum, Heinrich Hussmann: Integrating Heterogeneous Tools into Model-Centric Development of Interactive Applications. MoDELS 2007: 241-255
54EEAndreas 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
53EEAlexander De Luca, Roman Weiss, Heinrich Hussmann: PassShape: stroke based shape passwords. OZCHI 2007: 239-240
2006
52EEAndreas 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)
50EEArnd Vitzthum, Heinrich Hussmann: Modeling Augmented Reality User Interfaces with SSIML/AR. Journal of Multimedia 1(3): 13-22 (2006)
49EEManfred 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
47EEThomas 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
46EEAndreas 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
45EEJean-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
44EEJean 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
43EEEnrico Rukzio, Albrecht Schmidt, Heinrich Hußmann: Physical Posters as Gateways to Context-Aware Services for Mobile Devices. WMCSA 2004: 10-19
2003
42EEBerthold F. Koch, Heinrich Hußmann: Overview of the Project AQUILA (IST-1999-10077). Art-QoS 2003: 154-164
41EERonald 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
39EEBirgit Demuth, Mike Fischer, Heinrich Hußmann: Experience in Early and Late Software Engineering Project Courses. CSEE&T 2002: 241-
38EERolf Hennicker, Heinrich Hußmann, Michel Bidoit: On the Precise Meaning of OCL Constraints. Object Modeling with the OCL 2002: 69-84
37EEHeinrich 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
35EEBirgit Demuth, Heinrich Hußmann, Sten Loecher: OCL as a Specification Language for Business Rules in Database Applications. UML 2001: 104-117
34EEHeinrich Hußmann: Workshops and Tutorials at the UML 2001 Conference. UML 2001: 503-508
2000
33EEBirgit Demuth, Heinrich Hußmann, Steffen Zschaler, Lothar Schmitz: A Framework-Based Approach to Teaching OOT: Aims, Implementation, and Experience. CSEE&T 2000: 283-293
32EEGianna Reggio, Egidio Astesiano, Christine Choppy, Heinrich Hußmann: Analysing UML Active Classes and Associated State Machines - A Lightweight Formal Approach. FASE 2000: 127-146
31EEHeinrich 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
23EEBernhard 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
15EEUlrich 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
12EEUlrich 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
10EEHeinrich Hußmann: Nondeterministic Algebraic Specifications and Nonconfluent Term Rewriting. ALP 1988: 31-40
1987
9EEHeinrich Hußmann, Alfons Geser: The RAP System as a Tool for Testing COLD Specifications. Algebraic Methods 1987: 331-345
8EEHeinrich 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
5EEHeinrich 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
3EEHeinrich Hußmann: The Passau RAP System: Prototyping Algebraic Specifications Using Conditional Narrowing. CADE 1986: 689-690
2EEAlfons 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

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

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)