Travelled to:1 × United Kingdom
2 × Italy
3 × USA
Collaborated with:N.Sharygina N.Manthey G.Fedyukovich M.Marescotti T.A.Junttila I.Niemelä A.C.D'Iddio L.Mariani A.Muhammad F.Pastore S.Sehestedt H.Chockler G.Denaro M.Ling M.Oriol A.Rajan O.Sery M.Tautschnig
Talks about:parallel (2) solver (2) sat (2) distribut (1) softwar (1) scalabl (1) regress (1) pincett (1) network (1) upgrad (1)
Person: Antti Eero Johannes Hyvärinen
DBLP: Hyv=auml=rinen:Antti_Eero_Johannes
Contributed to:
2015
2015
2014
201320122006Wrote 6 papers:
- FASE-2015-FedyukovichDHS #bound #dependence #detection #model checking
- Symbolic Detection of Assertion Dependencies for Bounded Model Checking (GF, ACD, AEJH, NS), pp. 186–201.
- SAT-2015-HyvarinenMS #clustering #smt
- Search-Space Partitioning for Parallelizing SMT Solvers (AEJH, MM, NS), pp. 369–386.
- ISSTA-2014-PastoreMHFSSM #testing
- Verification-aided regression testing (FP, LM, AEJH, GF, NS, SS, AM), pp. 37–48.
- CSMR-2013-ChocklerDLFHMMORSST #named #validation
- PINCETTE — Validating Changes and Upgrades in Networked Software (HC, GD, ML, GF, AEJH, LM, AM, MO, AR, OS, NS, MT), pp. 461–464.
- SAT-2012-HyvarinenM #design #parallel #satisfiability #scalability
- Designing Scalable Parallel SAT Solvers (AEJH, NM), pp. 214–227.
- SAT-2006-HyvarinenJN #satisfiability
- A Distribution Method for Solving SAT in Grids (AEJH, TAJ, IN), pp. 430–435.