Jim Davies, Jeremy Gibbons
Proceedings of the Sixth International Conference on Integrated Formal Methods
IFM, 2007.

@proceedings{IFM-2007,
	address       = "Oxford, England, United Kingdom",
	editor        = "Jim Davies and Jeremy Gibbons",
	isbn          = "978-3-540-73209-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the Sixth International Conference on Integrated Formal Methods}",
	volume        = 4591,
	year          = 2007,
}

Contents (33 items)

11 ×#verification
7 ×#specification
4 ×#modelling
3 ×#probability
3 ×#realtime
3 ×#using
2 ×#behaviour
2 ×#data type
2 ×#network
2 ×#process

IFM-2007-AguirreRM #community #design #verification

Verifying Temporal Properties of CommUnity Designs (NA, GR, TSEM), pp. 1–20.

IFM-2007-AuSC #precise #specification

Precise Scenarios — A Customer-Friendly Foundation for Formal Specifications (OA, RS, JC), pp. 21–36.

IFM-2007-BraghinSB #automation #mobile #policy #security #verification

Automated Verification of Security Policies in Mobile Code (CB, NS, KBA), pp. 37–53.

IFM-2007-Bruckner #concurrent #realtime #slicing #specification #verification

Slicing Concurrent Real-Time System Specifications for Verification (IB), pp. 54–74.

IFM-2007-ButterfieldSW

Slotted-Circus (AB, AS, JW), pp. 75–97.

IFM-2007-CalameIPS #debugging

Bug Hunting with False Negatives (JRC, NI, JvdP, NS), pp. 98–117.

IFM-2007-CavarraW #behaviour #modelling #specification

Behavioural Specifications from Class Models (AC, JW), pp. 118–137.

IFM-2007-Chen #process

Inheriting Laws for Processes with States (YC), pp. 138–155.

IFM-2007-ColvinGW #behaviour #probability

Probabilistic Timed Behavior Trees (RC, LG, KW), pp. 156–175.

IFM-2007-CouchotD #specification

Guiding the Correction of Parameterized Specifications (JFC, FD), pp. 176–194.

IFM-2007-DerrickSW #proving #refinement

Proving Linearizability Via Non-atomic Refinement (JD, GS, HW), pp. 195–214.

IFM-2007-DunneG #correctness

Lifting General Correctness into Partial Correctness is ok (SD, AG), pp. 215–232.

IFM-2007-FaberJS #data type #parametricity #specification #verification

Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters (JF, SJ, VSS), pp. 233–252.

IFM-2007-FehnkerHM #modelling #network #protocol #verification

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks (AF, LvH, AM), pp. 253–272.

IFM-2007-GheorghiuGC #logic #query

Finding State Solutions to Temporal Logic Queries (MG, AG, MC), pp. 273–292.

IFM-2007-HallerstedeH #modelling #probability

Qualitative Probabilistic Modelling in Event-B (SH, TSH), pp. 293–312.

IFM-2007-HanebergGRS #approach #smarttech #verification

Verifying Smart Card Applications: An ASM Approach (DH, HG, WR, GS), pp. 313–332.

IFM-2007-HasanT #cumulative #probability #using #verification

Verification of Probabilistic Properties in HOL Using the Cumulative Distribution Function (OH, ST), pp. 333–352.

IFM-2007-Jifeng #semantics #web #web service

UTP Semantics for Web Services (JH), pp. 353–372.

IFM-2007-KarkinskyST

Combining Mobility with State (DK, SAS, HT), pp. 373–392.

IFM-2007-KongOF #algebra #analysis #formal method

Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System (WK, KO, KF), pp. 393–412.

IFM-2007-Marr #csp

Capturing Conflict and Confusion in CSP (CM), pp. 413–438.

IFM-2007-MeinickeS #development #process #realtime #reasoning #reliability

A Stepwise Development Process for Reasoning About the Reliability of Real-Time Systems (LM, GS), pp. 439–458.

IFM-2007-Metzler #specification #verification

Decomposing Integrated Specifications for Verification (BM), pp. 459–479.

IFM-2007-PlaggeL #model checking #specification #using #validation

Validating Z Specifications Using the ProBAnimator and Model Checker (DP, ML), pp. 480–500.

IFM-2007-PodorozhnyKPZ #alloy #multi #using #verification

Verification of Multi-agent Negotiations Using the Alloy Analyzer (RMP, SK, DEP, XZ), pp. 501–517.

IFM-2007-PostK #linux #static analysis #verification

Integrated Static Analysis for Linux Device Driver Verification (HP, WK), pp. 518–537.

IFM-2007-OostdijkRTVW #encryption #learning #protocol #testing #verification

Integrating Verification, Testing, and Learning for Cryptographic Protocols (MO, VR, JT, RGdV, TACW), pp. 538–557.

IFM-2007-SalaunKLM #automaton #network

Translating FSP into LOTOS and Networks of Automata (GS, JK, FL, JM), pp. 558–578.

IFM-2007-SinnigCK #case study #modelling #semantics

Common Semantics for Use Cases and Task Models (DS, PC, FK), pp. 579–598.

IFM-2007-SmithG

Unifying Theories of Objects (MAS, JG), pp. 599–618.

IFM-2007-Toben #communication #data type #reduction

Non-interference Properties for Data-Type Reduction of Communicating Systems (TT), pp. 619–638.

IFM-2007-VerhoefVHB #distributed #embedded #realtime

Co-simulation of Distributed Embedded Real-Time Control Systems (MV, PV, JH, JFB), pp. 639–658.