Antti Eero Johannes Hyvärinen

According to our database, Antti Eero Johannes Hyvärinen authored at least 50 papers between 2006 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A Solicitous Approach to Smart Contract Verification.

Rodrigo Otoni, Matteo Marescotti, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

ACM Trans. Priv. Secur., May, 2023

2022

Using linear algebra in decomposition of Farkas interpolants.

Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina

Int. J. Softw. Tools Technol. Transf., 2022

SMT-based verification of program changes through summary repair.

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

Formal Methods Syst. Des., 2022

Transition Power Abstractions for Deep Counterexample Detection.

Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

Split Transition Power Abstraction for Unbounded Safety.

Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

SolCMC: Solidity Compiler's Model Checker.

Leonardo Alt, Martin Blicha, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Lookahead in Partitioning SMT.

Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina

Proceedings of the Formal Methods in Computer Aided Design, 2021

Theory-Specific Proof Steps Witnessing Correctness of SMT Executions.

Rodrigo Otoni, Martin Blicha, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

A Cooperative Parallelization Approach for Property-Directed k-Induction.

Martin Blicha, Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina

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

Farkas-Based Tree Interpolation.

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

Proceedings of the Static Analysis - 27th International Symposium, 2020

Accurate Smart Contract Verification Through Direct Modelling.

Matteo Marescotti, Rodrigo Otoni, Leonardo Alt, Patrick Eugster, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

Incremental Verification by SMT-based Summary Repair.

Sepideh Asadi, Martin Blicha, Antti E. J. Hyvärinen, Grigory Fedyukovich, Natasha Sharygina

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

2019

Exploiting partial variable assignment in interpolation-based model checking.

Pavel Jancík, Jan Kofron, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Formal Methods Syst. Des., 2019

Decomposing Farkas Interpolants.

Martin Blicha, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Lattice-based SMT for program verification.

Karine Even-Mendoza, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2019

2018

Lattice-Based Refinement in Bounded Model Checking.

Karine Even-Mendoza, Sepideh Asadi, Antti E. J. Hyvärinen, Hana Chockler, Natasha Sharygina

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

SMTS: Distributed, Visualized Constraint Solving.

Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Lookahead-Based SMT Solving.

Antti E. J. Hyvärinen, Matteo Marescotti, Parvin Sadigova, Hana Chockler, Natasha Sharygina

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Function Summarization Modulo Theories.

Sepideh Asadi, Martin Blicha, Grigory Fedyukovich, Antti E. J. Hyvärinen, Karine Even-Mendoza, Natasha Sharygina, Hana Chockler

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

Computing Exact Worst-Case Gas Consumption for Smart Contracts.

Matteo Marescotti, Martin Blicha, Antti E. J. Hyvärinen, Sepideh Asadi, Natasha Sharygina

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Parallel Satisfiability Modulo Theories.

Antti E. J. Hyvärinen, Christoph M. Wintersteiger

Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2017

HiFrog: SMT-based Function Summarization for Software Verification.

Leonardo Alt, Sepideh Asadi, Hana Chockler, Karine Even-Mendoza, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Visualising SMT-Based Parallel Constraint Solving.

Jelena Budakovic, Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina

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

Theory Refinement for Program Verification.

Antti E. J. Hyvärinen, Sepideh Asadi, Karine Even-Mendoza, Grigory Fedyukovich, Hana Chockler, Natasha Sharygina

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

LRA Interpolants from No Man's Land.

Leonardo Alt, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Hardware and Software: Verification and Testing, 2017

Designing parallel PDR.

Matteo Marescotti, Arie Gurfinkel, Antti Eero Johannes Hyvärinen, Natasha Sharygina

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

Duality-based interpolation for quantifier-free equalities and uninterpreted functions.

Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina

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

2016

OpenSMT2: An SMT Solver for Multi-core and Cloud Computing.

Antti E. J. Hyvärinen, Matteo Marescotti, Leonardo Alt, Natasha Sharygina

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

PVAIR: Partial Variable Assignment InterpolatoR.

Pavel Jancík, Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Jan Kofron, Natasha Sharygina

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Clause Sharing and Partitioning for Cloud-Based SMT Solving.

Matteo Marescotti, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Automated Technology for Verification and Analysis, 2016

2015

A Proof-Sensitive Approach for Small Propositional Interpolants.

Leonardo Alt, Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Verified Software: Theories, Tools, and Experiments, 2015

Search-Space Partitioning for Parallelizing SMT Solvers.

Antti E. J. Hyvärinen, Matteo Marescotti, Natasha Sharygina

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

Flexible Interpolation for Efficient Model Checking.

Antti E. J. Hyvärinen, Leonardo Alt, Natasha Sharygina

Proceedings of the Mathematical and Engineering Methods in Computer Science, 2015

Symbolic Detection of Assertion Dependencies for Bounded Model Checking.

Grigory Fedyukovich, Andrea Callia D'Iddio, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Optimizing Function Summaries Through Interpolation.

Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina

Proceedings of the Validation of Evolving Software, 2015

Regression Checking of Changes in C Software.

Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad

Proceedings of the Validation of Evolving Software, 2015

2014

Verification-aided regression testing.

Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad

Proceedings of the International Symposium on Software Testing and Analysis, 2014

2013

PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.

Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina

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

Interpolation-based model checking for efficient incremental analysis of software.

Grigory Fedyukovich, Antti E. J. Hyvärinen, Natasha Sharygina

Proceedings of the 16th IEEE International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2013

PINCETTE - Validating Changes and Upgrades in Networked Software.

Hana Chockler, Giovanni Denaro, Meijia Ling, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Leonardo Mariani, Ali Muhammad, Manuel Oriol, Ajitha Rajan, Ondrej Sery, Natasha Sharygina, Michael Tautschnig

Proceedings of the 17th European Conference on Software Maintenance and Reengineering, 2013

2012

Designing Scalable Parallel SAT Solvers.

Antti Eero Johannes Hyvärinen, Norbert Manthey

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

2011

Grid based propositional satisfiability solving.

Antti Eero Johannes Hyvärinen

PhD thesis, 2011

Partitioning Search Spaces of a Randomized Search.

Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä

Fundam. Informaticae, 2011

Grid-Based SAT Solving with Iterative Partitioning and Clause Learning.

Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the Principles and Practice of Constraint Programming - CP 2011, 2011

2010

Partitioning SAT Instances for Distributed Solving.

Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä

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

2009

Incorporating Clause Learning in Grid-Based Randomized SAT Solving.

Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä

J. Satisf. Boolean Model. Comput., 2009

2008

Using the Grid for Enhancing the Performance of a Medical Image Search Engine.

Mikko Juhani Pitkänen, Xin Zhou, Antti Eero Johannes Hyvärinen, Henning Müller

Proceedings of the Twenty-First IEEE International Symposium on Computer-Based Medical Systems, 2008

Strategies for Solving SAT in Grids by Randomized Search.

Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the Intelligent Computer Mathematics, 9th International Conference, 2008

Incorporating Learning in Grid-Based Randomized SAT Solving.

Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the Artificial Intelligence: Methodology, 2008

2006

A Distribution Method for Solving SAT in Grids.

Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä

Proceedings of the Theory and Applications of Satisfiability Testing, 2006