Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dejan Jovanovic
@article{DBLP:journals/peerj-cs/DamaseviciusJPZ24,
author = {Robertas Damasevicius and
Luka Jovanovic and
Aleksandar Petrovic and
Miodrag Zivkovic and
Nebojsa Bacanin and
Dejan Jovanovic and
Milos Antonijevic},
title = {Decomposition aided attention-based recurrent neural networks for
multistep ahead time-series forecasting of renewable power generation},
journal = {PeerJ Comput. Sci.},
volume = {10},
pages = {e1795},
year = {2024},
url = {https://doi.org/10.7717/peerj-cs.1795},
doi = {10.7717/PEERJ-CS.1795},
timestamp = {Sat, 16 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/peerj-cs/DamaseviciusJPZ24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tie/HakemiJVWP22,
author = {Amir Hakemi and
Dejan Jovanovic and
D. Mahinda Vilathgamuwa and
Geoffrey R. Walker and
Jo P. Pauls},
title = {Generic Uncertainty Parameter Analysis and Optimization of Series-Series
Wireless Power Transfer System for Robust Controller Design},
journal = {{IEEE} Trans. Ind. Electron.},
volume = {69},
number = {4},
pages = {4107--4118},
year = {2022},
url = {https://doi.org/10.1109/TIE.2021.3071689},
doi = {10.1109/TIE.2021.3071689},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tie/HakemiJVWP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/JovanovicD20,
author = {Dejan Jovanovic and
Bruno Dutertre},
editor = {Alexandra Silva and
K. Rustan M. Leino},
title = {Interpolation and Model Checking for Nonlinear Arithmetic},
booktitle = {Computer Aided Verification - 33rd International Conference, {CAV}
2021, Virtual Event, July 20-23, 2021, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12760},
pages = {266--288},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-81688-9\_13},
doi = {10.1007/978-3-030-81688-9\_13},
timestamp = {Fri, 23 Jul 2021 16:41:31 +0200},
biburl = {https://dblp.org/rec/conf/cav/JovanovicD20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-04340,
author = {Dejan Jovanovic and
Bruno Dutertre},
title = {Interpolation and Model Checking for Nonlinear Arithmetic},
journal = {CoRR},
volume = {abs/2106.04340},
year = {2021},
url = {https://arxiv.org/abs/2106.04340},
eprinttype = {arXiv},
eprint = {2106.04340},
timestamp = {Fri, 11 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-04340.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Graham-Lengrand20,
author = {St{\'{e}}phane Graham{-}Lengrand and
Dejan Jovanovic and
Bruno Dutertre},
editor = {Nicolas Peltier and
Viorica Sofronie{-}Stokkermans},
title = {Solving Bitvectors with {MCSAT:} Explanations from Bits and Pieces},
booktitle = {Automated Reasoning - 10th International Joint Conference, {IJCAR}
2020, Paris, France, July 1-4, 2020, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {12166},
pages = {103--121},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-51074-9\_7},
doi = {10.1007/978-3-030-51074-9\_7},
timestamp = {Fri, 03 Jul 2020 13:37:32 +0200},
biburl = {https://dblp.org/rec/conf/cade/Graham-Lengrand20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HajduJC20,
author = {{\'{A}}kos Hajdu and
Dejan Jovanovic and
Gabriela F. Ciocarlie},
editor = {Bruno Bernardo and
Diego Marmsoler},
title = {Formal Specification and Verification of Solidity Contracts with Events
(Short Paper)},
booktitle = {2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July
20-21, 2020, Los Angeles, California, {USA} (Virtual Conference)},
series = {OASIcs},
volume = {84},
pages = {2:1--2:9},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/OASIcs.FMBC.2020.2},
doi = {10.4230/OASICS.FMBC.2020.2},
timestamp = {Mon, 21 Dec 2020 13:23:22 +0100},
biburl = {https://dblp.org/rec/conf/cav/HajduJC20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HajduJ20,
author = {{\'{A}}kos Hajdu and
Dejan Jovanovic},
editor = {Peter M{\"{u}}ller},
title = {SMT-Friendly Formalization of the Solidity Memory Model},
booktitle = {Programming Languages and Systems - 29th European Symposium on Programming,
{ESOP} 2020, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12075},
pages = {224--250},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_9},
doi = {10.1007/978-3-030-44914-8\_9},
timestamp = {Fri, 14 May 2021 08:34:21 +0200},
biburl = {https://dblp.org/rec/conf/esop/HajduJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/KrishnaEEJ20,
author = {Siddharth Krishna and
Michael Emmi and
Constantin Enea and
Dejan Jovanovic},
editor = {Peter M{\"{u}}ller},
title = {Verifying Visibility-Based Weak Consistency},
booktitle = {Programming Languages and Systems - 29th European Symposium on Programming,
{ESOP} 2020, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12075},
pages = {280--307},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_11},
doi = {10.1007/978-3-030-44914-8\_11},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/KrishnaEEJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/HajduJ20,
author = {{\'{A}}kos Hajdu and
Dejan Jovanovic},
editor = {Fran{\c{c}}ois Bobot and
Tjark Weber},
title = {Abstract: SMT-Friendly Formalization of the Solidity Memory Model},
booktitle = {Proceedings of the 18th International Workshop on Satisfiability Modulo
Theories co-located with the 10th International Joint Conference on
Automated Reasoning {(IJCAR} 2020), Online (initially located in Paris,
France), July 5-6, 2020},
series = {{CEUR} Workshop Proceedings},
volume = {2854},
pages = {59},
publisher = {CEUR-WS.org},
year = {2020},
url = {https://ceur-ws.org/Vol-2854/abstract3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/HajduJ20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2001-03256,
author = {{\'{A}}kos Hajdu and
Dejan Jovanovic},
title = {SMT-Friendly Formalization of the Solidity Memory Model},
journal = {CoRR},
volume = {abs/2001.03256},
year = {2020},
url = {https://arxiv.org/abs/2001.03256},
eprinttype = {arXiv},
eprint = {2001.03256},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2001-03256.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-07940,
author = {St{\'{e}}phane Graham{-}Lengrand and
Dejan Jovanovic and
Bruno Dutertre},
title = {Solving bitvectors with {MCSAT:} explanations from bits and pieces
(long version)},
journal = {CoRR},
volume = {abs/2004.07940},
year = {2020},
url = {https://arxiv.org/abs/2004.07940},
eprinttype = {arXiv},
eprint = {2004.07940},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-07940.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-10382,
author = {{\'{A}}kos Hajdu and
Dejan Jovanovic and
Gabriela F. Ciocarlie},
title = {Formal Specification and Verification of Solidity Contracts with Events},
journal = {CoRR},
volume = {abs/2005.10382},
year = {2020},
url = {https://arxiv.org/abs/2005.10382},
eprinttype = {arXiv},
eprint = {2005.10382},
timestamp = {Fri, 22 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2005-10382.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/eurocon/StankovicMJKC19,
author = {Vladimir Stankovic and
Vera Markovic and
Dejan Jovanovic and
Dejan Krstic and
Nenad Cvetkovic},
title = {Distribution of the Absorbed Mobile Phone Energy at 1.8 and 2.1 GHz
in a Child Head Model},
booktitle = {{IEEE} {EUROCON} 2019 - 18th International Conference on Smart Technologies,
Novi Sad, Serbia, July 1-4, 2019},
pages = {1--4},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/EUROCON.2019.8861511},
doi = {10.1109/EUROCON.2019.8861511},
timestamp = {Mon, 09 Aug 2021 14:53:48 +0200},
biburl = {https://dblp.org/rec/conf/eurocon/StankovicMJKC19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/HajduJ19,
author = {{\'{A}}kos Hajdu and
Dejan Jovanovic},
editor = {Supratik Chakraborty and
Jorge A. Navas},
title = {solc-verify: {A} Modular Verifier for Solidity Smart Contracts},
booktitle = {Verified Software. Theories, Tools, and Experiments - 11th International
Conference, {VSTTE} 2019, New York City, NY, USA, July 13-14, 2019,
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12031},
pages = {161--179},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-41600-3\_11},
doi = {10.1007/978-3-030-41600-3\_11},
timestamp = {Tue, 29 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vstte/HajduJ19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-04262,
author = {{\'{A}}kos Hajdu and
Dejan Jovanovic},
title = {solc-verify: {A} Modular Verifier for Solidity Smart Contracts},
journal = {CoRR},
volume = {abs/1907.04262},
year = {2019},
url = {http://arxiv.org/abs/1907.04262},
eprinttype = {arXiv},
eprint = {1907.04262},
timestamp = {Wed, 17 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-04262.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1911-01508,
author = {Siddharth Krishna and
Michael Emmi and
Constantin Enea and
Dejan Jovanovic},
title = {Verifying Visibility-Based Weak Consistency},
journal = {CoRR},
volume = {abs/1911.01508},
year = {2019},
url = {http://arxiv.org/abs/1911.01508},
eprinttype = {arXiv},
eprint = {1911.01508},
timestamp = {Wed, 22 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1911-01508.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/EtesamiVGJ18,
author = {Mohammad Hossein Etesami and
D. Mahinda Vilathgamuwa and
Negareh Ghasemi and
Dejan Jovanovic},
title = {Enhanced Metaheuristic Methods for Selective Harmonic Elimination
Technique},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {14},
number = {12},
pages = {5210--5220},
year = {2018},
url = {https://doi.org/10.1109/TII.2018.2799602},
doi = {10.1109/TII.2018.2799602},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/EtesamiVGJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/KatelaanJW18,
author = {Jens Katelaan and
Dejan Jovanovic and
Georg Weissenbacher},
editor = {Didier Galmiche and
Stephan Schulz and
Roberto Sebastiani},
title = {A Separation Logic with Data: Small Models and Automation},
booktitle = {Automated Reasoning - 9th International Joint Conference, {IJCAR}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10900},
pages = {455--471},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-94205-6\_30},
doi = {10.1007/978-3-319-94205-6\_30},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/KatelaanJW18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JovanovicR18,
author = {Dejan Jovanovic and
Andrew Reynolds},
editor = {Nikolaj S. Bj{\o}rner and
Arie Gurfinkel},
title = {The {FMCAD} 2018 Graduate Student Forum},
booktitle = {2018 Formal Methods in Computer Aided Design, {FMCAD} 2018, Austin,
TX, USA, October 30 - November 2, 2018},
pages = {1},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.23919/FMCAD.2018.8602995},
doi = {10.23919/FMCAD.2018.8602995},
timestamp = {Thu, 14 Apr 2022 20:26:15 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JovanovicR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/DutertreJN18,
author = {Bruno Dutertre and
Dejan Jovanovic and
Jorge A. Navas},
editor = {Aaron Dutle and
C{\'{e}}sar A. Mu{\~{n}}oz and
Anthony Narkawicz},
title = {Verification of Fault-Tolerant Protocols with Sally},
booktitle = {{NASA} Formal Methods - 10th International Symposium, {NFM} 2018,
Newport News, VA, USA, April 17-19, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10811},
pages = {113--120},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-77935-5\_8},
doi = {10.1007/978-3-319-77935-5\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/DutertreJN18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SchindlerJ18,
author = {Tanja Schindler and
Dejan Jovanovic},
editor = {Isil Dillig and
Jens Palsberg},
title = {Selfless Interpolation for Infinite-State Model Checking},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 19th International
Conference, {VMCAI} 2018, Los Angeles, CA, USA, January 7-9, 2018,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10747},
pages = {495--515},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-73721-8\_23},
doi = {10.1007/978-3-319-73721-8\_23},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/SchindlerJ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/ReynoldsTJB17,
author = {Andrew Reynolds and
Cesare Tinelli and
Dejan Jovanovic and
Clark W. Barrett},
editor = {Clare Dixon and
Marcelo Finger},
title = {Designing Theory Solvers with Extensions},
booktitle = {Frontiers of Combining Systems - 11th International Symposium, FroCoS
2017, Bras{\'{\i}}lia, Brazil, September 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10483},
pages = {22--40},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-66167-4\_2},
doi = {10.1007/978-3-319-66167-4\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/ReynoldsTJB17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/BjornerJLRS17,
author = {Nikolaj S. Bj{\o}rner and
Dejan Jovanovic and
Tancr{\`{e}}de Lepoint and
Philipp R{\"{u}}mmer and
Martin Sch{\"{a}}f},
editor = {Thomas Eiter and
David Sands and
Geoff Sutcliffe and
Andrei Voronkov},
title = {Abduction by Non-Experts},
booktitle = {IWIL@LPAR 2017 Workshop and {LPAR-21} Short Presentations, Maun, Botswana,
May 7-12, 2017},
series = {Kalpa Publications in Computing},
volume = {1},
pages = {58--72},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/pz3t},
doi = {10.29007/PZ3T},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/BjornerJLRS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/JovanovicD17,
author = {Dejan Jovanovic and
Bruno Dutertre},
editor = {Martin Brain and
Liana Hadarean},
title = {LibPoly: {A} Library for Reasoning about Polynomials},
booktitle = {Proceedings of the 15th International Workshop on Satisfiability Modulo
Theories affiliated with the International Conference on Computer-Aided
Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1889},
pages = {28--39},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1889/paper3.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:48 +0100},
biburl = {https://dblp.org/rec/conf/smt/JovanovicD17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/smt/Graham-Lengrand17,
author = {St{\'{e}}phane Graham{-}Lengrand and
Dejan Jovanovic},
editor = {Martin Brain and
Liana Hadarean},
title = {An {MCSAT} treatment of Bit-Vectors},
booktitle = {Proceedings of the 15th International Workshop on Satisfiability Modulo
Theories affiliated with the International Conference on Computer-Aided
Verification {(CAV} 2017), Heidelberg, Germany, July 22 - 23, 2017},
series = {{CEUR} Workshop Proceedings},
volume = {1889},
pages = {89--100},
publisher = {CEUR-WS.org},
year = {2017},
url = {https://ceur-ws.org/Vol-1889/paper8.pdf},
timestamp = {Fri, 10 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/smt/Graham-Lengrand17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Jovanovic17,
author = {Dejan Jovanovic},
editor = {Ahmed Bouajjani and
David Monniaux},
title = {Solving Nonlinear Integer Arithmetic with {MCSAT}},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 18th International
Conference, {VMCAI} 2017, Paris, France, January 15-17, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10145},
pages = {330--346},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-52234-0\_18},
doi = {10.1007/978-3-319-52234-0\_18},
timestamp = {Sat, 09 Apr 2022 12:46:16 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Jovanovic17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/JovanovicD16,
author = {Dejan Jovanovic and
Bruno Dutertre},
editor = {Ruzica Piskac and
Muralidhar Talupur},
title = {Property-directed k-induction},
booktitle = {2016 Formal Methods in Computer-Aided Design, {FMCAD} 2016, Mountain
View, CA, USA, October 3-6, 2016},
pages = {85--92},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/FMCAD.2016.7886665},
doi = {10.1109/FMCAD.2016.7886665},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/JovanovicD16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jowua/PokricKDPRMKJ15,
author = {Boris Pokric and
Srdjan Krco and
Dejan Drajic and
Maja Pokric and
Vladimir Rajs and
Zivorad Mihajlovic and
Petar Knezevic and
Dejan Jovanovic},
title = {Augmented Reality Enabled IoT Services for Environmental Monitoring
Utilising Serious Gaming Concept},
journal = {J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl.},
volume = {6},
number = {1},
pages = {37--55},
year = {2015},
url = {https://doi.org/10.22667/JOWUA.2015.03.31.037},
doi = {10.22667/JOWUA.2015.03.31.037},
timestamp = {Sun, 17 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jowua/PokricKDPRMKJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/KahsaiNJS15,
author = {Temesghen Kahsai and
Jorge A. Navas and
Dejan Jovanovic and
Martin Sch{\"{a}}f},
editor = {Martin Davis and
Ansgar Fehnker and
Annabelle McIver and
Andrei Voronkov},
title = {Finding Inconsistencies in Programs with Loops},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 20th
International Conference, {LPAR-20} 2015, Suva, Fiji, November 24-28,
2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9450},
pages = {499--514},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48899-7\_35},
doi = {10.1007/978-3-662-48899-7\_35},
timestamp = {Mon, 03 Jan 2022 22:31:30 +0100},
biburl = {https://dblp.org/rec/conf/lpar/KahsaiNJS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nfm/Schwartz-Narbonne15,
author = {Daniel Schwartz{-}Narbonne and
Martin Sch{\"{a}}f and
Dejan Jovanovic and
Philipp R{\"{u}}mmer and
Thomas Wies},
editor = {Klaus Havelund and
Gerard J. Holzmann and
Rajeev Joshi},
title = {Conflict-Directed Graph Coverage},
booktitle = {{NASA} Formal Methods - 7th International Symposium, {NFM} 2015, Pasadena,
CA, USA, April 27-29, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9058},
pages = {327--342},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-17524-9\_23},
doi = {10.1007/978-3-319-17524-9\_23},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/nfm/Schwartz-Narbonne15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/riot/PokricKPKJ15,
author = {Boris Pokric and
Srdan Krco and
Maja Pokric and
Petar Knezevic and
Dejan Jovanovic},
title = {Engaging citizen communities in smart cities using IoT, serious gaming
and fast markerless Augmented Reality},
booktitle = {International Conference on Recent Advances in Internet of Things,
RIoT 2015, Singapore, April 7-9, 2015},
pages = {1--6},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/RIOT.2015.7104905},
doi = {10.1109/RIOT.2015.7104905},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/riot/PokricKPKJ15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HadareanBJBT14,
author = {Liana Hadarean and
Kshitij Bansal and
Dejan Jovanovic and
Clark W. Barrett and
Cesare Tinelli},
editor = {Armin Biere and
Roderick Bloem},
title = {A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors},
booktitle = {Computer Aided Verification - 26th International Conference, {CAV}
2014, Held as Part of the Vienna Summer of Logic, {VSL} 2014, Vienna,
Austria, July 18-22, 2014. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8559},
pages = {680--695},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-08867-9\_45},
doi = {10.1007/978-3-319-08867-9\_45},
timestamp = {Mon, 03 Jan 2022 22:13:44 +0100},
biburl = {https://dblp.org/rec/conf/cav/HadareanBJBT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmcad/GasconSDTJM14,
author = {Adri{\`{a}} Gasc{\'{o}}n and
Pramod Subramanyan and
Bruno Dutertre and
Ashish Tiwari and
Dejan Jovanovic and
Sharad Malik},
title = {Template-based circuit understanding},
booktitle = {Formal Methods in Computer-Aided Design, {FMCAD} 2014, Lausanne, Switzerland,
October 21-24, 2014},
pages = {83--90},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/FMCAD.2014.6987599},
doi = {10.1109/FMCAD.2014.6987599},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fmcad/GasconSDTJM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hicons/TiwariDJCLRSS14,
author = {Ashish Tiwari and
Bruno Dutertre and
Dejan Jovanovic and
Thomas de Candia and
Patrick Lincoln and
John M. Rushby and
Dorsa Sadigh and
Sanjit A. Seshia},
editor = {Linda Bushnell and
Larry Rohrbough and
Saurabh Amin and
Xenofon D. Koutsoukos},
title = {Safety envelope for security},
booktitle = {3rd International Conference on High Confidence Networked Systems
(part of {CPS} Week), HiCoNS '14, Berlin, Germany, April 15-17, 2014},
pages = {85--94},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2566468.2566483},
doi = {10.1145/2566468.2566483},
timestamp = {Wed, 06 Nov 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hicons/TiwariDJCLRSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/JovanovicB13,
author = {Dejan Jovanovic and
Clark W. Barrett},
title = {Being careful about theory combination},
journal = {Formal Methods Syst. Des.},
volume = {42},
number = {1},
pages = {67--90},
year = {2013},
url = {https://doi.org/10.1007/s10703-012-0159-z},
doi = {10.1007/S10703-012-0159-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/JovanovicB13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jar/JovanovicM13,
author = {Dejan Jovanovic and
Leonardo Mendon{\c{c}}a de Moura},
title = {Cutting to the Chase - Solving Linear Integer Arithmetic},
journal = {J. Autom. Reason.},
volume = {51},
number = {1},
pages = {79--108},
year = {2013},
url = {https://doi.org/10.1007/s10817-013-9281-x},
doi = {10.1007/S10817-013-9281-X},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jar/JovanovicM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/synasc/MouraJ13,
author = {Leonardo Mendon{\c{c}}a de Moura and
Dejan Jovanovic},
editor = {Nikolaj S. Bj{\o}rner and
Viorel Negru and
Tetsuo Ida and
Tudor Jebelean and
Dana Petcu and
Stephen M. Watt and
Daniela Zaharie},
title = {Model-Driven Decision Procedures for Arithmetic},
booktitle = {15th International Symposium on Symbolic and Numeric Algorithms for
Scientific Computing, {SYNASC} 2013, Timisoara, Romania, September
23-26, 2013},
pages = {11},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/SYNASC.2013.84},
doi = {10.1109/SYNASC.2013.84},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/synasc/MouraJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/MouraJ13,
author = {Leonardo Mendon{\c{c}}a de Moura and
Dejan Jovanovic},
editor = {Roberto Giacobazzi and
Josh Berdine and
Isabella Mastroeni},
title = {A Model-Constructing Satisfiability Calculus},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 14th International
Conference, {VMCAI} 2013, Rome, Italy, January 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7737},
pages = {1--12},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-35873-9\_1},
doi = {10.1007/978-3-642-35873-9\_1},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/MouraJ13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/us/Jovanovic12,
author = {Dejan Jovanovic},
title = {{SMT} Beyond {DPLL(T):} {A} New Approach to Theory Solvers and Theory
Combination},
school = {New York University, {USA}},
year = {2012},
url = {https://cs.nyu.edu/media/publications/dejan\_thesis.pdf},
timestamp = {Fri, 13 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/us/Jovanovic12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cca/JovanovicM12,
author = {Dejan Jovanovic and
Leonardo de Moura},
title = {Solving non-linear arithmetic},
journal = {{ACM} Commun. Comput. Algebra},
volume = {46},
number = {3/4},
pages = {104--105},
year = {2012},
url = {https://doi.org/10.1145/2429135.2429155},
doi = {10.1145/2429135.2429155},
timestamp = {Thu, 29 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cca/JovanovicM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/JovanovicM12,
author = {Dejan Jovanovic and
Leonardo Mendon{\c{c}}a de Moura},
editor = {Bernhard Gramlich and
Dale Miller and
Uli Sattler},
title = {Solving Non-linear Arithmetic},
booktitle = {Automated Reasoning - 6th International Joint Conference, {IJCAR}
2012, Manchester, UK, June 26-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7364},
pages = {339--354},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31365-3\_27},
doi = {10.1007/978-3-642-31365-3\_27},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/JovanovicM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/JovanovicM11,
author = {Dejan Jovanovic and
Leonardo Mendon{\c{c}}a de Moura},
editor = {Nikolaj S. Bj{\o}rner and
Viorica Sofronie{-}Stokkermans},
title = {Cutting to the Chase Solving Linear Integer Arithmetic},
booktitle = {Automated Deduction - {CADE-23} - 23rd International Conference on
Automated Deduction, Wroclaw, Poland, July 31 - August 5, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6803},
pages = {338--353},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22438-6\_26},
doi = {10.1007/978-3-642-22438-6\_26},
timestamp = {Mon, 28 Aug 2023 21:17:45 +0200},
biburl = {https://dblp.org/rec/conf/cade/JovanovicM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BarrettCDHJKRT11,
author = {Clark W. Barrett and
Christopher L. Conway and
Morgan Deters and
Liana Hadarean and
Dejan Jovanovic and
Tim King and
Andrew Reynolds and
Cesare Tinelli},
editor = {Ganesh Gopalakrishnan and
Shaz Qadeer},
title = {{CVC4}},
booktitle = {Computer Aided Verification - 23rd International Conference, {CAV}
2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6806},
pages = {171--177},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22110-1\_14},
doi = {10.1007/978-3-642-22110-1\_14},
timestamp = {Tue, 27 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BarrettCDHJKRT11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/JovanovicB11,
author = {Dejan Jovanovic and
Clark W. Barrett},
editor = {Cesare Tinelli and
Viorica Sofronie{-}Stokkermans},
title = {Sharing Is Caring: Combination of Theories},
booktitle = {Frontiers of Combining Systems, 8th International Symposium, FroCoS
2011, Saarbr{\"{u}}cken, Germany, October 5-7, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6989},
pages = {195--210},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24364-6\_14},
doi = {10.1007/978-3-642-24364-6\_14},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/frocos/JovanovicB11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lpar/JovanovicB10,
author = {Dejan Jovanovic and
Clark W. Barrett},
editor = {Christian G. Ferm{\"{u}}ller and
Andrei Voronkov},
title = {Polite Theories Revisited},
booktitle = {Logic for Programming, Artificial Intelligence, and Reasoning - 17th
International Conference, LPAR-17, Yogyakarta, Indonesia, October
10-15, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6397},
pages = {402--416},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16242-8\_29},
doi = {10.1007/978-3-642-16242-8\_29},
timestamp = {Wed, 25 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lpar/JovanovicB10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/sp/07/JovanovicMO07,
author = {Dejan Jovanovic and
Nenad Mladenovic and
Zoran Ognjanovic},
editor = {Karl F. Doerner and
Michel Gendreau and
Peter Greistorfer and
Walter J. Gutjahr and
Richard F. Hartl and
Marc Reimann},
title = {Variable Neighborhood Search for the Probabilistic Satisfiability
Problem},
booktitle = {Metaheuristics},
series = {Operations Research/Computer Science Interfaces Series},
volume = {39},
pages = {173--188},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-71921-4\_9},
doi = {10.1007/978-0-387-71921-4\_9},
timestamp = {Mon, 16 Sep 2019 14:43:25 +0200},
biburl = {https://dblp.org/rec/books/sp/07/JovanovicMO07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/JovanovicJ05,
author = {Dejan Jovanovic and
Predrag Janicic},
editor = {Bernhard Gramlich},
title = {Logical Analysis of Hash Functions},
booktitle = {Frontiers of Combining Systems, 5th International Workshop, FroCoS
2005, Vienna, Austria, September 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3717},
pages = {200--215},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11559306\_11},
doi = {10.1007/11559306\_11},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/JovanovicJ05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsi/LakeKBJSF98,
author = {Roger K. Lake and
Gerhard Klimeck and
R. Chris Bowen and
Dejan Jovanovic and
Paul Sotirelis and
William R. Frensley},
title = {A Generalized Tunneling Formula for Quantum Device Modeling},
journal = {{VLSI} Design},
volume = {6},
number = {1-4},
pages = {9--12},
year = {1998},
url = {https://doi.org/10.1155/1998/84503},
doi = {10.1155/1998/84503},
timestamp = {Mon, 08 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsi/LakeKBJSF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsi/KlimeckBLBFLFJS98,
author = {Gerhard Klimeck and
Dan Blanks and
Roger K. Lake and
R. Chris Bowen and
Chenjing L. Fernando and
Manhua Leng and
William R. Frensley and
Dejan Jovanovic and
Paul Sotirelis},
title = {Writing Research Software in a Large Group for the {NEMO} Project},
journal = {{VLSI} Design},
volume = {8},
number = {1-4},
pages = {79--86},
year = {1998},
url = {https://doi.org/10.1155/1998/35374},
doi = {10.1155/1998/35374},
timestamp = {Mon, 08 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/vlsi/KlimeckBLBFLFJS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/transci/JovanovicH91,
author = {Dejan Jovanovic and
Patrick T. Harker},
title = {Tactical Scheduling of Rail Operations: The {SCAN} {I} System},
journal = {Transp. Sci.},
volume = {25},
number = {1},
pages = {46--64},
year = {1991},
url = {https://doi.org/10.1287/trsc.25.1.46},
doi = {10.1287/TRSC.25.1.46},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/transci/JovanovicH91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-03-19 02:10 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
