How to write a successful SoSyM submission Jeff GrayBernhard Rumpe Editorial 13 September 2016 Pages: 929 - 931
Theme issue on Integrated Formal Methods Einar Broch JohnsenLuigia Petre Guest Editorial 08 December 2015 Pages: 933 - 935
An overview of model checking practices on verification of PLC software Tolga OvatmanAtakan AralAli Osman Ünver Theme Section Paper 25 December 2014 Pages: 937 - 960
Model-checking software library API usage rules Fu SongTayssir Touili Theme Section Paper 19 May 2015 Pages: 961 - 985
A formal verification framework for static analysis Elvira AlbertRichard BubelGuillermo Román-Díez Theme Section Paper 15 July 2015 Pages: 987 - 1012
A framework for deadlock detection in core ABS Elena GiachinoCosimo LaneveMichael Lienhardt Theme Section Paper 29 January 2015 Pages: 1013 - 1048
Automated anonymity verification of the ThreeBallot and VAV voting systems Murat MoranJames HeatherSteve Schneider Theme Section Paper 06 January 2015 Pages: 1049 - 1062
Constructing and verifying a robust Mix Net using CSP Efstathios StathakidisDavid M. WilliamsJames Heather Theme Section Paper 17 June 2015 Pages: 1063 - 1089
The Unit-B method: refinement guided by progress concerns Simon HudonThai Son HoangJonathan S. Ostroff Theme Section Paper 15 March 2015 Pages: 1091 - 1116
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic Stijn de GouwFrank de BoerRichard Bubel Theme Section Paper 25 December 2014 Pages: 1117 - 1140
Contract-based verification of discrete-time multi-rate Simulink models Pontus BoströmJonatan Wiik Theme Section Paper 03 June 2015 Pages: 1141 - 1161
Knowledge-based construction of distributed constrained systems Susanne GrafSophie Quinton Theme Section Paper 26 February 2015 Pages: 1163 - 1180
Feature Nets: behavioural modelling of software product lines Radu MuscheviciJosé ProençaDave Clarke Theme Section Paper 17 June 2015 Pages: 1181 - 1206
Supporting different process views through a Shared Process Model Jochen KüsterHagen VölzerKrzysztof Czarnecki Regular Paper 24 January 2015 Pages: 1207 - 1233