Abstract is missing.
- Ranking Abstraction as Companion to Predicate AbstractionIttai Balaban, Amir Pnueli, Lenore D. Zuck. 1-12 [doi]
- Developing High Quality Software with Formal Methods: What Else Is Needed?Constance L. Heitmeyer. 13-19 [doi]
- A Testing Architecture for Designing High-Reliable MANET ProtocolsTeruo Higashino, Hirozumi Yamaguchi. 20-23 [doi]
- A Composition Operator for Systems with Active and Passive ActionsStefan Strubbe, Rom Langerak. 24-37 [doi]
- A Formal Semantics of UML StateCharts by Means of Timed Petri NetsYoucef Hammal. 38-52 [doi]
- A Hierarchy of Implementable MSC LanguagesBenedikt Bollig, Martin Leucker. 53-67 [doi]
- Combining Static Analysis and Model Checking for Systems Employing Commutative FunctionsA. Prasad Sistla, Min Zhou. 68-82 [doi]
- Fast Generic Model-Checking for Data-Based SystemsDezhuang Zhang, Rance Cleaveland. 83-97 [doi]
- Logic and Model Checking for Hidden Markov ModelsLijun Zhang, Holger Hermanns, David N. Jansen. 98-112 [doi]
- Proving forall-µ-Calculus Properties with SAT-Based Model CheckingBow-Yaw Wang. 113-127 [doi]
- Ad Hoc Routing Protocol Verification Through Broadcast AbstractionOskar Wibling, Joachim Parrow, Arnold Neville Pears. 128-142 [doi]
- Discovering Chatter and Incompleteness in the Datagram Congestion Control ProtocolSomsak Vanit-Anunchai, Jonathan Billington, Tul Kongprakaiwoot. 143-158 [doi]
- Thread Allocation Protocols for Distributed Real-Time and Embedded SystemsCésar Sánchez, Henny B. Sipma, Venkita Subramonian, Christopher D. Gill, Zohar Manna. 159-173 [doi]
- A Petri Net View of MobilityCharles Lakos. 174-188 [doi]
- Modular Verification of Petri Nets Properties: A Structure-Based ApproachKais Klai, Serge Haddad, Jean-Michel Ilié. 189-203 [doi]
- An Improved Conformance Testing MethodRita Dorofeeva, Khaled El-Fakih, Nina Yevtushenko. 204-218 [doi]
- Resolving Observability Problems in Distributed Test ArchitecturesJessica Chen, Robert M. Hierons, Hasan Ural. 219-232 [doi]
- Automatic Generation of Conflict-Free IPsec PoliciesChi-Lan Chang, Yun-Peng Chiu, Chin-Laung Lei. 233-246 [doi]
- A Framework Based Approach for Formal Modeling and Analysis of Multi-level Attacks in Computer NetworksGerrit Rothmaier, Heiko Krumm. 247-260 [doi]
- Model Checking for Timed StatechartsJunyan Qian, Baowen Xu. 261-274 [doi]
- Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic SynthesisKairong Qian, Albert Nymeyer, Steven Susanto. 275-289 [doi]
- Modeling and Verification of Safety-Critical Systems Using SafechartsPao-Ann Hsiung, Yen-Hung Lin. 290-304 [doi]
- Structure Preserving Data Abstractions for StatechartsSteffen Helke, Florian Kammüller. 305-319 [doi]
- Amortised BisimulationsAstrid Kiehn, S. Arun-Kumar. 320-334 [doi]
- Proof Methodologies for Behavioural Equivalence in DPIAlberto Ciaffaglione, Matthew Hennessy, Julian Rathke. 335-350 [doi]
- Deriving Non-determinism from Conjunction and DisjunctionNaijun Zhan, Mila E. Majster-Cederbaum. 351-365 [doi]
- Abstract Operational Semantics for Use Case MapsJameleddine Hassine, Juergen Rilling, Rachida Dssouli. 366-380 [doi]
- ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal SemanticsMatteo Pradella, Matteo Rossi, Dino Mandrioli. 381-395 [doi]
- Submodule Construction for Extended State Machine ModelsBassel Daou, Gregor von Bochmann. 396-410 [doi]
- Towards Synchronizing Linear Collaborative Objects with Operational TransformationAbdessamad Imine, Pascal Molli, Gérald Oster, Michaël Rusinowitch. 411-427 [doi]
- Designing Efficient Fail-Safe Multitolerant SystemsArshad Jhumka, Neeraj Suri. 428-442 [doi]
- Hierarchical Decision Diagrams to Exploit Model StructureJean-Michel Couvreur, Yann Thierry-Mieg. 443-457 [doi]
- Computing Subgraph Probability of Random Geometric Graphs: Quantitative Analyses of Wireless Ad Hoc NetworksChang Yu, Li-Hsing Yen. 458-472 [doi]
- Formalising Web ServicesKenneth J. Turner. 473-488 [doi]
- From Automata Networks to HMSCs: A Reverse Model Engineering PerspectiveThomas Chatain, Loïc Hélouët, Claude Jard. 489-502 [doi]
- Properties as Processes: Their Specification and VerificationJoel Kelso, George Milne. 503-517 [doi]
- Epoch Distance of the Random Waypoint Model in Mobile Ad Hoc NetworksYueh-Ting Wu, Wanjiun Liao, Cheng-Lin Tsao. 518-524 [doi]
- Automatic Partitioner for Behavior Level Distributed Logic SimulationKai-Hui Chang, Jeh-Yen Kang, Han-Wei Wang, Wei-Ting Tu, Yi-Jong Yeh, Sy-Yen Kuo. 525-528 [doi]
- Expressive Completeness of an Event-Pattern Reactive Programming LanguageCésar Sánchez, Matteo Slanina, Henny B. Sipma, Zohar Manna. 529-532 [doi]
- Formalizing Interoperability Testing: Quiescence Management and Test GenerationAlexandra Desmoulin, César Viho. 533-537 [doi]
- Formal Description of Mobile IPv6 ProtocolYujun Zhang, Zhongcheng Li. 538-541 [doi]
- Incremental Modeling Under Large-Scale Distributed InteractionHorst Wedde, Arnim Wedig, Anca Lazarescu, Ralf Paaschen, Elisei Rotaru. 542-546 [doi]
- The Inductive Approach to Strand SpaceYongjian Li. 547-552 [doi]
- Compositional Modelling and Verification of IPv6 MobilityPeng Wu 0002, Dongmei Zhang. 553-556 [doi]