Bart Jacobs
发表
Frank Piessens,
Jan Smans,
Bart Jacobs,
2011,
FM.
Erik Poll,
Hans Meijer,
Bart Jacobs,
2001
.
Frank Piessens,
Peter Müller,
Bart Jacobs,
2007,
Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007).
Wouter Joosen,
Frank Piessens,
Bart Jacobs,
2003,
IEE Proc. Softw..
Bart Jacobs,
2015,
FTfJP@ECOOP.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2012,
NASA Formal Methods.
Bor-Yuh Evan Chang,
K. Rustan M. Leino,
Robert DeLine,
2005,
FMCO.
Wouter Joosen,
Frank Piessens,
Lieven Desmet,
2004,
Communications and Multimedia Security.
Bart Jacobs,
Jafar Hamin,
2019,
ECOOP.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2006,
ICFEM.
Erik Poll,
Martijn Warnier,
Sjouke Mauw,
2002
.
Dragan Bosnacki,
Anton Wijs,
Ruurd Kuiper,
2016,
2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).
Bart Jacobs,
Amin Timany,
Willem Penninckx,
2019,
ArXiv.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2009
.
Frank Piessens,
K. Rustan M. Leino,
Wolfram Schulte,
2005
.
Frank Piessens,
Bart Jacobs,
2007
.
Bart Jacobs,
Jafar Hamin,
2016,
2016 IEEE 17th International Conference on Information Reuse and Integration (IRI).
Erik Poll,
Joachim van den Berg,
Bart Jacobs,
2000
.
Bart Jacobs,
Amin Timany,
2015,
ICTAC.
Bart Jacobs,
Gijs Vanspauwen,
2017
.
Bart Jacobs,
Amin Timany,
2016,
FSCD.
Bart Jacobs,
Jafar Hamin,
2018,
ESOP.
Frank Piessens,
Bart Jacobs,
2009
.
Frank Piessens,
Jan Smans,
Pieter Philippaerts,
2014,
Sci. Comput. Program..
Frank Piessens,
Jan Smans,
Bart Jacobs,
2008
.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2010
.
Frank Piessens,
Bart Jacobs,
F. Piessens,
2008
.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2008,
FASE.
Tom Ridge,
Natarajan Shankar,
Frank Piessens,
2011,
FM.
Wolfram Schulte,
Bart Jacobs,
K. Rustan,
2004
.
Frank Piessens,
Bart Jacobs,
F. Piessens,
2009
.
Bart Jacobs,
Jafar Hamin,
2018
.
Bart Jacobs,
Gijs Vanspauwen,
2016
.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2015,
International Journal on Software Tools for Technology Transfer.
Erik Poll,
Hans Meijer,
Bart Jacobs,
2001
.
Bart Jacobs,
Jafar Hamin,
2017
.
Frank Piessens,
Jan Smans,
K. Rustan M. Leino,
2008,
TOPL.
Wouter Joosen,
Bart Jacobs,
Yves Younan,
2009,
VDTS '09.
Frank Piessens,
Bart Jacobs,
2003
.
Bart Jacobs,
2014
.
Dragan Bosnacki,
Ruurd Kuiper,
Bart Jacobs,
2015,
ECOOP.
Bart Jacobs,
Gijs Vanspauwen,
B. Jacobs,
2015,
SEFM.
Frank Piessens,
Bart Jacobs,
Frédéric Vogels,
2015,
Log. Methods Comput. Sci..
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2006
.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2010,
Formal Aspects of Computing.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2008,
TOPL.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2009
.
Frank Piessens,
Wolfram Schulte,
Bart Jacobs,
2006,
SAVCBS '06.
K. Rustan M. Leino,
Robert DeLine,
Wolfram Schulte,
2005,
VSTTE.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2011
.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2010,
FMOODS/FORTE.
Dominique Devriese,
Frank Piessens,
Jan Smans,
2014
.
Frank Piessens,
Bart Jacobs,
2005
.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2011,
FMOODS/FORTE.
Frank Piessens,
Jan Smans,
Pieter Philippaerts,
2011
.
Dragan Bošnački,
Ruurd Kuiper,
Bart Jacobs,
2015
.
Frank Piessens,
Mads Dam,
Bart Jacobs,
2009,
ECOOP.
Frank Piessens,
Bart Jacobs,
Raoul Strackx,
2012
.
Frank Piessens,
Bart Preneel,
Jukka Ylitalo,
2014,
Lecture Notes in Computer Science.
Frank Piessens,
Bart Jacobs,
Willem Penninckx,
2014
.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2008,
FMOODS.
Manfred Broy,
Natarajan Shankar,
Michel Bidoit,
1999,
Lecture Notes in Computer Science.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2010,
APLAS.
Marco Patrignani,
Frank Piessens,
Dave Clarke,
2015,
TOPL.
Frank Piessens,
Bart Jacobs,
Frédéric Vogels,
2010,
SAC '10.
Bart Jacobs,
Gijs Vanspauwen,
2013,
SEFM.
Frank Piessens,
Bart Jacobs,
2008
.
Frank Piessens,
Bart Jacobs,
2006
.
Frank Piessens,
Wolfram Schulte,
Bart Jacobs,
2005
.
Frank Piessens,
Bart Jacobs,
Cedric Cuypers,
2009
.
Frank Piessens,
Fabio Massacci,
Olga Gadyatskaya,
2012
.
Bart Jacobs,
J. Mandemaker,
2013
.
Frank Piessens,
Bart Jacobs,
Pieter Agten,
2014,
POPL.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2010
.
Ana Sokolova,
Ichiro Hasuo,
Bart Jacobs,
2007
.
Frank Piessens,
Bart Jacobs,
Raoul Strackx,
2014,
ACSAC.
Frank Piessens,
Bart Jacobs,
Peter Müller,
2007
.
Frank Piessens,
Bart Jacobs,
F. Piessens,
2010
.
Wouter Joosen,
Frank Piessens,
Eddy Truyen,
2004,
J. Object Technol..
Frank Piessens,
Mads Dam,
Bart Jacobs,
2010,
J. Comput. Secur..
Frank Piessens,
K. Rustan M. Leino,
Wolfram Schulte,
2005,
Third IEEE International Conference on Software Engineering and Formal Methods (SEFM'05).
Frank Piessens,
Gary T. Leavens,
Bart Jacobs,
2011,
J. Object Technol..
Erik Poll,
Sjaak Smetsers,
Bart Jacobs,
2007
.
Bas Spitters,
Peter Selinger,
Bart Jacobs,
2012
.
Christof Löding,
Bart Jacobs,
2016,
Lecture Notes in Computer Science.
Alan J. Hu,
Frank Piessens,
Franz Wotawa,
2007,
SEFM.
CMCS'10 Short Contributions : 10th International Workshop on Coalgebraic Methods in Computer Science
Alexandra Silva,
Milad Niqui,
Jan Rutten,
2010
.
Bart Jacobs,
Mahmoud Ashraf Mohamed A. Mohsen,
2016
.
Frank Piessens,
Bart Jacobs,
F. Piessens,
2011,
POPL '11.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2009,
ECOOP.
Dave Clarke,
Bart Jacobs,
Marko van Dooren,
2012,
FMCO.
Frank Piessens,
Wolfram Schulte,
Bart Jacobs,
2006
.
Dragan Bosnacki,
Anton Wijs,
Ruurd Kuiper,
2016,
PPPJ '16.
Dragan Bosnacki,
Ruurd Kuiper,
Bart Jacobs,
2018,
ACM Trans. Program. Lang. Syst..
Gary T. Leavens,
Erik Poll,
Bart Jacobs,
2000
.
Dragan Bosnacki,
Anton Wijs,
Ruurd Kuiper,
2016,
MODELSWARD.
A Generic Architecture for Web Applications to Support Threat Analysis of Infrastructural Components
Wouter Joosen,
Frank Piessens,
Lieven Desmet,
2004,
Communications and Multimedia Security.
Frank Piessens,
Jan Smans,
Wolfram Schulte,
2007,
TV@FLoC.
Bart Jacobs,
2016,
FTfJP@ECOOP.
Ana Sokolova,
Ichiro Hasuo,
Bart Jacobs,
2008
.
Dragan Bosnacki,
Anton Wijs,
Ruurd Kuiper,
2015,
FACS.
Christof Löding,
Bart Jacobs,
2016
.
Frank Piessens,
Jan Smans,
Pieter Philippaerts,
2011,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Frank Piessens,
Mads Dam,
Bart Jacobs,
2014,
Mathematical Structures in Computer Science.
Frank Piessens,
Jan Smans,
Bart Jacobs,
2009
.
Frank Piessens,
Jan Smans,
Pieter Philippaerts,
2011,
NASA Formal Methods.
Milad Niqui,
Jan Rutten,
Alberto Rodrigues da Silva,
2010,
CMCS.
Frank Piessens,
Bart Jacobs,
Willem Penninckx,
2015,
ESOP.
Frank Piessens,
Bart Jacobs,
Raoul Strackx,
2012,
2012 IEEE 25th Computer Security Foundations Symposium.
Frank Piessens,
Bart Jacobs,
2006
.
Frank Piessens,
Pieter Bekaert,
Eric Steegmans,
2002
.
Frank Piessens,
Bart Jacobs,
2009,
ECOOP.
Bart Jacobs,
Lars Grieten,
Pieter M. Vandervoort,
2015
.
Frank Piessens,
Bart Jacobs,
Frédéric Vogels,
2009,
SOFSEM.
Frank Piessens,
Bart Jacobs,
2007,
J. Object Technol..
Bas Spitters,
Peter Selinger,
Bart Jacobs,
2012,
1210.0298.
Wouter Joosen,
Bart Jacobs,
Marko van Dooren,
2014,
Sci. Comput. Program..
Frank Piessens,
Jan Smans,
Bart Jacobs,
2006,
J. Object Technol..
Frank Piessens,
Jan Smans,
Bart Jacobs,
2013,
Aliasing in Object-Oriented Programming.
Frank Piessens,
Bart Jacobs,
Frédéric Vogels,
2012
.
Bart Jacobs,
Mahmoud Mohsen,
B. Jacobs,
2016,
FMICS-AVoCS.
Bart Jacobs,
B. Jacobs,
2018,
MFPS.
Jaap-Henk Hoepman,
Erik Poll,
Hans Meijer,
2007
.
Bart Jacobs,
Gijs Vanspauwen,
2016
.