K. S. Luckow
发表
Zvonimir Rakamaric,
Temesghen Kahsai,
Falk Howar,
2017,
SOEN.
Pauline Bolignano,
Kasper Søe Luckow,
John D. Backes,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).
Zvonimir Rakamaric,
Falk Howar,
Kasper Søe Luckow,
2018,
IFM.
Zvonimir Rakamaric,
Temesghen Kahsai,
Dimitra Giannakopoulou,
2016,
TACAS.
Corina S. Pasareanu,
Kasper Søe Luckow,
Rody Kersten,
2017,
2017 IEEE International Conference on Software Testing, Verification and Validation (ICST).
Corina S. Pasareanu,
Kasper Søe Luckow,
Rody Kersten,
2017,
CCS.
Corina S. Pasareanu,
Aymeric Fromherz,
Kasper Søe Luckow,
2017,
SOEN.
Bent Thomsen,
Corina S. Pasareanu,
Kasper Søe Luckow,
2015,
EURASIP J. Embed. Syst..
Matthew B. Dwyer,
Corina S. Pasareanu,
Willem Visser,
2014
.
Cole Schlesinger,
Pauline Bolignano,
John D. Backes,
2019,
IEEE Software.
Corina S. Pasareanu,
Robert Morris,
Sven Koenig,
2016,
AAAI Workshop: Planning for Hybrid Systems.
Cole Schlesinger,
Ranjit Jhala,
John D. Backes,
2020,
CAV.
Kasper Søe Luckow,
Rody Kersten,
Quoc-Sang Phan,
2019,
Adv. Comput..
Corina S. Pasareanu,
Pasquale Malacaria,
Kasper Søe Luckow,
2018,
2018 IEEE 31st Computer Security Foundations Symposium (CSF).
Matthew B. Dwyer,
Corina S. Pasareanu,
Willem Visser,
2014,
ASE.
Corina S. Pasareanu,
Kasper Søe Luckow,
C. Pasareanu,
2014,
SOEN.
Rody Kersten,
Kasper Luckow,
Corina Pasareanu,
2020,
Softw. Test. Verification Reliab..
Bent Thomsen,
Kasper Søe Luckow,
Stephan Korsholm,
2014,
JTRES '14.