Tactical Scheduling of Rail Operations: The SCAN I System. - Dejan Jovanovic; Patrick T. Harker (Transp. Sci., 1991)

Writing Research Software in a Large Group for the NEMO Project. - Gerhard Klimeck; Dan Blanks; Roger K. Lake; R. Chris Bowen; Chenjing L. Fernando; Manhua Leng; William R. Frensley; Dejan Jovanovic; Paul Sotirelis (VLSI Design, 1998)

A Generalized Tunneling Formula for Quantum Device Modeling. - Roger K. Lake; Gerhard Klimeck; R. Chris Bowen; Dejan Jovanovic; Paul Sotirelis; William R. Frensley (VLSI Design, 1998)

Logical Analysis of Hash Functions. - Dejan Jovanovic; Predrag Janicic (FroCoS, 2005)

Variable Neighborhood Search for the Probabilistic Satisfiability Problem. - Dejan Jovanovic; Nenad Mladenovic; Zoran Ognjanovic (Metaheuristics, 2007)

Polite Theories Revisited. - Dejan Jovanovic; Clark W. Barrett (LPAR (Yogyakarta), 2010)

CVC4. - Clark W. Barrett; Christopher L. Conway; Morgan Deters; Liana Hadarean; Dejan Jovanovic; Tim King 001; Andrew Reynolds 001; Cesare Tinelli (CAV, 2011)

Sharing Is Caring: Combination of Theories. - Dejan Jovanovic; Clark W. Barrett (FroCoS, 2011)

Solving non-linear arithmetic. - Dejan Jovanovic; Leonardo de Moura 001 (ACM Commun. Comput. Algebra, 2012)

SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination. - Dejan Jovanovic (2012)

Model-Driven Decision Procedures for Arithmetic. - Leonardo Mendonça de Moura; Dejan Jovanovic (SYNASC, 2013)

A Model-Constructing Satisfiability Calculus. - Leonardo Mendonça de Moura; Dejan Jovanovic (VMCAI, 2013)

Being careful about theory combination. - Dejan Jovanovic; Clark W. Barrett (Formal Methods Syst. Des., 2013)

Cutting to the Chase - Solving Linear Integer Arithmetic. - Dejan Jovanovic; Leonardo Mendonça de Moura (J. Autom. Reason., 2013)

A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. - Liana Hadarean; Kshitij Bansal; Dejan Jovanovic; Clark W. Barrett; Cesare Tinelli (CAV, 2014)

Template-based circuit understanding. - Adrià Gascón; Pramod Subramanyan; Bruno Dutertre; Ashish Tiwari 001; Dejan Jovanovic; Sharad Malik (FMCAD, 2014)

Safety envelope for security. - Ashish Tiwari 001; Bruno Dutertre; Dejan Jovanovic; Thomas de Candia; Patrick Lincoln; John M. Rushby; Dorsa Sadigh; Sanjit A. Seshia (HiCoNS, 2014)

Finding Inconsistencies in Programs with Loops. - Temesghen Kahsai; Jorge A. Navas; Dejan Jovanovic; Martin Schäf (LPAR, 2015)

Conflict-Directed Graph Coverage. - Daniel Schwartz-Narbonne; Martin Schäf; Dejan Jovanovic; Philipp Rümmer; Thomas Wies (NFM, 2015)

Engaging citizen communities in smart cities using IoT, serious gaming and fast markerless Augmented Reality. - Boris Pokric; Srdan Krco; Maja Pokric; Petar Knezevic; Dejan Jovanovic (RIoT, 2015)

Augmented Reality Enabled IoT Services for Environmental Monitoring Utilising Serious Gaming Concept. - Boris Pokric; Srdjan Krco; Dejan Drajic; Maja Pokric; Vladimir Rajs; Zivorad Mihajlovic; Petar Knezevic; Dejan Jovanovic (J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2015)

Property-directed k-induction. - Dejan Jovanovic; Bruno Dutertre (FMCAD, 2016)

Designing Theory Solvers with Extensions. - Andrew Reynolds 001; Cesare Tinelli; Dejan Jovanovic; Clark W. Barrett (FroCoS, 2017)

Abduction by Non-Experts. - Nikolaj S. Bjørner; Dejan Jovanovic; Tancrède Lepoint; Philipp Rümmer; Martin Schäf (LPAR (Short Presentations), 2017)

An MCSAT treatment of Bit-Vectors. - Stéphane Graham-Lengrand; Dejan Jovanovic (SMT, 2017)

LibPoly: A Library for Reasoning about Polynomials. - Dejan Jovanovic; Bruno Dutertre (SMT, 2017)

Solving Nonlinear Integer Arithmetic with MCSAT. - Dejan Jovanovic (VMCAI, 2017)

A Separation Logic with Data: Small Models and Automation. - Jens Katelaan; Dejan Jovanovic; Georg Weissenbacher (IJCAR, 2018)

The FMCAD 2018 Graduate Student Forum. - Dejan Jovanovic; Andrew Reynolds 001 (FMCAD, 2018)

Verification of Fault-Tolerant Protocols with Sally. - Bruno Dutertre; Dejan Jovanovic; Jorge A. Navas (NFM, 2018)

Selfless Interpolation for Infinite-State Model Checking. - Tanja Schindler; Dejan Jovanovic (VMCAI, 2018)

Enhanced Metaheuristic Methods for Selective Harmonic Elimination Technique. - Mohammad Hossein Etesami; D. Mahinda Vilathgamuwa; Negareh Ghasemi; Dejan Jovanovic (IEEE Trans. Ind. Informatics, 2018)

Distribution of the Absorbed Mobile Phone Energy at 1.8 and 2.1 GHz in a Child Head Model. - Vladimir V. Stankovic 001; Vera Markovic; Dejan Jovanovic; Dejan Krstic; Nenad Cvetkovic (EUROCON, 2019)

solc-verify: A Modular Verifier for Solidity Smart Contracts. - Ákos Hajdu; Dejan Jovanovic (VSTTE, 2019)

Solving Bitvectors with MCSAT: Explanations from Bits and Pieces. - Stéphane Graham-Lengrand; Dejan Jovanovic; Bruno Dutertre (IJCAR (1), 2020)

Formal Specification and Verification of Solidity Contracts with Events (Short Paper). - Ákos Hajdu; Dejan Jovanovic; Gabriela F. Ciocarlie (FMBC@CAV, 2020)

SMT-Friendly Formalization of the Solidity Memory Model. - Ákos Hajdu; Dejan Jovanovic (ESOP, 2020)

Verifying Visibility-Based Weak Consistency. - Siddharth Krishna 001; Michael Emmi; Constantin Enea; Dejan Jovanovic (ESOP, 2020)

Abstract: SMT-Friendly Formalization of the Solidity Memory Model. - Ákos Hajdu; Dejan Jovanovic (SMT, 2020)

Solving bitvectors with MCSAT: explanations from bits and pieces (long version). - Stéphane Graham-Lengrand; Dejan Jovanovic; Bruno Dutertre (CoRR, 2020)

Formal Specification and Verification of Solidity Contracts with Events. - Ákos Hajdu; Dejan Jovanovic; Gabriela F. Ciocarlie (CoRR, 2020)

Interpolation and Model Checking for Nonlinear Arithmetic. - Dejan Jovanovic; Bruno Dutertre (CAV (2), 2021)

Generic Uncertainty Parameter Analysis and Optimization of Series-Series Wireless Power Transfer System for Robust Controller Design. - Amir Hakemi; Dejan Jovanovic; D. Mahinda Vilathgamuwa; Geoffrey R. Walker; Jo P. Pauls (IEEE Trans. Ind. Electron., 2022)

Projective Model Counting for IP Addresses in Access Control Policies. - Loris D'Antoni; Andrew Gacek; Amit Goel; Dejan Jovanovic; Rami Gökhan Kici; Daniel Peebles; Neha Rungta; Yasmine Sharoda; Chungha Sung (FMCAD, 2024)

Decomposition aided attention-based recurrent neural networks for multistep ahead time-series forecasting of renewable power generation. - Robertas Damasevicius; Luka Jovanovic; Aleksandar Petrovic; Miodrag Zivkovic; Nebojsa Bacanin; Dejan Jovanovic; Milos Antonijevic (PeerJ Comput. Sci., 2024)