Daniel Jackson
发表
Derek Rayside,
Vajih Montaghami,
Francesca Leung,
2012,
GPCE '12.
Mana Taghdiri,
Daniel Jackson,
Robert Seater,
2006,
SIGSOFT '06/FSE-14.
Daniel Jackson,
Craig Damon,
D. Jackson,
1996,
ISSTA '96.
Daniel Jackson,
D. Jackson,
1995,
TSEM.
Daniel Jackson,
D. Jackson,
D. Jackson,
2002,
TACAS.
Derek Rayside,
Daniel Jackson,
Robert Seater,
2004,
ISSTA '04.
Sam Malek,
Hamid Bagheri,
Daniel Jackson,
2017,
Formal Aspects of Computing.
Daniel Jackson,
Andrew Rae,
Prasad Ramanan,
2003,
SAFECOMP.
Sarfraz Khurshid,
Darko Marinov,
Daniel Jackson,
2003,
SAT.
Walter Giesbrecht,
Daniel Jackson,
George G. Duggan,
2002
.
Jun Sun,
Jianye Hao,
Daniel Jackson,
2014,
SEGS@CCS.
Manu Sridharan,
Daniel Jackson,
Robert Seater,
2003
.
Daniel Jackson,
D. Jackson,
D. Jackson,
2015,
Onward!.
Daniel Jackson,
Eunsuk Kang,
Eunsuk Kang,
2010,
2010 18th IEEE International Requirements Engineering Conference.
Alan Fekete,
Daniel Jackson,
2001,
TACS.
Daniel Jackson,
John Chapin,
2000,
IEEE Softw..
Daniel Jackson,
Andrew Rae,
Prasad Ramanan,
2005,
Reliab. Eng. Syst. Saf..
Daniel Jackson,
Mandana Vaziri,
D. Jackson,
2000,
TOOLS.
Daniel Jackson,
Mandana Vaziri,
M. Vaziri,
2003,
TACAS.
Daniel Jackson,
1995,
TSEM.
Daniel Jackson,
Santiago Perez De Rosso,
D. Jackson,
2016,
OOPSLA.
Daniel Jackson,
D. Jackson,
D. Jackson,
2001,
FME.
Daniel Jackson,
Vineet Sinha,
Neeraj Sangal,
2005,
OOPSLA '05.
Daniel Jackson,
D. Jackson,
D. Jackson,
2002,
TSEM.
Sridhar Adepu,
Daniel Jackson,
Aditya P. Mathur,
2016,
SEsCPS@ICSE.
Daniel Jackson,
Allison Waingold,
1999,
Proceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002).
Srinivas Devadas,
Daniel Jackson,
S. Devadas,
2001
.
Joseph P. Near,
Daniel Jackson,
Eunsuk Kang,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Somesh Jha,
Daniel Jackson,
Craig Damon,
1996,
POPL '96.
Daniel Jackson,
1991,
[1991 Proceedings] 13th International Conference on Software Engineering.
Daniel Jackson,
Mandana Vaziri,
2016,
SIGSOFT FSE.
Somesh Jha,
Daniel Jackson,
Craig Damon,
1996,
SIGSOFT '96.
Sarfraz Khurshid,
David Coppit,
Kevin J. Sullivan,
2004,
IEEE Transactions on Software Engineering.
Jun Sun,
Jianye Hao,
Daniel Jackson,
2016,
SIGSOFT FSE.
Viktor Kuncak,
Daniel Jackson,
Viktor Kunčak,
2005,
ESEC/FSE-13.
Sarfraz Khurshid,
Daniel Jackson,
S. Khurshid,
2000,
Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.
Darko Marinov,
Daniel Jackson,
Milos Gligoric,
2013,
Onward!.
Felix Sheng-Ho Chang,
Daniel Jackson,
D. Jackson,
2006,
ICSE.
Emina Torlak,
Daniel Jackson,
E. Torlak,
2007,
TACAS.
Daniel Jackson,
Shachar Itzhaky,
Matt McCutchen,
2016,
Onward!.
Felix Sheng-Ho Chang,
Emina Torlak,
Daniel Jackson,
2008,
FM.
Daniel Jackson,
Santiago Perez De Rosso,
D. Jackson,
2013,
Onward!.
Daniel Jackson,
D. Jackson,
2002,
RISSEF.
Daniel Jackson,
D. Jackson,
2009,
CACM.
Michael Jackson,
Daniel Jackson,
D. Jackson,
2006,
RODIN Book.
Daniel Jackson,
Brian Lawrence,
1996,
IEEE Softw..
Daniel Jackson,
Eunsuk Kang,
2009,
Int. J. Softw. Informatics.
James E. Tomayko,
David Garlan,
Daniel Jackson,
1995,
CSEE.
Daniel Jackson,
Ivan Kuraj,
D. Jackson,
2016,
Onward!.
Daniel Jackson,
Robert Seater,
Robert Seater,
2006,
14th IEEE International Requirements Engineering Conference (RE'06).
Viktor Kuncak,
Daniel Jackson,
Ivan Kuraj,
2015,
OOPSLA.
Joseph P. Near,
Daniel Jackson,
D. Jackson,
2012,
SIGSOFT FSE.
Daniel Jackson,
Eunsuk Kang,
Eunsuk Kang,
2010,
PLOP '10.
David Lorge Parnas,
Robert L. Glass,
Cliff B. Jones,
1996,
Computer.
Somesh Jha,
Daniel Jackson,
Craig Damon,
1998,
TOPL.
Joseph P. Near,
Daniel Jackson,
D. Jackson,
2016,
2016 IEEE/ACM 38th International Conference on Software Engineering (ICSE).
Joseph P. Near,
Daniel Jackson,
D. Jackson,
2014,
ASE.
Felix Sheng-Ho Chang,
Daniel Jackson,
Greg Dennis,
2006,
ISSTA '06.
Daniel Jackson,
John V. Guttag,
1992
.
Daniel Jackson,
Ilya Shlyakhter,
Ian Schechter,
2000,
Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.
Daniel Jackson,
Greg Dennis,
Kuat Yessenov,
2008,
VSTTE.
Emina Torlak,
Daniel Jackson,
Jonathan Edwards,
2004,
SIGSOFT '04/FSE-12.
Daniel Jackson,
Mandana Vaziri,
D. Jackson,
2000,
ISSTA '00.
Emina Torlak,
Daniel Jackson,
Jonathan Edwards,
2004,
ISSTA '04.
Derek Rayside,
Daniel Jackson,
Robert Seater,
2005,
eclipse '05.
Daniel Jackson,
Eugene J. Rollins,
D. Jackson,
1994,
SIGSOFT '94.
Daniel Jackson,
D. Jackson,
1998,
SIGSOFT '98/FSE-6.
Daniel Jackson,
Eunsuk Kang,
2010,
ASM.
Sam Malek,
Hamid Bagheri,
Daniel Jackson,
2015,
FM.
Daniel Jackson,
David A. Ladd,
1994,
Proceedings 1994 International Conference on Software Maintenance.
Daniel Jackson,
D. Jackson,
1994,
FME.
Manu Sridharan,
Mana Taghdiri,
Daniel Jackson,
2003,
18th IEEE International Conference on Automated Software Engineering, 2003. Proceedings..
Derek Rayside,
Daniel Jackson,
Aleksandar Milicevic,
2011,
2011 33rd International Conference on Software Engineering (ICSE).
Daniel Jackson,
Aleksandar Milicevic,
Aleksandar Milicevic,
2012,
Sci. Comput. Program..
Daniel Jackson,
Eunsuk Kang,
Eunsuk Kang,
2008,
ABZ.
Daniel Jackson,
Allison Waingold,
Daniel Jackson,
2001,
IEEE Trans. Software Eng..
Joseph P. Near,
Daniel Jackson,
2010,
ASM.
Daniel Jackson,
2000,
SAS.
Srinivas Devadas,
Emina Torlak,
Marten van Dijk,
2005,
ArXiv.
Daniel Jackson,
Rohit Gheyi,
Robert Seater,
2007,
Requirements Engineering.
Daniel Jackson,
2000,
SIGSOFT '00/FSE-8.
Manu Sridharan,
Daniel Jackson,
Ilya Shlyakhter,
2001,
ESEC/FSE-9.
Derek Rayside,
Daniel Jackson,
Greg Dennis,
2009,
OOPSLA Companion.
Daniel Jackson,
D. Jackson,
D. Jackson,
2006
.
Daniel Jackson,
1993,
ISSTA '93.
Sarfraz Khurshid,
Darko Marinov,
Daniel Jackson,
2002,
OOPSLA '02.
Daniel Jackson,
C. J. Fearnley,
2009
.
Derek Rayside,
Joseph P. Near,
Rishabh Singh,
2009,
2009 IEEE 31st International Conference on Software Engineering.
Rance Cleaveland,
Daniel Jackson,
R. Cleaveland,
2004,
Automated Software Engineering.
Mana Taghdiri,
Daniel Jackson,
2003,
FORTE.
Daniel Jackson,
2008,
Haifa Verification Conference.
Daniel Jackson,
Martin C. Rinard,
M. Rinard,
2000,
ICSE '00.
Daniel Jackson,
Craig Damon,
1996,
TACAS.
Daniel Jackson,
2005,
13th IEEE International Conference on Requirements Engineering (RE'05).
Daniel Jackson,
Aleksandar Milicevic,
Ido Efrati,
2014,
ABZ.
Kevin J. Sullivan,
Daniel Jackson,
2000,
SIGSOFT '00/FSE-8.
Michael Jackson,
Daniel Jackson,
M. Jackson,
1996,
Softw. Eng. J..
Daniel Jackson,
Craig Damon,
D. Jackson,
1996,
ISSTA '96.
Daniel Jackson,
Ilya Shlyakhter,
I. Shlyakhter,
2005
.
Daniel Jackson,
D. Jackson,
2003,
ZB.
Daniel Jackson,
Eunsuk Kang,
Eunsuk Kang,
2010,
FoSER '10.
Pamela Zave,
Daniel Jackson,
P. Zave,
1989,
IFIP Congress.
Felix Sheng-Ho Chang,
Derek Rayside,
Daniel Jackson,
2007,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Daniel Jackson,
Eunsuk Kang,
Aleksandar Milicevic,
2016,
SIGSOFT FSE.
Daniel Jackson,
Jeannette M. Wing,
Yu-Chung Ng,
1999,
Formal Aspects of Computing.
Daniel Jackson,
D. Jackson,
2006,
ICGT.
Daniel Jackson,
Geoffrey Litt,
Kapaya Katongo,
2021,
Programming.
Daniel Jackson,
Kevin Sullivan,
.
Daniel Jackson,
1998
.
Martin Rinard,
Daniel Jackson,
M. Rinard,
2022
.
Emina Torlak,
Daniel Jackson,
E. Torlak,
2006
.
Daniel Jackson,
D. Jackson,
2013
.
Daniel Jackson,
D. Jackson,
1999
.
Daniel Jackson,
D. Jackson,
2019,
Commun. ACM.