Daniel Jackson

	2012
97		Stephen Lindsay, Daniel Jackson, Guy Schofield, Patrick Olivier: Engaging older people using participatory design. CHI 2012: 1199-1208
96		Stephen Lindsay, Katie Brittain, Daniel Jackson, Cassim Ladha, Karim Ladha, Patrick Olivier: Empathy, participatory design and people with dementia. CHI 2012: 521-530
	2011
95		Roisin McNaney, Stephen Lindsay, Karim Ladha, Cassim Ladha, Guy Schofield, Thomas Plötz, Nils Y. Hammerla, Daniel Jackson, Richard Walker, Nick Miller, Patrick Olivier: Cueing for drooling in Parkinson's disease. CHI 2011: 619-622
94		Visalakshmi Suresh, Paul Ezhilchelvan, Paul Watson, Cuong Pham, Daniel Jackson, Patrick Olivier: Distributed event processing for activity recognition. DEBS 2011: 371-372
93		Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson: A lightweight code analysis and its role in evaluation of a dependability case. ICSE 2011: 31-40
92		Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson: Unifying execution of imperative and declarative code. ICSE 2011: 511-520
91		Leigh Herbert, Nick Pears, Daniel Jackson, Patrick Olivier: Mobile Device and Intelligent Display Interaction via Scale-invariant Image Feature Matching. PECCS 2011: 207-214
90		Juergen Wagner, Aart van Halteren, Jettie Hoonhout, Thomas Plötz, Cuong Pham, Paula Moynihan, Daniel Jackson, Cassim Ladha, Karim Ladha, Patrick Olivier: Towards a pervasive kitchen infrastructure for measuring cooking competence. PervasiveHealth 2011: 107-114
89		Chao Chen, Daniel Jackson: Parameterization and Evaluation of Robotic Orientation Workspace: A Geometric Treatment. IEEE Transactions on Robotics 27(4): 656-663 (2011)
88		Jesse Hoey, Thomas Plötz, Daniel Jackson, Andrew Monk, Cuong Pham, Patrick Olivier: Rapid specification and automated generation of prompting systems to assist people with dementia. Pervasive and Mobile Computing 7(3): 299-318 (2011)
	2010
87		Daniel Jackson, Eunsuk Kang: A Structure for Dependability Arguments. ASM 2010: 1
86		Joseph P. Near, Daniel Jackson: An Imperative Extension to Alloy. ASM 2010: 118-131
85		Daniel Jackson, Eunsuk Kang: Separation of concerns for dependable software design. FoSER 2010: 173-176
84		Carsten Ullrich, Kerstin Borau, Scott Grant, Daniel Jackson, Ruimin Shen: Cross-Cultural Multimedia Language Learning: Case Study and Analysis. ICWL 2010: 404-409
83		Cassim Ladha, Karim Ladha, Jonathan Hook, Daniel Jackson, Gavin Wood, Patrick Olivier: TouchBridge: augmenting active tangibles for camera-based multi-touch surfaces. ITS 2010: 271-272
82		Cassim Ladha, Karim Ladha, Jonathan Hook, Daniel Jackson, Patrick Olivier: TouchBridge: augmenting active tangibles for camera-based multi-touch surfaces. ITS 2010: 309
81		Eunsuk Kang, Daniel Jackson: Dependability Arguments with Trusted Bases. RE 2010: 262-271
	2009
80		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
79		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
78		Daniel Jackson, Tom Bartindale, Patrick Olivier: FiberBoard: compact multi-touch display using channeled light. ITS 2009: 13
77		Daniel Jackson, Tom Bartindale, Patrick Olivier: FiberBoard: compact multi-touch display using channeled light. ITS 2009: 25-28
76		Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson: Agile specifications. OOPSLA Companion 2009: 999-1006
75		Scott Blunsden, Brandi Richards, Jennifer Boger, Alex Mihailidis, Tom Bartindale, Daniel Jackson, Patrick Olivier, Jesse Hoey: Design and prototype of a device to engage cognitively disabled older adults in visual artwork. PETRA 2009
74		Daniel Jackson: A direct path to dependable software. Commun. ACM 52(4): 78-88 (2009)
73		Nick Pears, Daniel Jackson, Patrick Olivier: Smart Phone Interaction with Registered Displays. IEEE Pervasive Computing 8(2): 14-21 (2009)
72		Eunsuk Kang, Daniel Jackson: Designing and Analyzing a Flash File System with Alloy. Int. J. Software and Informatics 3(2-3): 129-148 (2009)
	2008
71		Eunsuk Kang, Daniel Jackson: Formal Modeling and Analysis of a Flash Filesystem in Alloy. ABZ 2008: 294-308
70		Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson: Finding Minimal Unsatisfiable Cores of Declarative Specifications. FM 2008: 326-341
69		Daniel Jackson: Hazards of Verification. Haifa Verification Conference 2008: 1
68		Nick Pears, Patrick Olivier, Daniel Jackson: Display Registration for Device Interaction - a Proof of Principle Prototype. VISAPP (1) 2008: 446-451
67		Greg Dennis, Kuat Yessenov, Daniel Jackson: Bounded Verification of Voting Software. VSTTE 2008: 130-145
	2007
66		Emina Torlak, Daniel Jackson: Kodkod: A Relational Model Finder. TACAS 2007: 632-647
65		Mana Taghdiri, Daniel Jackson: Inferring specifications to detect errors in code. Autom. Softw. Eng. 14(1): 87-121 (2007)
64		Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson: Automatic Visualization of Relational Logic Models. ECEASST 7: (2007)
63		Robert Seater, Daniel Jackson, Rohit Gheyi: Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. 12(2): 77-102 (2007)
	2006
62		Daniel Jackson: Software Abstractions - Logic, Language, and Analysis. MIT Press 2006: I-XVI, 1-350
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): 63-70 (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 (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

Coauthor Index

1	Tom Bartindale	[75] [77] [78] [80]
2	Zev Benjamin	[79]
3	Scott Blunsden	[75]
4	Jennifer Boger	[75]
5	Kerstin Borau	[84]
6	Jonathan P. Bowen	[12]
7	Katie Brittain	[96]
8	Alan W. Brown	[9]
9	Ricky W. Butler	[12]
10	Felix Sheng-Ho Chang	[59] [60] [64] [70]
11	John Chapin	[23]
12	Chao Chen	[89]
13	Rance Cleaveland	[21]
14	David Coppit	[49]
15	Craig Damon	[10] [13] [14] [15] [16] [18]
16	Greg Dennis	[48] [59] [64] [67] [76]
17	Srinivas Devadas	[55]
18	Marten van Dijk	[55]
19	David L. Dill	[12]
20	Jonathan Edwards	[46] [47]
21	Paul Ezhilchelvan	[94]
22	Alan Fekete (Alan David Fekete, A. D. Fekete)	[33]
23	Jay Flanz	[43]
24	David Garlan	[9]
25	Blaise Gassend	[55]
26	Rohit Gheyi	[63]
27	Robert L. Glass	[12]
28	Scott Grant	[84]
29	David Gries	[12]
30	Anthony Hall	[12]
31	Aart van Halteren	[90]
32	Nils Y. Hammerla	[95]
33	Leigh Herbert	[91]
34	Michael G. Hinchey (Mike Hinchey)	[12]
35	Jesse Hoey	[75] [88]
36	C. Michael Holloway	[12]
37	Jonathan Hook	[82] [83]
38	Jettie Hoonhout	[90]
39	Michael Jackson	[57]
40	Somesh Jha	[14] [15] [18]
41	Cliff B. Jones (Clifford B. Jones)	[12]
42	Ev Jordan	[51] [52]
43	Eunsuk Kang	[71] [72] [81] [85] [87] [93]
44	Sarfraz Khurshid	[31] [39] [42] [49]
45	Jim Kitson	[80]
46	Antonio Krüger	[80]
47	Viktor Kuncak	[54]
48	David A. Ladd	[5]
49	Cassim Ladha	[82] [83] [90] [95] [96]
50	Karim Ladha	[82] [83] [90] [95] [96]
51	Brian Lawrence	[11]
52	Didier Leyman	[43]
53	Stephen Lindsay	[95] [96] [97]
54	Michael J. Lutz	[12]
55	Darko Marinov	[39] [42]
56	Roisin McNaney	[95]
57	Lucy Mendel	[53]
58	Alex Mihailidis	[75]
59	Aleksandar Milicevic	[76] [79] [92] [93]
60	Nick Miller	[95]
61	Andrew F. Monk (Andrew Monk)	[88]
62	Paula Moynihan	[90]
63	Joseph P. Near	[79] [86] [93]
64	Yu-Chung Ng	[20]
65	Robert O'Callahan	[17]
66	Patrick Olivier	[68] [73] [75] [77] [78] [80] [82] [83] [88] [90] [91] [94] [95] [96] [97]
67	David Lorge Parnas	[12]
68	Nick Pears (Nick E. Pears)	[68] [73] [91]
69	Cuong Pham	[88] [90] [94]
70	Thomas Plötz	[88] [90] [95]
71	Andrew Rae	[43]
72	Prasad Ramanan	[43]
73	Derek Rayside	[48] [53] [64] [76] [79] [92]
74	Brandi Richards	[75]
75	Martin C. Rinard	[29]
76	Eugene J. Rollins	[4]
77	John M. Rushby	[12]
78	Neeraj Sangal	[51] [52]
79	Ian Schechter	[30]
80	Guy Schofield	[95] [97]
81	Johannes Schöning	[80]
82	Robert Seater	[45] [48] [53] [56] [58] [63] [64]
83	Ruimin Shen	[84]
84	Ilya Shlyakhter	[30] [35] [42] [45]
85	Rishabh Singh	[79]
86	Vineet Sinha	[51] [52]
87	Manu Sridharan	[35] [45]
88	Kevin J. Sullivan	[25] [49]
89	Visalakshmi Suresh	[94]
90	Mana Taghdiri	[44] [45] [56] [65]
91	James E. Tomayko	[9]
92	Emina Torlak	[46] [47] [55] [66] [70]
93	Carsten Ullrich	[84]
94	Mandana Vaziri	[24] [28] [41]
95	Juergen Wagner	[90]
96	Allison Waingold	[22] [32]
97	Richard Walker	[95]
98	Paul Watson	[94]
99	Jeannette M. Wing	[9] [12] [20]
100	Gavin Wood	[83]
101	Jinlin Yang	[49]
102	Kuat Yessenov	[67] [76] [92]
103	Vincent Yeung	[47]
104	Pamela Zave	[1] [12]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page