Olderog, Ernst-Rüdiger - Department für Informatik, Carl von Ossietzky Universität Oldenburg

• Axiomatisation and Decidability of Multi-Dimensional Duration Calculus Andreas Schafer
• The Timer Cascade: Functional Modelling and Real Time Calculi
• Model-Checking of Specifications Integrating Processes, Data and Time
• A Calculus for Shapes in Time and Space Andreas Schafer
• Sicherheit fr sicherheitskritische Systeme Komplexe Systeme mit Model-Checking verifizieren
• Combining Real-Time Model-Checking and Fault Tree Analysis
• Proceedings of the 17th Nordic Workshop on Programming Theory, pages 67-70. University of Copenhagen, Denmark, October 2005.
• Software Development with ObjectZ, CSP and Java: A Pragmatic Link from Formal Specifications to Programs
• Graphical Formalization of RealTime Requirements
• Modelling and Verifying of a ``CashPoint Service''
• Moby/plc --Graphical Development of PLCAutomata ? ??
• INTERACTIVE AND COMPILATIVE SIMULATION OF PLCAUTOMATA \Lambda
• Inheritance of temporal logic properties Heike Wehrheim
• A Term Representation of P/T Systems (Extended Abstract)
• PATTERNS AND RULES FOR BEHAVIOURAL Heike Wehrheim
• Implementing Hierarchical GraphStructures ? Josef Tapken
• Incremental Development of DeadlockFree Communicating Systems ?
• HAUPTBEITRAG / MODEL CHECKING} Informatik_Spektrum_26_April_2004146
• Comparing ModelChecking and Logical Reasoning for RealTime Systems y
• Nordic Journal of Computing 13(2006), 2245. OPTIMIZING SLICING OF FORMAL SPECIFICATIONS
• A Unifying Framework Correct Program Construction ?
• The Production Cell: A Verified RealTime System \Lambda
• BEHAVIOURAL SUBTYPING AND PROPERTY PRESERVATION
• The Incremental Development of Correct Specifications for Distributed Systems
• Specification and Verification Polling RealTime Systems
• The extension of existing telecommunication software with new services using formal methods \Lambda
• FailureDivergence Semantics as a Formal Basis for an ObjectOriented Integrated Formal Method
• Development of Correct RealTime Systems by Habilitationsschrift 1
• Slicing an Integrated Formal Method for Verification
• Combining CSP and ObjectZ: Finite or Infinite Trace Semantics?
• Specification and stepwise development of communicating systems
• ToolSupported Hierarchical Design of Distributed RealTime Systems \Lambday Henning Dierks and Josef Tapken
• Predicative Specification of Timed Processes Michael Schenke \Lambda
• PLCAutomata: A New Class of Implementable RealTime Automata ?
• Deductive Verification for Improving Slicing of Integrated Formal Specifications
• A Formal Approach to the Development of Reliable MultiUser Multimedia Applications
• A Timed Specification Language for Concurrent Reactive Systems
• PROVABLY CORRECT INTELLIGENT NETWORKS Hermann Tjabben 1 , Stephan Kleuker 2 , Axel Kehne 3
• Synchronous Development of Asynchronous Clemens Fischer \Lambda , Wil Janssen y
• This is page i Printer: Opaque this
• Behavioural Subtyping Relations for ObjectOriented Formalisms ?
• Formalizing Requirements for Distributed Systems with Trace Diagrams ?
• Specification and Transformation of Reactive Systems with Time Restrictions and Concurrency
• Provably Correct Hardware Compilation using Timing Diagrams \Lambda
• Slicing Object-Z Specifications for Verification Ingo Bruckner1
• Synthesising Controllers from RealTime Specifications \Lambda Henning Dierks y
• An MNet Semantics for a RealTime Extension of SDL Hans Fleischhack and Josef Tapken
• Refinement from a control problem to programs \Lambda Michael Schenke 1 and Anders P. Ravn 2
• Figure 2: Simple DCC synchronizing an assignment of value Exp to variable V Figure 3: DCC to control timing of a sequence of N statements
• Graphical Specification and Reasoning: Case Study Generalised Railroad Crossing ?
• Proceedings of the 16th Nordic Workshop on
• Model Checking Duration Calculus: A Practical Approach
• A Gentle Introduction to Specification Engineering Using a Case Study in Telecommunications \Lambda