Titel: Formal Techniques for Networked and Distributed Systems - FORTE 2005
25th IFIP WG 6. 1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings.
'Lecture Notes in Computer Science'. 'Programming and Software Engineering'.
Herausgegeben von Farn Wang
26. September 2005 - kartoniert - XII
FORTE (Formal Techniques for Networked and Distributed Systems) 2005 was sp- sored by Working Group 6.1, Technical Committee 6 (TC6) of the International Fed- ation for InformationProcessing (IFIP).The conferenceseries started in 1981underthe name PSTV (ProtocolSpeci?cation, Testing, and Veri?cation).In 1988,a second series under the name FORTE was started. Both series merged to FORTE/PSTV in 1996. The conference name was changed to FORTE in 2001. During its 24-year history, many important contributions have been reported in the conference series. The last ?ve me- ings of FORTE were held in Pisa (Italy), Cheju Island (Korea), Houston (USA), Berlin (Germany), and Madrid (Spain). The 25th FORTE was held from Sunday to Wednesday, October 2-5, 2005 on the beautiful campus of the National Taiwan University (NTU), Taipei, Taiwan, ROC. The scope covered formal description techniques (MSC, UML, Use cases, ...), semantic foundations, model-checking, SAT-based techniques, process algebrae, - stractions, protocol testing, protocol veri?cation, network synthesis, security system analysis, network robustness, embedded systems, communication protocols, and s- eral promising new techniques. In total, we received 88 submissions and accepted 33 regular papers and 6 short papers. All submissions received three reviews. The ?nal program also included 3 keynote speeches, respectively by Prof. Amir Pnueli, Dr. C- stance Heitmeyer, and Prof. Teruo Higashino, and 3 tutorials, respectively by Prof. Rance Cleaveland, Dr. Constance Heitmeyer, and Prof. Teruo Higashino. The proce- ings also include the text of the keynote speeches. In addition, there were social events, including a reception, a banquet, and an excursion.
Ranking Abstraction as Companion to Predicate Abstraction.
Developing High Quality Software with Formal Methods: What Else Is Needed?.
A Testing Architecture for Designing High-Reliable MANET Protocols.
A Composition Operator for Systems with Active and Passive Actions.
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.
A Hierarchy of Implementable MSC Languages.
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions.
Fast Generic Model-Checking for Data-Based Systems.
Logic and Model Checking for Hidden Markov Models.
Proving ??-Calculus Properties with SAT-Based Model Checking.
Ad Hoc Routing Protocol Verification Through Broadcast Abstraction.
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems.
A Petri Net View of Mobility.
Modular Verification of Petri Nets Properties: A Structure-Based Approach.
An Improved Conformance Testing Method.
Resolving Observability Problems in Distributed Test Architectures.
Automatic Generation of Conflict-Free IPsec Policies.
A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks.
Model Checking for Timed Statecharts.
Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.
Modeling and Verification of Safety-Critical Systems Using Safecharts.
Structure Preserving Data Abstractions for Statecharts.
Proof Methodologies for Behavioural Equivalence in Dpi.
Deriving Non-determinism from Conjunction and Disjunction.
Abstract Operational Semantics for Use Case Maps.
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
Submodule Construction for Extended State Machine Models.
Towards Synchronizing Linear Collaborative Objects with Operational Transformation.
Designing Efficient Fail-Safe Multitolerant Systems.
Hierarchical Decision Diagrams to Exploit Model Structure.
Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks.
Formalising Web Services.
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.
Properties as Processes: Their Specification and Verification.
Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks.
Automatic Partitioner for Behavior Level Distributed Logic Simulation.
Expressive Completeness of an Event-Pattern Reactive Programming Language.
Formalizing Interoperability Testing: Quiescence Management and Test Generation.
Formal Description of Mobile IPv6 Protocol.
Incremental Modeling Under Large-Scale Distributed Interaction.
The Inductive Approach to Strand Space.
Compositional Modelling and Verification of IPv6 Mobility.