Dejan Jovanovic

52 papers A* 2A 5B 8Misc 1Journal 17Unranked 17

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A Neurosymbolic Approach to Natural Language Formalization and Verification. CoRR Sam Bayless, Stefano Buliani, Darion Cassel, Byron Cook, Duncan Clough, Rémi Delmas, Nafi Diallo, Ferhat Erata, Nick Feng, Dimitra Giannakopoulou, Aman Goel, Aditya Gokhale, Joe Hendrix, Marc Hudak, Dejan Jovanovic, Andrew M. Kent, Benjamin Kiesl-Reiter, Jeffrey J. Kuna, Nadia Labai, Joseph Lilien, Divya Raghunathan, Zvonimir Rakamaric, Niloofar Razavi, Michael Tautschnig, Ali Torkamani, Nathaniel Weir, Michael W. Whalen, Jianan Yao
2024	J	`jnl`	Decomposition aided attention-based recurrent neural networks for multistep ahead time-series forecasting of renewable power generation. PeerJ Comput. Sci. Robertas Damasevicius, Luka Jovanovic, Aleksandar Petrovic, Miodrag Zivkovic, Nebojsa Bacanin, Dejan Jovanovic, Milos Antonijevic
2024	B	`conf`	Projective Model Counting for IP Addresses in Access Control Policies. FMCAD Loris D'Antoni, Andrew Gacek, Amit Goel, Dejan Jovanovic, Rami Gökhan Kici, Daniel Peebles, Neha Rungta, Yasmine Sharoda, Chungha Sung
2022	J	`jnl`	Generic Uncertainty Parameter Analysis and Optimization of Series-Series Wireless Power Transfer System for Robust Controller Design. IEEE Trans. Ind. Electron. Amir Hakemi, Dejan Jovanovic, D. Mahinda Vilathgamuwa, Geoffrey R. Walker, Jo P. Pauls
2021	—	`conf`	Interpolation and Model Checking for Nonlinear Arithmetic. CAV (2) Dejan Jovanovic, Bruno Dutertre
2021	J	`jnl`	Interpolation and Model Checking for Nonlinear Arithmetic. CoRR Dejan Jovanovic, Bruno Dutertre
2020	—	`conf`	Abstract: SMT-Friendly Formalization of the Solidity Memory Model. SMT Ákos Hajdu, Dejan Jovanovic
2020	—	`conf`	Formal Specification and Verification of Solidity Contracts with Events (Short Paper). FMBC@CAV Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie
2020	J	`jnl`	Formal Specification and Verification of Solidity Contracts with Events. CoRR Ákos Hajdu, Dejan Jovanovic, Gabriela F. Ciocarlie
2020	A	`conf`	SMT-Friendly Formalization of the Solidity Memory Model. ESOP Ákos Hajdu, Dejan Jovanovic
2020	J	`jnl`	SMT-Friendly Formalization of the Solidity Memory Model. CoRR Ákos Hajdu, Dejan Jovanovic
2020	—	`conf`	Solving Bitvectors with MCSAT: Explanations from Bits and Pieces. IJCAR (1) Stéphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre
2020	J	`jnl`	Solving bitvectors with MCSAT: explanations from bits and pieces (long version). CoRR Stéphane Graham-Lengrand, Dejan Jovanovic, Bruno Dutertre
2020	A	`conf`	Verifying Visibility-Based Weak Consistency. ESOP Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic
2019	—	`conf`	Distribution of the Absorbed Mobile Phone Energy at 1.8 and 2.1 GHz in a Child Head Model. EUROCON Vladimir V. Stankovic, Vera Markovic, Dejan Jovanovic, Dejan Krstic, Nenad Cvetkovic
2019	J	`jnl`	Verifying Visibility-Based Weak Consistency. CoRR Siddharth Krishna, Michael Emmi, Constantin Enea, Dejan Jovanovic
2019	—	`conf`	solc-verify: A Modular Verifier for Solidity Smart Contracts. VSTTE Ákos Hajdu, Dejan Jovanovic
2019	J	`jnl`	solc-verify: A Modular Verifier for Solidity Smart Contracts. CoRR Ákos Hajdu, Dejan Jovanovic
2018	A	`conf`	A Separation Logic with Data: Small Models and Automation. IJCAR Jens Katelaan, Dejan Jovanovic, Georg Weissenbacher
2018	J	`jnl`	Enhanced Metaheuristic Methods for Selective Harmonic Elimination Technique. IEEE Trans. Ind. Informatics Mohammad Hossein Etesami, D. Mahinda Vilathgamuwa, Negareh Ghasemi, Dejan Jovanovic
2018	B	`conf`	Selfless Interpolation for Infinite-State Model Checking. VMCAI Tanja Schindler, Dejan Jovanovic
2018	B	`conf`	The FMCAD 2018 Graduate Student Forum. FMCAD Dejan Jovanovic, Andrew Reynolds
2018	—	`conf`	Verification of Fault-Tolerant Protocols with Sally. NFM Bruno Dutertre, Dejan Jovanovic, Jorge A. Navas
2017	—	`conf`	Abduction by Non-Experts. LPAR (Short Presentations) Nikolaj S. Bjørner, Dejan Jovanovic, Tancrède Lepoint, Philipp Rümmer, Martin Schäf
2017	—	`conf`	An MCSAT treatment of Bit-Vectors. SMT Stéphane Graham-Lengrand, Dejan Jovanovic
2017	—	`conf`	Designing Theory Solvers with Extensions. FroCoS Andrew Reynolds, Cesare Tinelli, Dejan Jovanovic, Clark W. Barrett
2017	—	`conf`	LibPoly: A Library for Reasoning about Polynomials. SMT Dejan Jovanovic, Bruno Dutertre
2017	B	`conf`	Solving Nonlinear Integer Arithmetic with MCSAT. VMCAI Dejan Jovanovic
2016	B	`conf`	Property-directed k-induction. FMCAD Dejan Jovanovic, Bruno Dutertre
2015	J	`jnl`	Augmented Reality Enabled IoT Services for Environmental Monitoring Utilising Serious Gaming Concept. J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl. Boris Pokric, Srdjan Krco, Dejan Drajic, Maja Pokric, Vladimir Rajs, Zivorad Mihajlovic, Petar Knezevic, Dejan Jovanovic
2015	—	`conf`	Conflict-Directed Graph Coverage. NFM Daniel Schwartz-Narbonne, Martin Schäf, Dejan Jovanovic, Philipp Rümmer, Thomas Wies
2015	—	`conf`	Engaging citizen communities in smart cities using IoT, serious gaming and fast markerless Augmented Reality. RIoT Boris Pokric, Srdan Krco, Maja Pokric, Petar Knezevic, Dejan Jovanovic
2015	B	`conf`	Finding Inconsistencies in Programs with Loops. LPAR Temesghen Kahsai, Jorge A. Navas, Dejan Jovanovic, Martin Schäf
2014	A*	`conf`	A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors. CAV Liana Hadarean, Kshitij Bansal, Dejan Jovanovic, Clark W. Barrett, Cesare Tinelli
2014	—	`conf`	Safety envelope for security. HiCoNS Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia
2014	B	`conf`	Template-based circuit understanding. FMCAD Adrià Gascón, Pramod Subramanyan, Bruno Dutertre, Ashish Tiwari, Dejan Jovanovic, Sharad Malik
2013	B	`conf`	A Model-Constructing Satisfiability Calculus. VMCAI Leonardo Mendonça de Moura, Dejan Jovanovic
2013	J	`jnl`	Being careful about theory combination. Formal Methods Syst. Des. Dejan Jovanovic, Clark W. Barrett
2013	J	`jnl`	Cutting to the Chase - Solving Linear Integer Arithmetic. J. Autom. Reason. Dejan Jovanovic, Leonardo Mendonça de Moura
2013	Misc	`conf`	Model-Driven Decision Procedures for Arithmetic. SYNASC Leonardo Mendonça de Moura, Dejan Jovanovic
2012	—	`—`	SMT Beyond DPLL(T): A New Approach to Theory Solvers and Theory Combination. Dejan Jovanovic
2012	A	`conf`	Solving Non-linear Arithmetic. IJCAR Dejan Jovanovic, Leonardo Mendonça de Moura
2012	J	`jnl`	Solving non-linear arithmetic. ACM Commun. Comput. Algebra Dejan Jovanovic, Leonardo de Moura
2011	A*	`conf`	CVC4. CAV Clark W. Barrett, Christopher L. Conway, Morgan Deters, Liana Hadarean, Dejan Jovanovic, Tim King, Andrew Reynolds, Cesare Tinelli
2011	A	`conf`	Cutting to the Chase Solving Linear Integer Arithmetic. CADE Dejan Jovanovic, Leonardo Mendonça de Moura
2011	—	`conf`	Sharing Is Caring: Combination of Theories. FroCoS Dejan Jovanovic, Clark W. Barrett
2010	—	`conf`	Polite Theories Revisited. LPAR (Yogyakarta) Dejan Jovanovic, Clark W. Barrett
2007	—	`ch.`	Variable Neighborhood Search for the Probabilistic Satisfiability Problem. Metaheuristics Dejan Jovanovic, Nenad Mladenovic, Zoran Ognjanovic
2005	—	`conf`	Logical Analysis of Hash Functions. FroCoS Dejan Jovanovic, Predrag Janicic
1998	J	`jnl`	A Generalized Tunneling Formula for Quantum Device Modeling. VLSI Design Roger K. Lake, Gerhard Klimeck, R. Chris Bowen, Dejan Jovanovic, Paul Sotirelis, William R. Frensley
1998	J	`jnl`	Writing Research Software in a Large Group for the NEMO Project. VLSI Design Gerhard Klimeck, Dan Blanks, Roger K. Lake, R. Chris Bowen, Chenjing L. Fernando, Manhua Leng, William R. Frensley, Dejan Jovanovic, Paul Sotirelis
1991	J	`jnl`	Tactical Scheduling of Rail Operations: The SCAN I System. Transp. Sci. Dejan Jovanovic, Patrick T. Harker