Franz Huber

36 papers Journal 19Unranked 16
YearRankTypeTitle / Venue / Authors
2023 J jnl
Open data platforms for transformational entrepreneurship: Inclusion and exclusion mechanisms.
Int. J. Inf. Manag.
Thomas Wainwright, Franz Huber, Christoph Stöckmann, Sascha Kraus
2017 J jnl
Why follow the royal rule?
Synth.
Franz Huber
2015 J jnl
What Should I Believe About What Would Have Been the Case?
J. Philos. Log.
Franz Huber
2014 J jnl
Exemplary and Complete Object Interaction Descriptions.
CoRR
Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin
2014 J jnl
Modeling Dynamic Component Interfaces.
CoRR
Franz Huber, Andreas Rausch, Bernhard Rumpe
2014 J jnl
New foundations for counterfactuals.
Synth.
Franz Huber
2014 J jnl
Software and System Modeling Based on a Unified Formal Semantics.
CoRR
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
2014 J jnl
Systems, Views and Models of UML.
CoRR
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
2014 J jnl
Towards a Precise Semantics for Object-Oriented Modeling Techniques.
CoRR
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
2013 J jnl
Structural equations and beyond.
Rev. Symb. Log.
Franz Huber
2009 — ch.
Ranking Functions.
Encyclopedia of Artificial Intelligence
Franz Huber
2008 J jnl
Assessing theories, Bayes style.
Synth.
Franz Huber
2007 J jnl
The Consistency Argument for Ranking Functions.
Stud Logica
Franz Huber
2007 J jnl
The Logic of Theory Assessment.
J. Philos. Log.
Franz Huber
2006 J jnl
Ranking functions and rankings on languages.
Artif. Intell.
Franz Huber
2005 — conf
Checking and Transforming Models with AutoFOCUS.
ECBS
Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner
2003 — conf
Consistency in Model-Based Development.
ECBS
Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner
2002 — conf
Model-Based Development of Embedded Systems.
OOIS Workshops
Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps
2002 J jnl
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems
CoRR
Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl
2002 — conf
Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems.
Ada Deutschland Tagung
Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl
2001 J jnl
Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999).
Inform. Forsch. Entwickl.
Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin
2000 — conf
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.
FBT
Alexander K. Wißpeintner, Franz Huber, Jan Philipps
1999 J jnl
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.
Inform. Forsch. Entwickl.
Manfred Broy, Franz Huber, Bernhard Schätz
1999 — conf
Integrating Formal Description Techniques.
World Congress on Formal Methods
Bernhard Schätz, Franz Huber
1998 J jnl
Exemplary and complete object interaction descriptions.
Comput. Stand. Interfaces
Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin
1998 — conf
Modeling Dynamic Component Interfaces.
TOOLS (26)
Franz Huber, Andreas Rausch, Bernhard Rumpe
1998 — conf
Specification Modules for Methodical System Development.
FBT
Franz Huber, Bernhard Schätz
1998 — conf
Tool Supported Specification and Simulation of Distributed Systems.
PDSE
Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch
1998 — conf
Traffic Lights - An AutoFocus Case Study.
ACSD
Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig
1997 — conf
Consistent Graphical Specification of Distributed Systems.
FME
Franz Huber, Bernhard Schätz, Geralf Einert
1997 — conf
Rapid Prototyping with AutoFocus.
FBT
Franz Huber, Bernhard Schätz
1997 — conf
Software and System Modeling Based on a Unified Formal Semantics.
Requirements Targeting Software and Systems Engineering
Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
1997 — conf
Systems, Views and Models of UML.
UML Workshop
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
1997 — conf
Towards a Precise Semantics for Object-Oriented Modeling Techniques.
ECOOP Workshops
Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
1996 — conf
AutoFocus: A Tool for Distributed Systems Specification.
FTRTFT
Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies
1988 J jnl
Features, design and implementation of high-level language debuggers.
Microprocess. Microsystems
Thomas Bemmerl, Franz Huber, Robert Stampfl