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: Kroening:Daniel
Contributed to:
2015201620172018
2018
2017201720182018Wrote 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.