Abstract is missing.
- Modeling Heterogeneous Real-time Components in BIPAnanda Basu, Marius Bozga, Joseph Sifakis. 3-12 [doi]
- The Context of Object Computation (extended abstract)Bertrand Meyer. 13-17 [doi]
- Automatic Property Checking for Software: Past, Present and FutureSriram K. Rajamani. 18-20 [doi]
- Harnessing Disruptive Innovation in Formal VerificationJohn M. Rushby. 21-30 [doi]
- A Semi-Automatic Methodology for Repairing FaultyWeb SitesMaría Alpuente, Demis Ballis, Moreno Falaschi, Daniel Romero. 31-40 [doi]
- On Bisimilarities Induced by Relations on ActionsS. Arun-Kumar. 41-49 [doi]
- Formalizing AspectJ Weaving for Static PointcutsNadia Belblidia, Mourad Debbabi. 50-59 [doi]
- Filtering Retrenchments into RefinementsRichard Banach, John Derrick. 60-69 [doi]
- Computing Complete Test Graphs for Hierarchical SystemsDeepak D Souza, Madhu Gopinathan. 70-79 [doi]
- Jose: Aspects for Design by Contract80-89Yishai A. Feldman, Ohad Barzilay, Shmuel S. Tyszberowicz. 80-89 [doi]
- Discern: Towards the Automatic Discovery of Software ContractsYishai A. Feldman, Leon Gendler. 90-99 [doi]
- A Model for Temporal relations between Object RolesG. Naresh, B. D. Chaudhary. 100-107 [doi]
- A PVS Based Framework for Validating Compiler OptimizationsAditya Kanade, Amitabha Sanyal, Uday P. Khedker. 108-117 [doi]
- Formal Modelling and Verification of an Asynchronous DLX PipelineHemangee K. Kapoor. 118-127 [doi]
- Product Automata and Process AlgebraKamal Lodaya. 128-136 [doi]
- Verification of JAVA CARD Applets Behavior with Respect to Transactions and Card TearsClaude Marché, Nicolas Rousset. 137-146 [doi]
- Specifying Data-Flow Requirements for the Automated Composition of Web ServicesAnnapaola Marconi, Marco Pistore, Paolo Traverso. 147-156 [doi]
- Requirements Modeling -- Experience from an Insurance ProjectG. Murali Krishna. 157-166 [doi]
- VPA-Based Aspects: Better Support for AOP over ProtocolsDong Ha Nguyen, Mario Südholt. 167-176 [doi]
- A Formal Model of Context-Awareness and Context-DependencyMats Neovius, Kaisa Sere, Lu Yan, M. Satpathy. 177-185 [doi]
- Composing Context Sensitive AnalysisPrahladavaradan Sampath, Shrawan Kumar. 186-195 [doi]
- ASEHA: A Framework for Modelling and Verification ofWeb Services ProtocolsPemadeep Ramsokul, Arcot Sowmya. 196-205 [doi]
- A Theory of Singly-Linked Lists and its Extensible Decision ProcedureSilvio Ranise, Calogero G. Zarba. 206-215 [doi]
- Describing and Executing Random Reactive SystemsPascal Raymond, Erwan Jahier, Yvan Roux. 216-225 [doi]
- A Bag-of-Tasks Approach for State Space Exploration Using Computational GridsCássio L. Rodrigues, Paulo E. S. Barbosa, Jairson M. Cabral, Jorge C. A. de Figueiredo, Dalton Serey Guerrero. 226-235 [doi]
- A Rigorous Approach to Requirements ValidationSrihari Sukumaran, Ashok Sreenivas, R. Venkatesh. 236-245 [doi]
- Declarative Performance Modeling for Component-Based System using UML Profile for Schedulability, Performance and TimeYong Zhang, Tao Huang, Jun Wei. 246-258 [doi]
- Retrenchment TutorialRichard Banach. 259 [doi]
- Integrating Object-Oriented Design and Deductive Verification of SoftwareBernhard Beckert, Reiner Hähnle, Peter H. Schmitt. 260 [doi]
- Static Analysis of Programs: A Heap Centric ViewUday P. Khedker. 261 [doi]
- Tutorial: Automated Formal Methods with PVS, SAL, and YicesJohn M. Rushby. 262 [doi]