| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A family of heuristic search algorithms for feature model optimization
|
Sánchez, Luis Emiliano
|
|
2019
|
172 |
C |
p. 264-293
|
artikel
|
| 2 |
A formal model for Multi Software Product Lines
|
Damiani, Ferruccio
|
|
2019
|
172 |
C |
p. 203-231
|
artikel
|
| 3 |
A hierarchical verification approach to verify complex safety control systems based on STAMP
|
Han, Xiao
|
|
2019
|
172 |
C |
p. 117-134
|
artikel
|
| 4 |
An empirical comparative evaluation of gestUI to include gesture-based interaction in user interfaces
|
Parra, Otto
|
|
2019
|
172 |
C |
p. 232-263
|
artikel
|
| 5 |
Bisimilarity of open terms in stream GSOS
|
Bonchi, Filippo
|
|
2019
|
172 |
C |
p. 1-26
|
artikel
|
| 6 |
Editorial Board
|
|
|
2019
|
172 |
C |
p. ii
|
artikel
|
| 7 |
Model driven engineering of accessible and multi-platform graphical user interfaces by parameterized model transformations
|
Bouraoui, Amina
|
|
2019
|
172 |
C |
p. 63-101
|
artikel
|
| 8 |
Multi-core cyclic executives for safety-critical systems
|
Deutschbein, Calvin
|
|
2019
|
172 |
C |
p. 102-116
|
artikel
|
| 9 |
Session-ocaml: A session-based library with polarities and lenses
|
Imai, Keigo
|
|
2019
|
172 |
C |
p. 135-159
|
artikel
|
| 10 |
The early bird catches the worm: First verify, then monitor!
|
Ferrando, Angelo
|
|
2019
|
172 |
C |
p. 160-179
|
artikel
|
| 11 |
Tracing sharing in an imperative pure calculus
|
Giannini, Paola
|
|
2019
|
172 |
C |
p. 180-202
|
artikel
|
| 12 |
Unifying modal interface theories and compositional input/output conformance testing
|
Luthmann, Lars
|
|
2019
|
172 |
C |
p. 27-47
|
artikel
|
| 13 |
Universal (meta-)logical reasoning: Recent successes
|
Benzmüller, Christoph
|
|
2019
|
172 |
C |
p. 48-62
|
artikel
|
Tijdschrift beschrijving