Formal Techniques for Distributed Systems Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010, Proceedings
| Other Authors: | , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg
Springer Berlin Heidelberg
2010, 2010
|
| Edition: | 1st ed. 2010 |
| Series: | Programming and Software Engineering
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer eBooks 2005- - Collection details see MPG.ReNa |
Table of Contents:
- 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