Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID25th FORTE 2005: Taipei, Taiwan
- Farn Wang:
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
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 Wu 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 J. 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 F. 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
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2023-09-30 23:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
