Michael Leuschel, Heike Wehrheim
Selected papers on Integrated Formal Methods (iFM09)
IFM-J-2009, 2011.

@proceedings{IFM-J-2009,
	editor        = "Michael Leuschel and Heike Wehrheim",
	journal       = "{Science of Computer Programming}",
	number        = 10,
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Selected papers on Integrated Formal Methods (iFM09)}",
	volume        = 76,
	year          = 2011,
}

Contents (6 items)

2 ×#behaviour
2 ×#csp
2 ×#specification

IFM-J-2009-SchneiderT11 #csp #interface #refinement

Changing system interfaces consistently: A new refinement strategy for CSP||B (SS, HT), pp. 837–860.

IFM-J-2009-Weiss11 #abstraction #calculus #logic

Predicate abstraction in a program logic calculus (BW), pp. 861–876.

IFM-J-2009-BenesBBCSV11 #automaton #component #ltl #partial order #reduction

Partial order reduction for state/event LTL with application to component-interaction automata (NB, LB, BB, IC, JS, PV), pp. 877–890.

IFM-J-2009-ColvinH11 #behaviour #csp #semantics #specification #using

A semantics for Behavior Trees using CSP with specification commands (RC, IJH), pp. 891–914.

IFM-J-2009-DovlandJOS11 #behaviour #incremental #inheritance #lazy evaluation #multi #reasoning #type system

Incremental reasoning with lazy behavioral subtyping for multiple inheritance (JD, EBJ, OO, MS), pp. 915–941.

IFM-J-2009-WongG11a #modelling #specification #workflow

Property specifications for workflow modelling (PYHW, JG), pp. 942–967.