|
|
Publications
Eunsuk Kang and Daniel Jackson 1st International Conference on ASM, B, and Z (ABZ 2008) Sep 15 2008 Waël Hassan & Luigi Logrippo First International Workshop on Requirements Engineering and Law Sep 9 2008 Emina Torlak, Felix Sheng-Ho Chang and Daniel Jackson 15th International Symposium on Formal Methods (FM'08), Turku, Finland. May 26 2008 Mana Taghdiri MIT PhD Thesis Feb 1 2008 Derek Rayside, Felix Chang, Greg Dennis, Robert Seater, and Daniel Jackson First Workshop on the Layout of (Software) Engineering Diagrams (LED'07) Sep 27 2007 Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, and Don Batory The 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering Sep 3 2007 Lucy Mendel MIT MEng Thesis Sep 1 2007 Fadi Zaraket, Adnan Aziz, and Sarfraz Khurshid 29th International Conference on Software Engineering (ICSE 2007) May 20 2007 Daniel Jackson, Martyn Thomas, and Lynette I. Millett (Editors) National Academies Report May 1 2007 Amerson Lin, Mike Bond, and Jolyon Clulow Security Protocols Workshop (SPW'07) Apr 1 2007 Emina Torlak and Daniel Jackson Tools and Algorithms for Construction and Analysis of Systems (TACAS), Braga, Portugal Mar 24 2007 Sarfraz Khurshid, Muhammad Zubair Malik, and Engin Uzuncaova Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation Nov 15 2006 Daniel Jackson and Pamela Zave, eds First Alloy Workshop Nov 6 2006 Mana Taghdiri, Robert Seater and Daniel Jackson ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE'06), Portland, Oregon, USA Nov 5 2006 Emina Torlak and Greg Dennis First Alloy Workshop, co-located with the 14th ACM/SIGSOFT Symposium on Foundations of Software Engineering (FSE'06), Portland, Oregon Nov 5 2006 Ian Warren, Jing Sun, Sanjev Krishnamohan and Thiranjith Weerasinghe 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), Tokyo, Japan, September 18-22, 2006 Sep 18 2006 Greg Dennis, Felix Sheng-Ho Chang, and Daniel Jackson International Symposium on Software Testing and Analysis (ISSTA), Portland, ME, July 2006 Jul 17 2006 Daniel Jackson Scientific American Jun 1 2006 Felix Sheng-Ho Chang and Daniel Jackson 28th International Conference on Software Engineering (ICSE), Shanghai, China May 20 2006 Vincent S. Yeung MIT MEng Thesis May 1 2006 Xiaoming Li, Daryl Shannon, Jabari Walker, Sarfraz Khurshid, and Darko Marinov 6th Workshop on Language Descriptions, Tools and Applications (LDTA'06). April 2006. Vienna, Austria Apr 1 2006 Petr C. Smolik Doctoral Thesis, Brno University of Technology. 2006 Feb 1 2006 Sanjai Narain USENIX Large Installation System Administration (LISA) Conference, San Diego, December 4-9, 2005 Dec 4 2005 Neeraj Sangal, Ev Jordan, Vineet Sinha and Daniel Jackson ACM SIGPLAN Conference on Object-Oriented Programming Systems (OOPSLA 2005) Oct 16 2005 Viktor Kuncak and Daniel Jackson Joint 10th European Software Engineering Conference and 13th ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE 2005), Lisbon, Portugal, 2005 Sep 5 2005 Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz and Didier Leyman Reliability Engineering & System Safety, Pages 48-56, Volume 89, Issue 1, Elsevier Science, July 2005 Jul 1 2005 Wael Hassan and Luigi Logrippo Feature Interactions in Telecommunications and Software Systems VIII. IOS Press, June 2005. ISBN 1-58603-524-X Jun 1 2005 Amerson H. Lin MIT MEng Thesis May 1 2005 Behzad Bordbar and Kyriakos Anastasakis Proceedings of IADIS Applied Computing 2005, Algarve, Portugal, 2005 Feb 22 2005 Ilya Shlyakhter MIT PhD Thesis Feb 1 2005 Jonathan Edwards, Daniel Jackson and Emina Torlak. Foundations of Software Engineering (FSE), Newport Beach, CA Nov 1 2004 Robert Seater MIT Masters Thesis Nov 1 2004 Rohit Gheyi, Tiago Massoni, and Paulo Borba Specification and Verification of Component-Based Systems (SAVCBS 2004), a workshop affilitated with FSE Oct 31 2004 Sarfraz Khurshid and Darko Marinov Automated Software Engineering Journal, Volume 11, Number 4, October 2004. (Journal version of ASE 2001 paper) Oct 1 2004 Mana Taghdiri 19th International Conference on Automated Software Engineering (ASE), Linz, Austria (Best paper award) Sep 20 2004 Lee Momtahan Proceedings of AVOCS04, Elsevier ENTCS. August 2004. Aug 1 2004 Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung International Symposium on Software Testing and Analysis (ISSTA), Boston, MA Jul 1 2004 Greg Dennis, Robert Seater, Derek Rayside and Daniel Jackson International Symposium on Software Testing and Analysis (ISSTA), Boston, MA Jul 1 2004 Emina Torlak MIT Masters Thesis May 31 2004 Mandana Vaziri MIT PhD Thesis Feb 1 2004 Rohit Gheyi Master's thesis, Informatics Center, Federal Universisty of Pernambuco, Recife, Brazil. February 2004 Feb 1 2004 Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan and Mana Taghdiri 18th IEEE International Conference on Automated Software Engineering (ASE 2003) (Best Paper Award) Oct 6 2003 Mana Taghdiri and Daniel Jackson Proceedings of the 23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003) Sep 29 2003 Andrew Rae, Prasad Ramanan, Daniel Jackson and Jay Flanz International Conference of Computer Safety, Reliability and Security (SAFECOMP), Edinburgh, September 2003. (Jounral Version) Sep 23 2003 Jin Song Dong, Jing Sun and Hai Wang 12th International Symposium on Formal Methods Europe (FM'03) Sep 1 2003 Andreas Schaad PhD Thesis, Department of Computer Science, University of York, 2003 Jul 1 2003 Konstantine Arkoudas, Sarfraz Khurshid, Darko Marinov and Martin Rinard 7th International Seminar on Relational Methods in Computer Science (RelMiCS 7) May 17 2003 Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter and Daniel Jackson 6th International Conference on Theory and Applications of Satisfiability Testing (SAT 2003) May 5 2003 Ilya Shlyakhter, Manu Sridharan, Robert Seater and Daniel Jackson 6th International Conference on Theory and Applications of Satisfiability Testing (SAT 2003) May 5 2003 Sarfraz Khurshid, Corina Pasareanu and Willem Visser 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2003) Apr 7 2003 Mandana Vaziri and Daniel Jackson 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2003) Apr 7 2003 Christie Bolton Oxford University Computing Laboratory, April 2003 Apr 1 2003 Sarfraz Kurshid MIT PhD Thesis Feb 1 2003 Roshan Gupta MIT Masters Thesis Jan 1 2003 Chris Wallace Process Modelling Workshop, University of the West of England, Bristol. January 2003 Jan 1 2003 Greg Dennis MIT Masters Thesis Jan 1 2003 Sarfraz Khurshid and Darko Marinov Invited submission to Automated Software Engineering Journal, December 2002 (Journal version of the ASE 2001 paper) Dec 1 2002 Mana Taghdiri MIT Masters Thesis Dec 1 2002 Andreas Schaad and Jonathan Moffett 18th Annual Computer Security Applications Conference, December 2002 Dec 1 2002 Sarfraz Khurshid, Darko Marinov and Daniel Jackson 17th ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'02) Nov 4 2002 Daniel Jackson Post-workshop Proceedings of the 2002 Monterey Workshop: Radical Innovations of Software and Systems Engineering in the Future. Venice, Italy Oct 7 2002 Tina Nolte MIT Masters thesis Aug 1 2002 Chandrasekhar Boyapati, Sarfraz Khurshid and Darko Marinov International Symposium on Software Testing and Analysis (ISSTA'02) (ACM SIGSOFT Distinguished Paper Award) Jul 22 2002 Darko Marinov and Sarfraz Khurshid 11th International Symposium of Formal Methods Europe (FME), Copenhagen, Denmark Jul 22 2002 Andreas Schaad and Jonathan Moffett 7th ACM Symposium on Access Control Models and Technologies (SACMAT 2002) Jun 1 2002 Andreas Schaad and Jonathan Moffett 3rd International Workshop on Policies for Distributed Systems and Networks (POLICY 2002) Jun 1 2002 Andrey Naumenko PhD Thesis, number 2581, Swiss Federal Institute of Technology - Lausanne (EPFL), June 2002 Jun 1 2002 Patrice Godefroid and Sarfraz Khurshid 8th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2002) Apr 8 2002 Daniel Jackson ACM Transactions on Software Engineering and Methodology (TOSEM'02), volume 11, issue 2, pages 256-290 Apr 1 2002 Nicodemos Damianou Ph.D. Thesis, University of London, February 2002 Feb 1 2002 Sarfraz Khurshid Tech Report, MIT Lab for Computer Science, December 2001 Dec 1 2001 Sarfraz Khurshid and Darko Marinov 16th International Conference on Automated Software Engineering (ASE), San Diego, USA Nov 26 2001 Daniel Jackson and Alan Fekete 4th International Symposium on Theoretical Aspects of Computer Software, Sendai, Japan Oct 1 2001 Daniel Jackson, Ilya Shlyakhter and Manu Sridharan ACM SIGSOFT Conference on the Foundations of Software Engineering / European Software Engineering Conference (FSE / ESEC '01) Sep 10 2001 Andrey Naumenko and Alain Wegmann EPFL-DSC Technical Report number DSC/2001/041, August 2001 Aug 1 2001 Sarfraz Khurshid and Darko Marinov CAV Workshop on Software Model Checking. Electronic Notes in Theoretical Computer Science (ENTCS 55(3)) Jul 1 2001 Andrey Naumenko and Alain Wegmann EPFL-DSC Technical Report number DSC/2001/040, July 2001 Jul 1 2001 Andrey Naumenko, Alain Wegmann, Guy Genilloud, William Frank Proceedings of ICEIS 2001, Workshop On Open Distributed Processing - WOODPECKER`2001, Setubal, Portugal, July 2001 Jul 1 2001 Allison Waingold MIT Masters Thesis May 1 2001 Sarfraz Khurshid 7th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS 2001) Apr 2 2001 Daniel Jackson and Allison Waingold IEEE Transactions on Software Engineering Feb 1 2001 Daniel Jackson ACM SIGSOFT Foundations of Software Engineering (FSE 2000) Nov 1 2000 Sarfraz Khurshid and Daniel Jackson 15th International Conference on Automated Software Engineering (ASE), Grenoble, France Sep 11 2000 Daniel Jackson and Mandana Vaziri Proceedings of the International Symposium on Software Testing and Analysis (ISSTA'00) Aug 21 2000 Daniel Jackson Static Anaysis Symposium 2000, Santa Barbara, CA, June/July 2000. Springer Verlag, LNCS 1824 Jun 29 2000 Daniel Jackson and Martin Rinard A chapter in 'The Future of Software Engineering', editor Anthony Finkelstein, ACM Press, June 2000 Jun 1 2000 Mandana Vaziri and Daniel Jackson Response to Object Management Group's Request for Information on UML 2.0 Dec 1 1999 Daniel Jackson, Yuchung Ng, and Jeannette M. Wing Formal Aspects of Computing, Issue 11, Number 6, 1999, pp. 591--615 Dec 1 1999 Daniel Jackson Unpublished Manuscript Aug 1 1999 Daniel Jackson, Somesh Jha and Craig A. Damon ACM Transactions on Programming Languages and Systems, Vol. 20, No. 2, March 1998, pp. 302-343 Mar 1 1998 Daniel Jackson Technical Report MIT-LCS-735 Dec 1 1997
|
