| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A component-based framework for certification of components in a cloud of HPC services
|
de Oliveira Dantas, Allberson Bruno
|
|
|
191 |
C |
p.
|
artikel
|
| 2 |
Automated reasoning framework for traceability management of system of systems
|
Tekinerdogan, Bedir
|
|
|
191 |
C |
p.
|
artikel
|
| 3 |
Beyond connected cars: A systems of systems perspective
|
Pelliccione, Patrizio
|
|
|
191 |
C |
p.
|
artikel
|
| 4 |
Editorial Board
|
|
|
|
191 |
C |
p.
|
artikel
|
| 5 |
From CIL to Java bytecode: Semantics-based translation for static analysis leveraging
|
Ferrara, Pietro
|
|
|
191 |
C |
p.
|
artikel
|
| 6 |
Mutating code annotations: An empirical evaluation on Java and C# programs
|
Pinheiro, Pedro
|
|
|
191 |
C |
p.
|
artikel
|
| 7 |
Preface to the Special Issue on Foundations of Coordination Languages and Self-Adaptive Systems (Foclasa 2018)
|
Jacquet, Jean-Marie
|
|
|
191 |
C |
p.
|
artikel
|
| 8 |
Prioritizing versions for performance regression testing: The Pharo case
|
Sandoval Alcocer, Juan Pablo
|
|
|
191 |
C |
p.
|
artikel
|
| 9 |
Program extraction for mutable arrays
|
Sakaguchi, Kazuhiko
|
|
|
191 |
C |
p.
|
artikel
|
| 10 |
Selected papers from the Brazilian Symposium on Formal Methods (SBMF 2017)
|
Cavalheiro, Simone
|
|
|
191 |
C |
p.
|
artikel
|
| 11 |
The MATLAB Toolbox for EnergyPLAN: A tool to extend energy planning studies
|
Cabrera, Pedro
|
|
|
191 |
C |
p.
|
artikel
|
Tijdschrift beschrijving