Dejan Nickovic

发表

Dejan Nickovic, Florian Wenig, Peter Klanatsky, 2017, 2017 IEEE 26th International Symposium on Industrial Electronics (ISIE).
Dejan Nickovic, Bernhard K. Aichernig, Stefan Tiran, 2015, TAP@STAF.
Dejan Nickovic, Ezio Bartocci, Radu Grosu, 2017, Dependable Software Systems Engineering.
Dejan Nickovic, Thomas A. Henzinger, Przemyslaw Daca, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.
Dejan Nickovic, Oded Maler, O. Maler, 2007, FORMATS.
Dejan Nickovic, Schahram Dustdar, Willibald Krenn, 2015, 2015 IEEE/ACM 7th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems.
Dejan Nickovic, Jyotirmoy V. Deshmukh, Oded Maler, 2019, Dagstuhl Reports.
Dejan Nickovic, Amir Pnueli, Oded Maler, 2008, Pillars of Computer Science.
Dejan Nickovic, Yliès Falcone, Giles Reger, 2016, RV.
Dejan Nickovic, Nir Piterman, N. Piterman, 2010, FORMATS.
Dejan Nickovic, Ezio Bartocci, Leonardo Mariani, 2019, SEFM.
Dejan Nickovic, Thomas A. Henzinger, Roberto Passerone, 2015 .
Dejan Nickovic, Ezio Bartocci, Radu Grosu, 2016, HSCC.
Dejan Nickovic, Ezio Bartocci, Radu Grosu, 2016, ISoLA.
Dejan Nickovic, Radu Grosu, Dieter Haerle, 2018, 2018 IEEE International Test Conference (ITC).
Dejan Nickovic, Dogan Ulus, Thomas Ferrère, 2018, International Journal on Software Tools for Technology Transfer.
Dejan Nickovic, Roberto Passerone, Alberto Sangiovanni-Vincentelli, 2015 .
Dejan Nickovic, Ezio Bartocci, Thomas Ferrère, 2018, HSCC.
Dejan Nickovic, Cristinel Mateis, Stefan Jaksic, 2020, FORMATS.
Dejan Nickovic, Sriram Sankaranarayanan, Ezio Bartocci, 2018, Lectures on Runtime Verification.
Dejan Nickovic, Dogan Ulus, Thomas Ferrère, 2015, CAV.
Alberto L. Sangiovanni-Vincentelli, Kim G. Larsen, Dejan Nickovic, 2018, Found. Trends Electron. Des. Autom..
Florian Lorber, Dejan Nickovic, Bernhard K. Aichernig, 2015, International Journal on Software Tools for Technology Transfer.
Dejan Nickovic, Loredana Tec, Willibald Krenn, 2013, FORMATS.
Dejan Nickovic, Eugene Asarin, Oded Maler, 2011, RV.
Dejan Nickovic, Amir Pnueli, Thomas Ferrère, 2019, J. ACM.
Dejan Nickovic, César Sánchez, Gordon J. Pace, 2018, Formal Methods in System Design.
Dejan Nickovic, Thomas A. Henzinger, Thomas Ferrère, 2018 .
Dejan Nickovic, Thomas A. Henzinger, 2012, Monterey Workshop.
Dejan Nickovic, Marcin Jurdziński, M. Jurdzinski, 2003, Lecture Notes in Computer Science.
Dejan Nickovic, Ezio Bartocci, Roderick Bloem, 2018, CAV.
Dejan Nickovic, Thomas A. Henzinger, Willibald Krenn, 2014 .
Dejan Nickovic, Thomas A. Henzinger, Thomas Ferrère, 2018, EMSOFT.
Dejan Nickovic, Cristinel Mateis, Jyotirmoy V. Deshmukh, 2019, RV.
Florian Lorber, Amnon Rosenmann, Dejan Nickovic, 2015, FORMATS.
Dejan Nickovic, D. Ničković, 2015, RV.
Dejan Nickovic, Goran Frehse, Matthias Woehrle, 2018, 2018 Annual American Control Conference (ACC).
Dejan Nickovic, Ezio Bartocci, Roderick Bloem, 2020, ArXiv.
Florian Lorber, Dejan Nickovic, Bernhard K. Aichernig, 2013, TAP@STAF.
Dejan Nickovic, Thomas Ferrère, Eugene Asarin, 2018, FORMATS.
Florian Lorber, Dejan Nickovic, Bernhard K. Aichernig, 2013 .
Dejan Nickovic, Thomas A. Henzinger, Jan Kretínský, 2015, 2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE).
Dejan Nickovic, Ezio Bartocci, Radu Grosu, 2016, 2016 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Dejan Nickovic, Thomas Ferrère, Oded Maler, 2015, ATVA.
Dejan Nickovic, Gordon J. Pace, Ezio Bartocci, 2019, Formal Methods Syst. Des..
Dejan Nickovic, Oded Maler, O. Maler, 2004, FORMATS/FTRTFT.
Dejan Nickovic, Ezio Bartocci, Radu Grosu, 2015, 2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE).
Dejan Nickovic, Kevin D. Jones, Victor Konrad, 2010, Formal Methods Syst. Des..
Dejan Nickovic, Amir Pnueli, Oded Maler, 2005, FORMATS.
Dejan Nickovic, Thomas A. Henzinger, Ezio Bartocci, 2020, ArXiv.
Dejan Nickovic, Ezio Bartocci, Radu Grosu, 2017, CAV.
Dejan Nickovic, Amir Pnueli, Oded Maler, 2007, CAV.
Dejan Nickovic, Thomas A. Henzinger, Axel Legay, 2012, FMOODS/FORTE.
Dejan Nickovic, James Kapinski, Thomas Ferrère, 2019, HSCC.
Dejan Nickovic, Gerti Kappel, Radu Grosu, 2018, CyPhy/WESE.
Dejan Nickovic, Oded Maler, 2012, International Journal on Software Tools for Technology Transfer.
Dejan Nickovic, Dogan Ulus, Eugene Asarin, 2017, FORMATS.
Florian Lorber, Dejan Nickovic, Bernhard K. Aichernig, 2017, International Journal on Software Tools for Technology Transfer.
Dejan Nickovic, Thang Nguyen, D. Ničković, 2014, Sci. Comput. Program..
Dejan Nickovic, Scott Little, Oded Maler, 2010, FORMATS.
Dejan Nickovic, Thomas A. Henzinger, Moshe Y. Vardi, 2011, CONCUR.
Dejan Nickovic, Thomas Ferrère, Oded Maler, 2019, FORMATS.
Dejan Nickovic, Amir Pnueli, Oded Maler, 2006, FORMATS.
Dejan Nickovic, Thomas A. Henzinger, Axel Legay, 2010, 2010 10th International Conference on Application of Concurrency to System Design.
Dejan Nickovic, Ezio Bartocci, Radu Grosu, 2016, Formal Methods in System Design.
Dejan Nickovic, Ezio Bartocci, Radu Grosu, 2012, ATVA.
Dejan Nickovic, Thomas A. Henzinger, Albert Benveniste, 2014 .
Dejan Nickovic, Tomoya Yamaguchi, D. Ničković, 2020, ATVA.
Florian Lorber, Dejan Nickovic, Bernhard K. Aichernig, 2014, 2014 14th International Conference on Quality Software.
Dejan Nickovic, Ezio Bartocci, Radu Grosu, 2018, Formal Methods Syst. Des..
Dejan Nickovic, Jürgen Niehaus, Eike Möhlmann, 2021, ArXiv.
Dejan Nickovic, Ezio Bartocci, Cristinel Mateis, 2021, SEFM.
Dejan Nickovic, Ezio Bartocci, Benedikt Maderbacher, 2021, ADHS.
Dejan Nickovic, Ezio Bartocci, Radu Grosu, 2021, ArXiv.
Dejan Nickovic, Radu Grosu, Edgar A. Aguilar, 2021, ArXiv.
Dejan Nickovic, Cristinel Mateis, Thao Dang, 2021, ArXiv.
Dejan Nickovic, Thomas A. Henzinger, Ezio Bartocci, 2022, VMCAI.
Dejan Nickovic, Dogan Ulus, Thomas Ferrère, 2021, FORMATS.
Dejan Nickovic, Roberto Passerone, Albert Benveniste, 2011 .