Dejan Nickovic

Henzinger_Thomas Group

23 Publications

Mark all

[23]
2024 | Published | Conference Paper | IST-REx-ID: 18521 | OA
B. Bonakdarpour, A. Momtaz, D. Nickovic, and N. E. Sarac, “Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy,” in 24th International Conference on Runtime Verification, Istanbul, Turkey, 2024, vol. 15191, pp. 282–301.
[Published Version] View | Files available | DOI | arXiv
 
[22]
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 | OA
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-flow interfaces,” Formal Methods in System Design. Springer Nature, 2024.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
[21]
2023 | Published | Conference Paper | IST-REx-ID: 14405 | OA
E. Bartocci, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Hypernode automata,” in 34th International Conference on Concurrency Theory, Antwerp, Belgium, 2023, vol. 279.
[Published Version] View | Files available | DOI | arXiv
 
[20]
2022 | Published | Conference Paper | IST-REx-ID: 10774 | OA
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa, “Flavors of sequential information flow,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Philadelphia, PA, United States, 2022, vol. 13182, pp. 1–19.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[19]
2022 | Published | Conference Paper | IST-REx-ID: 11355 | OA
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa, “Information-flow interfaces,” in Fundamental Approaches to Software Engineering, Munich, Germany, 2022, vol. 13241, pp. 3–22.
[Published Version] View | Files available | DOI | WoS
 
[18]
2020 | Published | Journal Article | IST-REx-ID: 10861
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic,” International Journal on Software Tools for Technology Transfer, vol. 22, no. 6. Springer Nature, pp. 741–758, 2020.
View | Files available | DOI | WoS
 
[17]
2019 | Published | Conference Paper | IST-REx-ID: 7232
T. Ferrere, O. Maler, and D. Nickovic, “Mixed-time signal temporal logic,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 59–75.
View | DOI | WoS
 
[16]
2019 | Published | Conference Paper | IST-REx-ID: 6428 | OA
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski, “Interface-aware signal temporal logic,” in Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, 2019, pp. 57–66.
[Submitted Version] View | Files available | DOI | WoS
 
[15]
2018 | Published | Conference Paper | IST-REx-ID: 299 | OA
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 2018, vol. 10806, pp. 303–319.
[Published Version] View | Files available | DOI | WoS
 
[14]
2014 | Published | Technical Report | IST-REx-ID: 5411 | OA
P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, Compositional specifications for IOCO testing. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
[13]
2012 | Published | Conference Paper | IST-REx-ID: 3155 | OA
B. Delahaye, U. Fahrenberg, T. A. Henzinger, A. Legay, and D. Nickovic, “Synchronous interface theories and time triggered scheduling,” presented at the FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden, 2012, vol. 7273, pp. 203–218.
[Submitted Version] View | Files available | DOI
 
[12]
2012 | Published | Conference Paper | IST-REx-ID: 3162 | OA
E. Asarin, A. Donzé, O. Maler, and D. Nickovic, “Parametric identification of temporal properties,” presented at the RV: Runtime Verification, San Francisco, CA, United States, 2012, vol. 7186, pp. 147–160.
[Submitted Version] View | Files available | DOI
 
[11]
2012 | Published | Conference Paper | IST-REx-ID: 2942
T. A. Henzinger and D. Nickovic, “Independent implementability of viewpoints,” in Conference proceedings Monterey Workshop 2012, Oxford, UK, 2012, vol. 7539, pp. 380–395.
View | DOI
 
[10]
2011 | Published | Conference Paper | IST-REx-ID: 3362 | OA
J. Fisher, T. A. Henzinger, D. Nickovic, N. Piterman, A. Singh, and M. Vardi, “Dynamic reactive modules,” presented at the CONCUR: Concurrency Theory, Aachen, Germany, 2011, vol. 6901, pp. 404–418.
[Submitted Version] View | Files available | DOI
 
[9]
2010 | Published | Journal Article | IST-REx-ID: 4379 | OA
K. Jones, V. Konrad, and D. Nickovic, “Analog property checkers: a DDR2 case study,” Formal Methods in System Design, vol. 36, no. 2. Springer, pp. 114–130, 2010.
View | DOI | Download (ext.)
 
[8]
2010 | Published | Conference Paper | IST-REx-ID: 4389 | OA
L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, “Robustness of sequential circuits,” presented at the ACSD: Application of Concurrency to System Design, 2010, pp. 77–84.
[Submitted Version] View | Files available | DOI
 
[7]
2010 | Published | Conference Paper | IST-REx-ID: 4369 | OA
D. Nickovic and N. Piterman, “From MTL to deterministic timed automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria, 2010, vol. 6246, pp. 152–167.
[Submitted Version] View | Files available | DOI
 
[6]
2008 | Published | Book Chapter | IST-REx-ID: 4371
O. Maler, D. Nickovic, and A. Pnueli, “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, Springer, 2008, pp. 475–505.
View | DOI
 
[5]
2007 | Published | Conference Paper | IST-REx-ID: 4368
D. Nickovic and O. Maler, “AMT: A property-based monitoring tool for analog systems,” in 5th International Conference on Formal Modeling and Analysis of Timed Systems, Salzburg, Austria, 2007, vol. 4763, pp. 304–319.
View | DOI
 
[4]
2007 | Published | Conference Paper | IST-REx-ID: 4370
O. Maler, D. Nickovic, and A. Pnueli, “On synthesizing controllers from bounded-response properties,” in 19th International Conference on Computer Aided Verification, Berlin, Germany, 2007, vol. 4590, pp. 95–107.
View | DOI
 
[3]
2006 | Published | Conference Paper | IST-REx-ID: 4373
O. Maler, D. Nickovic, and A. Pnueli, “Real time temporal logic: Past, present, future,” in Third International Conference on Formal Modeling and Analysis of Timed Systems, Uppsala, Sweden, 2006, vol. 3829, pp. 2–16.
View | DOI
 
[2]
2006 | Published | Conference Paper | IST-REx-ID: 4374
O. Maler, D. Nickovic, and A. Pnueli, “From MITL to timed automata,” in 4th International Conference on Formal Modeling and Analysis of Timed Systems, Paris, France, 2006, vol. 4202, pp. 274–289.
View | DOI
 
[1]
2004 | Published | Conference Paper | IST-REx-ID: 4372
O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.
View | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed

Grants


23 Publications

Mark all

[23]
2024 | Published | Conference Paper | IST-REx-ID: 18521 | OA
B. Bonakdarpour, A. Momtaz, D. Nickovic, and N. E. Sarac, “Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy,” in 24th International Conference on Runtime Verification, Istanbul, Turkey, 2024, vol. 15191, pp. 282–301.
[Published Version] View | Files available | DOI | arXiv
 
[22]
2024 | Epub ahead of print | Journal Article | IST-REx-ID: 17094 | OA
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Information-flow interfaces,” Formal Methods in System Design. Springer Nature, 2024.
[Published Version] View | Files available | DOI | Download Published Version (ext.) | arXiv
 
[21]
2023 | Published | Conference Paper | IST-REx-ID: 14405 | OA
E. Bartocci, T. A. Henzinger, D. Nickovic, and A. Oliveira da Costa, “Hypernode automata,” in 34th International Conference on Concurrency Theory, Antwerp, Belgium, 2023, vol. 279.
[Published Version] View | Files available | DOI | arXiv
 
[20]
2022 | Published | Conference Paper | IST-REx-ID: 10774 | OA
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa, “Flavors of sequential information flow,” in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Philadelphia, PA, United States, 2022, vol. 13182, pp. 1–19.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[19]
2022 | Published | Conference Paper | IST-REx-ID: 11355 | OA
E. Bartocci, T. Ferrere, T. A. Henzinger, D. Nickovic, and A. O. Da Costa, “Information-flow interfaces,” in Fundamental Approaches to Software Engineering, Munich, Germany, 2022, vol. 13241, pp. 3–22.
[Published Version] View | Files available | DOI | WoS
 
[18]
2020 | Published | Journal Article | IST-REx-ID: 10861
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic,” International Journal on Software Tools for Technology Transfer, vol. 22, no. 6. Springer Nature, pp. 741–758, 2020.
View | Files available | DOI | WoS
 
[17]
2019 | Published | Conference Paper | IST-REx-ID: 7232
T. Ferrere, O. Maler, and D. Nickovic, “Mixed-time signal temporal logic,” in 17th International Conference on Formal Modeling and Analysis of Timed Systems, Amsterdam, The Netherlands, 2019, vol. 11750, pp. 59–75.
View | DOI | WoS
 
[16]
2019 | Published | Conference Paper | IST-REx-ID: 6428 | OA
T. Ferrere, D. Nickovic, A. Donzé, H. Ito, and J. Kapinski, “Interface-aware signal temporal logic,” in Proceedings of the 2019 22nd ACM International Conference on Hybrid Systems: Computation and Control, Montreal, Canada, 2019, pp. 57–66.
[Submitted Version] View | Files available | DOI | WoS
 
[15]
2018 | Published | Conference Paper | IST-REx-ID: 299 | OA
D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 2018, vol. 10806, pp. 303–319.
[Published Version] View | Files available | DOI | WoS
 
[14]
2014 | Published | Technical Report | IST-REx-ID: 5411 | OA
P. Daca, T. A. Henzinger, W. Krenn, and D. Nickovic, Compositional specifications for IOCO testing. IST Austria, 2014.
[Published Version] View | Files available | DOI
 
[13]
2012 | Published | Conference Paper | IST-REx-ID: 3155 | OA
B. Delahaye, U. Fahrenberg, T. A. Henzinger, A. Legay, and D. Nickovic, “Synchronous interface theories and time triggered scheduling,” presented at the FORTE: Formal Techniques for Networked and Distributed Systems & FMOODS: Formal Methods for Open Object-Based Distributed Systems , Stockholm, Sweden, 2012, vol. 7273, pp. 203–218.
[Submitted Version] View | Files available | DOI
 
[12]
2012 | Published | Conference Paper | IST-REx-ID: 3162 | OA
E. Asarin, A. Donzé, O. Maler, and D. Nickovic, “Parametric identification of temporal properties,” presented at the RV: Runtime Verification, San Francisco, CA, United States, 2012, vol. 7186, pp. 147–160.
[Submitted Version] View | Files available | DOI
 
[11]
2012 | Published | Conference Paper | IST-REx-ID: 2942
T. A. Henzinger and D. Nickovic, “Independent implementability of viewpoints,” in Conference proceedings Monterey Workshop 2012, Oxford, UK, 2012, vol. 7539, pp. 380–395.
View | DOI
 
[10]
2011 | Published | Conference Paper | IST-REx-ID: 3362 | OA
J. Fisher, T. A. Henzinger, D. Nickovic, N. Piterman, A. Singh, and M. Vardi, “Dynamic reactive modules,” presented at the CONCUR: Concurrency Theory, Aachen, Germany, 2011, vol. 6901, pp. 404–418.
[Submitted Version] View | Files available | DOI
 
[9]
2010 | Published | Journal Article | IST-REx-ID: 4379 | OA
K. Jones, V. Konrad, and D. Nickovic, “Analog property checkers: a DDR2 case study,” Formal Methods in System Design, vol. 36, no. 2. Springer, pp. 114–130, 2010.
View | DOI | Download (ext.)
 
[8]
2010 | Published | Conference Paper | IST-REx-ID: 4389 | OA
L. Doyen, T. A. Henzinger, A. Legay, and D. Nickovic, “Robustness of sequential circuits,” presented at the ACSD: Application of Concurrency to System Design, 2010, pp. 77–84.
[Submitted Version] View | Files available | DOI
 
[7]
2010 | Published | Conference Paper | IST-REx-ID: 4369 | OA
D. Nickovic and N. Piterman, “From MTL to deterministic timed automata,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, Klosterneuburg, Austria, 2010, vol. 6246, pp. 152–167.
[Submitted Version] View | Files available | DOI
 
[6]
2008 | Published | Book Chapter | IST-REx-ID: 4371
O. Maler, D. Nickovic, and A. Pnueli, “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, Springer, 2008, pp. 475–505.
View | DOI
 
[5]
2007 | Published | Conference Paper | IST-REx-ID: 4368
D. Nickovic and O. Maler, “AMT: A property-based monitoring tool for analog systems,” in 5th International Conference on Formal Modeling and Analysis of Timed Systems, Salzburg, Austria, 2007, vol. 4763, pp. 304–319.
View | DOI
 
[4]
2007 | Published | Conference Paper | IST-REx-ID: 4370
O. Maler, D. Nickovic, and A. Pnueli, “On synthesizing controllers from bounded-response properties,” in 19th International Conference on Computer Aided Verification, Berlin, Germany, 2007, vol. 4590, pp. 95–107.
View | DOI
 
[3]
2006 | Published | Conference Paper | IST-REx-ID: 4373
O. Maler, D. Nickovic, and A. Pnueli, “Real time temporal logic: Past, present, future,” in Third International Conference on Formal Modeling and Analysis of Timed Systems, Uppsala, Sweden, 2006, vol. 3829, pp. 2–16.
View | DOI
 
[2]
2006 | Published | Conference Paper | IST-REx-ID: 4374
O. Maler, D. Nickovic, and A. Pnueli, “From MITL to timed automata,” in 4th International Conference on Formal Modeling and Analysis of Timed Systems, Paris, France, 2006, vol. 4202, pp. 274–289.
View | DOI
 
[1]
2004 | Published | Conference Paper | IST-REx-ID: 4372
O. Maler and D. Nickovic, “Monitoring Temporal Properties of Continuous Signals,” presented at the FORMATS: Formal Modeling and Analysis of Timed Systems, 2004, pp. 152–166.
View | DOI
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed