 | 2009 |
|---|
| 74 |       | Johannes Schöning,
Tom Bartindale,
Patrick Olivier,
Daniel Jackson,
Antonio Krüger,
Jim Kitson:
iBookmark: locative texts and place-based authoring.
CHI Extended Abstracts 2009: 3775-3780 |
| 73 | | Derek Rayside,
Zev Benjamin,
Rishabh Singh,
Joseph P. Near,
Aleksandar Milicevic,
Daniel Jackson:
Equality and hashing for (almost) free: Generating implementations from abstraction functions.
ICSE 2009: 342-352 |
| 72 | | Derek Rayside,
Aleksandar Milicevic,
Kuat Yessenov,
Greg Dennis,
Daniel Jackson:
Agile specifications.
OOPSLA Companion 2009: 999-1006 |
| 71 | | Daniel Jackson:
A direct path to dependable software.
Commun. ACM 52(4): 78-88 (2009) |
| 2008 |
|---|
| 70 | | Eunsuk Kang,
Daniel Jackson:
Formal Modeling and Analysis of a Flash Filesystem in Alloy.
ABZ 2008: 294-308 |
| 69 | | Emina Torlak,
Felix Sheng-Ho Chang,
Daniel Jackson:
Finding Minimal Unsatisfiable Cores of Declarative Specifications.
FM 2008: 326-341 |
| 68 | | Daniel Jackson:
Hazards of Verification.
Haifa Verification Conference 2008: 1 |
| 67 |  | Nick Pears,
Patrick Olivier,
Daniel Jackson:
Display Registration for Device Interaction - a Proof of Principle Prototype.
VISAPP (1) 2008: 446-451 |
| 66 | | Greg Dennis,
Kuat Yessenov,
Daniel Jackson:
Bounded Verification of Voting Software.
VSTTE 2008: 130-145 |
| 2007 |
|---|
| 65 | | Emina Torlak,
Daniel Jackson:
Kodkod: A Relational Model Finder.
TACAS 2007: 632-647 |
| 64 | | Mana Taghdiri,
Daniel Jackson:
Inferring specifications to detect errors in code.
Autom. Softw. Eng. 14(1): 87-121 (2007) |
| 63 | | Derek Rayside,
Felix Sheng-Ho Chang,
Greg Dennis,
Robert Seater,
Daniel Jackson:
Automatic Visualization of Relational Logic Models.
ECEASST 7: (2007) |
| 62 | | Robert Seater,
Daniel Jackson,
Rohit Gheyi:
Requirement progression in problem frames: deriving specifications from requirements.
Requir. Eng. 12(2): 77-102 (2007) |
| 2006 |
|---|
| 61 | | Daniel Jackson:
Idioms of Logical Modelling.
ICGT 2006: 14 |
| 60 | | Felix Sheng-Ho Chang,
Daniel Jackson:
Symbolic model checking of declarative relational models.
ICSE 2006: 312-320 |
| 59 | | Greg Dennis,
Felix Sheng-Ho Chang,
Daniel Jackson:
Modular verification of code with SAT.
ISSTA 2006: 109-120 |
| 58 | | Robert Seater,
Daniel Jackson:
Requirement Progression in Problem Frames Applied to a Proton Therapy System.
RE 2006: 166-175 |
| 57 | | Daniel Jackson,
Michael Jackson:
Separating Concerns in Requirements Analysis: An Example.
RODIN Book 2006: 210-225 |
| 56 | | Mana Taghdiri,
Robert Seater,
Daniel Jackson:
Lightweight extraction of syntactic specifications.
SIGSOFT FSE 2006: 276-286 |
| 55 | | Emina Torlak,
Marten van Dijk,
Blaise Gassend,
Daniel Jackson,
Srinivas Devadas:
Knowledge Flow Analysis for Security Protocols
CoRR abs/cs/0605109: (2006) |
| 2005 |
|---|
| 54 | | Viktor Kuncak,
Daniel Jackson:
Relational analysis of algebraic datatypes.
ESEC/SIGSOFT FSE 2005: 207-216 |
| 53 | | Derek Rayside,
Lucy Mendel,
Robert Seater,
Daniel Jackson:
An analysis and visualization for revealing object sharing.
ETX 2005: 11-15 |
| 52 | | Neeraj Sangal,
Ev Jordan,
Vineet Sinha,
Daniel Jackson:
Using dependency models to manage complex software architecture.
OOPSLA 2005: 167-176 |
| 51 | | Neeraj Sangal,
Ev Jordan,
Vineet Sinha,
Daniel Jackson:
Using dependency models to manage software architecture.
OOPSLA Companion 2005: 164-165 |
| 50 | | Daniel Jackson:
Dependable Software: An Oxymoron&.
RE 2005: 3 |
| 2004 |
|---|
| 49 | | Kevin J. Sullivan,
Jinlin Yang,
David Coppit,
Sarfraz Khurshid,
Daniel Jackson:
Software assurance by bounded exhaustive testing.
ISSTA 2004: 133-142 |
| 48 | | Greg Dennis,
Robert Seater,
Derek Rayside,
Daniel Jackson:
Automating commutativity analysis at the design level.
ISSTA 2004: 165-174 |
| 47 | | Jonathan Edwards,
Daniel Jackson,
Emina Torlak,
Vincent Yeung:
Faster constraint solving with subtypes.
ISSTA 2004: 232-242 |
| 46 | | Jonathan Edwards,
Daniel Jackson,
Emina Torlak:
A type system for object models.
SIGSOFT FSE 2004: 189-199 |
| 2003 |
|---|
| 45 | | Ilya Shlyakhter,
Robert Seater,
Daniel Jackson,
Manu Sridharan,
Mana Taghdiri:
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.
ASE 2003: 94-105 |
| 44 | | Mana Taghdiri,
Daniel Jackson:
A Lightweight Formal Analysis of a Multicast Key Management Scheme.
FORTE 2003: 240-256 |
| 43 | | Andrew Rae,
Daniel Jackson,
Prasad Ramanan,
Jay Flanz,
Didier Leyman:
Critical Feature Analysis of a Radiotherapy Machine.
SAFECOMP 2003: 221-234 |
| 42 | | Sarfraz Khurshid,
Darko Marinov,
Ilya Shlyakhter,
Daniel Jackson:
A Case for Efficient Solution Enumeration.
SAT 2003: 272-286 |
| 41 | | Mandana Vaziri,
Daniel Jackson:
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver.
TACAS 2003: 505-520 |
| 40 | | Daniel Jackson:
Alloy: A Logical Modelling Language.
ZB 2003: 1 |
| 2002 |
|---|
| 39 | | Sarfraz Khurshid,
Darko Marinov,
Daniel Jackson:
An analyzable annotation language.
OOPSLA 2002: 231-245 |
| 38 | | Daniel Jackson:
Module Dependences in Software Design.
RISSEF 2002: 198-203 |
| 37 | | Daniel Jackson:
Alloy: A New Technology for Software Modelling.
TACAS 2002: 20 |
| 36 | | Daniel Jackson:
Alloy: a lightweight object modelling notation.
ACM Trans. Softw. Eng. Methodol. 11(2): 256-290 (2002) |
| 2001 |
|---|
| 35 | | Daniel Jackson,
Ilya Shlyakhter,
Manu Sridharan:
A micromodularity mechanism.
ESEC / SIGSOFT FSE 2001: 62-73 |
| 34 | | Daniel Jackson:
Lightweight Formal Methods.
FME 2001: 1 |
| 33 | | Daniel Jackson,
Alan Fekete:
Lightweight Analysis of Object Interactions.
TACS 2001: 492-513 |
| 32 | | Daniel Jackson,
Allison Waingold:
Lightweight Extraction of Object Models from Bytecode.
IEEE Trans. Software Eng. 27(2): 156-169 (2001) |
| 2000 |
|---|
| 31 | | Sarfraz Khurshid,
Daniel Jackson:
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer.
ASE 2000: 13-22 |
| 30 | | Daniel Jackson,
Ian Schechter,
Ilya Shlyakhter:
Alcoa: the alloy constraint analyzer.
ICSE 2000: 730-733 |
| 29 | | Daniel Jackson,
Martin C. Rinard:
Software analysis: a roadmap: a roadmap.
ICSE - Future of SE Track 2000: 133-145 |
| 28 | | Daniel Jackson,
Mandana Vaziri:
Finding bugs with a constraint solver.
ISSTA 2000: 14-25 |
| 27 | | Daniel Jackson:
Enforcing Design Constraints with Object Logic.
SAS 2000: 1-21 |
| 26 | | Daniel Jackson:
Automating first-order relational logic.
SIGSOFT FSE 2000: 130-139 |
| 25 | | Daniel Jackson,
Kevin J. Sullivan:
COM revisited: tool-assisted modelling of an architectural framework.
SIGSOFT FSE 2000: 149-158 |
| 24 | | Mandana Vaziri,
Daniel Jackson:
Some Shortcomings of OCL, the Object Constraint Language of UML.
TOOLS (34) 2000: 555-562 |
| 23 | | Daniel Jackson,
John Chapin:
Redesigning Air Traffic Control: An Exercise in Software Design.
IEEE Software 17(3): (2000) |
| 1999 |
|---|
| 22 | | Daniel Jackson,
Allison Waingold:
Lightweight Extraction of Object Models from Bytecode.
ICSE 1999: 194-202 |
| 21 | | Rance Cleaveland,
Daniel Jackson:
Guest Editorial.
Autom. Softw. Eng. 6(1): 5-6 (1999) |
| 20 | | Daniel Jackson,
Yu-Chung Ng,
Jeannette M. Wing:
A Nitpick Analysis of Mobile IPv6.
Formal Asp. Comput. 11(6): 591-615 (1999) |
| 1998 |
|---|
| 19 | | Daniel Jackson:
An Intermedicate Design Language and Its Analysis.
SIGSOFT FSE 1998: 121-130 |
| 18 | | Daniel Jackson,
Somesh Jha,
Craig Damon:
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications.
ACM Trans. Program. Lang. Syst. 20(2): 302-343 (1998) |
| 1997 |
|---|
| 17 | | Robert O'Callahan,
Daniel Jackson:
Lackwit: A Program Understanding Tool Based on Type Inference.
ICSE 1997: 338-348 |
| 1996 |
|---|
| 16 | | Daniel Jackson,
Craig Damon:
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector.
ISSTA 1996: 239-249 |
| 15 | | Daniel Jackson,
Somesh Jha,
Craig Damon:
Faster Checking of Software Specifications by Eliminating Isomorphs.
POPL 1996: 79-90 |
| 14 | | Craig Damon,
Daniel Jackson,
Somesh Jha:
Checking Relational Specifications With Binary Decision Diagrams.
SIGSOFT FSE 1996: 70-80 |
| 13 | | Craig Damon,
Daniel Jackson:
Efficient Search as a Means of Executing Specifications.
TACAS 1996: 70-86 |
| 12 | | 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.
IEEE Computer 29(4): 16-30 (1996) |
| 11 | | Brian Lawrence,
Daniel Jackson:
Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint).
IEEE Software 13(2): 20, 22 (1996) |
| 10 | | Daniel Jackson,
Craig Damon:
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector.
IEEE Trans. Software Eng. 22(7): 484-495 (1996) |
| 1995 |
|---|
| 9 | | David Garlan,
Alan W. Brown,
Daniel Jackson,
James E. Tomayko,
Jeannette M. Wing:
The CMU Master of Software Engineering Core Curriculum.
CSEE 1995: 65-86 |
| 8 | | Daniel Jackson:
Aspect: Detecting Bugs with Abstract Dependences.
ACM Trans. Softw. Eng. Methodol. 4(2): 109-145 (1995) |
| 7 | | Daniel Jackson:
Structuring Z Specifications with Views
ACM Trans. Softw. Eng. Methodol. 4(4): 365-389 (1995) |
| 1994 |
|---|
| 6 | | Daniel Jackson:
Abstract Model Checking of Infinite Specifications.
FME 1994: 519-531 |
| 5 | | Daniel Jackson,
David A. Ladd:
Semantic Diff: A Tool for Summarizing the Effects of Modifications.
ICSM 1994: 243-252 |
| 4 | | Daniel Jackson,
Eugene J. Rollins:
A New Model of Program Dependences for Reverse Engineering.
SIGSOFT FSE 1994: 2-10 |
| 1993 |
|---|
| 3 | | Daniel Jackson:
Abstract Analysis with Aspect.
ISSTA 1993: 19-27 |
| 1991 |
|---|
| 2 | | Daniel Jackson:
Aspect: An Economical Bug-Detector.
ICSE 1991: 13-22 |
| 1989 |
|---|
| 1 | | Pamela Zave,
Daniel Jackson:
Practical Specification Techniques for Control-Oriented Systems.
IFIP Congress 1989: 83-88 |
