| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
An epistemic approach to the formal specification of statistical machine learning
|
Kawamoto, Yusuke
|
|
|
20 |
2 |
p. 293-310
|
article
|
| 2 |
An improved approach on the model checking for an agent-based simulation system
|
Liu, Yinling
|
|
|
20 |
2 |
p. 429-445
|
article
|
| 3 |
An operational guide to monitorability with applications to regular properties
|
Aceto, Luca
|
|
|
20 |
2 |
p. 335-361
|
article
|
| 4 |
Asynchronous session subtyping as communicating automata refinement
|
Bravetti, Mario
|
|
|
20 |
2 |
p. 311-333
|
article
|
| 5 |
Claimed advantages and disadvantages of (dedicated) model transformation languages: a systematic literature review
|
Götz, Stefan
|
|
|
20 |
2 |
p. 469-503
|
article
|
| 6 |
Consistent change propagation within models
|
Kretschmer, Roland
|
|
|
20 |
2 |
p. 539-555
|
article
|
| 7 |
Modeling and simulation of the IEEE 802.11e wireless protocol with hidden nodes using Colored Petri Nets
|
Coronado, Estefanía
|
|
|
20 |
2 |
p. 505-538
|
article
|
| 8 |
Modeling cultures of the embedded software industry: feedback from the field
|
Akdur, Deniz
|
|
|
20 |
2 |
p. 447-467
|
article
|
| 9 |
Mutation testing with hyperproperties
|
Fellner, Andreas
|
|
|
20 |
2 |
p. 405-427
|
article
|
| 10 |
Reflections on the standardization of SysML 2
|
Gray, Jeff
|
|
|
20 |
2 |
p. 287-289
|
article
|
| 11 |
Reproducible execution of POSIX programs with DiOS
|
Ročkai, Petr
|
|
|
20 |
2 |
p. 363-382
|
article
|
| 12 |
Software engineering and formal methods: SEFM 2019 special section
|
Ölveczky, Peter Csaba
|
|
|
20 |
2 |
p. 291-292
|
article
|
| 13 |
Specification and automated verification of atomic concurrent real-time transactions
|
Cai, Simin
|
|
|
20 |
2 |
p. 557-589
|
article
|
| 14 |
Test model coverage analysis under uncertainty: extended version
|
Prasetya, I. S. W. B.
|
|
|
20 |
2 |
p. 383-403
|
article
|
Journal description