The SCEAS System
Navigation Menu

Search the dblp DataBase


Daniel Jackson: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. David Garlan, Alan W. Brown, Daniel Jackson, James E. Tomayko, Jeannette M. Wing
    The CMU Master of Software Engineering Core Curriculum. [Citation Graph (0, 0)][DBLP]
    CSEE, 1995, pp:65-86 [Conf]
  2. Daniel Jackson
    Lightweight Formal Methods. [Citation Graph (0, 0)][DBLP]
    FME, 2001, pp:1- [Conf]
  3. Daniel Jackson
    Abstract Model Checking of Infinite Specifications. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:519-531 [Conf]
  4. Mana Taghdiri, Daniel Jackson
    A Lightweight Formal Analysis of a Multicast Key Management Scheme. [Citation Graph (0, 0)][DBLP]
    FORTE, 2003, pp:240-256 [Conf]
  5. Daniel Jackson
    Idioms of Logical Modelling. [Citation Graph (0, 0)][DBLP]
    ICGT, 2006, pp:14- [Conf]
  6. Felix Sheng-Ho Chang, Daniel Jackson
    Symbolic model checking of declarative relational models. [Citation Graph (0, 0)][DBLP]
    ICSE, 2006, pp:312-320 [Conf]
  7. Daniel Jackson
    Aspect: An Economical Bug-Detector. [Citation Graph (0, 0)][DBLP]
    ICSE, 1991, pp:13-22 [Conf]
  8. Daniel Jackson, Martin C. Rinard
    Software analysis: a roadmap: a roadmap. [Citation Graph (0, 0)][DBLP]
    ICSE - Future of SE Track, 2000, pp:133-145 [Conf]
  9. Daniel Jackson, Ian Schechter, Ilya Shlyakhter
    Alcoa: the alloy constraint analyzer. [Citation Graph (0, 0)][DBLP]
    ICSE, 2000, pp:730-733 [Conf]
  10. Daniel Jackson, Allison Waingold
    Lightweight Extraction of Object Models from Bytecode. [Citation Graph (0, 0)][DBLP]
    ICSE, 1999, pp:194-202 [Conf]
  11. Robert O'Callahan, Daniel Jackson
    Lackwit: A Program Understanding Tool Based on Type Inference. [Citation Graph (0, 0)][DBLP]
    ICSE, 1997, pp:338-348 [Conf]
  12. Daniel Jackson, David A. Ladd
    Semantic Diff: A Tool for Summarizing the Effects of Modifications. [Citation Graph (0, 0)][DBLP]
    ICSM, 1994, pp:243-252 [Conf]
  13. Pamela Zave, Daniel Jackson
    Practical Specification Techniques for Control-Oriented Systems. [Citation Graph (0, 0)][DBLP]
    IFIP Congress, 1989, pp:83-88 [Conf]
  14. Daniel Jackson
    Abstract Analysis with Aspect. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1993, pp:19-27 [Conf]
  15. Daniel Jackson, Craig Damon
    Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:239-249 [Conf]
  16. Daniel Jackson, Mandana Vaziri
    Finding bugs with a constraint solver. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2000, pp:14-25 [Conf]
  17. Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson
    Modular verification of code with SAT. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2006, pp:109-120 [Conf]
  18. Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson
    Automating commutativity analysis at the design level. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:165-174 [Conf]
  19. Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung
    Faster constraint solving with subtypes. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:232-242 [Conf]
  20. Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson
    Software assurance by bounded exhaustive testing. [Citation Graph (0, 0)][DBLP]
    ISSTA, 2004, pp:133-142 [Conf]
  21. Sarfraz Khurshid, Daniel Jackson
    Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. [Citation Graph (0, 0)][DBLP]
    ASE, 2000, pp:13-22 [Conf]
  22. Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
    Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. [Citation Graph (0, 0)][DBLP]
    ASE, 2003, pp:94-105 [Conf]
  23. Sarfraz Khurshid, Darko Marinov, Daniel Jackson
    An analyzable annotation language. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2002, pp:231-245 [Conf]
  24. Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson
    Using dependency models to manage complex software architecture. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:167-176 [Conf]
  25. Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson
    Using dependency models to manage software architecture. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2005, pp:164-165 [Conf]
  26. Daniel Jackson, Somesh Jha, Craig Damon
    Faster Checking of Software Specifications by Eliminating Isomorphs. [Citation Graph (0, 0)][DBLP]
    POPL, 1996, pp:79-90 [Conf]
  27. Daniel Jackson
    Dependable Software: An Oxymoron&. [Citation Graph (0, 0)][DBLP]
    RE, 2005, pp:3- [Conf]
  28. Robert Seater, Daniel Jackson
    Requirement Progression in Problem Frames Applied to a Proton Therapy System. [Citation Graph (0, 0)][DBLP]
    RE, 2006, pp:166-175 [Conf]
  29. Daniel Jackson
    Module Dependences in Software Design. [Citation Graph (0, 0)][DBLP]
    RISSEF, 2002, pp:198-203 [Conf]
  30. Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman
    Critical Feature Analysis of a Radiotherapy Machine. [Citation Graph (0, 0)][DBLP]
    SAFECOMP, 2003, pp:221-234 [Conf]
  31. Daniel Jackson
    Enforcing Design Constraints with Object Logic. [Citation Graph (0, 0)][DBLP]
    SAS, 2000, pp:1-21 [Conf]
  32. Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
    A Case for Efficient Solution Enumeration. [Citation Graph (0, 0)][DBLP]
    SAT, 2003, pp:272-286 [Conf]
  33. Craig Damon, Daniel Jackson, Somesh Jha
    Checking Relational Specifications With Binary Decision Diagrams. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1996, pp:70-80 [Conf]
  34. Daniel Jackson
    Automating first-order relational logic. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2000, pp:130-139 [Conf]
  35. Daniel Jackson
    An Intermedicate Design Language and Its Analysis. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1998, pp:121-130 [Conf]
  36. Daniel Jackson, Eugene J. Rollins
    A New Model of Program Dependences for Reverse Engineering. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 1994, pp:2-10 [Conf]
  37. Daniel Jackson, Kevin J. Sullivan
    COM revisited: tool-assisted modelling of an architectural framework. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2000, pp:149-158 [Conf]
  38. Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
    A micromodularity mechanism. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:62-73 [Conf]
  39. Jonathan Edwards, Daniel Jackson, Emina Torlak
    A type system for object models. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2004, pp:189-199 [Conf]
  40. Viktor Kuncak, Daniel Jackson
    Relational analysis of algebraic datatypes. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2005, pp:207-216 [Conf]
  41. Mana Taghdiri, Robert Seater, Daniel Jackson
    Lightweight extraction of syntactic specifications. [Citation Graph (0, 0)][DBLP]
    SIGSOFT FSE, 2006, pp:276-286 [Conf]
  42. Craig Damon, Daniel Jackson
    Efficient Search as a Means of Executing Specifications. [Citation Graph (0, 0)][DBLP]
    TACAS, 1996, pp:70-86 [Conf]
  43. Daniel Jackson
    Alloy: A New Technology for Software Modelling. [Citation Graph (0, 0)][DBLP]
    TACAS, 2002, pp:20- [Conf]
  44. Mandana Vaziri, Daniel Jackson
    Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. [Citation Graph (0, 0)][DBLP]
    TACAS, 2003, pp:505-520 [Conf]
  45. Daniel Jackson, Alan Fekete
    Lightweight Analysis of Object Interactions. [Citation Graph (0, 0)][DBLP]
    TACS, 2001, pp:492-513 [Conf]
  46. Daniel Jackson
    Alloy: A Logical Modelling Language. [Citation Graph (0, 0)][DBLP]
    ZB, 2003, pp:1- [Conf]
  47. Daniel Jackson, Michael Jackson
    Separating Concerns in Requirements Analysis: An Example. [Citation Graph (0, 0)][DBLP]
    RODIN Book, 2006, pp:210-225 [Conf]
  48. Mandana Vaziri, Daniel Jackson
    Some Shortcomings of OCL, the Object Constraint Language of UML. [Citation Graph (0, 0)][DBLP]
    TOOLS (34), 2000, pp:555-562 [Conf]
  49. Rance Cleaveland, Daniel Jackson
    Guest Editorial. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 1999, v:6, n:1, pp:5-6 [Journal]
  50. Jonathan P. Bowen, Ricky W. Butler, David L. Dill, Robert L. Glass, David Gries, Anthony Hall, Michael G. Hinchey, C. Michael Holloway, Daniel Jackson, Cliff B. Jones, Michael J. Lutz, David Lorge Parnas, John M. Rushby, Jeannette M. Wing, Pamela Zave
    An Invitation to Formal Methods. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1996, v:29, n:4, pp:16-30 [Journal]
  51. Daniel Jackson, Yu-Chung Ng, Jeannette M. Wing
    A Nitpick Analysis of Mobile IPv6. [Citation Graph (0, 0)][DBLP]
    Formal Asp. Comput., 1999, v:11, n:6, pp:591-615 [Journal]
  52. Daniel Jackson, John Chapin
    Redesigning Air Traffic Control: An Exercise in Software Design. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 2000, v:17, n:3, pp:- [Journal]
  53. Brian Lawrence, Daniel Jackson
    Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint). [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1996, v:13, n:2, pp:20- [Journal]
  54. Daniel Jackson, Somesh Jha, Craig Damon
    Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1998, v:20, n:2, pp:302-343 [Journal]
  55. Daniel Jackson
    Alloy: a lightweight object modelling notation. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2002, v:11, n:2, pp:256-290 [Journal]
  56. Daniel Jackson
    Aspect: Detecting Bugs with Abstract Dependences. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1995, v:4, n:2, pp:109-145 [Journal]
  57. Daniel Jackson
    Structuring Z Specifications with Views [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1995, v:4, n:4, pp:365-389 [Journal]
  58. Daniel Jackson, Craig Damon
    Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1996, v:22, n:7, pp:484-495 [Journal]
  59. Daniel Jackson, Allison Waingold
    Lightweight Extraction of Object Models from Bytecode. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2001, v:27, n:2, pp:156-169 [Journal]
  60. Emina Torlak, Daniel Jackson
    Kodkod: A Relational Model Finder. [Citation Graph (0, 0)][DBLP]
    TACAS, 2007, pp:632-647 [Conf]
  61. Mana Taghdiri, Daniel Jackson
    Inferring specifications to detect errors in code. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2007, v:14, n:1, pp:87-121 [Journal]
  62. Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas
    Knowledge Flow Analysis for Security Protocols [Citation Graph (0, 0)][DBLP]
    CoRR, 2006, v:0, n:, pp:- [Journal]

  63. Formal Modeling and Analysis of a Flash Filesystem in Alloy. [Citation Graph (, )][DBLP]

  64. A Structure for Dependability Arguments. [Citation Graph (, )][DBLP]

  65. An Imperative Extension to Alloy. [Citation Graph (, )][DBLP]

  66. iBookmark: locative texts and place-based authoring. [Citation Graph (, )][DBLP]

  67. Finding Minimal Unsatisfiable Cores of Declarative Specifications. [Citation Graph (, )][DBLP]

  68. Hazards of Verification. [Citation Graph (, )][DBLP]

  69. Equality and hashing for (almost) free: Generating implementations from abstraction functions. [Citation Graph (, )][DBLP]

  70. Agile specifications. [Citation Graph (, )][DBLP]

  71. Display Registration for Device Interaction - a Proof of Principle Prototype. [Citation Graph (, )][DBLP]

  72. An analysis and visualization for revealing object sharing. [Citation Graph (, )][DBLP]

  73. Design and prototype of a device to engage cognitively disabled older adults in visual artwork. [Citation Graph (, )][DBLP]

  74. Bounded Verification of Voting Software. [Citation Graph (, )][DBLP]

  75. A direct path to dependable software. [Citation Graph (, )][DBLP]

Search in 0.010secs, Finished in 0.013secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002