Antti Eero Johannes Hyvärinen

18 papers A 4B 4Misc 1Journal 2Unranked 4
YearRankTypeTitle / Venue / Authors
2017 B conf
Designing parallel PDR.
FMCAD
Matteo Marescotti, Arie Gurfinkel, Antti Eero Johannes Hyvärinen, Natasha Sharygina
2017 B conf
Duality-based interpolation for quantifier-free equalities and uninterpreted functions.
FMCAD
Leonardo Alt, Antti Eero Johannes Hyvärinen, Sepideh Asadi, Natasha Sharygina
2015 — ch.
Optimizing Function Summaries Through Interpolation.
Validation of Evolving Software
Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina
2015 — ch.
Regression Checking of Changes in C Software.
Validation of Evolving Software
Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad
2014 A conf
Verification-aided regression testing.
ISSTA
Fabrizio Pastore, Leonardo Mariani, Antti Eero Johannes Hyvärinen, Grigory Fedyukovich, Natasha Sharygina, Stephan Sehestedt, Ali Muhammad
2013 — conf
PINCETTE - Validating Changes and Upgrades in Networked Software.
CSMR
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
2013 B conf
PeRIPLO: A Framework for Producing Effective Interpolants in SAT-Based Software Verification.
LPAR
Simone Fulvio Rollini, Leonardo Alt, Grigory Fedyukovich, Antti Eero Johannes Hyvärinen, Natasha Sharygina
2012 A conf
Designing Scalable Parallel SAT Solvers.
SAT
Antti Eero Johannes Hyvärinen, Norbert Manthey
2011 — —
Grid based propositional satisfiability solving.
Antti Eero Johannes Hyvärinen
2011 A conf
Grid-Based SAT Solving with Iterative Partitioning and Clause Learning.
CP
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
2011 J jnl
Partitioning Search Spaces of a Randomized Search.
Fundam. Informaticae
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
2010 — conf
Partitioning SAT Instances for Distributed Solving.
LPAR (Yogyakarta)
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
2009 J jnl
Incorporating Clause Learning in Grid-Based Randomized SAT Solving.
J. Satisf. Boolean Model. Comput.
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
2009 — conf
Partitioning Search Spaces of a Randomized Search.
AI*IA
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
2008 Misc conf
Incorporating Learning in Grid-Based Randomized SAT Solving.
AIMSA
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
2008 — conf
Strategies for Solving SAT in Grids by Randomized Search.
AISC/MKM/Calculemus
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä
2008 B conf
Using the Grid for Enhancing the Performance of a Medical Image Search Engine.
CBMS
Mikko Juhani Pitkänen, Xin Zhou, Antti Eero Johannes Hyvärinen, Henning Müller
2006 A conf
A Distribution Method for Solving SAT in Grids.
SAT
Antti Eero Johannes Hyvärinen, Tommi A. Junttila, Ilkka Niemelä