BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Hyv=auml=rinen:Antti_Eero_Johannes

Contributed to:

FASE 20152015
SAT 20152015
ISSTA 20142014
CSMR 20132013
SAT 20122012
SAT 20062006

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.