Proceedings of the Sixth International Conference on Integrated Formal Methods
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FM
DBLP
Scholar
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.