Dejan Jovanovic

Proceedings of the Programming Languages and Systems, 2020

SMT-Friendly Formalization of the Solidity Memory Model.

[BibT_eX]

[DOI]

Ákos Hajdu

Proceedings of the Programming Languages and Systems, 2020

Formal Specification and Verification of Solidity Contracts with Events (Short Paper).

[BibT_eX]

[DOI]

Ákos Hajdu

Gabriela F. Ciocarlie

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

Solving Bitvectors with MCSAT: Explanations from Bits and Pieces.

[BibT_eX]

[DOI]

Stéphane Graham-Lengrand

Proceedings of the Automated Reasoning - 10th International Joint Conference, 2020

2019

solc-verify: A Modular Verifier for Solidity Smart Contracts.

[BibT_eX]

[DOI]

Ákos Hajdu

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2019

Distribution of the Absorbed Mobile Phone Energy at 1.8 and 2.1 GHz in a Child Head Model.

[BibT_eX]

[DOI]

Vladimir V. Stankovic

Proceedings of the IEEE EUROCON 2019, 2019

2018

Enhanced Metaheuristic Methods for Selective Harmonic Elimination Technique.

[BibT_eX]

[DOI]

Mohammad Hossein Etesami

D. Mahinda Vilathgamuwa

Negareh Ghasemi

IEEE Trans. Ind. Informatics, 2018

Selfless Interpolation for Infinite-State Model Checking.

[BibT_eX]

[DOI]

Tanja Schindler

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2018

Verification of Fault-Tolerant Protocols with Sally.

[BibT_eX]

[DOI]

Jorge A. Navas

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

The FMCAD 2018 Graduate Student Forum.

[BibT_eX]

[DOI]

Andrew Reynolds

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018

A Separation Logic with Data: Small Models and Automation.

[BibT_eX]

[DOI]

Jens Katelaan

Georg Weissenbacher

Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018

2017

Solving Nonlinear Integer Arithmetic with MCSAT.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2017

LibPoly: A Library for Reasoning about Polynomials.

[BibT_eX]

[DOI]

Proceedings of the 15th International Workshop on Satisfiability Modulo Theories affiliated with the International Conference on Computer-Aided Verification (CAV 2017), Heidelberg, Germany, July 22, 2017

An MCSAT treatment of Bit-Vectors.

[BibT_eX]

[DOI]

Stéphane Graham-Lengrand

Abduction by Non-Experts.

[BibT_eX]

[DOI]

Proceedings of the IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, 2017

Designing Theory Solvers with Extensions.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems - 11th International Symposium, 2017

2016

Property-directed k-induction.

[BibT_eX]

[DOI]

Proceedings of the 2016 Formal Methods in Computer-Aided Design, 2016

2015

Augmented Reality Enabled IoT Services for Environmental Monitoring Utilising Serious Gaming Concept.

[BibT_eX]

[DOI]

J. Wirel. Mob. Networks Ubiquitous Comput. Dependable Appl., 2015

Engaging citizen communities in smart cities using IoT, serious gaming and fast markerless Augmented Reality.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Recent Advances in Internet of Things, 2015

Conflict-Directed Graph Coverage.

[BibT_eX]

[DOI]

Daniel Schwartz-Narbonne

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

Finding Inconsistencies in Programs with Loops.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

2014

Safety envelope for security.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

Template-based circuit understanding.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 2014

A Tale of Two Solvers: Eager and Lazy Approaches to Bit-Vectors.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Cutting to the Chase - Solving Linear Integer Arithmetic.

[BibT_eX]

[DOI]

Leonardo Mendonça de Moura

J. Autom. Reason., 2013

Being careful about theory combination.

[BibT_eX]

[DOI]

Leonardo Mendonça de Moura

Formal Methods Syst. Des., 2013

A Model-Constructing Satisfiability Calculus.

[BibT_eX]

[DOI]

Leonardo Mendonça de Moura

Proceedings of the Verification, 2013

Model-Driven Decision Procedures for Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2013

2012

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

[BibT_eX]

[DOI]

PhD thesis, 2012

Solving non-linear arithmetic.

[BibT_eX]

[DOI]

Leonardo de Moura

ACM Commun. Comput. Algebra, 2012

2011

Sharing Is Caring: Combination of Theories.

[BibT_eX]

[DOI]

Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011

CVC4.

[BibT_eX]

[DOI]

Christopher L. Conway

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2010

Polite Theories Revisited.

[BibT_eX]

[DOI]

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

2007

Variable Neighborhood Search for the Probabilistic Satisfiability Problem.

[BibT_eX]

[DOI]

Nenad Mladenovic

Zoran Ognjanovic

Proceedings of the Metaheuristics, 2007

2005

Logical Analysis of Hash Functions.

[BibT_eX]

[DOI]

Predrag Janicic

Proceedings of the Frontiers of Combining Systems, 5th International Workshop, 2005

1998

A Generalized Tunneling Formula for Quantum Device Modeling.

[BibT_eX]

[DOI]

VLSI Design, 1998

Writing Research Software in a Large Group for the NEMO Project.

[BibT_eX]

[DOI]

VLSI Design, 1998

1991

Tactical Scheduling of Rail Operations: The SCAN I System.

[BibT_eX]

[DOI]