| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A mechanized semantics for component-based systems in the HAMR AADL runtime
|
Hallerstede, Stefan
|
|
|
245 |
C |
p.
|
artikel
|
| 2 |
Analyzing MoWebA's adaptability across architectures
|
González, Magalí
|
|
|
245 |
C |
p.
|
artikel
|
| 3 |
A provably safe controller for the needle-steering problem using online strategy synthesis
|
Lehmann, Sascha
|
|
|
245 |
C |
p.
|
artikel
|
| 4 |
DopSteg: Program steganography using data-oriented programming
|
Lv, Jianqiang
|
|
|
245 |
C |
p.
|
artikel
|
| 5 |
Editorial Board
|
|
|
|
245 |
C |
p.
|
artikel
|
| 6 |
Formally proved specification of non-nested STL formulas as synchronous observers
|
Bellanger, Céline
|
|
|
245 |
C |
p.
|
artikel
|
| 7 |
Formal specification and SMT verification of quantized neural network for autonomous vehicles
|
Bachiri, Wahiba
|
|
|
245 |
C |
p.
|
artikel
|
| 8 |
Investigating quality aspects for UX evaluation of IoT-based applications in smart cities: A literature review
|
Choma, Joelma
|
|
|
245 |
C |
p.
|
artikel
|
| 9 |
Testing non-commutativity of reduce functions with multi-column inputs
|
Mu, Xiangyu
|
|
|
245 |
C |
p.
|
artikel
|
| 10 |
The automation of design model repair
|
Cai, Cheng-Hao
|
|
|
245 |
C |
p.
|
artikel
|
| 11 |
TraLogAnomaly: A microservice system anomaly detection approach based on hybrid event sequences
|
Wei, Xinjie
|
|
|
245 |
C |
p.
|
artikel
|
Tijdschrift beschrijving