2 Publications

Mark all

[2]
2020 | Conference Paper | IST-REx-ID: 8623 | OA
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
View | Files available | DOI
 
[1]
2020 | Journal Article | IST-REx-ID: 8912 | OA
Boosting expensive synchronizing heuristics
N.E. Sarac, Ö.F. Altun, K.T. Atam, S. Karahoda, K. Kaya, H. Yenigün, Expert Systems with Applications (n.d.).
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed

2 Publications

Mark all

[2]
2020 | Conference Paper | IST-REx-ID: 8623 | OA
Monitorability under assumptions
T.A. Henzinger, N.E. Sarac, in:, Runtime Verification, Springer Nature, 2020, pp. 3–18.
View | Files available | DOI
 
[1]
2020 | Journal Article | IST-REx-ID: 8912 | OA
Boosting expensive synchronizing heuristics
N.E. Sarac, Ö.F. Altun, K.T. Atam, S. Karahoda, K. Kaya, H. Yenigün, Expert Systems with Applications (n.d.).
View | Files available | DOI
 

Search

Filter Publications

Display / Sort

Export / Embed