Dejan Nickovic

Henzinger_Thomas Group

23 Publications

Mark all

[23]
2024 | Published | Conference Paper | IST-REx-ID: 18521 | OA
Bonakdarpour, B., Momtaz, A., Nickovic, D., & Sarac, N. E. (2024). Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. In 24th International Conference on Runtime Verification (Vol. 15191, pp. 282–301). Istanbul, Turkey: Springer Nature. https://doi.org/10.1007/978-3-031-74234-7_18
[Published Version] View | Files available | DOI | arXiv
 
[22]
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 | OA
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2024). Information-flow interfaces. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-024-00447-0
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
[21]
2023 | Published | Conference Paper | IST-REx-ID: 14405 | OA
Bartocci, E., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2023). Hypernode automata. In 34th International Conference on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.21
[Published Version] View | Files available | DOI | arXiv
 
[20]
2022 | Published | Conference Paper | IST-REx-ID: 10774 | OA
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Da Costa, A. O. (2022). Flavors of sequential information flow. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 13182, pp. 1–19). Philadelphia, PA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-94583-1_1
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[19]
2022 | Published | Conference Paper | IST-REx-ID: 11355 | OA
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Da Costa, A. O. (2022). Information-flow interfaces. In Fundamental Approaches to Software Engineering (Vol. 13241, pp. 3–22). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-99429-7_1
[Published Version] View | Files available | DOI | WoS
 
[18]
2020 | Published | Journal Article | IST-REx-ID: 10861
Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., & Ulus, D. (2020). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. International Journal on Software Tools for Technology Transfer. Springer Nature. https://doi.org/10.1007/s10009-020-00582-z
View | Files available | DOI | WoS
 
[17]
2019 | Published | Conference Paper | IST-REx-ID: 7232
Ferrere, T., Maler, O., & Nickovic, D. (2019). Mixed-time signal temporal logic. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 59–75). Amsterdam, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-030-29662-9_4
View | DOI | WoS
 
[16]
2019 | Published | Conference Paper | IST-REx-ID: 6428 | OA
Ferrere, T., Nickovic, D., Donzé, A., Ito, H., & Kapinski, J. (2019). Interface-aware signal temporal logic. In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control (pp. 57–66). Montreal, Canada: ACM. https://doi.org/10.1145/3302504.3311800
[Submitted Version] View | Files available | DOI | WoS
 
[15]
2018 | Published | Conference Paper | IST-REx-ID: 299 | OA
Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., & Ulus, D. (2018). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In D. Beyer & M. Huisman (Eds.) (Vol. 10806, pp. 303–319). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-319-89963-3_18
[Published Version] View | Files available | DOI | WoS
 
[14]
2014 | Published | Technical Report | IST-REx-ID: 5411 | OA
Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. IST Austria. https://doi.org/10.15479/AT:IST-2014-148-v2-1
[Published Version] View | Files available | DOI
 
[13]
2012 | Published | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A., & Nickovic, D. (2012). Synchronous interface theories and time triggered scheduling (Vol. 7273, pp. 203–218). Presented at the FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden: Springer. https://doi.org/10.1007/978-3-642-30793-5_13
[Submitted Version] View | Files available | DOI
 
[12]
2012 | Published | Conference Paper | IST-REx-ID: 3162 | OA
Asarin, E., Donzé, A., Maler, O., & Nickovic, D. (2012). Parametric identification of temporal properties (Vol. 7186, pp. 147–160). Presented at the RV: Runtime Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-642-29860-8_12
[Submitted Version] View | Files available | DOI
 
[11]
2012 | Published | Conference Paper | IST-REx-ID: 2942
Henzinger, T. A., & Nickovic, D. (2012). Independent implementability of viewpoints. In Conference proceedings Monterey Workshop 2012 (Vol. 7539, pp. 380–395). Oxford, UK: Springer. https://doi.org/10.1007/978-3-642-34059-8_20
View | DOI
 
[10]
2011 | Published | Conference Paper | IST-REx-ID: 3362 | OA
Fisher, J., Henzinger, T. A., Nickovic, D., Piterman, N., Singh, A., & Vardi, M. (2011). Dynamic reactive modules (Vol. 6901, pp. 404–418). Presented at the CONCUR: Concurrency Theory, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-23217-6_27
[Submitted Version] View | Files available | DOI
 
[9]
2010 | Published | Journal Article | IST-REx-ID: 4379 | OA
Jones, K., Konrad, V., & Nickovic, D. (2010). Analog property checkers: a DDR2 case study. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-009-0085-x
View | DOI | Download (ext.)
 
[8]
2010 | Published | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, L., Henzinger, T. A., Legay, A., & Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE. https://doi.org/10.1109/ACSD.2010.26
[Submitted Version] View | Files available | DOI
 
[7]
2010 | Published | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic, D., & Piterman, N. (2010). From MTL to deterministic timed automata. In T. A. Henzinger & K. Chatterjee (Eds.) (Vol. 6246, pp. 152–167). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-15297-9_13
[Submitted Version] View | Files available | DOI
 
[6]
2008 | Published | Book Chapter | IST-REx-ID: 4371
Maler, O., Nickovic, D., & Pnueli, A. (2008). Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (pp. 475–505). Springer. https://doi.org/10.1007/978-3-540-78127-1_26
View | DOI
 
[5]
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic, D., & Maler, O. (2007). AMT: A property-based monitoring tool for analog systems. In 5th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 4763, pp. 304–319). Salzburg, Austria: Springer. https://doi.org/10.1007/978-3-540-75454-1_22
View | DOI
 
[4]
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler, O., Nickovic, D., & Pnueli, A. (2007). On synthesizing controllers from bounded-response properties. In 19th International Conference on Computer Aided Verification (Vol. 4590, pp. 95–107). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-540-73368-3_12
View | DOI
 
[3]
2006 | Published | Conference Paper | IST-REx-ID: 4373
Maler, O., Nickovic, D., & Pnueli, A. (2006). Real time temporal logic: Past, present, future. In Third International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 3829, pp. 2–16). Uppsala, Sweden: Springer. https://doi.org/10.1007/11603009_2
View | DOI
 
[2]
2006 | Published | Conference Paper | IST-REx-ID: 4374
Maler, O., Nickovic, D., & Pnueli, A. (2006). From MITL to timed automata. In 4th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 4202, pp. 274–289). Paris, France: Springer. https://doi.org/10.1007/11867340_20
View | DOI
 
[1]
2004 | Published | Conference Paper | IST-REx-ID: 4372
Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/978-3-540-30206-3_12
View | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed

Grants


23 Publications

Mark all

[23]
2024 | Published | Conference Paper | IST-REx-ID: 18521 | OA
Bonakdarpour, B., Momtaz, A., Nickovic, D., & Sarac, N. E. (2024). Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. In 24th International Conference on Runtime Verification (Vol. 15191, pp. 282–301). Istanbul, Turkey: Springer Nature. https://doi.org/10.1007/978-3-031-74234-7_18
[Published Version] View | Files available | DOI | arXiv
 
[22]
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 | OA
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2024). Information-flow interfaces. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-024-00447-0
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
[21]
2023 | Published | Conference Paper | IST-REx-ID: 14405 | OA
Bartocci, E., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2023). Hypernode automata. In 34th International Conference on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.21
[Published Version] View | Files available | DOI | arXiv
 
[20]
2022 | Published | Conference Paper | IST-REx-ID: 10774 | OA
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Da Costa, A. O. (2022). Flavors of sequential information flow. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 13182, pp. 1–19). Philadelphia, PA, United States: Springer Nature. https://doi.org/10.1007/978-3-030-94583-1_1
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[19]
2022 | Published | Conference Paper | IST-REx-ID: 11355 | OA
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Da Costa, A. O. (2022). Information-flow interfaces. In Fundamental Approaches to Software Engineering (Vol. 13241, pp. 3–22). Munich, Germany: Springer Nature. https://doi.org/10.1007/978-3-030-99429-7_1
[Published Version] View | Files available | DOI | WoS
 
[18]
2020 | Published | Journal Article | IST-REx-ID: 10861
Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., & Ulus, D. (2020). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. International Journal on Software Tools for Technology Transfer. Springer Nature. https://doi.org/10.1007/s10009-020-00582-z
View | Files available | DOI | WoS
 
[17]
2019 | Published | Conference Paper | IST-REx-ID: 7232
Ferrere, T., Maler, O., & Nickovic, D. (2019). Mixed-time signal temporal logic. In 17th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 11750, pp. 59–75). Amsterdam, The Netherlands: Springer Nature. https://doi.org/10.1007/978-3-030-29662-9_4
View | DOI | WoS
 
[16]
2019 | Published | Conference Paper | IST-REx-ID: 6428 | OA
Ferrere, T., Nickovic, D., Donzé, A., Ito, H., & Kapinski, J. (2019). Interface-aware signal temporal logic. In Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control (pp. 57–66). Montreal, Canada: ACM. https://doi.org/10.1145/3302504.3311800
[Submitted Version] View | Files available | DOI | WoS
 
[15]
2018 | Published | Conference Paper | IST-REx-ID: 299 | OA
Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., & Ulus, D. (2018). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In D. Beyer & M. Huisman (Eds.) (Vol. 10806, pp. 303–319). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece: Springer. https://doi.org/10.1007/978-3-319-89963-3_18
[Published Version] View | Files available | DOI | WoS
 
[14]
2014 | Published | Technical Report | IST-REx-ID: 5411 | OA
Daca, P., Henzinger, T. A., Krenn, W., & Nickovic, D. (2014). Compositional specifications for IOCO testing. IST Austria. https://doi.org/10.15479/AT:IST-2014-148-v2-1
[Published Version] View | Files available | DOI
 
[13]
2012 | Published | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye, B., Fahrenberg, U., Henzinger, T. A., Legay, A., & Nickovic, D. (2012). Synchronous interface theories and time triggered scheduling (Vol. 7273, pp. 203–218). Presented at the FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden: Springer. https://doi.org/10.1007/978-3-642-30793-5_13
[Submitted Version] View | Files available | DOI
 
[12]
2012 | Published | Conference Paper | IST-REx-ID: 3162 | OA
Asarin, E., Donzé, A., Maler, O., & Nickovic, D. (2012). Parametric identification of temporal properties (Vol. 7186, pp. 147–160). Presented at the RV: Runtime Verification, San Francisco, CA, United States: Springer. https://doi.org/10.1007/978-3-642-29860-8_12
[Submitted Version] View | Files available | DOI
 
[11]
2012 | Published | Conference Paper | IST-REx-ID: 2942
Henzinger, T. A., & Nickovic, D. (2012). Independent implementability of viewpoints. In Conference proceedings Monterey Workshop 2012 (Vol. 7539, pp. 380–395). Oxford, UK: Springer. https://doi.org/10.1007/978-3-642-34059-8_20
View | DOI
 
[10]
2011 | Published | Conference Paper | IST-REx-ID: 3362 | OA
Fisher, J., Henzinger, T. A., Nickovic, D., Piterman, N., Singh, A., & Vardi, M. (2011). Dynamic reactive modules (Vol. 6901, pp. 404–418). Presented at the CONCUR: Concurrency Theory, Aachen, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.1007/978-3-642-23217-6_27
[Submitted Version] View | Files available | DOI
 
[9]
2010 | Published | Journal Article | IST-REx-ID: 4379 | OA
Jones, K., Konrad, V., & Nickovic, D. (2010). Analog property checkers: a DDR2 case study. Formal Methods in System Design. Springer. https://doi.org/10.1007/s10703-009-0085-x
View | DOI | Download (ext.)
 
[8]
2010 | Published | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, L., Henzinger, T. A., Legay, A., & Nickovic, D. (2010). Robustness of sequential circuits (pp. 77–84). Presented at the ACSD: Application of Concurrency to System Design, IEEE. https://doi.org/10.1109/ACSD.2010.26
[Submitted Version] View | Files available | DOI
 
[7]
2010 | Published | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic, D., & Piterman, N. (2010). From MTL to deterministic timed automata. In T. A. Henzinger & K. Chatterjee (Eds.) (Vol. 6246, pp. 152–167). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria: Springer. https://doi.org/10.1007/978-3-642-15297-9_13
[Submitted Version] View | Files available | DOI
 
[6]
2008 | Published | Book Chapter | IST-REx-ID: 4371
Maler, O., Nickovic, D., & Pnueli, A. (2008). Checking Temporal Properties of Discrete, Timed and Continuous Behaviors. In Pillars of Computer science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday (pp. 475–505). Springer. https://doi.org/10.1007/978-3-540-78127-1_26
View | DOI
 
[5]
2007 | Published | Conference Paper | IST-REx-ID: 4368
Nickovic, D., & Maler, O. (2007). AMT: A property-based monitoring tool for analog systems. In 5th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 4763, pp. 304–319). Salzburg, Austria: Springer. https://doi.org/10.1007/978-3-540-75454-1_22
View | DOI
 
[4]
2007 | Published | Conference Paper | IST-REx-ID: 4370
Maler, O., Nickovic, D., & Pnueli, A. (2007). On synthesizing controllers from bounded-response properties. In 19th International Conference on Computer Aided Verification (Vol. 4590, pp. 95–107). Berlin, Germany: Springer. https://doi.org/10.1007/978-3-540-73368-3_12
View | DOI
 
[3]
2006 | Published | Conference Paper | IST-REx-ID: 4373
Maler, O., Nickovic, D., & Pnueli, A. (2006). Real time temporal logic: Past, present, future. In Third International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 3829, pp. 2–16). Uppsala, Sweden: Springer. https://doi.org/10.1007/11603009_2
View | DOI
 
[2]
2006 | Published | Conference Paper | IST-REx-ID: 4374
Maler, O., Nickovic, D., & Pnueli, A. (2006). From MITL to timed automata. In 4th International Conference on Formal Modeling and Analysis of Timed Systems (Vol. 4202, pp. 274–289). Paris, France: Springer. https://doi.org/10.1007/11867340_20
View | DOI
 
[1]
2004 | Published | Conference Paper | IST-REx-ID: 4372
Maler, O., & Nickovic, D. (2004). Monitoring Temporal Properties of Continuous Signals (pp. 152–166). Presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Springer. https://doi.org/10.1007/978-3-540-30206-3_12
View | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed