Travelled to:1 × USA
1 × United Kingdom
Collaborated with:G.Lüttgen A.Galloway R.Siminiceanu D.H.White M.Dodds F.Piessens
Talks about:virtual (1) program (1) verifi (1) system (1) assert (1) model (1) linux (1) learn (1) check (1) list (1)
Person: Jan Tobias Mühlberg
DBLP: M=uuml=hlberg:Jan_Tobias
Contributed to:
2015
2009Wrote 2 papers:
- SEFM-2015-Muhlberg0DLP #learning #source code #verification
- Learning Assertions to Verify Linked-List Programs (JTM, DHW, MD, GL, FP), pp. 37–52.
- VMCAI-2009-GallowayLMS #file system #linux #model checking
- Model-Checking the Linux Virtual File System (AG, GL, JTM, RS), pp. 74–88.