BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
P.Schrammel C.David P.Kesseli Y.Sun B.Wachter A.Abate L.C.Cordeiro E.Polgreen D.Landsberg D.Poetzl M.Sousa C.Rodríguez V.D'Silva I.Bessa D.Cattaruzza H.Chen M.Trtík M.Wu W.Ruan X.H.0001 M.Kwiatkowska B.Cook K.Khazem S.Tasiran M.Tautschnig M.R.Tuttle L.C.Chaves
Talks about:
synthesi (3) control (2) physic (2) plant (2) model (2) fault (2) digit (2) check (2) autom (2) tool (2)

Person: Daniel Kroening

DBLP DBLP: Kroening:Daniel

Contributed to:

ASE 20152015
ASE 20162016
ASE 20172017
ASE 20182018
FASE 20182018
CAV (1) 20172017
CAV (2) 20172017
CAV (1) 20182018
CAV (2) 20182018

Wrote 10 papers:

ASE-2015-ChenDKSW #interprocedural #proving #termination
Synthesising Interprocedural Bit-Precise Termination Proofs (T) (HYC, CD, DK, PS, BW), pp. 53–64.
ASE-2016-KroeningPSW #analysis #concurrent #thread
Sound static deadlock analysis for C/Pthreads (DK, DP, PS, BW), pp. 379–390.
ASE-2017-AbateBCCCDKKP #automation #named #physics #synthesis
DSSynth: an automated digital controller synthesis tool for physical plants (AA, IB, DC, LCC, LCC, CD, PK, DK, EP), pp. 919–924.
ASE-2018-SunWRHKK #network #testing
Concolic testing for deep neural networks (YS, MW, WR, XH0, MK, DK), pp. 109–119.
FASE-2018-LandsbergSK #fault #locality #optimisation #source code #specification #using
Optimising Spectrum Based Fault Localisation for Single Fault Programs Using Specifications (DL, YS, DK), pp. 246–263.
CAV-2017-AbateBCCDKKP #automation #physics #synthesis
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants (AA, IB, DC, LCC, CD, PK, DK, EP), pp. 462–482.
CAV-2017-SousaRDK #abstract interpretation
Abstract Interpretation with Unfoldings (MS, CR, VD, DK), pp. 197–216.
CAV-2018-AbateDKKP #induction #modulo theories #synthesis
Counterexample Guided Inductive Synthesis Modulo Theories (AA, CD, PK, DK, EP), pp. 270–288.
CAV-2018-CordeiroKKST #bound #bytecode #java #model checking #named #verification
JBMC: A Bounded Model Checking Tool for Verifying Java Bytecode (LCC, PK, DK, PS, MT), pp. 183–190.
CAV-2018-CookKKTTT #model checking
Model Checking Boot Code from AWS Data Centers (BC, KK, DK, ST, MT, MRT), pp. 467–486.

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.