6. IFM 2007: Oxford, UK

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