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