Franz Huber

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

Coauthor Index

1	Andree Blotz	[15] [17]
2	Peter Braun	[18] [19]
3	Ruth Breu	[2] [6] [14]
4	Manfred Broy	[3] [11] [14]
5	Geralf Einert	[4]
6	Radu Grosu	[2] [6]
7	Ingolf Krüger (Ingolf H. Krüger)	[14]
8	Heiko Lötzbeyer	[15] [17]
9	Sascha Molterer	[8] [10]
10	Barbara Paech	[3]
11	Jan Philipps	[13] [16]
12	Alexander Pretschner	[15] [16] [17]
13	Andreas Rausch	[7] [8]
14	Bernhard Rumpe	[2] [3] [6] [7] [14]
15	Bernhard Schätz	[1] [4] [5] [8] [9] [10] [11] [12] [16] [18] [19]
16	Alexander Schmidt	[1]
17	Wolfgang Schwerin	[2] [6] [14]
18	Marc Sihling	[8]
19	Oscar Slotosch	[8] [10] [15] [17]
20	Katharina Spies	[1] [3]
21	Alexander Vilbig	[10]
22	Alexander K. Wißpeintner	[13] [18] [19]
23	Hans-Peter Zängerl	[15] [17]