Dejan Nickovic

Henzinger_Thomas Group

21 Publications

Mark all

[21]
2023 | Conference Paper | IST-REx-ID: 14405 | OA
Bartocci, Ezio, et al. “Hypernode Automata.” 34th International Conference on Concurrency Theory, vol. 279, 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.CONCUR.2023.21.
[Published Version] View | Files available | DOI | arXiv
 
[20]
2022 | Conference Paper | IST-REx-ID: 10774 | OA
Bartocci, Ezio, et al. “Flavors of Sequential Information Flow.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13182, Springer Nature, 2022, pp. 1–19, doi:10.1007/978-3-030-94583-1_1.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[19]
2022 | Conference Paper | IST-REx-ID: 11355 | OA
Bartocci, Ezio, et al. “Information-Flow Interfaces.” Fundamental Approaches to Software Engineering, vol. 13241, Springer Nature, 2022, pp. 3–22, doi:10.1007/978-3-030-99429-7_1.
[Published Version] View | Files available | DOI | WoS
 
[18]
2020 | Journal Article | IST-REx-ID: 10861
Nickovic, Dejan, et al. “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, 2020, pp. 741–58, doi:10.1007/s10009-020-00582-z.
View | Files available | DOI | WoS
 
[17]
2019 | Conference Paper | IST-REx-ID: 6428 | OA
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.
[Submitted Version] View | Files available | DOI | WoS
 
[16]
2019 | Conference Paper | IST-REx-ID: 7232
Ferrere, Thomas, et al. “Mixed-Time Signal Temporal Logic.” 17th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 11750, Springer Nature, 2019, pp. 59–75, doi:10.1007/978-3-030-29662-9_4.
View | DOI | WoS
 
[15]
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.
[Published Version] View | Files available | DOI | WoS
 
[14]
2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1.
[Published Version] View | Files available | DOI
 
[13]
2012 | Conference Paper | IST-REx-ID: 2942
Henzinger, Thomas A., and Dejan Nickovic. “Independent Implementability of Viewpoints.” Conference Proceedings Monterey Workshop 2012, vol. 7539, Springer, 2012, pp. 380–95, doi:10.1007/978-3-642-34059-8_20.
View | DOI
 
[12]
2012 | Conference Paper | IST-REx-ID: 3162 | OA
Asarin, Eugene, et al. Parametric Identification of Temporal Properties. Vol. 7186, Springer, 2012, pp. 147–60, doi:10.1007/978-3-642-29860-8_12.
[Submitted Version] View | Files available | DOI
 
[11]
2012 | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye, Benoît, et al. Synchronous Interface Theories and Time Triggered Scheduling. Vol. 7273, Springer, 2012, pp. 203–18, doi:10.1007/978-3-642-30793-5_13.
[Submitted Version] View | Files available | DOI
 
[10]
2011 | Conference Paper | IST-REx-ID: 3362 | OA
Fisher, Jasmin, et al. Dynamic Reactive Modules. Vol. 6901, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–18, doi:10.1007/978-3-642-23217-6_27.
[Submitted Version] View | Files available | DOI
 
[9]
2010 | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic, Dejan, and Nir Piterman. From MTL to Deterministic Timed Automata. Edited by Thomas A. Henzinger and Krishnendu Chatterjee, vol. 6246, Springer, 2010, pp. 152–67, doi:10.1007/978-3-642-15297-9_13.
[Submitted Version] View | Files available | DOI
 
[8]
2010 | Journal Article | IST-REx-ID: 4379 | OA
Jones, Kevin, et al. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design, vol. 36, no. 2, Springer, 2010, pp. 114–30, doi:10.1007/s10703-009-0085-x.
View | DOI | Download (ext.)
 
[7]
2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, Laurent, et al. Robustness of Sequential Circuits. IEEE, 2010, pp. 77–84, doi:10.1109/ACSD.2010.26.
[Submitted Version] View | Files available | DOI
 
[6]
2008 | Book Chapter | IST-REx-ID: 4371
Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505, doi:10.1007/978-3-540-78127-1_26.
View | DOI
 
[5]
2007 | Conference Paper | IST-REx-ID: 4370
Maler, Oded, et al. On Synthesizing Controllers from Bounded-Response Properties. Springer, 2007, pp. 95–107, doi:1568.
View | DOI
 
[4]
2007 | Conference Paper | IST-REx-ID: 4368
Nickovic, Dejan, and Oded Maler. AMT: A Property-Based Monitoring Tool for Analog Systems. Springer, 2007, pp. 304–19, doi:1567.
View | DOI
 
[3]
2006 | Conference Paper | IST-REx-ID: 4373
Maler, Oded, et al. Real Time Temporal Logic: Past, Present, Future. Springer, 2006, pp. 2–16, doi:1571.
View | DOI
 
[2]
2006 | Conference Paper | IST-REx-ID: 4374
Maler, Oded, et al. From MITL to Timed Automata. Springer, 2006, pp. 274–89, doi:1570.
View | DOI
 
[1]
2004 | Conference Paper | IST-REx-ID: 4372
Maler, Oded, and Dejan Nickovic. Monitoring Temporal Properties of Continuous Signals. Springer, 2004, pp. 152–66, doi:1572.
View | DOI
 
Marked Publication(s)

Search

Filter Publications

    • Display / Sort

    Citation Style: MLA

    Export / Embed

21 Publications

Mark all

[21]
2023 | Conference Paper | IST-REx-ID: 14405 | OA
Bartocci, Ezio, et al. “Hypernode Automata.” 34th International Conference on Concurrency Theory, vol. 279, 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.CONCUR.2023.21.
[Published Version] View | Files available | DOI | arXiv
 
[20]
2022 | Conference Paper | IST-REx-ID: 10774 | OA
Bartocci, Ezio, et al. “Flavors of Sequential Information Flow.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13182, Springer Nature, 2022, pp. 1–19, doi:10.1007/978-3-030-94583-1_1.
[Preprint] View | DOI | Download Preprint (ext.) | arXiv
 
[19]
2022 | Conference Paper | IST-REx-ID: 11355 | OA
Bartocci, Ezio, et al. “Information-Flow Interfaces.” Fundamental Approaches to Software Engineering, vol. 13241, Springer Nature, 2022, pp. 3–22, doi:10.1007/978-3-030-99429-7_1.
[Published Version] View | Files available | DOI | WoS
 
[18]
2020 | Journal Article | IST-REx-ID: 10861
Nickovic, Dejan, et al. “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, 2020, pp. 741–58, doi:10.1007/s10009-020-00582-z.
View | Files available | DOI | WoS
 
[17]
2019 | Conference Paper | IST-REx-ID: 6428 | OA
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.
[Submitted Version] View | Files available | DOI | WoS
 
[16]
2019 | Conference Paper | IST-REx-ID: 7232
Ferrere, Thomas, et al. “Mixed-Time Signal Temporal Logic.” 17th International Conference on Formal Modeling and Analysis of Timed Systems, vol. 11750, Springer Nature, 2019, pp. 59–75, doi:10.1007/978-3-030-29662-9_4.
View | DOI | WoS
 
[15]
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.
[Published Version] View | Files available | DOI | WoS
 
[14]
2014 | Technical Report | IST-REx-ID: 5411 | OA
Daca, Przemyslaw, et al. Compositional Specifications for IOCO Testing. IST Austria, 2014, doi:10.15479/AT:IST-2014-148-v2-1.
[Published Version] View | Files available | DOI
 
[13]
2012 | Conference Paper | IST-REx-ID: 2942
Henzinger, Thomas A., and Dejan Nickovic. “Independent Implementability of Viewpoints.” Conference Proceedings Monterey Workshop 2012, vol. 7539, Springer, 2012, pp. 380–95, doi:10.1007/978-3-642-34059-8_20.
View | DOI
 
[12]
2012 | Conference Paper | IST-REx-ID: 3162 | OA
Asarin, Eugene, et al. Parametric Identification of Temporal Properties. Vol. 7186, Springer, 2012, pp. 147–60, doi:10.1007/978-3-642-29860-8_12.
[Submitted Version] View | Files available | DOI
 
[11]
2012 | Conference Paper | IST-REx-ID: 3155 | OA
Delahaye, Benoît, et al. Synchronous Interface Theories and Time Triggered Scheduling. Vol. 7273, Springer, 2012, pp. 203–18, doi:10.1007/978-3-642-30793-5_13.
[Submitted Version] View | Files available | DOI
 
[10]
2011 | Conference Paper | IST-REx-ID: 3362 | OA
Fisher, Jasmin, et al. Dynamic Reactive Modules. Vol. 6901, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2011, pp. 404–18, doi:10.1007/978-3-642-23217-6_27.
[Submitted Version] View | Files available | DOI
 
[9]
2010 | Conference Paper | IST-REx-ID: 4369 | OA
Nickovic, Dejan, and Nir Piterman. From MTL to Deterministic Timed Automata. Edited by Thomas A. Henzinger and Krishnendu Chatterjee, vol. 6246, Springer, 2010, pp. 152–67, doi:10.1007/978-3-642-15297-9_13.
[Submitted Version] View | Files available | DOI
 
[8]
2010 | Journal Article | IST-REx-ID: 4379 | OA
Jones, Kevin, et al. “Analog Property Checkers: A DDR2 Case Study.” Formal Methods in System Design, vol. 36, no. 2, Springer, 2010, pp. 114–30, doi:10.1007/s10703-009-0085-x.
View | DOI | Download (ext.)
 
[7]
2010 | Conference Paper | IST-REx-ID: 4389 | OA
Doyen, Laurent, et al. Robustness of Sequential Circuits. IEEE, 2010, pp. 77–84, doi:10.1109/ACSD.2010.26.
[Submitted Version] View | Files available | DOI
 
[6]
2008 | Book Chapter | IST-REx-ID: 4371
Maler, Oded, et al. “Checking Temporal Properties of Discrete, Timed and Continuous Behaviors.” Pillars of Computer Science: Essays Dedicated To Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday, Springer, 2008, pp. 475–505, doi:10.1007/978-3-540-78127-1_26.
View | DOI
 
[5]
2007 | Conference Paper | IST-REx-ID: 4370
Maler, Oded, et al. On Synthesizing Controllers from Bounded-Response Properties. Springer, 2007, pp. 95–107, doi:1568.
View | DOI
 
[4]
2007 | Conference Paper | IST-REx-ID: 4368
Nickovic, Dejan, and Oded Maler. AMT: A Property-Based Monitoring Tool for Analog Systems. Springer, 2007, pp. 304–19, doi:1567.
View | DOI
 
[3]
2006 | Conference Paper | IST-REx-ID: 4373
Maler, Oded, et al. Real Time Temporal Logic: Past, Present, Future. Springer, 2006, pp. 2–16, doi:1571.
View | DOI
 
[2]
2006 | Conference Paper | IST-REx-ID: 4374
Maler, Oded, et al. From MITL to Timed Automata. Springer, 2006, pp. 274–89, doi:1570.
View | DOI
 
[1]
2004 | Conference Paper | IST-REx-ID: 4372
Maler, Oded, and Dejan Nickovic. Monitoring Temporal Properties of Continuous Signals. Springer, 2004, pp. 152–66, doi:1572.
View | DOI
 
Marked Publication(s)

Search

Filter Publications

    • Display / Sort

    Citation Style: MLA

    Export / Embed