Formal Techniques for Distributed Systems

Inhaltsverzeichnis

• Invited Talk.
• Formal Software Verification: How Close Are We?.
• Formal UML Modeling.
• Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning.
• Reactive Semantics for Distributed UML Activities.
• Components and Architecture.
• Statistical Abstraction and Model-Checking of Large Heterogeneous Systems.
• Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude.
• Testing Probabilistic Distributed Systems.
• Specification and Testing of E-Commerce Agents Described by Using UIOLTSs.
• Testing Attribute-Based Transactions in SOC.
• Joint DisCoTec Session.
• Grouping Nodes in Wireless Sensor Networks Using Coalitional Game Theory.
• Timed Process Algebra.
• Forgetting the Time in Timed Process Algebra.
• Theory and Implementation of a Real-Time Extension to the ?-Calculus.
• Timed and Hybrid Automata.
• Fuzzy-Timed Automata.
• Model Checking of Hybrid Systems Using Shallow Synchronization.
• Program Logics and Analysis.
• Heap-Dependent Expressions in Separation Logic.
• Static Type Analysis of Pattern Matching by Abstract Interpretation.
• Reasoning about Distributed Systems.
• On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols.
• On Efficient Models for Model Checking Message-Passing Distributed Protocols.
• Logics for Contravariant Simulations.