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 / [electronic resource] :
edited by John Hatcliff, Elena Zucca.
- 1st ed. 2010.
- XII, 233 p. 40 illus. online resource.
- Programming and Software Engineering, 6117 2945-9168 ; .
- Programming and Software Engineering, 6117 .
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.
9783642134647
10.1007/978-3-642-13464-7 doi
Computer networks .
Computer programming.
Software engineering.
Compilers (Computer programs).
Computer science.
Machine theory.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
TK5105.5-5105.9
004.6
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.
9783642134647
10.1007/978-3-642-13464-7 doi
Computer networks .
Computer programming.
Software engineering.
Compilers (Computer programs).
Computer science.
Machine theory.
Computer Communication Networks.
Programming Techniques.
Software Engineering.
Compilers and Interpreters.
Computer Science Logic and Foundations of Programming.
Formal Languages and Automata Theory.
TK5105.5-5105.9
004.6