Abstract is missing.
- Software Verification and System AssuranceJohn M. Rushby. 3-10 [doi]
- Integrated Modeling and Verification of Real-Time Systems through Multiple ParadigmsMarcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi. 13-22 [doi]
- Implementation Correctness of a Real-Time Operating SystemMatthias Daum, Norbert Schirmer, Mareike Schmidt. 23-32 [doi]
- LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)Christian Colombo, Gordon J. Pace, Gerardo Schneider. 33-37 [doi]
- Simulation Relations for Systems with Distributed InterfacesRobert M. Hierons, Manuel Núñez. 41-50 [doi]
- An Automated Approach to Verifying Diagnosability in Multi-agent SystemsJonathan Ezekiel, Alessio Lomuscio. 51-60 [doi]
- Specifying Interacting Components with Coordinated Concurrent ScenariosPrakash Chandrasekaran, Madhavan Mukund. 61-69 [doi]
- Applying Formal Passive Testing to Study Temporal Properties of the Stream Control Transmission ProtocolCésar Andrés, Mercedes G. Merayo, Manuel Núñez. 73-82 [doi]
- Relational Interprocedural Verification of Concurrent ProgramsBertrand Jeannet. 83-92 [doi]
- Using Change Impact Analysis to Select Tests for Extended Finite State MachinesMahadevan Subramaniam, Bo Guo, Zoltán Pap. 93-102 [doi]
- Overflow and Roundoff Error Analysis via Model CheckingDo Thi Bich Ngoc, Mizuhito Ogawa. 105-114 [doi]
- Using Probabilistic Model Checking to Evaluate GUI Testing TechniquesCristiano Bertolini, Alexandre Mota. 115-124 [doi]
- Heuristic Sensitivity in Guided Random-Walk Based Model CheckingThang H. Bui, Albert Nymeyer. 125-134 [doi]
- Behavioral Specification of Reactive Systems Using Stream-Based I/O TablesBenjamin Hummel, Judith Thyssen. 137-146 [doi]
- Property-Driven Scenario IntegrationJewgenij Botaschanjan, Alexander Harhurin. 147-156 [doi]
- Checking Sequence Construction Using Adaptive and Preset Distinguishing SequencesRobert M. Hierons, Guy-Vincent Jourdan, Hasan Ural, Hüsnü Yenigün. 157-166 [doi]
- Checkmate: A Generic Static Analyzer of Java Multithreaded ProgramsPietro Ferrara. 169-178 [doi]
- Completeness of Pointer Program Verification by Separation LogicMakoto Tatsuta, Wei-Ngan Chin, Mahmudul Faisal Al Ameen. 179-188 [doi]
- Programming Sagas in SOCKIvan Lanese, Gianluigi Zavattaro. 189-198 [doi]
- Coordinated Consensus Analysis of Multi-agent Systems Using Event-BNinh-Thuan Truong, Thanh-Binh Trinh, Viet Ha Nguyen. 201-209 [doi]
- Event-B Patterns and Their Tool SupportThai Son Hoang, Andreas Furst, Jean-Raymond Abrial. 210-219 [doi]
- Specifying and Checking Refinement Relationships in VDM++Yojiro Kawamata, Christian Sommer 0002, Fuyuki Ishikawa, Shinichi Honiden. 220-227 [doi]
- A Computability Perspective on Self-Modifying ProgramsGuillaume Bonfante, Jean-Yves Marion, Daniel Reynaud-Plantey. 231-239 [doi]
- Right Propositional Neighborhood Logic over Natural Numbers with Integer Constraints for Interval LengthsDavide Bresolin, Valentin Goranko, Angelo Montanari, Guido Sciavicco. 240-249 [doi]
- Refinement via InterpretationManuel A. Martins, Alexandre Madeira, LuÃs Soares Barbosa. 250-259 [doi]
- Ontology-Based Reasoning in Requirements ElicitationDang Viet Dzung, Atsushi Ohnishi. 263-272 [doi]
- Formal Modeling and Analysis of an IETF Multicast ProtocolElisabeth Lien, Peter Csaba Ölveczky. 273-282 [doi]
- Mapping between Alloy Specifications and Database ImplementationsAlcino Cunha, Hugo Pacheco. 285-294 [doi]
- Modal Contracts for Component-Based DesignGregor Goessler, Jean-Baptiste Raclet. 295-303 [doi]
- Precise Model-Driven Transformations Based on Graphs and MetamodelsDuc-Hanh Dang, Martin Gogolla. 307-316 [doi]
- Adjusted Verification Rules for Loops Are More Complete and Give Better Diagnostics for LessPatrice Chalin. 317-324 [doi]