Franz Huber

According to our database1, Franz Huber authored at least 29 papers between 1988 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Why follow the royal rule?
Synth., 2017

2015
What Should I Believe About What Would Have Been the Case?
J. Philos. Log., 2015

2014
New foundations for counterfactuals.
Synth., 2014

2013
Structural equations and beyond.
Rev. Symb. Log., 2013

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

2008
Assessing theories, Bayes style.
Synth., 2008

2007
The Consistency Argument for Ranking Functions.
Stud Logica, 2007

The Logic of Theory Assessment.
J. Philos. Log., 2007

2006
Ranking functions and rankings on languages.
Artif. Intell., 2006

2005
Checking and Transforming Models with AutoFOCUS.
Proceedings of the 12th IEEE International Conference on the Engineering of Computer-Based Systems (ECBS 2005), 2005

2003
Consistency in Model-Based Development.
Proceedings of the 10th IEEE International Conference on Engineering of Computer-Based Systems (ECBS 2003), 2003

2002
Model-Based Development of Embedded Systems.
Proceedings of the Advances in Object-Oriented Information Systems, 2002

Model-Based Software Engineering and Ada: Synergy for the Development of Safety-Critical Systems.
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).
Inform. Forsch. Entwickl., 2001

2000
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 2000

1999
AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme.
Inform. Forsch. Entwickl., 1999

Integrating Formal Description Techniques.
Proceedings of the FM'99 - Formal Methods, 1999

1998
Exemplary and complete object interaction descriptions.
Comput. Stand. Interfaces, 1998

Modeling Dynamic Component Interfaces.
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.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1998

Specification Modules for Methodical System Development.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1998

Traffic Lights - An AutoFocus Case Study.
Proceedings of the 1st International Conference on Application of Concurrency to System Design (ACSD '98), 1998

1997
Systems, Views and Models of UML.
Proceedings of the Unified Modeling Language, 1997

Software and System Modeling Based on a Unified Formal Semantics.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997

Consistent Graphical Specification of Distributed Systems.
Proceedings of the FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 1997

Rapid Prototyping with AutoFocus.
Proceedings of the Formale Beschreibungstechniken für verteilte Systeme, 1997

Towards a Precise Semantics for Object-Oriented Modeling Techniques.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

1996
AutoFocus: A Tool for Distributed Systems Specification.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 1996

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


  Loading...