Dejan Jovanovic

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 31

Top Topics

Top Venues

Publications

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 (2024)
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) (2022)
Dejan Jovanovic, Bruno Dutertre
Interpolation and Model Checking for Nonlinear Arithmetic. CoRR (2021)
Dejan Jovanovic, Bruno Dutertre
Interpolation and Model Checking for Nonlinear Arithmetic. CAV (2) (2021)
Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie
Formal Specification and Verification of Solidity Contracts with Events. CoRR (2020)
Ákos Hajdu, Dejan Jovanovic
SMT-Friendly Formalization of the Solidity Memory Model. CoRR (2020)
Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic
Verifying Visibility-Based Weak Consistency. ESOP (2020)
Ákos Hajdu, Dejan Jovanovic
SMT-Friendly Formalization of the Solidity Memory Model. ESOP (2020)
Stéphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre
Solving Bitvectors with MCSAT: Explanations from Bits and Pieces. IJCAR (1) (2020)
Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie
Formal Specification and Verification of Solidity Contracts with Events (Short Paper). FMBC@CAV (2020)
Stéphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre
Solving bitvectors with MCSAT: explanations from bits and pieces (long version). CoRR (2020)
Ákos Hajdu, Dejan Jovanovic
Abstract: SMT-Friendly Formalization of the Solidity Memory Model. SMT (2020)
Ákos Hajdu, Dejan Jovanovic
solc-verify: A Modular Verifier for Solidity Smart Contracts. CoRR (2019)
Ákos Hajdu, Dejan Jovanovic
solc-verify: A Modular Verifier for Solidity Smart Contracts. VSTTE (2019)
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)
Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic
Verifying Visibility-Based Weak Consistency. CoRR (2019)
Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher
A Separation Logic with Data: Small Models and Automation. IJCAR (2018)
Tanja Schindler, Dejan Jovanovic
Selfless Interpolation for Infinite-State Model Checking. VMCAI (2018)
Dejan Jovanovic, Andrew Reynolds
The FMCAD 2018 Graduate Student Forum. FMCAD (2018)
Bruno Dutertre, Dejan Jovanovic, Jorge A. Navas
Verification of Fault-Tolerant Protocols with Sally. NFM (2018)
Mohammad Hossein Etesami, D. Mahinda Vilathgamuwa, Negareh Ghasemi, Dejan Jovanovic
Enhanced Metaheuristic Methods for Selective Harmonic Elimination Technique. IEEE Trans. Ind. Informatics 14 (12) (2018)
Dejan Jovanovic, Bruno Dutertre
LibPoly: A Library for Reasoning about Polynomials. SMT (2017)
Dejan Jovanovic
Solving Nonlinear Integer Arithmetic with MCSAT. VMCAI (2017)
Nikolaj Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf
Abduction by Non-Experts. LPAR (Short Presentations) (2017)
Andrew Reynolds, Cesare Tinelli, Dejan Jovanovic, Clark W. Barrett
Designing Theory Solvers with Extensions. FroCoS (2017)
Stéphane Graham-Lengrand, Dejan Jovanovic
An MCSAT treatment of Bit-Vectors. SMT (2017)
Dejan Jovanovic, Bruno Dutertre
Property-directed k-induction. FMCAD (2016)
Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf
Finding Inconsistencies in Programs with Loops. LPAR (2015)
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)
Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies
Conflict-Directed Graph Coverage. NFM (2015)
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) (2015)
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)
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)
Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik
Template-based circuit understanding. FMCAD (2014)
Dejan Jovanovic, Clark W. Barrett
Being careful about theory combination. Formal Methods Syst. Des. 42 (1) (2013)
Leonardo Mendonça de Moura, Dejan Jovanovic
A Model-Constructing Satisfiability Calculus. VMCAI (2013)
Dejan Jovanovic, Leonardo Mendonça de Moura
Cutting to the Chase - Solving Linear Integer Arithmetic. J. Autom. Reason. 51 (1) (2013)
Leonardo Mendonça de Moura, Dejan Jovanovic
Model-Driven Decision Procedures for Arithmetic. SYNASC (2013)
Dejan Jovanovic, Leonardo Mendonça de Moura
Solving Non-linear Arithmetic. IJCAR (2012)
Dejan Jovanovic, Leonardo de Moura
Solving non-linear arithmetic. ACM Commun. Comput. Algebra 46 (3/4) (2012)
Dejan Jovanovic, Leonardo Mendonça de Moura
Cutting to the Chase Solving Linear Integer Arithmetic. CADE (2011)
Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli
CVC4. CAV (2011)
Dejan Jovanovic, Clark W. Barrett
Sharing Is Caring: Combination of Theories. FroCoS (2011)
Dejan Jovanovic, Clark W. Barrett
Polite Theories Revisited. LPAR (Yogyakarta) (2010)
Dejan Jovanovic, Predrag Janicic
Logical Analysis of Hash Functions. FroCoS (2005)
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 1998 (1) (1998)
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 1998 (1) (1998)
Dejan Jovanovic, Patrick T. Harker
Tactical Scheduling of Rail Operations: The SCAN I System. Transp. Sci. 25 (1) (1991)