Skip navigation

Items where Author is "Spegni, Francesco"

Items where Author is "Spegni, Francesco"

[up] Up a level
Group by: Item Type | Uncontrolled Keywords | No Grouping
Jump to: Article | Conference Proceedings
Number of items: 2.

Article

Giovanni, Liva, Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Pinzger, Martin, Spegni, Francesco and Spalazzi, Luca (2019) Automatic repair of timestamp comparisons. IEEE Transactions on Software Engineering, 47 (11). pp. 2369-2381. ISSN 0098-5589 (doi:10.1109/TSE.2019.2948351)

Conference Proceedings

Liva, Giovanni, Khan, Muhammad Taimoor ORCID logoORCID: https://orcid.org/0000-0002-5752-6420, Spegni, Francesco, Spalazzi, Luca, Bollin, Andreas and Pinzger, Martin (2018) Modeling time in Java programs for automatic error detection. In: Proceedings of the 6th Conference on Formal Methods in Software Engineering - FormaliSE '18. ACM, New York, USA, pp. 50-59. ISBN 978-1450357180 (doi:10.1145/3193992.3193997)

This list was generated on Wed Apr 2 06:49:43 2025 UTC.