14 Publications

Mark all

[14]
2020 | Conference Paper | IST-REx-ID: 7348   OA
Ferrere, Thomas, et al. “Monitoring Event Frequencies.” 28th EACSL Annual Conference on Computer Science Logic, vol. 152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 20, doi:10.4230/LIPIcs.CSL.2020.20.
View | Files available | DOI | arXiv
 
[13]
2019 | Conference Paper | IST-REx-ID: 6428
Ferrere, Thomas, et al. “Interface-Aware Signal Temporal Logic.” Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66, doi:10.1145/3302504.3311800.
View | DOI
 
[12]
2019 | Journal Article | IST-REx-ID: 7109
Ferrere, Thomas, et al. “From Real-Time Logic to Timed Automata.” Journal of the ACM, vol. 66, no. 3, 19, ACM, 2019, doi:10.1145/3286976.
View | DOI
 
[11]
2019 | Conference Paper | IST-REx-ID: 7159
Ničković, Dejan, et al. “Shape Expressions for Specifying and Extracting Signal Features.” 19th International Conference on Runtime Verification, vol. 11757, Springer Nature, 2019, pp. 292–309, doi:10.1007/978-3-030-32079-9_17.
View | DOI
 
[10]
2019 | Conference Paper | IST-REx-ID: 7232
Ferrere, Thomas, et al. “Mixed-Time Signal Temporal Logic.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11750, Springer Nature, 2019, pp. 59–75, doi:10.1007/978-3-030-29662-9_4.
View | DOI
 
[9]
2018 | Conference Paper | IST-REx-ID: 299   OA
Nickovic, Dejan, et al. AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. Edited by Dirk Beyer and Marieke Huisman, vol. 10806, Springer, 2018, pp. 303–19, doi:10.1007/978-3-319-89963-3_18.
View | Files available | DOI
 
[8]
2018 | Conference Paper | IST-REx-ID: 5959
Bakhirkin, Alexey, et al. “Keynote: The First-Order Logic of Signals.” 2018 International Conference on Embedded Software (EMSOFT), IEEE, 2018, pp. 1–10, doi:10.1109/emsoft.2018.8537203.
View | DOI
 
[7]
2018 | Conference Paper | IST-REx-ID: 78
Bakhirkin, Alexey, et al. Online Timed Pattern Matching Using Automata. Vol. 11022, Springer, 2018, pp. 215–32, doi:10.1007/978-3-030-00151-3_13.
View | DOI
 
[6]
2018 | Conference Paper | IST-REx-ID: 144
Ferrere, Thomas, et al. A Theory of Register Monitors. Vol. Part F138033, IEEE, 2018, pp. 394–403, doi:10.1145/3209108.3209194.
View | DOI
 
[5]
2018 | Conference Paper | IST-REx-ID: 156
Ferrere, Thomas. The Compound Interest in Relaxing Punctuality. Vol. 10951, Springer, 2018, pp. 147–64, doi:10.1007/978-3-319-95582-7_9.
View | DOI
 
[4]
2018 | Conference Paper | IST-REx-ID: 182
Bakhirkin, Alexey, et al. “Efficient Parametric Identification for STL.” Proceedings of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–86, doi:10.1145/3178126.3178132.
View | DOI
 
[3]
2018 | Conference Paper | IST-REx-ID: 81
Elgyütt, Adrian, et al. Monitoring Temporal Logic with Clock Variables. Vol. 11022, Springer, 2018, pp. 53–70, doi:10.1007/978-3-030-00151-3_4.
View | DOI
 
[2]
2018 | Conference Paper | IST-REx-ID: 183
Bartocci, Ezio, et al. Localizing Faults in Simulink/Stateflow Models with STL. Association for Computing Machinery, Inc, 2018, pp. 197–206, doi:10.1145/3178126.3178131.
View | DOI
 
[1]
2017 | Conference Paper | IST-REx-ID: 636   OA
Bakhirkin, Alexey, et al. On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. Edited by Alessandro Abate and Gilles Geeraerts, vol. 10419, Springer, 2017, pp. 189–206, doi:10.1007/978-3-319-65765-3_11.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

14 Publications

Mark all

[14]
2020 | Conference Paper | IST-REx-ID: 7348   OA
Ferrere, Thomas, et al. “Monitoring Event Frequencies.” 28th EACSL Annual Conference on Computer Science Logic, vol. 152, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 20, doi:10.4230/LIPIcs.CSL.2020.20.
View | Files available | DOI | arXiv
 
[13]
2019 | Conference Paper | IST-REx-ID: 6428
Ferrere, Thomas, et al. “Interface-Aware Signal Temporal Logic.” Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, ACM, 2019, pp. 57–66, doi:10.1145/3302504.3311800.
View | DOI
 
[12]
2019 | Journal Article | IST-REx-ID: 7109
Ferrere, Thomas, et al. “From Real-Time Logic to Timed Automata.” Journal of the ACM, vol. 66, no. 3, 19, ACM, 2019, doi:10.1145/3286976.
View | DOI
 
[11]
2019 | Conference Paper | IST-REx-ID: 7159
Ničković, Dejan, et al. “Shape Expressions for Specifying and Extracting Signal Features.” 19th International Conference on Runtime Verification, vol. 11757, Springer Nature, 2019, pp. 292–309, doi:10.1007/978-3-030-32079-9_17.
View | DOI
 
[10]
2019 | Conference Paper | IST-REx-ID: 7232
Ferrere, Thomas, et al. “Mixed-Time Signal Temporal Logic.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 11750, Springer Nature, 2019, pp. 59–75, doi:10.1007/978-3-030-29662-9_4.
View | DOI
 
[9]
2018 | Conference Paper | IST-REx-ID: 299   OA
Nickovic, Dejan, et al. AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. Edited by Dirk Beyer and Marieke Huisman, vol. 10806, Springer, 2018, pp. 303–19, doi:10.1007/978-3-319-89963-3_18.
View | Files available | DOI
 
[8]
2018 | Conference Paper | IST-REx-ID: 5959
Bakhirkin, Alexey, et al. “Keynote: The First-Order Logic of Signals.” 2018 International Conference on Embedded Software (EMSOFT), IEEE, 2018, pp. 1–10, doi:10.1109/emsoft.2018.8537203.
View | DOI
 
[7]
2018 | Conference Paper | IST-REx-ID: 78
Bakhirkin, Alexey, et al. Online Timed Pattern Matching Using Automata. Vol. 11022, Springer, 2018, pp. 215–32, doi:10.1007/978-3-030-00151-3_13.
View | DOI
 
[6]
2018 | Conference Paper | IST-REx-ID: 144
Ferrere, Thomas, et al. A Theory of Register Monitors. Vol. Part F138033, IEEE, 2018, pp. 394–403, doi:10.1145/3209108.3209194.
View | DOI
 
[5]
2018 | Conference Paper | IST-REx-ID: 156
Ferrere, Thomas. The Compound Interest in Relaxing Punctuality. Vol. 10951, Springer, 2018, pp. 147–64, doi:10.1007/978-3-319-95582-7_9.
View | DOI
 
[4]
2018 | Conference Paper | IST-REx-ID: 182
Bakhirkin, Alexey, et al. “Efficient Parametric Identification for STL.” Proceedings of the 21st International Conference on Hybrid Systems, ACM, 2018, pp. 177–86, doi:10.1145/3178126.3178132.
View | DOI
 
[3]
2018 | Conference Paper | IST-REx-ID: 81
Elgyütt, Adrian, et al. Monitoring Temporal Logic with Clock Variables. Vol. 11022, Springer, 2018, pp. 53–70, doi:10.1007/978-3-030-00151-3_4.
View | DOI
 
[2]
2018 | Conference Paper | IST-REx-ID: 183
Bartocci, Ezio, et al. Localizing Faults in Simulink/Stateflow Models with STL. Association for Computing Machinery, Inc, 2018, pp. 197–206, doi:10.1145/3178126.3178131.
View | DOI
 
[1]
2017 | Conference Paper | IST-REx-ID: 636   OA
Bakhirkin, Alexey, et al. On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. Edited by Alessandro Abate and Gilles Geeraerts, vol. 10419, Springer, 2017, pp. 189–206, doi:10.1007/978-3-319-65765-3_11.
View | DOI | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed