BibTeX records: Miroslav Popovic

download as .bib file

@article{DBLP:journals/access/KastelanPB23,
  author       = {Ivan Kastelan and
                  Miroslav Popovic and
                  Milan Z. Bjelica},
  title        = {A Learning Model for Lifelong Education of Computer Engineers},
  journal      = {{IEEE} Access},
  volume       = {11},
  pages        = {101296--101308},
  year         = {2023},
  url          = {https://doi.org/10.1109/ACCESS.2023.3314760},
  doi          = {10.1109/ACCESS.2023.3314760},
  timestamp    = {Sat, 14 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/access/KastelanPB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/PopovicPKZ23,
  author       = {Miroslav Popovic and
                  Marko Popovic and
                  Branislav Kordic and
                  Huibiao Zhu},
  title        = {Complete formal verification of the {PSTM} transaction Scheduler},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {20},
  number       = {1},
  pages        = {307--327},
  year         = {2023},
  url          = {https://doi.org/10.2298/csis210908058p},
  doi          = {10.2298/CSIS210908058P},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/comsis/PopovicPKZ23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/DjukicP23,
  author       = {Miodrag Djukic and
                  Miroslav Popovic},
  title        = {Guest editorial - Engineering of computer based systems},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {20},
  number       = {1},
  pages        = {v--vi},
  year         = {2023},
  url          = {https://doi.org/10.2298/csis230100vd},
  doi          = {10.2298/CSIS230100VD},
  timestamp    = {Tue, 28 Mar 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/DjukicP23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BuschCHPPS23,
  author       = {Costas Busch and
                  Bogdan S. Chlebus and
                  Maurice Herlihy and
                  Miroslav Popovic and
                  Pavan Poudel and
                  Gokarna Sharma},
  title        = {Flexible scheduling of transactional memory on trees},
  journal      = {Theor. Comput. Sci.},
  volume       = {978},
  pages        = {114184},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.tcs.2023.114184},
  doi          = {10.1016/J.TCS.2023.114184},
  timestamp    = {Mon, 16 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/BuschCHPPS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/PopovicPKDB23,
  author       = {Miroslav Popovic and
                  Marko Popovic and
                  Ivan Kastelan and
                  Miodrag Djukic and
                  Ilija Basicevic},
  editor       = {Jan Kofron and
                  Tiziana Margaria and
                  Cristina Seceleanu},
  title        = {A Federated Learning Algorithms Development Paradigm},
  booktitle    = {Engineering of Computer-Based Systems - 8th International Conference,
                  {ECBS} 2023, V{\"{a}}ster{\aa}s, Sweden, October 16-18, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14390},
  pages        = {26--41},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-49252-5\_4},
  doi          = {10.1007/978-3-031-49252-5\_4},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbseerc/PopovicPKDB23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/ProkicGKPPK23,
  author       = {Ivan Prokic and
                  Silvia Ghilezan and
                  Simona Kasterovic and
                  Miroslav Popovic and
                  Marko Popovic and
                  Ivan Kastelan},
  editor       = {Jan Kofron and
                  Tiziana Margaria and
                  Cristina Seceleanu},
  title        = {Correct Orchestration of Federated Learning Generic Algorithms: Formalisation
                  and Verification in {CSP}},
  booktitle    = {Engineering of Computer-Based Systems - 8th International Conference,
                  {ECBS} 2023, V{\"{a}}ster{\aa}s, Sweden, October 16-18, 2023,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14390},
  pages        = {274--288},
  publisher    = {Springer},
  year         = {2023},
  url          = {https://doi.org/10.1007/978-3-031-49252-5\_25},
  doi          = {10.1007/978-3-031-49252-5\_25},
  timestamp    = {Sun, 10 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbseerc/ProkicGKPPK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-08380,
  author       = {Miroslav Popovic and
                  Marko Popovic and
                  Branislav Kordic and
                  Huibiao Zhu},
  title        = {{PSTM} Transaction Scheduler Verification Based on {CSP} and Testing},
  journal      = {CoRR},
  volume       = {abs/2305.08380},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.08380},
  doi          = {10.48550/ARXIV.2305.08380},
  eprinttype    = {arXiv},
  eprint       = {2305.08380},
  timestamp    = {Wed, 17 May 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-08380.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-20027,
  author       = {Miroslav Popovic and
                  Marko Popovic and
                  Ivan Kastelan and
                  Miodrag Djukic and
                  Silvia Ghilezan},
  title        = {A Simple Python Testbed for Federated Learning Algorithms},
  journal      = {CoRR},
  volume       = {abs/2305.20027},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2305.20027},
  doi          = {10.48550/ARXIV.2305.20027},
  eprinttype    = {arXiv},
  eprint       = {2305.20027},
  timestamp    = {Wed, 07 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2305-20027.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-14529,
  author       = {Ivan Prokic and
                  Silvia Ghilezan and
                  Simona Kasterovic and
                  Miroslav Popovic and
                  Marko Popovic and
                  Ivan Kastelan},
  title        = {Correct orchestration of Federated Learning generic algorithms: formalisation
                  and verification in {CSP}},
  journal      = {CoRR},
  volume       = {abs/2306.14529},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2306.14529},
  doi          = {10.48550/ARXIV.2306.14529},
  eprinttype    = {arXiv},
  eprint       = {2306.14529},
  timestamp    = {Tue, 27 Jun 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2306-14529.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-05102,
  author       = {Miroslav Popovic and
                  Marko Popovic and
                  Ivan Kastelan and
                  Miodrag Djukic and
                  Ilija Basicevic},
  title        = {A Federated Learning Algorithms Development Paradigm},
  journal      = {CoRR},
  volume       = {abs/2310.05102},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2310.05102},
  doi          = {10.48550/ARXIV.2310.05102},
  eprinttype    = {arXiv},
  eprint       = {2310.05102},
  timestamp    = {Fri, 20 Oct 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2310-05102.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2312-04412,
  author       = {Miroslav Popovic and
                  Marko Popovic and
                  Ivan Kastelan and
                  Miodrag Djukic and
                  Ilija Basicevic},
  title        = {Developing Elementary Federated Learning Algorithms Leveraging the
                  ChatGPT},
  journal      = {CoRR},
  volume       = {abs/2312.04412},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2312.04412},
  doi          = {10.48550/ARXIV.2312.04412},
  eprinttype    = {arXiv},
  eprint       = {2312.04412},
  timestamp    = {Tue, 02 Jan 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2312-04412.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BuschHPS22,
  author       = {Costas Busch and
                  Maurice Herlihy and
                  Miroslav Popovic and
                  Gokarna Sharma},
  title        = {Dynamic scheduling in distributed transactional memory},
  journal      = {Distributed Comput.},
  volume       = {35},
  number       = {1},
  pages        = {19--36},
  year         = {2022},
  url          = {https://doi.org/10.1007/s00446-021-00410-w},
  doi          = {10.1007/S00446-021-00410-W},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/BuschHPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/LiYZXP22,
  author       = {Peimu Li and
                  Jiaqi Yin and
                  Huibiao Zhu and
                  Lili Xiao and
                  Miroslav Popovic},
  editor       = {Hong Va Leong and
                  Sahra Sedigh Sarvestani and
                  Yuuichi Teranishi and
                  Alfredo Cuzzocrea and
                  Hiroki Kashiwazaki and
                  Dave Towey and
                  Ji{-}Jiang Yang and
                  Hossain Shahriar},
  title        = {Formal Analysis and Verification of {DPSTM} v2 Architecture Using
                  {CSP}},
  booktitle    = {46th {IEEE} Annual Computers, Software, and Applications Conferenc,
                  {COMPSAC} 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022},
  pages        = {872--877},
  publisher    = {{IEEE}},
  year         = {2022},
  url          = {https://doi.org/10.1109/COMPSAC54236.2022.00138},
  doi          = {10.1109/COMPSAC54236.2022.00138},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/compsac/LiYZXP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sss/BuschCHPPS22,
  author       = {Costas Busch and
                  Bogdan S. Chlebus and
                  Maurice Herlihy and
                  Miroslav Popovic and
                  Pavan Poudel and
                  Gokarna Sharma},
  editor       = {St{\'{e}}phane Devismes and
                  Franck Petit and
                  Karine Altisen and
                  Giuseppe Antonio Di Luna and
                  Antonio Fern{\'{a}}ndez Anta},
  title        = {Flexible Scheduling of Transactional Memory on Trees},
  booktitle    = {Stabilization, Safety, and Security of Distributed Systems - 24th
                  International Symposium, {SSS} 2022, Clermont-Ferrand, France, November
                  15-17, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13751},
  pages        = {146--163},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-21017-4\_10},
  doi          = {10.1007/978-3-031-21017-4\_10},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sss/BuschCHPPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/BuschHPS21,
  author       = {Costas Busch and
                  Maurice Herlihy and
                  Miroslav Popovic and
                  Gokarna Sharma},
  title        = {Fast Scheduling in Distributed Transactional Memory},
  journal      = {Theory Comput. Syst.},
  volume       = {65},
  number       = {2},
  pages        = {296--322},
  year         = {2021},
  url          = {https://doi.org/10.1007/s00224-020-10008-7},
  doi          = {10.1007/S00224-020-10008-7},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mst/BuschHPS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/PopovicPKZ21,
  author       = {Miroslav Popovic and
                  Marko Popovic and
                  Branislav Kordic and
                  Huibiao Zhu},
  title        = {{PSTM} Transaction Scheduler Verification Based on {CSP} and Testing},
  booktitle    = {{ECBS} 2021: 7th Conference on the Engineering of Computer Based Systems,
                  Novi Sad, Serbia},
  pages        = {10:1--10:10},
  publisher    = {{ACM}},
  year         = {2021},
  url          = {https://doi.org/10.1145/3459960.3459962},
  doi          = {10.1145/3459960.3459962},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbseerc/PopovicPKZ21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jss/LiuZPXZ20,
  author       = {Ailun Liu and
                  Huibiao Zhu and
                  Miroslav Popovic and
                  Shuangqing Xiang and
                  Lei Zhang},
  title        = {Formal analysis and verification of the {PSTM} architecture using
                  {CSP}},
  journal      = {J. Syst. Softw.},
  volume       = {165},
  pages        = {110559},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jss.2020.110559},
  doi          = {10.1016/J.JSS.2020.110559},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jss/LiuZPXZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipps/BuschHPS20,
  author       = {Costas Busch and
                  Maurice Herlihy and
                  Miroslav Popovic and
                  Gokarna Sharma},
  title        = {Dynamic Scheduling in Distributed Transactional Memory},
  booktitle    = {2020 {IEEE} International Parallel and Distributed Processing Symposium
                  (IPDPS), New Orleans, LA, USA, May 18-22, 2020},
  pages        = {874--883},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/IPDPS47924.2020.00094},
  doi          = {10.1109/IPDPS47924.2020.00094},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ipps/BuschHPS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mipro/KastelanPVP20,
  author       = {Ivan Kastelan and
                  Bogdan Pavkovic and
                  Mario Vranjes and
                  Miroslav Popovic},
  editor       = {Marko Koricic and
                  Karolj Skala and
                  Zeljka Car and
                  Marina Cicin{-}Sain and
                  Vlado Sruk and
                  Dejan Skvorc and
                  Slobodan Ribaric and
                  Bojan Jerbic and
                  Stjepan Gros and
                  Boris Vrdoljak and
                  Mladen Mauher and
                  Edvard Tijan and
                  Tihomir Katulic and
                  Predrag Pale and
                  Tihana Galinac Grbac and
                  Nikola Filip Fijan and
                  Adrian Boukalov and
                  Dragan Cisic and
                  Vera Gradisnik},
  title        = {Modernized Courses in Automotive Software Engineering},
  booktitle    = {43rd International Convention on Information, Communication and Electronic
                  Technology, {MIPRO} 2020, Opatija, Croatia, September 28 - October
                  2, 2020},
  pages        = {737--740},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.23919/MIPRO48935.2020.9245181},
  doi          = {10.23919/MIPRO48935.2020.9245181},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mipro/KastelanPVP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cee/BojovicBOP19,
  author       = {Petar D. Bojovic and
                  Ilija Basicevic and
                  Stanislav Ocovaj and
                  Miroslav Popovic},
  title        = {A practical approach to detection of distributed denial-of-service
                  attacks using a hybrid detection method},
  journal      = {Comput. Electr. Eng.},
  volume       = {73},
  pages        = {84--96},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.compeleceng.2018.11.004},
  doi          = {10.1016/J.COMPELECENG.2018.11.004},
  timestamp    = {Wed, 19 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cee/BojovicBOP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/KordicPPGAD19,
  author       = {Branislav Kordic and
                  Marko Popovic and
                  Miroslav Popovic and
                  Moshe Goldstein and
                  Moshe Amitay and
                  David Dayan},
  editor       = {Maria{-}Iuliana Dascalu and
                  Ondrej Rysav{\'{y}} and
                  Constanta{-}Nicoleta Bodea and
                  Moshe Goldstein and
                  Miodrag Dukic},
  title        = {A Protein Structure Prediction Program Architecture Based on a Software
                  Transactional Memory},
  booktitle    = {Proceedings of the 6th Conference on the Engineering of Computer Based
                  Systems, {ECBS} 2019, Bucharest, Romania, September 2-3, 2019},
  pages        = {1:1--1:9},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3352700.3352701},
  doi          = {10.1145/3352700.3352701},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbseerc/KordicPPGAD19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbseerc/PopovicPGK19,
  author       = {Miroslav Popovic and
                  Marko Popovic and
                  Silvia Ghilezan and
                  Branislav Kordic},
  editor       = {Maria{-}Iuliana Dascalu and
                  Ondrej Rysav{\'{y}} and
                  Constanta{-}Nicoleta Bodea and
                  Moshe Goldstein and
                  Miodrag Dukic},
  title        = {Formal Verification of Python Software Transactional Memory Serializability
                  Based on the Push/Pull Semantic Model},
  booktitle    = {Proceedings of the 6th Conference on the Engineering of Computer Based
                  Systems, {ECBS} 2019, Bucharest, Romania, September 2-3, 2019},
  pages        = {6:1--6:8},
  publisher    = {{ACM}},
  year         = {2019},
  url          = {https://doi.org/10.1145/3352700.3352706},
  doi          = {10.1145/3352700.3352706},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbseerc/PopovicPGK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icce-berlin/KelemanMPK19,
  author       = {Levon Keleman and
                  Danijel Matic and
                  Miroslav Popovic and
                  Ivan Kastelan},
  title        = {Secure firmware update in embedded systems},
  booktitle    = {9th {IEEE} International Conference on Consumer Electronics, ICCE-Berlin
                  2019, Berlin, Germany, September 8-11, 2019},
  pages        = {16--19},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICCE-Berlin47944.2019.8966174},
  doi          = {10.1109/ICCE-BERLIN47944.2019.8966174},
  timestamp    = {Sun, 25 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icce-berlin/KelemanMPK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mipro/KastelanPVPV19,
  author       = {Ivan Kastelan and
                  Bogdan Pavkovic and
                  Mario Vranjes and
                  Miroslav Popovic and
                  Gordana Velikic},
  editor       = {Marko Koricic and
                  Zeljko Butkovic and
                  Karolj Skala and
                  Zeljka Car and
                  Marina Cicin{-}Sain and
                  Snjezana Babic and
                  Vlado Sruk and
                  Dejan Skvorc and
                  Slobodan Ribaric and
                  Stjepan Gros and
                  Boris Vrdoljak and
                  Mladen Mauher and
                  Edvard Tijan and
                  Predrag Pale and
                  Darko Huljenic and
                  Tihana Galinac Grbac and
                  Matej Janjic},
  title        = {Modernizing Laboratories for New Courses in Automotive Software Engineering},
  booktitle    = {42nd International Convention on Information and Communication Technology,
                  Electronics and Microelectronics, {MIPRO} 2019, Opatija, Croatia,
                  May 20-24, 2019},
  pages        = {667--670},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.23919/MIPRO.2019.8756648},
  doi          = {10.23919/MIPRO.2019.8756648},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mipro/KastelanPVPV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Xu0ZP19,
  author       = {Chao Xu and
                  Xi Wu and
                  Huibiao Zhu and
                  Miroslav Popovic},
  editor       = {Dominique M{\'{e}}ry and
                  Shengchao Qin},
  title        = {Modeling and Verifying Transaction Scheduling for Software Transactional
                  Memory using {CSP}},
  booktitle    = {2019 International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2019, Guilin, China, July 29-31, 2019},
  pages        = {240--247},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/TASE.2019.00009},
  doi          = {10.1109/TASE.2019.00009},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tase/Xu0ZP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/PetkovicBKP18,
  author       = {Miodrag Petkovic and
                  Ilija Basicevic and
                  Dragan Kukolj and
                  Miroslav Popovic},
  title        = {Evaluation of Takagi-Sugeno-Kang fuzzy method in entropy-based detection
                  of DDoS attacks},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {15},
  number       = {1},
  pages        = {139--162},
  year         = {2018},
  url          = {https://doi.org/10.2298/CSIS160905039P},
  doi          = {10.2298/CSIS160905039P},
  timestamp    = {Tue, 20 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/comsis/PetkovicBKP18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/BuschHPS18,
  author       = {Costas Busch and
                  Maurice Herlihy and
                  Miroslav Popovic and
                  Gokarna Sharma},
  title        = {Time-communication impossibility results for distributed transactional
                  memory},
  journal      = {Distributed Comput.},
  volume       = {31},
  number       = {6},
  pages        = {471--487},
  year         = {2018},
  url          = {https://doi.org/10.1007/s00446-017-0318-y},
  doi          = {10.1007/S00446-017-0318-Y},
  timestamp    = {Fri, 13 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dc/BuschHPS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/educon/KastelanPVV18,
  author       = {Ivan Kastelan and
                  Miroslav Popovic and
                  Mario Vranjes and
                  Gordana Velikic},
  title        = {Work in progress: Modernizing laboratories for innovative technologies
                  in automotive},
  booktitle    = {2018 {IEEE} Global Engineering Education Conference, {EDUCON} 2018,
                  Santa Cruz de Tenerife, Tenerife, Islas Canarias, Spain, April 17-20,
                  2018},
  pages        = {1700--1702},
  publisher    = {{IEEE}},
  year         = {2018},
  url          = {https://doi.org/10.1109/EDUCON.2018.8363439},
  doi          = {10.1109/EDUCON.2018.8363439},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/educon/KastelanPVV18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-05450,
  author       = {Petar D. Bojovic and
                  Ilija Basicevic and
                  Stanislav Ocovaj and
                  Miroslav Popovic},
  title        = {A practical approach to detection of distributed denial-of-service
                  attacks using a hybrid detection method},
  journal      = {CoRR},
  volume       = {abs/1812.05450},
  year         = {2018},
  url          = {http://arxiv.org/abs/1812.05450},
  eprinttype    = {arXiv},
  eprint       = {1812.05450},
  timestamp    = {Tue, 01 Jan 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1812-05450.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LiuPZ17,
  author       = {Ailun Liu and
                  Miroslav Popovic and
                  Huibiao Zhu},
  editor       = {Jian Lv and
                  He Jason Zhang and
                  Mike Hinchey and
                  Xiao Liu},
  title        = {Formalization and Verification of the {PSTM} Architecture},
  booktitle    = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing,
                  China, December 4-8, 2017},
  pages        = {427--435},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/APSEC.2017.49},
  doi          = {10.1109/APSEC.2017.49},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/apsec/LiuPZ17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/KrunicKPK17,
  author       = {Momcilo Krunic and
                  Jelena Kovacevic and
                  Miroslav Popovic and
                  Vlado Krunic},
  editor       = {Ondrej Rysav{\'{y}} and
                  Valentino Vranic and
                  George Angelos Papadopoulos},
  title        = {Instructions energy consumption on a heterogeneous multicore platform},
  booktitle    = {Proceedings of the Fifth European Conference on the Engineering of
                  Computer-Based Systems, {ECBS} 2017, Larnaca, Cyprus, August 31 -
                  September 01, 2017},
  pages        = {10:1--10:10},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3123779.3123795},
  doi          = {10.1145/3123779.3123795},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbs/KrunicKPK17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/KordicPGB17,
  author       = {Branislav Kordic and
                  Miroslav Popovic and
                  Silvia Ghilezan and
                  Ilija Basicevic},
  editor       = {Ondrej Rysav{\'{y}} and
                  Valentino Vranic and
                  George Angelos Papadopoulos},
  title        = {An approach to formal verification of python software transactional
                  memory},
  booktitle    = {Proceedings of the Fifth European Conference on the Engineering of
                  Computer-Based Systems, {ECBS} 2017, Larnaca, Cyprus, August 31 -
                  September 01, 2017},
  pages        = {13:1--13:10},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3123779.3123788},
  doi          = {10.1145/3123779.3123788},
  timestamp    = {Wed, 25 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbs/KordicPGB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kivs/PopovicKB17,
  author       = {Miroslav Popovic and
                  Ramin Khalili and
                  Jean{-}Yves Le Boudec},
  title        = {Performance comparison of node-redundant multicast distribution trees
                  in {SDN} networks},
  booktitle    = {2017 International Conference on Networked Systems, NetSys 2017, G{\"{o}}ttingen,
                  Germany, March 13-16, 2017},
  pages        = {1--8},
  publisher    = {{IEEE}},
  year         = {2017},
  url          = {https://doi.org/10.1109/NetSys.2017.7903946},
  doi          = {10.1109/NETSYS.2017.7903946},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/kivs/PopovicKB17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spaa/BuschHPS17,
  author       = {Costas Busch and
                  Maurice Herlihy and
                  Miroslav Popovic and
                  Gokarna Sharma},
  editor       = {Christian Scheideler and
                  Mohammad Taghi Hajiaghayi},
  title        = {Fast Scheduling in Distributed Transactional Memory},
  booktitle    = {Proceedings of the 29th {ACM} Symposium on Parallelism in Algorithms
                  and Architectures, {SPAA} 2017, Washington DC, USA, July 24-26, 2017},
  pages        = {173--182},
  publisher    = {{ACM}},
  year         = {2017},
  url          = {https://doi.org/10.1145/3087556.3087565},
  doi          = {10.1145/3087556.3087565},
  timestamp    = {Tue, 06 Nov 2018 16:59:33 +0100},
  biburl       = {https://dblp.org/rec/conf/spaa/BuschHPS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/ch/Popovic16,
  author       = {Miroslav Popovic},
  title        = {Redundancy in Communication Networks for Smart Grids},
  school       = {EPFL, Switzerland},
  year         = {2016},
  url          = {https://doi.org/10.5075/epfl-thesis-6973},
  doi          = {10.5075/EPFL-THESIS-6973},
  timestamp    = {Tue, 02 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/ch/Popovic16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/BasicevicOP16,
  author       = {Ilija Basicevic and
                  Stanislav Ocovaj and
                  Miroslav Popovic},
  title        = {The value of flow size distribution in entropy-based detection of
                  DoS attacks},
  journal      = {Secur. Commun. Networks},
  volume       = {9},
  number       = {10},
  pages        = {958--965},
  year         = {2016},
  url          = {https://doi.org/10.1002/sec.1391},
  doi          = {10.1002/SEC.1391},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scn/BasicevicOP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/PopovicMTB16,
  author       = {Miroslav Popovic and
                  Maaz Mohiuddin and
                  Dan{-}Cristian Tomozei and
                  Jean{-}Yves Le Boudec},
  title        = {iPRP - The Parallel Redundancy Protocol for {IP} Networks: Protocol
                  Design and Operation},
  journal      = {{IEEE} Trans. Ind. Informatics},
  volume       = {12},
  number       = {5},
  pages        = {1842--1854},
  year         = {2016},
  url          = {https://doi.org/10.1109/TII.2016.2530018},
  doi          = {10.1109/TII.2016.2530018},
  timestamp    = {Thu, 21 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tii/PopovicMTB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tim/SarriZPBP16,
  author       = {Styliani Sarri and
                  Lorenzo Zanni and
                  Miroslav Popovic and
                  Jean{-}Yves Le Boudec and
                  Mario Paolone},
  title        = {Performance Assessment of Linear State Estimators Using Synchrophasor
                  Measurements},
  journal      = {{IEEE} Trans. Instrum. Meas.},
  volume       = {65},
  number       = {3},
  pages        = {535--548},
  year         = {2016},
  url          = {https://doi.org/10.1109/TIM.2015.2510598},
  doi          = {10.1109/TIM.2015.2510598},
  timestamp    = {Mon, 08 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tim/SarriZPBP16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iccel/KrunicPPK16,
  author       = {Momcilo Krunic and
                  Ivan Povazan and
                  Miroslav Popovic and
                  Jelena Kovacevic},
  title        = {Data flow {CAD} tool for firniware development and power consumption
                  estimation in multi-core hearing aids},
  booktitle    = {{IEEE} International Conference on Consumer Electronics, {ICCE} 2016,
                  Las Vegas, NV, USA, January 7-11, 2016},
  pages        = {575--576},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/ICCE.2016.7430736},
  doi          = {10.1109/ICCE.2016.7430736},
  timestamp    = {Wed, 16 Oct 2019 14:14:51 +0200},
  biburl       = {https://dblp.org/rec/conf/iccel/KrunicPPK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smartgridcomm/MohiuddinPGB16,
  author       = {Maaz Mohiuddin and
                  Miroslav Popovic and
                  Athanasios Giannakopoulos and
                  Jean{-}Yves Le Boudec},
  title        = {Experimental validation of the usability of Wi-Fi over redundant paths
                  for streaming phasor data},
  booktitle    = {2016 {IEEE} International Conference on Smart Grid Communications,
                  SmartGridComm 2016, Sydney, Australia, November 6-9, 2016},
  pages        = {533--538},
  publisher    = {{IEEE}},
  year         = {2016},
  url          = {https://doi.org/10.1109/SmartGridComm.2016.7778816},
  doi          = {10.1109/SMARTGRIDCOMM.2016.7778816},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/smartgridcomm/MohiuddinPGB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/BasicevicOP15,
  author       = {Ilija Basicevic and
                  Stanislav Ocovaj and
                  Miroslav Popovic},
  title        = {Evaluation of entropy-based detection of outbound denial-of-service
                  attacks in edge networks},
  journal      = {Secur. Commun. Networks},
  volume       = {8},
  number       = {5},
  pages        = {837--844},
  year         = {2015},
  url          = {https://doi.org/10.1002/sec.1040},
  doi          = {10.1002/SEC.1040},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scn/BasicevicOP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scn/BasicevicOP15a,
  author       = {Ilija Basicevic and
                  Stanislav Ocovaj and
                  Miroslav Popovic},
  title        = {Use of Tsallis entropy in detection of {SYN} flood DoS attacks},
  journal      = {Secur. Commun. Networks},
  volume       = {8},
  number       = {18},
  pages        = {3634--3640},
  year         = {2015},
  url          = {https://doi.org/10.1002/sec.1286},
  doi          = {10.1002/SEC.1286},
  timestamp    = {Thu, 10 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/scn/BasicevicOP15a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PopovicKB15,
  author       = {Miroslav Popovic and
                  Branislav Kordic and
                  Ilija Basicevic},
  title        = {Work, Span, and Parallelism of Transactional Memory Programs},
  booktitle    = {2015 4th Eastern European Regional Conference on the Engineering of
                  Computer Based Systems, Brno, Czech Republic, August 27-28, 2015},
  pages        = {59--66},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ECBS-EERC.2015.18},
  doi          = {10.1109/ECBS-EERC.2015.18},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/PopovicKB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/DayanGMRBBLNNSY15,
  author       = {David Dayan and
                  Moshe Goldstein and
                  Shimon Mizrahi and
                  Max Rabin and
                  Devora Berlowitz and
                  Or Berlowitz and
                  Elad Bussani Levy and
                  Moshe Naaman and
                  Mor Nagar and
                  Ditsa Soudry and
                  Raphael B. Yehezkael and
                  Miroslav Popovic},
  title        = {{EFL:} Implementing and Testing an Embedded Language Which Provides
                  Safe and Efficient Parallel Execution},
  booktitle    = {2015 4th Eastern European Regional Conference on the Engineering of
                  Computer Based Systems, Brno, Czech Republic, August 27-28, 2015},
  pages        = {83--90},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ECBS-EERC.2015.21},
  doi          = {10.1109/ECBS-EERC.2015.21},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/DayanGMRBBLNNSY15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/KordicPB15,
  author       = {Branislav Kordic and
                  Miroslav Popovic and
                  Ilija Basicevic},
  title        = {{DPM-PSTM:} Dual-Port Memory Based Python Software Transactional Memory},
  booktitle    = {2015 4th Eastern European Regional Conference on the Engineering of
                  Computer Based Systems, Brno, Czech Republic, August 27-28, 2015},
  pages        = {126--129},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ECBS-EERC.2015.28},
  doi          = {10.1109/ECBS-EERC.2015.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/KordicPB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PovazanKP15,
  author       = {Ivan Povazan and
                  Momcilo Krunic and
                  Miroslav Popovic},
  title        = {A Profiling Tool for Heterogeneous Multi-core Systems},
  booktitle    = {2015 4th Eastern European Regional Conference on the Engineering of
                  Computer Based Systems, Brno, Czech Republic, August 27-28, 2015},
  pages        = {138--141},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ECBS-EERC.2015.31},
  doi          = {10.1109/ECBS-EERC.2015.31},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/PovazanKP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isgt/PignatiPBCFBMPR15,
  author       = {Marco Pignati and
                  Miroslav Popovic and
                  S{\'{e}}rgio Barreto Andrade and
                  Rachid Cherkaoui and
                  German Dario Flores and
                  Jean{-}Yves Le Boudec and
                  Maaz Mohiuddin and
                  Mario Paolone and
                  Paolo Romano and
                  Styliani Sarri and
                  Teklemariam Tesfay and
                  Dan{-}Cristian Tomozei and
                  Lorenzo Zanni},
  title        = {Real-time state estimation of the EPFL-campus medium-voltage grid
                  by using PMUs},
  booktitle    = {2015 {IEEE} Power {\&} Energy Society Innovative Smart Grid Technologies
                  Conference, {ISGT} 2015, Washington, DC, USA, February 18-20, 2015},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/ISGT.2015.7131877},
  doi          = {10.1109/ISGT.2015.7131877},
  timestamp    = {Wed, 16 Oct 2019 14:14:57 +0200},
  biburl       = {https://dblp.org/rec/conf/isgt/PignatiPBCFBMPR15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mipro/KordicMPK15,
  author       = {Branislav Kordic and
                  Vladimir Marinkovic and
                  Miroslav Popovic and
                  Ivan Kastelan},
  editor       = {Petar Biljanovic and
                  Zeljko Butkovic and
                  Karolj Skala and
                  Branko Mikac and
                  Marina Cicin{-}Sain and
                  Vlado Sruk and
                  Slobodan Ribaric and
                  Stjepan Gros and
                  Boris Vrdoljak and
                  Mladen Mauher and
                  Andrej Sokolic},
  title        = {Hands-on system programming labs {\&} projects based on {E2LP}
                  platform},
  booktitle    = {38th International Convention on Information and Communication Technology,
                  Electronics and Microelectronics, {MIPRO} 2015, Opatija, Croatia,
                  May 25-29, 2015},
  pages        = {790--793},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/MIPRO.2015.7160378},
  doi          = {10.1109/MIPRO.2015.7160378},
  timestamp    = {Wed, 16 Oct 2019 14:14:54 +0200},
  biburl       = {https://dblp.org/rec/conf/mipro/KordicMPK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/BuschHPS15,
  author       = {Costas Busch and
                  Maurice Herlihy and
                  Miroslav Popovic and
                  Gokarna Sharma},
  editor       = {Chryssis Georgiou and
                  Paul G. Spirakis},
  title        = {Impossibility Results for Distributed Transactional Memory},
  booktitle    = {Proceedings of the 2015 {ACM} Symposium on Principles of Distributed
                  Computing, {PODC} 2015, Donostia-San Sebasti{\'{a}}n, Spain,
                  July 21 - 23, 2015},
  pages        = {207--215},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2767386.2767433},
  doi          = {10.1145/2767386.2767433},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/podc/BuschHPS15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wfcs/PopovicMTB15,
  author       = {Miroslav Popovic and
                  Maaz Mohiuddin and
                  Dan{-}Cristian Tomozei and
                  Jean{-}Yves Le Boudec},
  title        = {iPRP: Parallel redundancy protocol for {IP} networks},
  booktitle    = {{IEEE} World Conference on Factory Communication Systems, {WFCS} 2015,
                  Palma de Mallorca, Spain, May 27-29, 2015},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/WFCS.2015.7160549},
  doi          = {10.1109/WFCS.2015.7160549},
  timestamp    = {Wed, 16 Oct 2019 14:14:53 +0200},
  biburl       = {https://dblp.org/rec/conf/wfcs/PopovicMTB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/JayasingheBPTB14,
  author       = {Upul Jayasinghe and
                  S{\'{e}}rgio Barreto Andrade and
                  Miroslav Popovic and
                  Teklemariam Tsegay Tesfay and
                  Jean{-}Yves Le Boudec},
  editor       = {Klaus Kursawe and
                  Benessa Defend},
  title        = {Security Vulnerabilities of the Cisco {IOS} Implementation of the
                  {MPLS} Transport Profile},
  booktitle    = {Proceedings of the 2nd Workshop on Smart Energy Grid Security, SEGS@CCS
                  2014, Scottsdale, AZ, USA, November 7, 2014},
  pages        = {45--50},
  publisher    = {{ACM}},
  year         = {2014},
  url          = {https://doi.org/10.1145/2667190.2667197},
  doi          = {10.1145/2667190.2667197},
  timestamp    = {Tue, 10 Nov 2020 16:06:16 +0100},
  biburl       = {https://dblp.org/rec/conf/ccs/JayasingheBPTB14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/BuschHPS14,
  author       = {Costas Busch and
                  Maurice Herlihy and
                  Miroslav Popovic and
                  Gokarna Sharma},
  editor       = {Fabian Kuhn},
  title        = {Scheduling Multiple Objects in Distributed Transactional Memory},
  booktitle    = {Distributed Computing - 28th International Symposium, {DISC} 2014,
                  Austin, TX, USA, October 12-15, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8784},
  pages        = {538--539},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://link.springer.com/content/pdf/bbm\%3A978-3-662-45174-8\%2F1.pdf\#page=8},
  timestamp    = {Thu, 24 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wdag/BuschHPS14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/comsis/PopovicDMV13,
  author       = {Miroslav Popovic and
                  Miodrag Djukic and
                  Vladimir Marinkovic and
                  Nikola Vranic},
  title        = {On task tree executor architectures based on intel parallel building
                  blocks},
  journal      = {Comput. Sci. Inf. Syst.},
  volume       = {10},
  number       = {1},
  pages        = {369--392},
  year         = {2013},
  url          = {https://doi.org/10.2298/CSIS120519008P},
  doi          = {10.2298/CSIS120519008P},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/comsis/PopovicDMV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isse/DjukicCOP13,
  author       = {Miodrag Djukic and
                  Nenad Cetic and
                  Radovan Obradovic and
                  Miroslav Popovic},
  title        = {An approach to instruction set compiled simulator development based
                  on a target processor {C} compiler back-end design},
  journal      = {Innov. Syst. Softw. Eng.},
  volume       = {9},
  number       = {3},
  pages        = {135--145},
  year         = {2013},
  url          = {https://doi.org/10.1007/s11334-013-0220-0},
  doi          = {10.1007/S11334-013-0220-0},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/isse/DjukicCOP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ton/KhaliliGPB13,
  author       = {Ramin Khalili and
                  Nicolas Gast and
                  Miroslav Popovic and
                  Jean{-}Yves Le Boudec},
  title        = {{MPTCP} Is Not Pareto-Optimal: Performance Issues and a Possible Solution},
  journal      = {{IEEE/ACM} Trans. Netw.},
  volume       = {21},
  number       = {5},
  pages        = {1651--1665},
  year         = {2013},
  url          = {https://doi.org/10.1109/TNET.2013.2274462},
  doi          = {10.1109/TNET.2013.2274462},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ton/KhaliliGPB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/CeticPDK13,
  author       = {Nenad Cetic and
                  Miroslav Popovic and
                  Miodrag Djukic and
                  Momcilo Krunic},
  title        = {A Run-Time Library for Parallel Processing on a Multi-core {DSP}},
  booktitle    = {3rd Eastern European Regional Conference on the Engineering of Computer
                  Based Systems, {ECBS-EERC} 2013, Budapest, Hungary, 29-30 August 2013},
  pages        = {41--47},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECBS-EERC.2013.14},
  doi          = {10.1109/ECBS-EERC.2013.14},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/CeticPDK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PovazanPDC13,
  author       = {Ivan Povazan and
                  Miroslav Popovic and
                  Miodrag Djukic and
                  Nenad Cetic},
  title        = {A Retargetable {C} Compiler for Embedded Systems},
  booktitle    = {3rd Eastern European Regional Conference on the Engineering of Computer
                  Based Systems, {ECBS-EERC} 2013, Budapest, Hungary, 29-30 August 2013},
  pages        = {48--54},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECBS-EERC.2013.15},
  doi          = {10.1109/ECBS-EERC.2013.15},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/PovazanPDC13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/KukoljMPB13,
  author       = {Sandra Kukolj and
                  Vladimir Marinkovic and
                  Miroslav Popovic and
                  Szabolcs Bogn{\'{a}}r},
  title        = {Selection and Prioritization of Test Cases by Combining White-Box
                  and Black-Box Testing Methods},
  booktitle    = {3rd Eastern European Regional Conference on the Engineering of Computer
                  Based Systems, {ECBS-EERC} 2013, Budapest, Hungary, 29-30 August 2013},
  pages        = {153--156},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECBS-EERC.2013.28},
  doi          = {10.1109/ECBS-EERC.2013.28},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/KukoljMPB13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/KordicMPP13,
  author       = {Branislav Kordic and
                  Vladimir Marinkovic and
                  Miroslav Popovic and
                  Vukota Pekovic},
  title        = {Parallel Processing of Multichannel Video Based on Multicore Architecture},
  booktitle    = {3rd Eastern European Regional Conference on the Engineering of Computer
                  Based Systems, {ECBS-EERC} 2013, Budapest, Hungary, 29-30 August 2013},
  pages        = {157--160},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ECBS-EERC.2013.29},
  doi          = {10.1109/ECBS-EERC.2013.29},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/KordicMPP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocon/MarinkovicKPP13,
  author       = {Vladimir Marinkovic and
                  Branislav Kordic and
                  Miroslav Popovic and
                  Vukota Pekovic},
  title        = {A method for creating the operational profile of {TV/STB} device to
                  be used for statistical testing},
  booktitle    = {Proceedings of Eurocon 2013, International Conference on Computer
                  as a Tool, Zagreb, Croatia, July 1-4, 2013},
  pages        = {93--97},
  publisher    = {{IEEE}},
  year         = {2013},
  url          = {https://doi.org/10.1109/EUROCON.2013.6624971},
  doi          = {10.1109/EUROCON.2013.6624971},
  timestamp    = {Wed, 16 Oct 2019 14:14:56 +0200},
  biburl       = {https://dblp.org/rec/conf/eurocon/MarinkovicKPP13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/conext/KhaliliGPUB12,
  author       = {Ramin Khalili and
                  Nicolas Gast and
                  Miroslav Popovic and
                  Utkarsh Upadhyay and
                  Jean{-}Yves Le Boudec},
  editor       = {Chadi Barakat and
                  Renata Teixeira and
                  K. K. Ramakrishnan and
                  Patrick Thiran},
  title        = {{MPTCP} is not pareto-optimal: performance issues and a possible solution},
  booktitle    = {Conference on emerging Networking Experiments and Technologies, CoNEXT
                  '12, Nice, France - December 10 - 13, 2012},
  pages        = {1--12},
  publisher    = {{ACM}},
  year         = {2012},
  url          = {https://doi.org/10.1145/2413176.2413178},
  doi          = {10.1145/2413176.2413178},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/conext/KhaliliGPUB12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PopovicDMV12,
  author       = {Miroslav Popovic and
                  Miodrag Djukic and
                  Vladimir Marinkovic and
                  Nikola Vranic},
  editor       = {Miroslav Popovic and
                  Bernhard Sch{\"{a}}tz and
                  Sebastian Voss},
  title        = {A Task Tree Executor Architecture Based on Intel Threading Building
                  Blocks},
  booktitle    = {{IEEE} 19th International Conference and Workshops on Engineering
                  of Computer-Based Systems, {ECBS} 2012, Novi Sad, Serbia, April 11-13,
                  2012},
  pages        = {201--209},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ECBS.2012.8},
  doi          = {10.1109/ECBS.2012.8},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/PopovicDMV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PetkovicPBS12,
  author       = {Miodrag Petkovic and
                  Miroslav Popovic and
                  Ilija Basicevic and
                  Djordje Saric},
  editor       = {Miroslav Popovic and
                  Bernhard Sch{\"{a}}tz and
                  Sebastian Voss},
  title        = {A Host Based Method for Data Leak Protection by Tracking Sensitive
                  Data Flow},
  booktitle    = {{IEEE} 19th International Conference and Workshops on Engineering
                  of Computer-Based Systems, {ECBS} 2012, Novi Sad, Serbia, April 11-13,
                  2012},
  pages        = {267--274},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://doi.org/10.1109/ECBS.2012.5},
  doi          = {10.1109/ECBS.2012.5},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/PetkovicPBS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecbs/2012,
  editor       = {Miroslav Popovic and
                  Bernhard Sch{\"{a}}tz and
                  Sebastian Voss},
  title        = {{IEEE} 19th International Conference and Workshops on Engineering
                  of Computer-Based Systems, {ECBS} 2012, Novi Sad, Serbia, April 11-13,
                  2012},
  publisher    = {{IEEE} Computer Society},
  year         = {2012},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6195086/proceeding},
  isbn         = {978-1-4673-0912-7},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbs/2012.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apin/BasicevicKP11,
  author       = {Ilija Basicevic and
                  Dragan Kukolj and
                  Miroslav Popovic},
  title        = {On the application of fuzzy-based flow control approach to High Altitude
                  Platform communications},
  journal      = {Appl. Intell.},
  volume       = {34},
  number       = {2},
  pages        = {199--210},
  year         = {2011},
  url          = {https://doi.org/10.1007/s10489-009-0190-y},
  doi          = {10.1007/S10489-009-0190-Y},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/apin/BasicevicKP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/VranicMDP11,
  author       = {Nikola Vranic and
                  Vladimir Marinkovic and
                  Miodrag Djukic and
                  Miroslav Popovic},
  editor       = {Miroslav Popovic and
                  Valentino Vranic},
  title        = {An Approach to Parallelization of Sequential {C} Code},
  booktitle    = {Second Eastern European Regional Conference on the Engineering of
                  Computer Based Systems, {ECBS-EERC} 2011, Bratislava, Slovakia, 5-6
                  September 2011},
  pages        = {143--146},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ECBS-EERC.2011.30},
  doi          = {10.1109/ECBS-EERC.2011.30},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/VranicMDP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PopovicVP11,
  author       = {Ivana Popovic and
                  Vladislav Vrtunski and
                  Miroslav Popovic},
  title        = {Formal Verification of Distributed Transaction Management in a {SOA}
                  Based Control System},
  booktitle    = {18th {IEEE} International Conference and Workshops on the Engineering
                  of Computer-Based Systems, {ECBS} 2011, Las Vegas, NV, USA, 27-29
                  April, 2011},
  pages        = {206--215},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://doi.org/10.1109/ECBS.2011.14},
  doi          = {10.1109/ECBS.2011.14},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/PopovicVP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eenergy/DufkovaBPBKK11,
  author       = {Katerina Dufkov{\'{a}} and
                  Jean{-}Yves Le Boudec and
                  Miroslav Popovic and
                  Milan Z. Bjelica and
                  Ramin Khalili and
                  Lukas Kencl},
  editor       = {Hermann de Meer and
                  David Hutchison},
  title        = {Energy consumption comparison between macro-micro and public femto
                  deployment in a plausible {LTE} network},
  booktitle    = {2nd International Conference on Energy-Efficient Computing and Networking
                  2011, e-Energy '11, New York, NY, {USA} - May 31 - June 01, 2011},
  pages        = {67--76},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2318716.2318730},
  doi          = {10.1145/2318716.2318730},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/eenergy/DufkovaBPBKK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecbs/2011eerc,
  editor       = {Miroslav Popovic and
                  Valentino Vranic},
  title        = {Second Eastern European Regional Conference on the Engineering of
                  Computer Based Systems, {ECBS-EERC} 2011, Bratislava, Slovakia, 5-6
                  September 2011},
  publisher    = {{IEEE} Computer Society},
  year         = {2011},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/6036117/proceeding},
  isbn         = {978-0-7695-4418-2},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbs/2011eerc.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/infsof/PopovicB10,
  author       = {Miroslav Popovic and
                  Ilija Basicevic},
  title        = {Test case generation for the task tree type of architecture},
  journal      = {Inf. Softw. Technol.},
  volume       = {52},
  number       = {6},
  pages        = {697--706},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.infsof.2010.03.001},
  doi          = {10.1016/J.INFSOF.2010.03.001},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/infsof/PopovicB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbis/CapkoEPS10,
  author       = {Darko Capko and
                  Aleksandar Erdeljan and
                  Miroslav Popovic and
                  Goran Svenda},
  editor       = {Barbara Catania and
                  Mirjana Ivanovic and
                  Bernhard Thalheim},
  title        = {An Optimal Relationship-Based Partitioning of Large Datasets},
  booktitle    = {Advances in Databases and Information Systems - 14th East European
                  Conference, {ADBIS} 2010, Novi Sad, Serbia, September 20-24, 2010.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6295},
  pages        = {547--550},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-15576-5\_42},
  doi          = {10.1007/978-3-642-15576-5\_42},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/adbis/CapkoEPS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aict/BasicevicPV10,
  author       = {Ilija Basicevic and
                  Miroslav Popovic and
                  Ivan Velikic},
  editor       = {T{\"{u}}lin Atmaca and
                  Jacques Palicot and
                  Amor Nafkha and
                  Thrasyvoulos Tsiatsos and
                  Michel Marot and
                  Oana Dini},
  title        = {Use of Finite State Machine Based Framework in Implementation of Communication
                  Protocols - {A} Case Study},
  booktitle    = {Sixth Advanced International Conference on Telecommunications, {AICT}
                  2010, 9-15 May 2010, Barcelona, Spain},
  pages        = {161--166},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/AICT.2010.12},
  doi          = {10.1109/AICT.2010.12},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aict/BasicevicPV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/TrivunovicPV10,
  author       = {Bogdan Trivunovic and
                  Miroslav Popovic and
                  Vladislav Vrtunski},
  editor       = {Roy Sterritt and
                  Brandon Eames and
                  Jonathan Sprinkle},
  title        = {An Application Level Parallelization of Complex Real-Time Software},
  booktitle    = {17th {IEEE} International Conference and Workshops on the Engineering
                  of Computer-Based Systems, {ECBS} 2010, Oxford, England, UK, 22-26
                  March 2010},
  pages        = {253--257},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/ECBS.2010.34},
  doi          = {10.1109/ECBS.2010.34},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/TrivunovicPV10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/DjukicCOP09,
  author       = {Miodrag Djukic and
                  Nenad Cetic and
                  Radovan Obradovic and
                  Miroslav Popovic},
  editor       = {Miroslav Popovic},
  title        = {An Approach to Instruction Set Compiled Simulator Development Based
                  on a Target Processor {C} Compiler Back-End Design},
  booktitle    = {First {IEEE} Eastern European Conference on the Engineering of Computer
                  Based Systems, {ECBS-EERC} 2009, Novi Sad, Serbia, September 7-8,
                  2009},
  pages        = {32--41},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ECBS-EERC.2009.23},
  doi          = {10.1109/ECBS-EERC.2009.23},
  timestamp    = {Sun, 17 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/DjukicCOP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PopovicBV09,
  author       = {Miroslav Popovic and
                  Ilija Basicevic and
                  Vladislav Vrtunski},
  title        = {A Task Tree Executor: New Runtime for Parallelized Legacy Software},
  booktitle    = {16th Annual {IEEE} International Conference and Workshop on the Engineering
                  of Computer Based Systems, {ECBS} 2009, San Francisco, California,
                  USA, 14-16 April 2009},
  pages        = {41--47},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ECBS.2009.11},
  doi          = {10.1109/ECBS.2009.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/PopovicBV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/BasicevicJDPV09,
  author       = {Ilija Basicevic and
                  Sabina Jovanovic and
                  Branislav Drapsin and
                  Miroslav Popovic and
                  Vladislav Vrtunski},
  editor       = {Miroslav Popovic},
  title        = {An Approach to Parallelization of Legacy Software},
  booktitle    = {First {IEEE} Eastern European Conference on the Engineering of Computer
                  Based Systems, {ECBS-EERC} 2009, Novi Sad, Serbia, September 7-8,
                  2009},
  pages        = {42--48},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ECBS-EERC.2009.8},
  doi          = {10.1109/ECBS-EERC.2009.8},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/BasicevicJDPV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ecbs/2009eerc,
  editor       = {Miroslav Popovic},
  title        = {First {IEEE} Eastern European Conference on the Engineering of Computer
                  Based Systems, {ECBS-EERC} 2009, Novi Sad, Serbia, September 7-8,
                  2009},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://ieeexplore.ieee.org/xpl/conhome/5290962/proceeding},
  isbn         = {978-0-7695-3759-7},
  timestamp    = {Wed, 16 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ecbs/2009eerc.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PopovicK07,
  author       = {Miroslav Popovic and
                  Jelena Kovacevic},
  title        = {A Statistical Approach to Model-Based Robustness Testing},
  booktitle    = {14th Annual {IEEE} International Conference and Workshop on Engineering
                  of Computer Based Systems {(ECBS} 2007), 26-29 March 2007, Tucson,
                  Arizona, {USA}},
  pages        = {485--494},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ECBS.2007.13},
  doi          = {10.1109/ECBS.2007.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/PopovicK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icns/BasicevicPK07,
  author       = {Ilija Basicevic and
                  Miroslav Popovic and
                  Vladimir Kovacevic},
  title        = {Use of Publisher-Subscriber Design Pattern in Infrastructure of Distributed
                  {IDS} Systems},
  booktitle    = {Third International Conference on Networking and Services {(ICNS}
                  2007), June 19-25, 2007, Athens, Greece},
  pages        = {56},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/ICNS.2007.124},
  doi          = {10.1109/ICNS.2007.124},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icns/BasicevicPK07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PopovicBVT06,
  author       = {Miroslav Popovic and
                  Ilija Basicevic and
                  Ivan Velikic and
                  Jelena Tatic},
  title        = {A Model-Based Statistical Usage Testing of Communication Protocols},
  booktitle    = {13th Annual {IEEE} International Conference and Workshop on Engineering
                  of Computer Based Systems {(ECBS} 2006), 27-30 March 2006, Potsdam,
                  Germany},
  pages        = {377--386},
  publisher    = {{IEEE} Computer Society},
  year         = {2006},
  url          = {https://doi.org/10.1109/ECBS.2006.11},
  doi          = {10.1109/ECBS.2006.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/PopovicBVT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aict/BasicevicPK05,
  author       = {Ilija Basicevic and
                  Miroslav Popovic and
                  Vladimir Kovacevic},
  title        = {The Use of Distributed Network-Based {IDS} Systems in Detection of
                  Evasion Attacks},
  booktitle    = {Telecommunications 2005: Advanced Industrial Conference on Telecommunications
                  / Service Assurance with Partial and Intermittent Resources Conference
                  / E-Learning on Telecommunications Workshop {(AICT} / {SAPIR} / {ELETE}
                  2005), 17-22 July 2005, Lisbon, Portugal},
  pages        = {78--82},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/AICT.2005.90},
  doi          = {10.1109/AICT.2005.90},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/aict/BasicevicPK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PopovicV05,
  author       = {Miroslav Popovic and
                  Ivan Velikic},
  title        = {A Generic Model-Based Test Case Generator},
  booktitle    = {12th {IEEE} International Conference on the Engineering of Computer-Based
                  Systems {(ECBS} 2005), 4-7 April 2005, Greenbelt, MD, {USA}},
  pages        = {221--228},
  publisher    = {{IEEE} Computer Society},
  year         = {2005},
  url          = {https://doi.org/10.1109/ECBS.2005.11},
  doi          = {10.1109/ECBS.2005.11},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/PopovicV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/VelikicPK04,
  author       = {Ivan Velikic and
                  Miroslav Popovic and
                  Vladimir Kovacevic},
  title        = {A Concept of an Integrated Development Environment for Reactive Systems},
  booktitle    = {11th {IEEE} International Conference on the Engineering of Computer-Based
                  Systems {(ECBS} 2004), 24-27 May 2004, Brno, Czech Republic},
  pages        = {233--241},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.org/10.1109/ECBS.2004.1316704},
  doi          = {10.1109/ECBS.2004.1316704},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/VelikicPK04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecbs/PopovicKV02,
  author       = {Miroslav Popovic and
                  Vladimir Kovacevic and
                  Ivan Velikic},
  title        = {A Formal Software Verification Concept Based on Automated Theorem
                  Proving and Reverse Engineering},
  booktitle    = {9th {IEEE} International Conference on Engineering of Computer-Based
                  Systems {(ECBS} 2002), 8-11 April 2002, Lund, Sweden},
  pages        = {59--66},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ECBS.2002.999823},
  doi          = {10.1109/ECBS.2002.999823},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecbs/PopovicKV02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/smr/PopovicAK01,
  author       = {Miroslav Popovic and
                  Branislav Atlagic and
                  Vladimir Kovacevic},
  title        = {Case study: a maintenance practice used with real-time telecommunications
                  software},
  journal      = {J. Softw. Maintenance Res. Pract.},
  volume       = {13},
  number       = {2},
  pages        = {97--126},
  year         = {2001},
  url          = {https://doi.org/10.1002/smr.226},
  doi          = {10.1002/SMR.226},
  timestamp    = {Wed, 20 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/smr/PopovicAK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icn/PopovicK01,
  author       = {Miroslav Popovic and
                  Vladimir Kovacevic},
  editor       = {Pascal Lorenz},
  title        = {An Approach to Internet-Based Virtual Call Center Implementation},
  booktitle    = {Networking - {ICN} 2001, First International Conference, Colmar, France,
                  July 9-13, 2001 Proceedings, Part 1},
  series       = {Lecture Notes in Computer Science},
  volume       = {2093},
  pages        = {75--84},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-47728-4\_8},
  doi          = {10.1007/3-540-47728-4\_8},
  timestamp    = {Tue, 21 Mar 2023 21:02:31 +0100},
  biburl       = {https://dblp.org/rec/conf/icn/PopovicK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/euromicro/PopovicKT00,
  author       = {Miroslav Popovic and
                  Vladimir Kovacevic and
                  Miodrag R. Temerinac},
  title        = {Software Testing Concept Used for MAS/C-Compiler},
  booktitle    = {26th {EUROMICRO} 2000 Conference, Informatics: Inventing the Future,
                  5-7 September 2000, Maastricht, The Netherlands},
  pages        = {2224},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/EURMIC.2000.874422},
  doi          = {10.1109/EURMIC.2000.874422},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/euromicro/PopovicKT00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/PopovicKS00,
  author       = {Miroslav Popovic and
                  Vladimir Kovacevic and
                  M. Skrbic},
  title        = {Software Reliability and Maintenance Concept Used for Automatic Call
                  Distributor {MEDIO} {ACD}},
  booktitle    = {11th International Symposium on Software Reliability Engineering {(ISSRE}
                  2000), 8-11 October 2000, San Jose, CA, {USA}},
  pages        = {336--343},
  publisher    = {{IEEE} Computer Society},
  year         = {2000},
  url          = {https://doi.org/10.1109/ISSRE.2000.885884},
  doi          = {10.1109/ISSRE.2000.885884},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/PopovicKS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/PopovicKS99,
  author       = {Miroslav Popovic and
                  Vladimir Kovacevic and
                  M. Skrbic},
  title        = {Software development and testing methodology used for subscriber digital
                  concentrator {ACK-2000}},
  booktitle    = {10th International Symposium on Software Reliability Engineering,
                  ISSRE, 1999, Boca Raton, FL, USA, November 1-4, 1999},
  pages        = {175--178},
  publisher    = {{IEEE} Computer Society},
  year         = {1999},
  url          = {https://doi.org/10.1109/ISSRE.1999.809322},
  doi          = {10.1109/ISSRE.1999.809322},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/PopovicKS99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics