2008 |
22 | EE | Franz Huber:
Assessing theories, Bayes style.
Synthese 161(1): 89-118 (2008) |
2007 |
21 | EE | Franz Huber:
The Consistency Argument for Ranking Functions.
Studia Logica 86(2): 299-329 (2007) |
2006 |
20 | EE | Franz Huber:
Ranking functions and rankings on languages.
Artif. Intell. 170(4-5): 462-471 (2006) |
2005 |
19 | EE | Bernhard Schätz,
Peter Braun,
Franz Huber,
Alexander K. Wißpeintner:
Checking and Transforming Models with AutoFOCUS.
ECBS 2005: 307-314 |
2003 |
18 | EE | Bernhard Schätz,
Peter Braun,
Franz Huber,
Alexander K. Wißpeintner:
Consistency in Model-Based Development.
ECBS 2003: 287-296 |
2002 |
17 | | Andree Blotz,
Franz Huber,
Heiko Lötzbeyer,
Alexander Pretschner,
Oscar Slotosch,
Hans-Peter Zängerl:
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems.
Ada Deutschland Tagung 2002: 37-52 |
16 | EE | Bernhard Schätz,
Alexander Pretschner,
Franz Huber,
Jan Philipps:
Model-Based Development of Embedded Systems.
OOIS Workshops 2002: 298-312 |
15 | EE | Andree Blotz,
Franz Huber,
Heiko Lötzbeyer,
Alexander Pretschner,
Oscar Slotosch,
Hans-Peter Zängerl:
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
CoRR cs.SE/0201023: (2002) |
2001 |
14 | EE | Manfred Broy,
Ruth Breu,
Franz Huber,
Ingolf Krüger,
Bernhard Rumpe,
Wolfgang Schwerin:
Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999).
Inform., Forsch. Entwickl. 16(1): 53-59 (2001) |
2000 |
13 | | Alexander K. Wißpeintner,
Franz Huber,
Jan Philipps:
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.
FBT 2000: 91-100 |
1999 |
12 | EE | Bernhard Schätz,
Franz Huber:
Integrating Formal Description Techniques.
World Congress on Formal Methods 1999: 1206-1225 |
11 | EE | Manfred Broy,
Franz Huber,
Bernhard Schätz:
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.
Inform., Forsch. Entwickl. 14(3): 121-134 (1999) |
1998 |
10 | EE | Franz Huber,
Sascha Molterer,
Bernhard Schätz,
Oscar Slotosch,
Alexander Vilbig:
Traffic Lights - An AutoFocus Case Study.
ACSD 1998: 282- |
9 | | Franz Huber,
Bernhard Schätz:
Specification Modules for Methodical System Development.
FBT 1998: 75-86 |
8 | EE | Franz Huber,
Sascha Molterer,
Andreas Rausch,
Bernhard Schätz,
Marc Sihling,
Oscar Slotosch:
Tool Supported Specification and Simulation of Distributed Systems.
PDSE 1998: 155- |
7 | EE | Franz Huber,
Andreas Rausch,
Bernhard Rumpe:
Modeling Dynamic Component Interfaces.
TOOLS (26) 1998: 58-70 |
1997 |
6 | EE | Ruth Breu,
Radu Grosu,
Franz Huber,
Bernhard Rumpe,
Wolfgang Schwerin:
Towards a Precise Semantics for Object-Oriented Modeling Techniques.
ECOOP Workshops 1997: 205-210 |
5 | | Franz Huber,
Bernhard Schätz:
Rapid Prototyping with AutoFocus.
FBT 1997: 343-352 |
4 | | Franz Huber,
Bernhard Schätz,
Geralf Einert:
Consistent Graphical Specification of Distributed Systems.
FME 1997: 122-141 |
3 | | Manfred Broy,
Franz Huber,
Barbara Paech,
Bernhard Rumpe,
Katharina Spies:
Software and System Modeling Based on a Unified Formal Semantics.
Requirements Targeting Software and Systems Engineering 1997: 43-68 |
2 | | Ruth Breu,
Radu Grosu,
Franz Huber,
Bernhard Rumpe,
Wolfgang Schwerin:
Systems, Views and Models of UML.
UML Workshop 1997: 93-108 |
1996 |
1 | | Franz Huber,
Bernhard Schätz,
Alexander Schmidt,
Katharina Spies:
AutoFocus: A Tool for Distributed Systems Specification.
FTRTFT 1996: 467-470 |