| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Active model learning of stochastic reactive systems (extended version)
|
Muškardin, Edi
|
|
|
23 |
2 |
p. 503-524
|
artikel
|
| 2 |
A framework for embedded software portability and verification: from formal models to low-level code
|
Martins Gomes, Renata
|
|
|
23 |
2 |
p. 289-315
|
artikel
|
| 3 |
A lightweight approach to nontermination inference using Constrained Horn Clauses
|
Kafle, Bishoksan
|
|
|
23 |
2 |
p. 319-342
|
artikel
|
| 4 |
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
|
Lestingi, Livia
|
|
|
23 |
2 |
p. 473-502
|
artikel
|
| 5 |
Circular systems engineering
|
David, Istvan
|
|
|
23 |
2 |
p. 269-283
|
artikel
|
| 6 |
Correction: A framework for embedded software portability and verification: from formal models to low-level code
|
Gomes, Renata Martins
|
|
|
23 |
2 |
p. 317
|
artikel
|
| 7 |
Counterexample classification
|
Vick, Cole
|
|
|
23 |
2 |
p. 455-472
|
artikel
|
| 8 |
Fairness, assumptions, and guarantees for extended bounded response LTL+P synthesis
|
Cimatti, Alessandro
|
|
|
23 |
2 |
p. 427-453
|
artikel
|
| 9 |
Guest editorial for the special section on SEFM 2020 and 2021
|
de Boer, Frank S.
|
|
|
23 |
2 |
p. 285-287
|
artikel
|
| 10 |
Lazy model checking for recursive state machines
|
Dubslaff, Clemens
|
|
|
23 |
2 |
p. 369-401
|
artikel
|
| 11 |
Model-based code generation works: But how far does it go?—on the role of the generator
|
Combemale, Benoit
|
|
|
23 |
2 |
p. 267-268
|
artikel
|
| 12 |
P-stable abstractions of hybrid systems
|
Becchi, Anna
|
|
|
23 |
2 |
p. 403-426
|
artikel
|
| 13 |
Quantitative modelling and analysis of BDI agents
|
Archibald, Blair
|
|
|
23 |
2 |
p. 343-367
|
artikel
|
Tijdschrift beschrijving