| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Applying the Isabelle Insider framework to airplane security
|
Kammüller, Florian
|
|
|
206 |
C |
p.
|
artikel
|
| 2 |
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution
|
He, Weigang
|
|
|
206 |
C |
p.
|
artikel
|
| 3 |
Editorial Board
|
|
|
|
206 |
C |
p.
|
artikel
|
| 4 |
Formal security analysis for software architecture design: An expressive framework to emerging architectural styles
|
Chondamrongkul, Nacha
|
|
|
206 |
C |
p.
|
artikel
|
| 5 |
Fundamentals of Software Engineering (extended versions of selected papers of FSEN 2019)
|
Hojjat, Hossein
|
|
|
206 |
C |
p.
|
artikel
|
| 6 |
Kraken: A framework for enabling multi-device interaction-based testing of Android apps
|
Ravelo-Méndez, William
|
|
|
206 |
C |
p.
|
artikel
|
| 7 |
NOD4J: Near-omniscient debugging tool for Java using size-limited execution trace
|
Shimari, Kazumasa
|
|
|
206 |
C |
p.
|
artikel
|
| 8 |
Preface to the Special Issue on Dependable Software Engineering: Theories, Tools and Applications (SETTA 2017)
|
Larsen, Kim G.
|
|
|
206 |
C |
p.
|
artikel
|
| 9 |
Probabilistic model checking for human activity recognition in medical serious games
|
L'Yvonnet, Thibaud
|
|
|
206 |
C |
p.
|
artikel
|
| 10 |
RT-MOBS: A compositional observer semantics of time Petri net for real-time property specification language based on μ-calculus
|
Ge, Ning
|
|
|
206 |
C |
p.
|
artikel
|
| 11 |
Sciit: Embedding issue tracking in source control management
|
Edwards, Nystrom
|
|
|
206 |
C |
p.
|
artikel
|
| 12 |
Synthesizing safe policies under probabilistic constraints with reinforcement learning and Bayesian model checking
|
Belzner, Lenz
|
|
|
206 |
C |
p.
|
artikel
|
| 13 |
Verification of concurrent code from synchronous specifications
|
Hu, Kai
|
|
|
206 |
C |
p.
|
artikel
|
Tijdschrift beschrijving