Technical Reports

• TUM-I0013
  Transitions into Black Box Views - The NetBill Protocol revisited -
  Max Breitling, Jan Philipps
  2000

• TUM-I0017
  Properties of Hybrid Systems - a Computer Science Perspective
  Thomas Stauner
  2000

• TUM-I0005
  Verification Diagrams for Dataflow Properties
  Max Breitling, Jan Philipps
  2000

• TUM-I0008
  SysLab - Abschlussbericht
  Manfred Broy, Ruth Breu, Franz Huber, Ingolf Krueger, Bernhard Rumpe, Wolfgang Schwerin
  2000

• TUM-I9923
  Evaluation of Petri Net and Automata Based Description Techniques: An Industrial Case Study
  Alexander Sabbah, Robert Sandner
  1999

• TUM-I9922
  Integrierte Beschreibungstechniken für automatisierte Produktionsanlagen - eine Evaluierung praxisnaher Beschreibungstechniken
  Robert Sandner, Michael Mauderer
  1999

• TUM-I9915
  Internet Buchhandel Eine UML Fallstudie
  Gerhard Popp, Franz Huber, Ingolf Krueger, Bernhard Rumpe, Wolfgang Schwerin
  1999

• TUM-I9916
  Black Box Views of State Machines
  Max Breitling, Jan Philipps
  1999

• TUM-I9925
  The Amsterdam Manifesto on OCL
  Steve Cook, Anneke Kleppe, Richard Mitchell, Bernhard Rumpe, Jos Warmer, and Alan Wills
  1999

• TUM-I
  Integrating Theorem Proving and Model Checking in {I}sabelle/{IOA}
  Tobias Hamberger
  1999

• TUM-I9903
  Hybrid System Model
  Thomas Stauner, Bernhard Rumpe, Peter Scholz
  1999

• TUM-I9901
  Frisco F- Eine funktionale, logische und algebraische Spezifikationssprache
  Christian Lesny, Franz Huber, Bernhard Rumpe
  1999

• TUM-I9904
  Formalisierung und Beweis einer Verfeinerung aus FOCUS mit automatischen Theorembeweisern - Fallstudie -
  Johann Schumann, Max Breitling
  1999

• TUM-I9914
  Hybrid Sequence Charts
  Radu Grosu, Ingolf Krüger, Thomas Stauner
  1999

• TUM-I9906
  Specification of an Elevator Control System -- An AutoFocus Case Study
  Frank Strobl, Alexander Wisspeintner
  1999

• TUM-I9903
  Hybrid System Model
  Thomas Stauner, Bernhard Rumpe, Peter Scholz
  1999

• TUM-I9832
  Theoretische und praktische Ansätze im Requirements Engineering für Standardsoftware und Anlagenbau
  Bernhard Deifel
  1998

• TUM-I9831
  Component Interface Diagrams: Putting Components to Work
  Franz Huber, Andreas Rausch, Bernhard Rumpe
  1998

• TUM-I9801
  Modular and Visual Specification of Hybrid Systems -- An Introduction to HyCharts
  Radu Grosu, Thomas Stauner
  1998

• TUM-I9820
  Seventh OOPSLA Workshop on Behavioral Semantics of OO Business and System Specifications
  Haim Kilov, Bernhard Rumpe, Ian Simmonds
  1998

• TUM-I9815
  Frisco STDA - Werkzeug zur methodischen Bearbeitung von Automaten
  Michael Fahrmair, Bernhard Rumpe
  1998

• TUM-I9807
  RTSE'97 - Workshop on Requirements Targeting Software Engineering
  Manfred Broy, Bernhard Rumpe
  1998

• TUM-I9813
  Second ECOOP Workshop on Precise Behavioral Semantics (with an Emphasis on OO Business Spcifications)
  Haim Kilov, Bernhard Rumpe
  1998

• TUM-I9808
  Home Shopping - Die Spezifikation einer Kommunikationsanwendung in Focus
  Ursula Hinkel
  1998

• TUM-I9803
  PSMT - Workshop on Precise Semantics for Software Modeling Techniques
  Manfred Broy, Derec Coleman, Tom S. E. Maibaum, Bernhard Rumpe
  1998

• TUM-I9804
  Modeling the Dynamic Behavior of Objects - On Events, Messages and Methods
  R. Breu, R. Grosu
  1998

• TUM-I9714
  The Steamboiler Specification - A Case Study in Focus
  Manfred Broy, Franz Regensburger, Bernhard Schätz, Katharina Spies
  1997

• TUM-I9737
  OOPSLA'97 Workshop on OO Behavioral Semantics
  Haim Kilov, Bernhard Rumpe, Ian Simmonds
  1997

• TUM-I9753
  A Formally Founded Description Technique for Business Processes
  Veronika Thurner
  1997

• TUM-I9752
  Component-Oriented Redesign of the CASE-Tool AutoFocus
  Klaus Bergner, Franz Huber, Andreas Rausch, Marc Sihling
  1997

• TUM-I9751
  Using the SysLab Method - A Case Study
  Alexander Vilbig, Bernd Deifel, Sascha Molterer, Andreas Rausch, Marc Sihling
  1997

• TUM-I9748
  Compositional Specification of Mobile Systems
  R. Grosu and K. Stølen
  1997

• TUM-I 9724
  A Denotational Model for Mobile Point-to-Point Data-flow Networks with Channel Sharing
  R. Grosu, K. Stølen, M. Broy
  1997

• TUM-I9746
  Software Architectures and Design Patterns in Business Applications
  Manfred Broy, Ernst Denert, Klaus Renzel, Monika Schmidt (Eds.)
  1997

• TUM-I9744
  Formalizing and Verifying TimeWarp with FOCUS
  Max Breitling
  1997

• TUM-I9729
  The Specification of System Components by State Transition Diagrams
  Manfred Broy
  1997

• TUM-I9715
  From Inheritance to Feature Interaction or Composing Monads
  Christian Prehofer
  1997

• TUM-I9740
  Summary of Case Studies in Focus - Part II
  Manfred Broy, Max Breitling, Bernhard Schätz, Katharina Spies
  1997

• TUM-I9735
  Using UML for Modeling a Distributed Java Application
  Klaus Bergner, Andreas Rausch, Marc Sihling
  1997

• TUM-I9731
  A Framework for Interaction Description with Roles
  Barbara Paech
  1997

• TUM-I9726
  Towards a Formalization of the Unified Modeling Language
  Ruth Breu, Ursula Hinkel, Christoph Hofmann, Cornel Klein, Barbara Paech, Bernhard Rumpe, Veronika Thurner
  1997

• TUM-I9709
  Threat Scenarios as a Means to Formally Develop Secure Systems
  Volkmar Lotz
  1997

• TUM-I9705
  A Graphical Description Technique for Communication in Software Architectures
  Manfred Broy, Christoph Hofmann, Ingolf Krüger, Monika Schmidt
  1997

• TUM-I9725
  ECOOP'97 Workshop on Precise Semantics for Object-Oriented Modeling Techniques
  Haim Kilov, Bernhard Rumpe
  1997

• TUM-I 9622
  A Denotational Model for Mobile Many-to-Many Data-flow Networks
  R. Grosu, K. Stolen
  1996

• TUM-I9641
  The Field of Software Architecture
  Christoph Hofmann, Eckart Horn, Wolfgang Keller, Klaus Renzel, Monika Schmidt
  1996

• TUM-I9639
  Anleitung zur Spezifikation von mobilen, dynamischen FOCUS-Netzen
  Ursula Hinkel, Katharina Spies
  1996

• TUM-I9632
  Description Techniques for Data in the SysLab Method
  R. Hettler
  1996

• TUM-I9631
  Enhancing the SysLab System Model with State.
  Radu Grosu, Cornel Klein, Bernhard Rumpe
  1996

• TUM-I9630
  State Transition Diagrams.
  Radu Grosu, Cornel Klein, Bernhard Rumpe, Manfred Broy
  1996

• TUM-I9628
  An Extended Version of Mini-Statecharts.
  Peter Scholz
  1996

• TUM-I9627
  Specification of Real-Time and Hybrid Systems in FOCUS.
  Olaf Müller, Peter Scholz
  1996

• TUM-I9620
  The Algebra of Stream Processing Functions.
  Manfred Broy, Gheorghe Stefanescu
  1996

• TUM-I9615
  How to Improve the Service Specifications of the ISO/OSI Basic Reference Model.
  Christian Facchi
  1996

• TUM-I9614
  The SDL Specification of the Sliding Window Protocol Revisited.
  Christian Facchi, Markus Haubner, Ursula Hinkel
  1996

• TUM-I9610
  Mini-Statecharts: A Lean Version of Statecharts
  Dieter Nazareth, Franz Regensburger, Peter Scholz
  1996

• TUM-I 9527
  A Denotational Model for Mobile Point-to-Point Data-flow Networks
  R. Grosu, K. Stølen
  1995

• TUMI-9516
  Assumption/Commitment Rules for Data-flow Networks --- with an Emphasis on Completeness.
  Ketil Støen
  1995

• TUM-I9540
  Formal Semantics of Time Sequence Diagrams
  Christian Facchi
  1995

• TUM-I9537
  Refinement Principles Supporting the Transition from Asynchronous to Synchronous Communication
  Ketil Stølen
  1995

• TUM-I9533
  Concurrent Timed Port Automata
  Radu Grosu, Bernhard Rumpe
  1995

• TUM-I9529
  Formale Syntax zur logischen Kernsprache der FOCUS-Entwicklungsmethodik
  Bernhard Schätz, Katharina Spies
  1995

• TUM-I9527
  A Denotational Model for Mobile Point-to-Point Dataflow Networks
  Radu Grosu, Ketil Stølen
  1995

• TUM-I9517
  A Formal Method for Hardware/Software Co-Design
  Ketil Stølen, Max Fuchs
  1995

• TUM-I9512
  Formal Design of a Modulo-N Counter
  Max Fuchs
  1995

• TUM-I9511
  Implementing the Change of Data Structures with SPECTRUM in the Framework of KORSO Development Graphs
  Oscar Slotosch
  1995

• TUM-I9510
  Ein strombasiertes mathematisches Modell verteilter informationsverarbeitender Systeme - Syslab Systemmodell -
  Bernhard Rumpe, Cornel Klein, Manfred Broy
  1995

• TUM-I9503
  Event Handling in ET++ -- A Case Study in the Algebraic Specification of Object--Oriented Application Frameworks.
  Klaus Bergner, Bernhard Rumpe
  1995

• TUM-I9429
  The Specification Language Spectrum - Core Language Report V1.0
  Radu Grosu, Dieter Nazareth
  1994

• TUM-I9437
  Algebra of Flownomials.
  Gheorghe Stefanescu
  1994

• TUM-I9414
  Funktionale Spezifikation eines Kommunikationsprotokolls
  Katharina Spies
  1994

• TUM-I9424
  The calculus of SPECTRUM
  Franz Regensburger
  1994

• TUM-I9418
  An Attempt to Embed a Restricted Version of SDL as a Target Language in Focus
  Eckhardt Holz, Ketil Stølen
  1994

• TUM-I9428
  AVL Trees Revisited: A Case Study in SPECTRUM
  Rudi Hettler, Dieter Nazareth, Franz Regensburger, Oscar Slotosch
  1994

• TUM-I9409
  A Requirement Specification for a Lexical Analyser
  Rudi Hettler
  1994

• TUM-I9444
  Concurrent Object Oriented Programming
  Radu Grosu
  1994

• TUM-I9402
  The Logical Framework of SPECTRUM
  Radu Grosu, Franz Regensburger
  1994

• TUM-I9431
  Technologieabhängigkeit von Spezifikationen digitaler Hardware
  Max Fuchs
  1994

• TUM-I9442
  Structured Specifications and Implementation of Nondeterministic Data Types
  Manfred Broy, Michal Walicki
  1994

• TUM-I9417
  A Functional Rephrasing of the Assumption/Commitment Specification Style
  Manfred Broy
  1994

• TUM-I9412
  Specification and Refinement of Finite Dataflow Networks - A Relational Approach
  Manfred Broy, Ketil Stølen
  1994

• TUM-I9335
  Die funktionale Essenz von HDMS-A
  Oscar Slotosch, F. Nickl, S. Merz, Heinrich Hußmann, Rudi Hettler
  1993

• TUM-I9303
  Assumption/Commitment Rules for Networks of Asynchronously Communicating Agents
  Ketil Stølen, Frank Dederichs, Rainer Weber
  1993

• TUM-I9332
  Zur formalen Beschreibung der funktionalen Anforderungen an ein Informationssystem
  Heinrich Hußmann
  1993

• TUM-I9333
  Zur Übersetzung von E/R-Schemata nach SPECTRUM
  Rudi Hettler
  1993

• TUM-I9338
  Development of a Distributed Min/Max Component
  Max Fuchs, Ketil Stølen
  1993

• 
  The Requirement and Design Specification Language SPECTRUM An Informal Introduction (V 1.0)
  Manfred Broy, Christian Facchi, Radu Grosu, Rudi Hettler, Heinrich Hußmann, Dieter Nazareth, Franz Regensburger, Oscar Slotosch, Ketil Stølen
  1993

• TUM-I9230
  Spezifikation des UNIX Datei- und Variablensystems Eine SPECTRUM Fallstudie
  Rudi Hettler
  1992

• TUM-I9202
  The Design of Distributed Systems - An Introduction to FOCUS
  Manfred Broy, Frank Dederich, Claus Dendorfer, Max Fuchs, Thomas Gritzner, Rainer Weber
  1992

• TUM-I9146
  On constructive specifications of abstract data types using temporal logic
  Frank Leßke
  1991