by Song, Dawn, Brumley, David, Yin, Heng, Caballero, Juan, Jager, Ivan, Kang, Min Gyung, Liang, Zhenkai, Newsome, James, Poosankam, Pongsin, Saxena, Prateek
Published in Information Systems Security (2008)

by Brumley, David, Jager, Ivan, Avgerinos, Thanassis, Schwartz, Edward J.
Published in Computer Aided Verification (2011)

by JAGER, Ivan
Year of Publication 06.11.2024

by JAGER, Ivan
Year of Publication 05.01.2022

by JAGER, IVAN
Year of Publication 31.10.2019

by JAGER, Ivan
Year of Publication 25.09.2019

by JAGER, Ivan
Year of Publication 05.05.2022

by JAGER, IVAN
Year of Publication 13.11.2020

by JAGER, Ivan
Year of Publication 12.07.2018

by JAGER, Ivan
Year of Publication 24.05.2018

by JAGER, IVAN
Year of Publication 18.05.2018

by Ricci Marc, Jager Ivan, Thoulon Pierre-Yves
Year of Publication 09.01.2018

by THOULON, Pierre-Yves, RICCI, Marc, JAGER, Ivan
Year of Publication 26.04.2017

by THOULON PIERRE-YVES, RICCI MARC, JAGER IVAN
Year of Publication 01.01.2016

by THOULON PIERRE-YVES, RICCI MARC, JAGER IVAN
Year of Publication 15.10.2015

by THOULON PIERRE-YVES, RICCI MARC, JAGER IVAN
Year of Publication 08.10.2015

by JAGER, IVAN, THOULON, PIERRE-YVES, RICCI, MARC
Year of Publication 02.09.2015

by THOULON PIERRE-YVES, RICCI MARC, JAGER IVAN
Year of Publication 05.08.2015

by THOULON PIERRE-YVES, RICCI MARC, JAGER IVAN
Year of Publication 22.07.2015

by JAGER IVAN MERIADEC MARIE
Year of Publication 30.09.2016