The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Franz Huber: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Franz Huber, Sascha Molterer, Bernhard Schätz, Oscar Slotosch, Alexander Vilbig
    Traffic Lights - An AutoFocus Case Study. [Citation Graph (0, 0)][DBLP]
    ACSD, 1998, pp:282-0 [Conf]
  2. 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. [Citation Graph (0, 0)][DBLP]
    Ada Deutschland Tagung, 2002, pp:37-52 [Conf]
  3. Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner
    Checking and Transforming Models with AutoFOCUS. [Citation Graph (0, 0)][DBLP]
    ECBS, 2005, pp:307-314 [Conf]
  4. Bernhard Schätz, Peter Braun 0003, Franz Huber, Alexander K. Wißpeintner
    Consistency in Model-Based Development. [Citation Graph (0, 0)][DBLP]
    ECBS, 2003, pp:287-296 [Conf]
  5. Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
    Towards a Precise Semantics for Object-Oriented Modeling Techniques. [Citation Graph (0, 0)][DBLP]
    ECOOP Workshops, 1997, pp:205-210 [Conf]
  6. Alexander K. Wißpeintner, Franz Huber, Jan Philipps
    Model Checking and Random Competition - A Study Using the Model Checking Framework MIC. [Citation Graph (0, 0)][DBLP]
    FBT, 2000, pp:91-100 [Conf]
  7. Franz Huber, Bernhard Schätz
    Rapid Prototyping with AutoFocus. [Citation Graph (0, 0)][DBLP]
    FBT, 1997, pp:343-352 [Conf]
  8. Franz Huber, Bernhard Schätz
    Specification Modules for Methodical System Development. [Citation Graph (0, 0)][DBLP]
    FBT, 1998, pp:75-86 [Conf]
  9. Franz Huber, Bernhard Schätz, Geralf Einert
    Consistent Graphical Specification of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    FME, 1997, pp:122-141 [Conf]
  10. Bernhard Schätz, Franz Huber
    Integrating Formal Description Techniques. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1206-1225 [Conf]
  11. Franz Huber, Bernhard Schätz, Alexander Schmidt, Katharina Spies
    AutoFocus: A Tool for Distributed Systems Specification. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1996, pp:467-470 [Conf]
  12. Bernhard Schätz, Alexander Pretschner, Franz Huber, Jan Philipps
    Model-Based Development of Embedded Systems. [Citation Graph (0, 0)][DBLP]
    OOIS Workshops, 2002, pp:298-312 [Conf]
  13. Franz Huber, Sascha Molterer, Andreas Rausch, Bernhard Schätz, Marc Sihling, Oscar Slotosch
    Tool Supported Specification and Simulation of Distributed Systems. [Citation Graph (0, 0)][DBLP]
    PDSE, 1998, pp:155-0 [Conf]
  14. Manfred Broy, Franz Huber, Barbara Paech, Bernhard Rumpe, Katharina Spies
    Software and System Modeling Based on a Unified Formal Semantics. [Citation Graph (0, 0)][DBLP]
    Requirements Targeting Software and Systems Engineering, 1997, pp:43-68 [Conf]
  15. Ruth Breu, Radu Grosu, Franz Huber, Bernhard Rumpe, Wolfgang Schwerin
    Systems, Views and Models of UML. [Citation Graph (0, 0)][DBLP]
    UML Workshop, 1997, pp:93-108 [Conf]
  16. Franz Huber, Andreas Rausch, Bernhard Rumpe
    Modeling Dynamic Component Interfaces. [Citation Graph (0, 0)][DBLP]
    TOOLS (26), 1998, pp:58-70 [Conf]
  17. Franz Huber
    Ranking functions and rankings on languages. [Citation Graph (0, 0)][DBLP]
    Artif. Intell., 2006, v:170, n:4-5, pp:462-471 [Journal]
  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 [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  19. 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). [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 2001, v:16, n:1, pp:53-59 [Journal]
  20. Manfred Broy, Franz Huber, Bernhard Schätz
    AutoFocus - Ein Werkzeugprototyp zur Entwicklung eingebetteter Systeme. [Citation Graph (0, 0)][DBLP]
    Inform., Forsch. Entwickl., 1999, v:14, n:3, pp:121-134 [Journal]

Search in 0.019secs, Finished in 0.021secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002