| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
A formal verification framework for static analysis
|
Albert, Elvira
|
|
2015
|
15 |
4 |
p. 987-1012
|
article
|
| 2 |
A framework for deadlock detection in core ABS
|
Giachino, Elena
|
|
2015
|
15 |
4 |
p. 1013-1048
|
article
|
| 3 |
An overview of model checking practices on verification of PLC software
|
Ovatman, Tolga
|
|
2014
|
15 |
4 |
p. 937-960
|
article
|
| 4 |
Automated anonymity verification of the ThreeBallot and VAV voting systems
|
Moran, Murat
|
|
2015
|
15 |
4 |
p. 1049-1062
|
article
|
| 5 |
Constructing and verifying a robust Mix Net using CSP
|
Stathakidis, Efstathios
|
|
2015
|
15 |
4 |
p. 1063-1089
|
article
|
| 6 |
Contract-based verification of discrete-time multi-rate Simulink models
|
Boström, Pontus
|
|
2015
|
15 |
4 |
p. 1141-1161
|
article
|
| 7 |
Feature Nets: behavioural modelling of software product lines
|
Muschevici, Radu
|
|
2015
|
15 |
4 |
p. 1181-1206
|
article
|
| 8 |
How to write a successful SoSyM submission
|
Gray, Jeff
|
|
2016
|
15 |
4 |
p. 929-931
|
article
|
| 9 |
Integrating deductive verification and symbolic execution for abstract object creation in dynamic logic
|
Gouw, Stijn de
|
|
2014
|
15 |
4 |
p. 1117-1140
|
article
|
| 10 |
Knowledge-based construction of distributed constrained systems
|
Graf, Susanne
|
|
2015
|
15 |
4 |
p. 1163-1180
|
article
|
| 11 |
Model-checking software library API usage rules
|
Song, Fu
|
|
2015
|
15 |
4 |
p. 961-985
|
article
|
| 12 |
Supporting different process views through a Shared Process Model
|
Küster, Jochen
|
|
2015
|
15 |
4 |
p. 1207-1233
|
article
|
| 13 |
Theme issue on Integrated Formal Methods
|
Johnsen, Einar Broch
|
|
2015
|
15 |
4 |
p. 933-935
|
article
|
| 14 |
The Unit-B method: refinement guided by progress concerns
|
Hudon, Simon
|
|
2015
|
15 |
4 |
p. 1091-1116
|
article
|
Journal description