25. FORTE 2005: Taipei, Taiwan

Keynote Speeches

• Ittai Balaban, Amir Pnueli, Lenore D. Zuck:
  Ranking Abstraction as Companion to Predicate Abstraction. 1-12
  
• Constance L. Heitmeyer:
  Developing High Quality Software with Formal Methods: What Else Is Needed? 13-19
  
• Teruo Higashino, Hirozumi Yamaguchi:
  A Testing Architecture for Designing High-Reliable MANET Protocols. 20-23
  

Regular Papers

• Stefan Strubbe, Rom Langerak:
  A Composition Operator for Systems with Active and Passive Actions. 24-37
  
• Youcef Hammal:
  A Formal Semantics of UML StateCharts by Means of Timed Petri Nets. 38-52
  
• Benedikt Bollig, Martin Leucker:
  A Hierarchy of Implementable MSC Languages. 53-67
  
• A. Prasad Sistla, Min Zhou:
  Combining Static Analysis and Model Checking for Systems Employing Commutative Functions. 68-82
  
• Dezhuang Zhang, Rance Cleaveland:
  Fast Generic Model-Checking for Data-Based Systems. 83-97
  
• Lijun Zhang, Holger Hermanns, David N. Jansen:
  Logic and Model Checking for Hidden Markov Models. 98-112
  
• Bow-Yaw Wang:
  Proving forall-µ-Calculus Properties with SAT-Based Model Checking. 113-127
  
• Oskar Wibling, Joachim Parrow, Arnold Neville Pears:
  Ad Hoc Routing Protocol Verification Through Broadcast Abstraction. 128-142
  
• Somsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot:
  Discovering Chatter and Incompleteness in the Datagram Congestion Control Protocol. 143-158
  
• 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
  
• Charles Lakos:
  A Petri Net View of Mobility. 174-188
  
• Kais Klai, Serge Haddad, Jean-Michel Ilié:
  Modular Verification of Petri Nets Properties: A Structure-Based Approach. 189-203
  
• Rita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko:
  An Improved Conformance Testing Method. 204-218
  
• Jessica Chen, Robert M. Hierons, Hasan Ural:
  Resolving Observability Problems in Distributed Test Architectures. 219-232
  
• Chi-Lan Chang, Yun-Peng Chiu, Chin-Laung Lei:
  Automatic Generation of Conflict-Free IPsec Policies. 233-246
  
• Gerrit Rothmaier, Heiko Krumm:
  A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer Networks. 247-260
  
• Junyan Qian, Baowen Xu:
  Model Checking for Timed Statecharts. 261-274
  
• Kairong Qian, Albert Nymeyer, Steven Susanto:
  Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. 275-289
  
• Pao-Ann Hsiung, Yen-Hung Lin:
  Modeling and Verification of Safety-Critical Systems Using Safecharts. 290-304
  
• Steffen Helke, Florian Kammüller:
  Structure Preserving Data Abstractions for Statecharts. 305-319
  
• Astrid Kiehn, S. Arun-Kumar:
  Amortised Bisimulations. 320-334
  
• Alberto Ciaffaglione, Matthew Hennessy, Julian Rathke:
  Proof Methodologies for Behavioural Equivalence in DPI. 335-350
  
• Naijun Zhan, Mila E. Majster-Cederbaum:
  Deriving Non-determinism from Conjunction and Disjunction. 351-365
  
• Jameleddine Hassine, Juergen Rilling, Rachida Dssouli:
  Abstract Operational Semantics for Use Case Maps. 366-380
  
• Matteo Pradella, Matteo Rossi, Dino Mandrioli:
  ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics. 381-395
  
• Bassel Daou, Gregor von Bochmann:
  Submodule Construction for Extended State Machine Models. 396-410
  
• Abdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch:
  Towards Synchronizing Linear Collaborative Objects with Operational Transformation. 411-427
  
• Arshad Jhumka, Neeraj Suri:
  Designing Efficient Fail-Safe Multitolerant Systems. 428-442
  
• Jean-Michel Couvreur, Yann Thierry-Mieg:
  Hierarchical Decision Diagrams to Exploit Model Structure. 443-457
  
• Chang Yu, Li-Hsing Yen:
  Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc Networks. 458-472
  
• Kenneth J. Turner:
  Formalising Web Services. 473-488
  
• Thomas Chatain, Loïc Hélouët, Claude Jard:
  From Automata Networks to HMSCs: A Reverse Model Engineering Perspective. 489-502
  
• Joel Kelso, George Milne:
  Properties as Processes: Their Specification and Verification. 503-517
  

Short Papers

• Yueh-Ting Wu, Wanjiun Liao, Cheng-Lin Tsao:
  Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc Networks. 518-524
  
• 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
  
• César Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna:
  Expressive Completeness of an Event-Pattern Reactive Programming Language. 529-532
  
• Alexandra Desmoulin, César Viho:
  Formalizing Interoperability Testing: Quiescence Management and Test Generation. 533-537
  
• Yujun Zhang, Zhongcheng Li:
  Formal Description of Mobile IPv6 Protocol. 538-541
  
• Horst Wedde, Arnim Wedig, Anca M. Lazarescu, Ralf Paaschen, Elisei Rotaru:
  Incremental Modeling Under Large-Scale Distributed Interaction. 542-546
  
• Yongjian Li:
  The Inductive Approach to Strand Space. 547-552
  
• Peng Wu, Dongmei Zhang:
  Compositional Modelling and Verification of IPv6 Mobility. 553-556
  

Last update Fri May 25 08:14:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page