| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Assessing the specification of modelling language semantics: a study on UML PSSM
|
Elekes, Márton
|
|
|
31 |
2 |
p. 575-617
|
artikel
|
| 2 |
Continuous design control for machine learning in certified medical systems
|
Stirbu, Vlad
|
|
|
31 |
2 |
p. 307-333
|
artikel
|
| 3 |
Critical scenario identification for realistic testing of autonomous driving systems
|
Song, Qunying
|
|
|
31 |
2 |
p. 441-469
|
artikel
|
| 4 |
Dynamic and execution views to improve validation, testing, and optimization of autonomous driving software
|
Alcon, Miguel
|
|
|
31 |
2 |
p. 405-439
|
artikel
|
| 5 |
Ergo, SMIRK is safe: a safety case for a machine learning component in a pedestrian automatic emergency brake system
|
Borg, Markus
|
|
|
31 |
2 |
p. 335-403
|
artikel
|
| 6 |
Formal verification process of the compliance of a multicore AUTOSAR OS
|
Haur, Imane
|
|
|
31 |
2 |
p. 497-531
|
artikel
|
| 7 |
From DevOps to DevSecOps is not enough. CyberDevOps: an extreme shifting-left architecture to bring cybersecurity within software security lifecycle pipeline
|
Lombardi, Federico
|
|
|
31 |
2 |
p. 619-654
|
artikel
|
| 8 |
Guest editorial: special issue on emerging challenges in software certification and verification
|
De Simone, Luigi
|
|
|
31 |
2 |
p. 305-306
|
artikel
|
| 9 |
Prioritization and parallel execution of test cases for certification testing of embedded systems
|
Dirim, Şahin
|
|
|
31 |
2 |
p. 471-496
|
artikel
|
| 10 |
Quality attribute traceability based on Clone Microtactics
|
Sharifi, Ehsan
|
|
|
31 |
2 |
p. 533-573
|
artikel
|
Tijdschrift beschrijving