Franz Huber

	2009
25		Franz Huber: Ranking Functions. Encyclopedia of Artificial Intelligence 2009: 1351-1355
	2008
24		Franz Huber: Assessing theories, Bayes style. Synthese 161(1): 89-118 (2008)
	2007
23		Franz Huber: The Logic of Theory Assessment. J. Philosophical Logic 36(5): 511-538 (2007)
22		Franz Huber: The Consistency Argument for Ranking Functions. Studia Logica 86(2): 299-329 (2007)
	2006
21		Franz Huber: Ranking functions and rankings on languages. Artif. Intell. 170(4-5): 462-471 (2006)
	2005
20		Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner: Checking and Transforming Models with AutoFOCUS. ECBS 2005: 307-314
	2003
19		Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner: Consistency in Model-Based Development. ECBS 2003: 287-296
	2002
18		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
17		Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps: Model-Based Development of Embedded Systems. OOIS Workshops 2002: 298-312
16		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
15		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
14		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
13		Bernhard Schätz, Franz Huber: Integrating Formal Description Techniques. World Congress on Formal Methods 1999: 1206-1225
12		Manfred Broy, Franz Huber, Bernhard Schätz: AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. Inform., Forsch. Entwickl. 14(3): 121-134 (1999)
	1998
11		Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig: Traffic Lights - An AutoFocus Case Study. ACSD 1998: 282-294
10		Franz Huber, Bernhard Schätz: Specification Modules for Methodical System Development. FBT 1998: 75-86
9		Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch: Tool Supported Specification and Simulation of Distributed Systems. PDSE 1998: 155-
8		Franz Huber, Andreas Rausch, Bernhard Rumpe: Modeling Dynamic Component Interfaces. TOOLS (26) 1998: 58-70
7		Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin: Exemplary and complete object interaction descriptions. Computer Standards & Interfaces 19(7): 335-345 (1998)
	1997
6		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	[16] [18]
2	Peter Braun	[19] [20]
3	Ruth Breu	[2] [6] [7] [15]
4	Manfred Broy	[3] [12] [15]
5	Geralf Einert	[4]
6	Radu Grosu	[2] [6] [7]
7	Christoph Hofmann	[7]
8	Ingolf Krüger (Ingolf H. Krüger)	[7] [15]
9	Heiko Lötzbeyer	[16] [18]
10	Sascha Molterer	[9] [11]
11	Barbara Paech	[3]
12	Jan Philipps	[14] [17]
13	Alexander Pretschner	[16] [17] [18]
14	Andreas Rausch	[8] [9]
15	Bernhard Rumpe	[2] [3] [6] [7] [8] [15]
16	Bernhard Schätz	[1] [4] [5] [9] [10] [11] [12] [13] [17] [19] [20]
17	Alexander Schmidt	[1]
18	Monika Schmidt	[7]
19	Wolfgang Schwerin	[2] [6] [7] [15]
20	Marc Sihling	[9]
21	Oscar Slotosch	[9] [11] [16] [18]
22	Katharina Spies	[1] [3]
23	Alexander Vilbig	[11]
24	Alexander K. Wißpeintner	[14] [19] [20]
25	Hans-Peter Zängerl	[16] [18]

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page