25. FORTE 2005:
Taipei,
Taiwan
Farn Wang (Ed.):
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 3731 Springer 2005, ISBN 3-540-29189-X BibTeX
Keynote Speeches
Regular Papers
- Stefan Strubbe, Rom Langerak:
A Composition Operator for Systems with Active and Passive Actions.
24-37
Electronic Edition (link) BibTeX
- Youcef Hammal:
A Formal Semantics of UML StateCharts by Means of Timed Petri Nets.
38-52
Electronic Edition (link) BibTeX
- Benedikt Bollig, Martin Leucker:
A Hierarchy of Implementable MSC Languages.
53-67
Electronic Edition (link) BibTeX
- A. Prasad Sistla, Min Zhou:
Combining Static Analysis and Model Checking for Systems Employing Commutative Functions.
68-82
Electronic Edition (link) BibTeX
- Dezhuang Zhang, Rance Cleaveland:
Fast Generic Model-Checking for Data-Based Systems.
83-97
Electronic Edition (link) BibTeX
- Lijun Zhang, Holger Hermanns, David N. Jansen:
Logic and Model Checking for Hidden Markov Models.
98-112
Electronic Edition (link) BibTeX
- Bow-Yaw Wang:
Proving forall-µ-Calculus Properties with SAT-Based Model Checking.
113-127
Electronic Edition (link) BibTeX
- Oskar Wibling, Joachim Parrow, Arnold Neville Pears:
Ad Hoc Routing Protocol Verification Through Broadcast Abstraction.
128-142
Electronic Edition (link) BibTeX
- Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot:
Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol.
143-158
Electronic Edition (link) BibTeX
- César Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna:
Thread Allocation Protocols for Distributed Real-Time and Embedded Systems.
159-173
Electronic Edition (link) BibTeX
- Charles Lakos:
A Petri Net View of Mobility.
174-188
Electronic Edition (link) BibTeX
- Kais Klai, Serge Haddad, Jean-Michel Ilié:
Modular Verification of Petri Nets Properties: A Structure-Based Approach.
189-203
Electronic Edition (link) BibTeX
- Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko:
An Improved Conformance Testing Method.
204-218
Electronic Edition (link) BibTeX
- Jessica Chen, Robert M. Hierons, Hasan Ural:
Resolving Observability Problems in Distributed Test Architectures.
219-232
Electronic Edition (link) BibTeX
- Chi-Lan Chang, Yun-Peng Chiu, Chin-Laung Lei:
Automatic Generation of Conflict-Free IPsec Policies.
233-246
Electronic Edition (link) BibTeX
- Gerrit Rothmaier, Heiko Krumm:
A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks.
247-260
Electronic Edition (link) BibTeX
- Junyan Qian, Baowen Xu:
Model Checking for Timed Statecharts.
261-274
Electronic Edition (link) BibTeX
- Kairong Qian, Albert Nymeyer, Steven Susanto:
Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis.
275-289
Electronic Edition (link) BibTeX
- Pao-Ann Hsiung, Yen-Hung Lin:
Modeling and Verification of Safety-Critical Systems Using Safecharts.
290-304
Electronic Edition (link) BibTeX
- Steffen Helke, Florian Kammüller:
Structure Preserving Data Abstractions for Statecharts.
305-319
Electronic Edition (link) BibTeX
- Astrid Kiehn, S. Arun-Kumar:
Amortised Bisimulations.
320-334
Electronic Edition (link) BibTeX
- Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke:
Proof Methodologies for Behavioural Equivalence in DPI.
335-350
Electronic Edition (link) BibTeX
- Naijun Zhan, Mila E. Majster-Cederbaum:
Deriving Non-determinism from Conjunction and Disjunction.
351-365
Electronic Edition (link) BibTeX
- Jameleddine Hassine, Juergen Rilling, Rachida Dssouli:
Abstract Operational Semantics for Use Case Maps.
366-380
Electronic Edition (link) BibTeX
- Matteo Pradella, Matteo Rossi, Dino Mandrioli:
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
381-395
Electronic Edition (link) BibTeX
- Bassel Daou, Gregor von Bochmann:
Submodule Construction for Extended State Machine Models.
396-410
Electronic Edition (link) BibTeX
- Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch:
Towards Synchronizing Linear Collaborative Objects with Operational Transformation.
411-427
Electronic Edition (link) BibTeX
- Arshad Jhumka, Neeraj Suri:
Designing Efficient Fail-Safe Multitolerant Systems.
428-442
Electronic Edition (link) BibTeX
- Jean-Michel Couvreur, Yann Thierry-Mieg:
Hierarchical Decision Diagrams to Exploit Model Structure.
443-457
Electronic Edition (link) BibTeX
- Chang Yu, Li-Hsing Yen:
Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks.
458-472
Electronic Edition (link) BibTeX
- Kenneth J. Turner:
Formalising Web Services.
473-488
Electronic Edition (link) BibTeX
- Thomas Chatain, Loïc Hélouët, Claude Jard:
From Automata Networks to HMSCs: A Reverse Model Engineering Perspective.
489-502
Electronic Edition (link) BibTeX
- Joel Kelso, George Milne:
Properties as Processes: Their Specification and Verification.
503-517
Electronic Edition (link) BibTeX
Short Papers
- Yueh-Ting Wu, Wanjiun Liao, Cheng-Lin Tsao:
Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks.
518-524
Electronic Edition (link) BibTeX
- Kai-Hui Chang, Jeh-Yen Kang, Han-Wei Wang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo:
Automatic Partitioner for Behavior Level Distributed Logic Simulation.
525-528
Electronic Edition (link) BibTeX
- César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna:
Expressive Completeness of an Event-Pattern Reactive Programming Language.
529-532
Electronic Edition (link) BibTeX
- Alexandra Desmoulin, César Viho:
Formalizing Interoperability Testing: Quiescence Management and Test Generation.
533-537
Electronic Edition (link) BibTeX
- Yujun Zhang, Zhongcheng Li:
Formal Description of Mobile IPv6 Protocol.
538-541
Electronic Edition (link) BibTeX
- Horst Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen, Elisei Rotaru:
Incremental Modeling Under Large-Scale Distributed Interaction.
542-546
Electronic Edition (link) BibTeX
- Yongjian Li:
The Inductive Approach to Strand Space.
547-552
Electronic Edition (link) BibTeX
- Peng Wu, Dongmei Zhang:
Compositional Modelling and Verification of IPv6 Mobility.
553-556
Electronic Edition (link) BibTeX
Copyright © Sat May 16 23:12:32 2009
by Michael Ley (ley@uni-trier.de)