David N. Jansen
发表
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2003,
UML.
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2002
.
Holger Hermanns,
David N. Jansen,
2004
.
Joost-Pieter Katoen,
Jasper Berendsen,
David N. Jansen,
2006,
Third International Conference on the Quantitative Evaluation of Systems - (QEST'06).
David N. Jansen,
Lijun Zhang,
Lijun Zhang,
2016,
Inf. Comput..
Flemming Nielson,
Lijun Zhang,
Holger Hermanns,
2011,
1104.4983.
Holger Hermanns,
David N. Jansen,
2004,
First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings..
Jun Pang,
David N. Jansen,
Yongjian Li,
2020,
2020 IEEE 38th International Conference on Computer Design (ICCD).
Lijun Zhang,
Chen Fu,
Yuxin Deng,
2017,
SETTA.
Roel Wieringa,
David N. Jansen,
R. Wieringa,
2000,
J. Log. Comput..
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2004,
ISoLA.
Jasper Berendsen,
Taolue Chen,
David N. Jansen,
2009,
TAMC.
Lijun Zhang,
Holger Hermanns,
David N. Jansen,
2018,
Acta Informatica.
David N. Jansen,
Jeroen Keiren,
2016,
ArXiv.
Jan Friso Groote,
David N. Jansen,
Pengfei Yang,
2020,
CONCUR.
Marco Gribaudo,
Anne Remke,
David N. Jansen,
2020,
Lecture Notes in Computer Science.
Lijun Zhang,
David N. Jansen,
Lei Song,
2013,
QEST.
Roel Wieringa,
David N. Jansen,
2000
.
Lijun Zhang,
Holger Hermanns,
David N. Jansen,
2005,
FORTE.
Lijun Zhang,
Zongyuan Yang,
Ming Xu,
2016,
Theor. Comput. Sci..
Frits W. Vaandrager,
David N. Jansen,
Els Koopmans,
2009
.
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2002,
FTRTFT.
Jan Friso Groote,
Anton Wijs,
David N. Jansen,
2017,
ACM Trans. Comput. Log..
Jasper Berendsen,
Frits W. Vaandrager,
Julien Schmaltz,
2010,
J. Appl. Log..
Jasper Berendsen,
Frits W. Vaandrager,
David N. Jansen,
2010,
2010 Seventh International Conference on the Quantitative Evaluation of Systems.
Rik Eshuis,
Roel Wieringa,
David N. Jansen,
2002,
Requirements Engineering.
Jan Friso Groote,
David N. Jansen,
Anton Wijs,
2020,
TACAS.
Lijun Zhang,
Friedrich Eisenbrand,
Holger Hermanns,
2007,
TACAS.
Lijun Zhang,
David N. Jansen,
Pengfei Yang,
2017,
FORMATS.
Joost-Pieter Katoen,
Mariëlle Stoelinga,
David N. Jansen,
2007,
Haifa Verification Conference.
Flemming Nielson,
Lijun Zhang,
David N. Jansen,
2012,
NASA Formal Methods.
Flemming Nielson,
Lijun Zhang,
Holger Hermanns,
2011,
ICALP.
Lijun Zhang,
Yongjian Li,
Jun Pang,
2018,
TOCL.
Roel Wieringa,
David N. Jansen,
2001,
CAiSE.
Lijun Zhang,
Friedrich Eisenbrand,
Holger Hermanns,
2007,
Log. Methods Comput. Sci..
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
David N. Jansen,
Lijun Zhang,
Wanwei Liu,
2019,
ICFEM.
David N. Jansen,
2011,
ArXiv.
Holger Hermanns,
David N. Jansen,
Angelika Mader,
2006,
International Journal on Software Tools for Technology Transfer.
Lijun Zhang,
Gerard J. M. Smit,
Lucia Cloth,
2007,
Quantitative Aspects of Embedded Systems.
Holger Hermanns,
David N. Jansen,
2005,
PERV.
Joost-Pieter Katoen,
David N. Jansen,
Ivan S. Zapreev,
2007,
TACAS.
Lijun Zhang,
Yong Li,
Mariëlle Stoelinga,
2015,
SETTA.
Daniel Gebler,
David N. Jansen,
Christian Dehnert,
2012,
ROCKS.
David N. Jansen,
D. Jansen,
2013,
FORMATS.
Frits W. Vaandrager,
David N. Jansen,
Joshua Moerman,
2015,
ICFEM.
David N. Jansen,
Rick Smetsers,
Joshua Moerman,
2016,
LATA.
Holger Hermanns,
David N. Jansen,
Yaroslav S. Usenko,
2005,
WOSP '05.
Joost-Pieter Katoen,
Holger Hermanns,
David N. Jansen,
2009,
2009 Sixth International Conference on the Quantitative Evaluation of Systems.
Andreas Zeller,
David N. Jansen,
Konstantin Kuznetsov,
2021,
ESEC/SIGSOFT FSE.
Bohua Zhan,
David N. Jansen,
Xuechao Sun,
2021,
FM.
Andreas Zeller,
David N. Jansen,
Konstantin Kuznetsov,
2021,
ArXiv.
David N. Jansen,
Wanwei Liu,
Andrea Turrini,
2022,
Tsinghua Science and Technology.
Jan Friso Groote,
Anton Wijs,
David N. Jansen,
2019
.