| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Applying graph-based knowledge representation to capture insights from discussions forum in software engineering
|
Rodrigo Da Silva, Patrick
|
|
|
244 |
C |
p.
|
artikel
|
| 2 |
Comparing differentiable logics for learning with logical constraints
|
Flinkow, Thomas
|
|
|
244 |
C |
p.
|
artikel
|
| 3 |
Editorial Board
|
|
|
|
244 |
C |
p.
|
artikel
|
| 4 |
Formal specification and validation of the MVM-Adapt system using Compositional I/O Abstract State Machines
|
Bonfanti, Silvia
|
|
|
244 |
C |
p.
|
artikel
|
| 5 |
Human-in-the-loop online just-in-time software defect prediction: What have we achieved and what do we still miss?
|
Liu, Xutong
|
|
|
244 |
C |
p.
|
artikel
|
| 6 |
LayoutOptimizer: A layout rendering performance optimizer for Android application
|
Wu, Yue
|
|
|
244 |
C |
p.
|
artikel
|
| 7 |
Model checking and verification of a rail-side protection system
|
Sarikoc, Fatih
|
|
|
244 |
C |
p.
|
artikel
|
| 8 |
Model checking with memoisation for fast overtaking planning
|
Miller, Alice
|
|
|
244 |
C |
p.
|
artikel
|
| 9 |
Runtime monitoring of complex scenario-based requirements for autonomous driving functions
|
Stemmer, Ralf
|
|
|
244 |
C |
p.
|
artikel
|
| 10 |
Software architecture decision-making process: The practitioners' view from the Brazilian industry
|
Carvalho, Lucas
|
|
|
244 |
C |
p.
|
artikel
|
| 11 |
Trusta: Reasoning about assurance cases with formal methods and large language models
|
Chen, Zezhong
|
|
|
244 |
C |
p.
|
artikel
|
| 12 |
What does AI need to know to drive: Testing relevance of knowledge
|
Grundt, Dominik
|
|
|
244 |
C |
p.
|
artikel
|
Tijdschrift beschrijving