• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 33 matches

• 2004
• 
  Saeid Arabestani, Friedemann Bitsch, Jan-Tecker Gayen:
  Precise Definition of the Single-Track Level Crossing in Radio-Based Operation in UML Notation and Specification of Safety Requirements. SoftSpez Final Report 2004: 119-144
• 
  Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven Lohmann, Ben Lukoschus, Manuel Remelhe, Olaf Stursberg:
  Verification of PLC Programs Given as Sequential Function Charts. SoftSpez Final Report 2004: 517-540
• 
  Nanette Bauer, Ralf Huuck, Ben Lukoschus, Sebastian Engell:
  A Unifying Semantics for Sequential Function Charts. SoftSpez Final Report 2004: 400-418
• 
  Kirsten Berkenkötter, Stefan Bisanz, Ulrich Hannemann, Jan Peleska:
  Executable HybridUML and Its Application to Train Control Systems. SoftSpez Final Report 2004: 145-173
• 
  Dines Bjørner, Chris George, Anne E. Haxthausen, Christian Krog Madsen, Steffen Holmslykke, Martin Pnika:
  "UML-ising' Formal Techniques. SoftSpez Final Report 2004: 423-450
• 
  Benjamin Braatz, Markus Klein, Gunnar Schröter:
  Semantical Integration of Object-Oriented Viewpoint Specification Techniques. SoftSpez Final Report 2004: 602-626
• 
  Benjamin Braatz, Markus Klein, Gunnar Schröter, Matthias Bengel:
  A Formal Component Concept for the Specification of Industrial Control Systems. SoftSpez Final Report 2004: 69-88
• 
  Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke:
  Formal Verification of LSCs in the Development Process. SoftSpez Final Report 2004: 494-516
• 
  Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke:
  Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. SoftSpez Final Report 2004: 374-399
• 
  Werner Damm, Bernd Westphal:
  Introduction to Subject Area 'Charts'. SoftSpez Final Report 2004: 322-324
• 
  Jörg Desel:
  Process Description Languages and Methods: Introduction to the Chapter Petri Nets and Related Approaches in Engineering. SoftSpez Final Report 2004: 199-205
• 
  Jörg Desel, Hans-Michael Hanisch, Gabriel Juhás, Robert Lorenz, Christian Neumair:
  A Guide to Modelling and Control with Modules of Signal Nets. SoftSpez Final Report 2004: 270-300
• 
  Hartmut Ehrig:
  Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results. SoftSpez Final Report 2004: 1-8
• 
  Stefan Einer:
  STOP - Specification Technique of Operational Processes. SoftSpez Final Report 2004: 227-247
• 
  Katja Fischer, Peter Göhner, Felix Gutbrodt, Uwe Katzke, Birgit Vogel-Heuser:
  Conceptual Design of an Engineering Model for Product and Plant Automation. SoftSpez Final Report 2004: 301-321
• 
  Stephan Flake, Wolfgang Müller, Ulrich Pape, Jürgen Ruf:
  Specification and Formal Verification of Temporal Properties of Production Automation Systems. SoftSpez Final Report 2004: 206-226
• 
  Martin Große-Rhode:
  On Model Integration and Integration Modelling: Introduction to the Subject Area Integration Modelling. SoftSpez Final Report 2004: 567-581
• 
  Frank Hänsel, Jan Poliak, Roman Slovák, Eckehard Schnieder:
  Reference Case Study "Traffic Control Systems" for Comparison and Validation of Formal Specifications Using a Railway Model Demonstrator. SoftSpez Final Report 2004: 96-118
• 
  David Harel, Hillel Kugler:
  The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version. SoftSpez Final Report 2004: 325-354
• 
  Martin Kardos, Franz J. Rammig:
  Model Based Formal Verification of Distributed Production Control Systems. SoftSpez Final Report 2004: 451-473
• 
  Lars Michael Kristensen, Kurt Jensen:
  Specification and Validation of an Edge Router Discovery Protocol for Mobile Ad Hoc Networks. SoftSpez Final Report 2004: 248-269
• 
  Ingolf Krüger, Wolfgang Prenninger, Robert Sandner, Manfred Broy:
  Development of Hierarchical Broadcasting Software Architectures Using UML 2.0. SoftSpez Final Report 2004: 29-47
• 
  Fernando Orejas, Elvira Pino:
  On the Integration of Modular Heterogeneous Specifications. SoftSpez Final Report 2004: 582-601
• 
  Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn:
  Introduction to Subject Area "Verification". SoftSpez Final Report 2004: 419-422
• 
  Frank Ortmeier, Andreas Thums, Gerhard Schellhorn, Wolfgang Reif:
  Combining Formal Methods and Safety Analysis - The ForMoSA Approach. SoftSpez Final Report 2004: 474-493
• 
  Karol Rástocný, Ales Janota, Jirí Zahradník:
  The Use of UML for Development of a Railway Interlocking System. SoftSpez Final Report 2004: 174-198
• 
  Jürgen Ruf, Roland J. Weiss, Thomas Kropf, Wolfgang Rosenstiel:
  Modeling and Formal Verification of Production Automation Systems. SoftSpez Final Report 2004: 541-566
• 
  Wilhelm Schäfer, Robert Wagner, Jürgen Gausemeier, Raimund Eckes:
  An Engineer's Workstation to Support Integrated Development of Flexible Production Control Systems. SoftSpez Final Report 2004: 48-68
• 
  Eckehard Schnieder:
  Specification Methodology, Case Studies, and Experiments - An Introduction to the Subject Area of Traffic Control Systems. SoftSpez Final Report 2004: 89-95
• 
  Andreas Thums, Gerhard Schellhorn, Frank Ortmeier, Wolfgang Reif:
  Interactive Verification of Statecharts. SoftSpez Final Report 2004: 355-373

skipping 3 more matches