Franz Huber

According to our database, Franz Huber authored at least 30 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Open data platforms for transformational entrepreneurship: Inclusion and exclusion mechanisms.

Thomas Wainwright, Franz Huber, Christoph Stöckmann, Sascha Kraus

Int. J. Inf. Manag., October, 2023

2017

Why follow the royal rule?

Franz Huber

Synth., 2017

2015

What Should I Believe About What Would Have Been the Case?

Franz Huber

J. Philos. Log., 2015

2014

New foundations for counterfactuals.

Franz Huber

Synth., 2014

2013

Structural equations and beyond.

Franz Huber

Rev. Symb. Log., 2013

2009

Ranking Functions.

Franz Huber

Proceedings of the Encyclopedia of Artificial Intelligence (3 Volumes), 2009

2008

Assessing theories, Bayes style.

Franz Huber

Synth., 2008

2007

The Consistency Argument for Ranking Functions.

Franz Huber

Stud Logica, 2007

The Logic of Theory Assessment.

Franz Huber

J. Philos. Log., 2007

2006

Ranking functions and rankings on languages.

Franz Huber

Artif. Intell., 2006

2005

Checking and Transforming Models with AutoFOCUS.

Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner

Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2003

Consistency in Model-Based Development.

Bernhard Schätz, Peter Braun, Franz Huber, Alexander K. Wißpeintner

Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

2002

Model-Based Development of Embedded Systems.

Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps

Proceedings of the Advances in Object-Oriented Information Systems, 2002

Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems.

Andree Blotz, Franz Huber, Heiko Lötzbeyer, Alexander Pretschner, Oscar Slotosch, Hans-Peter Zängerl

Proceedings of the Ada Deutschland Tagung 2002: Software für sicherheitskritische Systeme, 2002

2001

Methodik, Sprachen und Grundlagen des Software Engineering, Abschlussbericht des Forschungslabors SYSLAB (1.10.1994 - 30.9.1999).

Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Wolfgang Schwerin

Inform. Forsch. Entwickl., 2001

2000

Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.

Alexander K. Wißpeintner, Franz Huber, Jan Philipps

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999

AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.

Manfred Broy, Franz Huber, Bernhard Schätz

Inform. Forsch. Entwickl., 1999

Integrating Formal Description Techniques.

Bernhard Schätz, Franz Huber

Proceedings of the FM'99 - Formal Methods, 1999

1998

Exemplary and complete object interaction descriptions.

Ruth Breu, Radu Grosu, Christoph Hofmann, Franz Huber, Ingolf Krüger, Bernhard Rumpe, Monika Schmidt, Wolfgang Schwerin

Comput. Stand. Interfaces, 1998

Modeling Dynamic Component Interfaces.

Franz Huber, Andreas Rausch, Bernhard Rumpe

Proceedings of the TOOLS 1998: 26th International Conference on Technology of Object-Oriented Languages and Systems, 1998

Tool Supported Specification and Simulation of Distributed Systems.

Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch

Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

Specification Modules for Methodical System Development.

Franz Huber, Bernhard Schätz

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

Traffic Lights - An AutoFocus Case Study.

Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig

Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997

Systems, Views and Models of UML.

Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin

Proceedings of the Unified Modeling Language, 1997

Software and System Modeling Based on a Unified Formal Semantics.

Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies

Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Consistent Graphical Specification of Distributed Systems.

Franz Huber, Bernhard Schätz, Geralf Einert

Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Rapid Prototyping with AutoFocus.

Franz Huber, Bernhard Schätz

Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

Towards a Precise Semantics for Object-Oriented Modeling Techniques.

Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996

AutoFocus: A Tool for Distributed Systems Specification.

Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

1988

Features, design and implementation of high-level language debuggers.

Thomas Bemmerl, Franz Huber, Robert Stampfl

Microprocess. Microsystems, 1988