Dejan Jovanović
SRI International(US)Menlo School(US)
Publications by Year
Research Areas
Formal Methods in Verification, Logic, programming, and type systems, Software Testing and Debugging Techniques, Constraint Satisfaction and Optimization, Distributed systems and fault tolerance
Most-Cited Works
- → CVC4(2011)612 cited
- → Solving Non-linear Arithmetic(2012)222 cited
- → Tactical Scheduling of Rail Operations: The SCAN I System(1991)193 cited
- → A Model-Constructing Satisfiability Calculus(2013)93 cited
- → Cutting to the Chase Solving Linear Integer Arithmetic(2011)57 cited
- → Safety envelope for security(2014)48 cited
- → A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors(2014)42 cited
- → Solving Nonlinear Integer Arithmetic with MCSAT(2017)39 cited
- → Polite Theories Revisited(2010)38 cited