Abstract is missing.
- Verifying Temporal Properties of CommUnity DesignsNazareno Aguirre, Germán Regis, T. S. E. Maibaum. 1-20 [doi]
- Precise Scenarios - A Customer-Friendly Foundation for Formal SpecificationsOliver Au, Roger Stone, John Cooke. 21-36 [doi]
- Automated Verification of Security Policies in Mobile CodeChiara Braghin, Natasha Sharygina, Katerina Barone-Adesi. 37-53 [doi]
- Slicing Concurrent Real-Time System Specifications for VerificationIngo Brückner. 54-74 [doi]
- Slotted-CircusAndrew Butterfield, Adnan Sherif, Jim Woodcock. 75-97 [doi]
- Bug Hunting with False NegativesJens R. Calame, Natalia Ioustinova, Jaco van de Pol, Natalia Sidorova. 98-117 [doi]
- Behavioural Specifications from Class ModelsAlessandra Cavarra, James Welch. 118-137 [doi]
- Inheriting Laws for Processes with StatesYifeng Chen. 138-155 [doi]
- Probabilistic Timed Behavior TreesRobert Colvin, Lars Grunske, Kirsten Winter. 156-175 [doi]
- Guiding the Correction of Parameterized SpecificationsJean-Francois Couchot, Frédéric Dadeau. 176-194 [doi]
- Proving Linearizability Via Non-atomic RefinementJohn Derrick, Gerhard Schellhorn, Heike Wehrheim. 195-214 [doi]
- Lifting General Correctness into Partial Correctness is ::::ok::::Steve Dunne, Andy Galloway. 215-232 [doi]
- Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing ParametersJohannes Faber, Swen Jacobs, Viorica Sofronie-Stokkermans. 233-252 [doi]
- Modelling and Verification of the LMAC Protocol for Wireless Sensor NetworksAnsgar Fehnker, Lodewijk van Hoesel, Angelika Mader. 253-272 [doi]
- Finding State Solutions to Temporal Logic QueriesMihaela Gheorghiu, Arie Gurfinkel, Marsha Chechik. 273-292 [doi]
- Qualitative Probabilistic Modelling in Event-BStefan Hallerstede, Thai Son Hoang. 293-312 [doi]
- Verifying Smart Card Applications: An ASM ApproachDominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn. 313-332 [doi]
- Verification of Probabilistic Properties in HOL Using the Cumulative Distribution FunctionOsman Hasan, Sofiène Tahar. 333-352 [doi]
- UTP Semantics for Web ServicesJifeng He. 353-372 [doi]
- Combining Mobility with StateDamien Karkinsky, Steve A. Schneider, Helen Treharne. 373-392 [doi]
- Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse SystemWeiqiang Kong, Kazuhiro Ogata, Kokichi Futatsugi. 393-412 [doi]
- Capturing Conflict and Confusion in CSPChristie Marr. 413-438 [doi]
- A Stepwise Development Process for Reasoning About the Reliability of Real-Time SystemsLarissa Meinicke, Graeme Smith. 439-458 [doi]
- Decomposing Integrated Specifications for VerificationBjörn Metzler. 459-479 [doi]
- Validating Z Specifications Using the ProBAnimator and Model CheckerDaniel Plagge, Michael Leuschel. 480-500 [doi]
- Verification of Multi-agent Negotiations Using the Alloy AnalyzerRodion M. Podorozhny, Sarfraz Khurshid, Dewayne E. Perry, Xiaoqin Zhang. 501-517 [doi]
- Integrated Static Analysis for Linux Device Driver VerificationHendrik Post, Wolfgang Küchlin. 518-537 [doi]
- Integrating Verification, Testing, and Learning for Cryptographic ProtocolsMartijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse. 538-557 [doi]
- Translating FSP into LOTOS and Networks of AutomataGwen Salaün, Jeff Kramer, Frédéric Lang, Jeff Magee. 558-578 [doi]
- Common Semantics for Use Cases and Task ModelsDaniel Sinnig, Patrice Chalin, Ferhat Khendek. 579-598 [doi]
- Unifying Theories of ObjectsMichael Anthony Smith, Jeremy Gibbons. 599-618 [doi]
- Non-interference Properties for Data-Type Reduction of Communicating SystemsTobe Toben. 619-638 [doi]
- Co-simulation of Distributed Embedded Real-Time Control SystemsMarcel Verhoef, Peter Visser, Jozef Hooman, Jan F. Broenink. 639-658 [doi]