![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Dejan Jovanovic
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j10]Robertas Damasevicius
, Luka Jovanovic, Aleksandar Petrovic, Miodrag Zivkovic, Nebojsa Bacanin
, Dejan Jovanovic, Milos Antonijevic:
Decomposition aided attention-based recurrent neural networks for multistep ahead time-series forecasting of renewable power generation. PeerJ Comput. Sci. 10: e1795 (2024) - 2022
- [j9]Amir Hakemi
, Dejan Jovanovic
, D. Mahinda Vilathgamuwa
, Geoffrey R. Walker
, Jo P. Pauls:
Generic Uncertainty Parameter Analysis and Optimization of Series-Series Wireless Power Transfer System for Robust Controller Design. IEEE Trans. Ind. Electron. 69(4): 4107-4118 (2022) - 2021
- [c32]Dejan Jovanovic, Bruno Dutertre:
Interpolation and Model Checking for Nonlinear Arithmetic. CAV (2) 2021: 266-288 - [i6]Dejan Jovanovic, Bruno Dutertre:
Interpolation and Model Checking for Nonlinear Arithmetic. CoRR abs/2106.04340 (2021) - 2020
- [c31]Stéphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre:
Solving Bitvectors with MCSAT: Explanations from Bits and Pieces. IJCAR (1) 2020: 103-121 - [c30]Ákos Hajdu
, Dejan Jovanovic
, Gabriela F. Ciocarlie
:
Formal Specification and Verification of Solidity Contracts with Events (Short Paper). FMBC@CAV 2020: 2:1-2:9 - [c29]Ákos Hajdu
, Dejan Jovanovic
:
SMT-Friendly Formalization of the Solidity Memory Model. ESOP 2020: 224-250 - [c28]Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic:
Verifying Visibility-Based Weak Consistency. ESOP 2020: 280-307 - [c27]Ákos Hajdu, Dejan Jovanovic:
Abstract: SMT-Friendly Formalization of the Solidity Memory Model. SMT 2020: 59 - [i5]Ákos Hajdu, Dejan Jovanovic:
SMT-Friendly Formalization of the Solidity Memory Model. CoRR abs/2001.03256 (2020) - [i4]Stéphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre:
Solving bitvectors with MCSAT: explanations from bits and pieces (long version). CoRR abs/2004.07940 (2020) - [i3]Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie:
Formal Specification and Verification of Solidity Contracts with Events. CoRR abs/2005.10382 (2020)
2010 – 2019
- 2019
- [c26]Vladimir Stankovic
, Vera Markovic, Dejan Jovanovic, Dejan Krstic, Nenad Cvetkovic
:
Distribution of the Absorbed Mobile Phone Energy at 1.8 and 2.1 GHz in a Child Head Model. EUROCON 2019: 1-4 - [c25]Ákos Hajdu
, Dejan Jovanovic:
solc-verify: A Modular Verifier for Solidity Smart Contracts. VSTTE 2019: 161-179 - [i2]Ákos Hajdu, Dejan Jovanovic:
solc-verify: A Modular Verifier for Solidity Smart Contracts. CoRR abs/1907.04262 (2019) - [i1]Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic:
Verifying Visibility-Based Weak Consistency. CoRR abs/1911.01508 (2019) - 2018
- [j8]Mohammad Hossein Etesami
, D. Mahinda Vilathgamuwa
, Negareh Ghasemi, Dejan Jovanovic
:
Enhanced Metaheuristic Methods for Selective Harmonic Elimination Technique. IEEE Trans. Ind. Informatics 14(12): 5210-5220 (2018) - [c24]Jens Katelaan
, Dejan Jovanovic, Georg Weissenbacher
:
A Separation Logic with Data: Small Models and Automation. IJCAR 2018: 455-471 - [c23]Dejan Jovanovic, Andrew Reynolds:
The FMCAD 2018 Graduate Student Forum. FMCAD 2018: 1 - [c22]Bruno Dutertre, Dejan Jovanovic, Jorge A. Navas:
Verification of Fault-Tolerant Protocols with Sally. NFM 2018: 113-120 - [c21]Tanja Schindler
, Dejan Jovanovic:
Selfless Interpolation for Infinite-State Model Checking. VMCAI 2018: 495-515 - 2017
- [c20]Andrew Reynolds, Cesare Tinelli
, Dejan Jovanovic, Clark W. Barrett
:
Designing Theory Solvers with Extensions. FroCoS 2017: 22-40 - [c19]Nikolaj S. Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf
:
Abduction by Non-Experts. LPAR (Short Presentations) 2017: 58-72 - [c18]Dejan Jovanovic, Bruno Dutertre:
LibPoly: A Library for Reasoning about Polynomials. SMT 2017: 28-39 - [c17]Stéphane Graham-Lengrand, Dejan Jovanovic:
An MCSAT treatment of Bit-Vectors. SMT 2017: 89-100 - [c16]Dejan Jovanovic:
Solving Nonlinear Integer Arithmetic with MCSAT. VMCAI 2017: 330-346 - 2016
- [c15]Dejan Jovanovic, Bruno Dutertre:
Property-directed k-induction. FMCAD 2016: 85-92 - 2015
- [j7]Boris Pokric, Srdjan Krco, Dejan Drajic, Maja Pokric, Vladimir Rajs, Zivorad Mihajlovic, Petar Knezevic, Dejan Jovanovic:
Augmented Reality Enabled IoT Services for Environmental Monitoring Utilising Serious Gaming Concept. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. 6(1): 37-55 (2015) - [c14]Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf:
Finding Inconsistencies in Programs with Loops. LPAR 2015: 499-514 - [c13]Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies:
Conflict-Directed Graph Coverage. NFM 2015: 327-342 - [c12]Boris Pokric, Srdan Krco, Maja Pokric, Petar Knezevic
, Dejan Jovanovic:
Engaging citizen communities in smart cities using IoT, serious gaming and fast markerless Augmented Reality. RIoT 2015: 1-6 - 2014
- [c11]Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett
, Cesare Tinelli
:
A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. CAV 2014: 680-695 - [c10]Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik
:
Template-based circuit understanding. FMCAD 2014: 83-90 - [c9]Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia:
Safety envelope for security. HiCoNS 2014: 85-94 - 2013
- [j6]Dejan Jovanovic, Clark W. Barrett
:
Being careful about theory combination. Formal Methods Syst. Des. 42(1): 67-90 (2013) - [j5]Dejan Jovanovic, Leonardo Mendonça de Moura:
Cutting to the Chase - Solving Linear Integer Arithmetic. J. Autom. Reason. 51(1): 79-108 (2013) - [c8]Leonardo Mendonça de Moura, Dejan Jovanovic:
Model-Driven Decision Procedures for Arithmetic. SYNASC 2013: 11 - [c7]Leonardo Mendonça de Moura, Dejan Jovanovic:
A Model-Constructing Satisfiability Calculus. VMCAI 2013: 1-12 - 2012
- [b1]Dejan Jovanovic:
SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination. New York University, USA, 2012 - [j4]Dejan Jovanovic, Leonardo de Moura:
Solving non-linear arithmetic. ACM Commun. Comput. Algebra 46(3/4): 104-105 (2012) - [c6]Dejan Jovanovic, Leonardo Mendonça de Moura:
Solving Non-linear Arithmetic. IJCAR 2012: 339-354 - 2011
- [c5]Dejan Jovanovic, Leonardo Mendonça de Moura:
Cutting to the Chase Solving Linear Integer Arithmetic. CADE 2011: 338-353 - [c4]Clark W. Barrett
, Christopher L. Conway, Morgan Deters
, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli
:
CVC4. CAV 2011: 171-177 - [c3]Dejan Jovanovic, Clark W. Barrett
:
Sharing Is Caring: Combination of Theories. FroCoS 2011: 195-210 - 2010
- [c2]Dejan Jovanovic, Clark W. Barrett
:
Polite Theories Revisited. LPAR (Yogyakarta) 2010: 402-416
2000 – 2009
- 2007
- [p1]Dejan Jovanovic, Nenad Mladenovic, Zoran Ognjanovic:
Variable Neighborhood Search for the Probabilistic Satisfiability Problem. Metaheuristics 2007: 173-188 - 2005
- [c1]Dejan Jovanovic, Predrag Janicic:
Logical Analysis of Hash Functions. FroCoS 2005: 200-215
1990 – 1999
- 1998
- [j3]Roger K. Lake
, Gerhard Klimeck
, R. Chris Bowen, Dejan Jovanovic, Paul Sotirelis, William R. Frensley:
A Generalized Tunneling Formula for Quantum Device Modeling. VLSI Design 6(1-4): 9-12 (1998) - [j2]Gerhard Klimeck, Dan Blanks, Roger K. Lake
, R. Chris Bowen, Chenjing L. Fernando, Manhua Leng, William R. Frensley, Dejan Jovanovic, Paul Sotirelis:
Writing Research Software in a Large Group for the NEMO Project. VLSI Design 8(1-4): 79-86 (1998) - 1991
- [j1]Dejan Jovanovic, Patrick T. Harker:
Tactical Scheduling of Rail Operations: The SCAN I System. Transp. Sci. 25(1): 46-64 (1991)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 22:53 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint