by Isberner, Malte, Howar, Falk, Steffen, Bernhard
Published in Runtime Verification (2014)

by Dokhanchi, Adel, Hoxha, Bardh, Fainekos, Georgios
Published in Runtime Verification (2014)

by Nenzi, Laura, Bortolussi, Luca, Ciancia, Vincenzo, Loreti, Michele, Massink, Mieke
Published in Runtime Verification (2015)

by Colombo, Christian, Falcone, Yliès, Leucker, Martin, Reger, Giles, Sanchez, Cesar, Schneider, Gerardo, Stolz, Volker
Published in Runtime Verification (01.01.2018)

by Kosmatov, Nikolai, Maurica, Fonenantsoa, Signoles, Julien
Published in Runtime Verification (2020)

by Meniar, Chafik, Opalvens, Florence, Hallé, Sylvain
Published in Runtime Verification (2017)

by Paulos, Aaron, Pal, Partha, Clark, Shane S., Usbeck, Kyle, Hurley, Patrick
Published in Runtime Verification (2017)

by Kane, Aaron, Chowdhury, Omar, Datta, Anupam, Koopman, Philip
Published in Runtime Verification (2015)

by Lukina, Anna, Schilling, Christian, Henzinger, Thomas A.
Published in Runtime Verification (2021)

by Desai, Ankush, Dreossi, Tommaso, Seshia, Sanjit A.
Published in Runtime Verification (2017)

by Nayak, Prashanth, Hibler, Mike, Johnson, David, Eide, Eric
Published in Runtime Verification (2017)

by Balakrishnan, Anand, Deshmukh, Jyotirmoy, Hoxha, Bardh, Yamaguchi, Tomoya, Fainekos, Georgios
Published in Runtime Verification (2021)

by Zapridou, Eleni, Bartocci, Ezio, Katsaros, Panagiotis
Published in Runtime Verification (2020)

by Huang, Jeff, Erdogan, Cansu, Zhang, Yi, Moore, Brandon, Luo, Qingzhou, Sundaresan, Aravind, Rosu, Grigore
Published in Runtime Verification (2014)

by Gorostiaga, Felipe, Sánchez, César
Published in Runtime Verification (2018)

by Cameron, Fraser, Fainekos, Georgios, Maahs, David M., Sankaranarayanan, Sriram
Published in Runtime Verification (2015)

by Bartocci, Ezio, Bortolussi, Luca, Loreti, Michele, Nenzi, Laura, Silvetti, Simone
Published in Runtime Verification (2020)

by Falcone, Yliès, Krstić, Srđan, Reger, Giles, Traytel, Dmitriy
Published in Runtime Verification (2018)

by Bortolussi, Luca, Cairoli, Francesca, Paoletti, Nicola, Smolka, Scott A., Stoller, Scott D.
Published in Runtime Verification (2019)

by Deshmukh, Jyotirmoy V., Donzé, Alexandre, Ghosh, Shromona, Jin, Xiaoqing, Juniwal, Garvit, Seshia, Sanjit A.
Published in Runtime Verification (2015)