dblp.uni-trier.dewww.uni-trier.de

Daniel Jackson

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
71EEJohannes 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
2008
70EEEunsuk Kang, Daniel Jackson: Formal Modeling and Analysis of a Flash Filesystem in Alloy. ABZ 2008: 294-308
69EEEmina Torlak, Felix Sheng-Ho Chang, Daniel Jackson: Finding Minimal Unsatisfiable Cores of Declarative Specifications. FM 2008: 326-341
68EEDaniel 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
66EEGreg Dennis, Kuat Yessenov, Daniel Jackson: Bounded Verification of Voting Software. VSTTE 2008: 130-145
2007
65EEEmina Torlak, Daniel Jackson: Kodkod: A Relational Model Finder. TACAS 2007: 632-647
64EEMana Taghdiri, Daniel Jackson: Inferring specifications to detect errors in code. Autom. Softw. Eng. 14(1): 87-121 (2007)
63EEDerek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson: Automatic Visualization of Relational Logic Models. ECEASST 7: (2007)
62EERobert Seater, Daniel Jackson, Rohit Gheyi: Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. 12(2): 77-102 (2007)
2006
61EEDaniel Jackson: Idioms of Logical Modelling. ICGT 2006: 14
60EEFelix Sheng-Ho Chang, Daniel Jackson: Symbolic model checking of declarative relational models. ICSE 2006: 312-320
59EEGreg Dennis, Felix Sheng-Ho Chang, Daniel Jackson: Modular verification of code with SAT. ISSTA 2006: 109-120
58EERobert Seater, Daniel Jackson: Requirement Progression in Problem Frames Applied to a Proton Therapy System. RE 2006: 166-175
57EEDaniel Jackson, Michael Jackson: Separating Concerns in Requirements Analysis: An Example. RODIN Book 2006: 210-225
56EEMana Taghdiri, Robert Seater, Daniel Jackson: Lightweight extraction of syntactic specifications. SIGSOFT FSE 2006: 276-286
55EEEmina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas: Knowledge Flow Analysis for Security Protocols CoRR abs/cs/0605109: (2006)
2005
54EEViktor Kuncak, Daniel Jackson: Relational analysis of algebraic datatypes. ESEC/SIGSOFT FSE 2005: 207-216
53EEDerek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson: An analysis and visualization for revealing object sharing. ETX 2005: 11-15
52EENeeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson: Using dependency models to manage complex software architecture. OOPSLA 2005: 167-176
51EENeeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson: Using dependency models to manage software architecture. OOPSLA Companion 2005: 164-165
50EEDaniel Jackson: Dependable Software: An Oxymoron&. RE 2005: 3
2004
49EEKevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson: Software assurance by bounded exhaustive testing. ISSTA 2004: 133-142
48EEGreg Dennis, Robert Seater, Derek Rayside, Daniel Jackson: Automating commutativity analysis at the design level. ISSTA 2004: 165-174
47EEJonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung: Faster constraint solving with subtypes. ISSTA 2004: 232-242
46EEJonathan Edwards, Daniel Jackson, Emina Torlak: A type system for object models. SIGSOFT FSE 2004: 189-199
2003
45EEIlya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri: Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105
44EEMana Taghdiri, Daniel Jackson: A Lightweight Formal Analysis of a Multicast Key Management Scheme. FORTE 2003: 240-256
43EEAndrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman: Critical Feature Analysis of a Radiotherapy Machine. SAFECOMP 2003: 221-234
42EESarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson: A Case for Efficient Solution Enumeration. SAT 2003: 272-286
41EEMandana Vaziri, Daniel Jackson: Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. TACAS 2003: 505-520
40EEDaniel Jackson: Alloy: A Logical Modelling Language. ZB 2003: 1
2002
39EESarfraz Khurshid, Darko Marinov, Daniel Jackson: An analyzable annotation language. OOPSLA 2002: 231-245
38EEDaniel Jackson: Module Dependences in Software Design. RISSEF 2002: 198-203
37EEDaniel Jackson: Alloy: A New Technology for Software Modelling. TACAS 2002: 20
36EEDaniel Jackson: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2): 256-290 (2002)
2001
35EEDaniel Jackson, Ilya Shlyakhter, Manu Sridharan: A micromodularity mechanism. ESEC / SIGSOFT FSE 2001: 62-73
34EEDaniel Jackson: Lightweight Formal Methods. FME 2001: 1
33EEDaniel Jackson, Alan Fekete: Lightweight Analysis of Object Interactions. TACS 2001: 492-513
32EEDaniel Jackson, Allison Waingold: Lightweight Extraction of Object Models from Bytecode. IEEE Trans. Software Eng. 27(2): 156-169 (2001)
2000
31EESarfraz Khurshid, Daniel Jackson: Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. ASE 2000: 13-22
30EEDaniel Jackson, Ian Schechter, Ilya Shlyakhter: Alcoa: the alloy constraint analyzer. ICSE 2000: 730-733
29EEDaniel Jackson, Martin C. Rinard: Software analysis: a roadmap: a roadmap. ICSE - Future of SE Track 2000: 133-145
28EEDaniel 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
26EEDaniel Jackson: Automating first-order relational logic. SIGSOFT FSE 2000: 130-139
25EEDaniel Jackson, Kevin J. Sullivan: COM revisited: tool-assisted modelling of an architectural framework. SIGSOFT FSE 2000: 149-158
24EEMandana Vaziri, Daniel Jackson: Some Shortcomings of OCL, the Object Constraint Language of UML. TOOLS (34) 2000: 555-562
23EEDaniel Jackson, John Chapin: Redesigning Air Traffic Control: An Exercise in Software Design. IEEE Software 17(3): (2000)
1999
22EEDaniel 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)
20EEDaniel Jackson, Yu-Chung Ng, Jeannette M. Wing: A Nitpick Analysis of Mobile IPv6. Formal Asp. Comput. 11(6): 591-615 (1999)
1998
19EEDaniel Jackson: An Intermedicate Design Language and Its Analysis. SIGSOFT FSE 1998: 121-130
18EEDaniel 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
17EERobert O'Callahan, Daniel Jackson: Lackwit: A Program Understanding Tool Based on Type Inference. ICSE 1997: 338-348
1996
16EEDaniel Jackson, Craig Damon: Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. ISSTA 1996: 239-249
15EEDaniel Jackson, Somesh Jha, Craig Damon: Faster Checking of Software Specifications by Eliminating Isomorphs. POPL 1996: 79-90
14EECraig 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)
11EEBrian Lawrence, Daniel Jackson: Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint). IEEE Software 13(2): 20, 22 (1996)
10EEDaniel 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
8EEDaniel Jackson: Aspect: Detecting Bugs with Abstract Dependences. ACM Trans. Softw. Eng. Methodol. 4(2): 109-145 (1995)
7EEDaniel 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
4EEDaniel Jackson, Eugene J. Rollins: A New Model of Program Dependences for Reverse Engineering. SIGSOFT FSE 1994: 2-10
1993
3EEDaniel Jackson: Abstract Analysis with Aspect. ISSTA 1993: 19-27
1991
2EEDaniel 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

Coauthor Index

1Tom Bartindale [71]
2Jonathan P. Bowen [12]
3Alan W. Brown [9]
4Ricky W. Butler [12]
5Felix Sheng-Ho Chang [59] [60] [63] [69]
6John Chapin [23]
7Rance Cleaveland [21]
8David Coppit [49]
9Craig Damon [10] [13] [14] [15] [16] [18]
10Greg Dennis [48] [59] [63] [66]
11Srinivas Devadas [55]
12Marten van Dijk [55]
13David L. Dill [12]
14Jonathan Edwards [46] [47]
15Alan Fekete (Alan David Fekete, A. D. Fekete) [33]
16Jay Flanz [43]
17David Garlan [9]
18Blaise Gassend [55]
19Rohit Gheyi [62]
20Robert L. Glass [12]
21David Gries [12]
22Anthony Hall [12]
23Michael G. Hinchey (Mike Hinchey) [12]
24C. Michael Holloway [12]
25Michael Jackson [57]
26Somesh Jha [14] [15] [18]
27Cliff B. Jones [12]
28Ev Jordan [51] [52]
29Eunsuk Kang [70]
30Sarfraz Khurshid [31] [39] [42] [49]
31Jim Kitson [71]
32Antonio Krüger [71]
33Viktor Kuncak [54]
34David A. Ladd [5]
35Brian Lawrence [11]
36Didier Leyman [43]
37Michael J. Lutz [12]
38Darko Marinov [39] [42]
39Lucy Mendel [53]
40Yu-Chung Ng [20]
41Robert O'Callahan [17]
42Patrick Olivier [67] [71]
43David Lorge Parnas [12]
44Nick Pears (Nick E. Pears) [67]
45Andrew Rae [43]
46Prasad Ramanan [43]
47Derek Rayside [48] [53] [63]
48Martin C. Rinard [29]
49Eugene J. Rollins [4]
50John M. Rushby [12]
51Neeraj Sangal [51] [52]
52Ian Schechter [30]
53Johannes Schöning [71]
54Robert Seater [45] [48] [53] [56] [58] [62] [63]
55Ilya Shlyakhter [30] [35] [42] [45]
56Vineet Sinha [51] [52]
57Manu Sridharan [35] [45]
58Kevin J. Sullivan [25] [49]
59Mana Taghdiri [44] [45] [56] [64]
60James E. Tomayko [9]
61Emina Torlak [46] [47] [55] [65] [69]
62Mandana Vaziri [24] [28] [41]
63Allison Waingold [22] [32]
64Jeannette M. Wing [9] [12] [20]
65Jinlin Yang [49]
66Kuat Yessenov [66]
67Vincent Yeung [47]
68Pamela Zave [1] [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)