Daniel Jackson

Diana Nowacka, Karim Ladha, Nils Y. Hammerla, Daniel Jackson, Cassim Ladha, Enrico Rukzio, Patrick Olivier: Touchbugs: actuated tangibles on multi-touch tables. CHI 2013: 759-762

Pollie Barden, Rob Comber, David Philip Green, Daniel Jackson, Cassim Ladha, Tom Bartindale, Nick Bryan-Kinns, Tony Stockman, Patrick Olivier: Telematic dinner party: designing for togetherness through play and performance. Conference on Designing Interactive Systems 2012: 38-47

Aleksandar Milicevic, Daniel Jackson: Preventing Arithmetic Overflows in Alloy. ABZ 2012: 108-121

Stephen Lindsay, Katie Brittain, Daniel Jackson, Cassim Ladha, Karim Ladha, Patrick Olivier: Empathy, participatory design and people with dementia. CHI 2012: 521-530

Stephen Lindsay, Daniel Jackson, Guy Schofield, Patrick Olivier: Engaging older people using participatory design. CHI 2012: 1199-1208

Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson: Synthesizing iterators from abstraction functions. GPCE 2012: 31-40

Clare J. Hooper, Anne Preston, Madeline Balaam, Paul Seedhouse, Daniel Jackson, Cuong Pham, Cassim Ladha, Karim Ladha, Thomas Plötz, Patrick Olivier: The french kitchen: task-based learning in an instrumented kitchen. UbiComp 2012: 193-202

Joseph P. Near, Daniel Jackson: Rubicon: bounded verification of web applications. SIGSOFT FSE 2012: 60

Marek Grzes, Jesse Hoey, Shehroz S. Khan, Alex Mihailidis, Stephen Czarnuch, Daniel Jackson, Andrew Monk: Relational Approach to Knowledge Engineering for POMDP-based Assistance Systems as a Translation of a Psychological Model. CoRR abs/1206.5698 (2012)

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)

Chao Chen, Daniel Jackson: Parameterization and Evaluation of Robotic Orientation Workspace: A Geometric Treatment. IEEE Transactions on Robotics 27(4): 656-663 (2011)

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

Visalakshmi Suresh, Paul Ezhilchelvan, Paul Watson, Cuong Pham, Daniel Jackson, Patrick Olivier: Distributed event processing for activity recognition. DEBS 2011: 371-372

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

Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson: Unifying execution of imperative and declarative code. ICSE 2011: 511-520

Leigh Herbert, Nick Pears, Daniel Jackson, Patrick Olivier: Mobile Device and Intelligent Display Interaction via Scale-invariant Image Feature Matching. PECCS 2011: 207-214

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

Daniel Jackson, Eunsuk Kang: A Structure for Dependability Arguments. ASM 2010: 1

Joseph P. Near, Daniel Jackson: An Imperative Extension to Alloy. ASM 2010: 118-131

Carsten Ullrich, Kerstin Borau, Scott Grant, Daniel Jackson, Ruimin Shen: Cross-Cultural Multimedia Language Learning: Case Study and Analysis. ICWL 2010: 404-409

Eunsuk Kang, Daniel Jackson: Dependability Arguments with Trusted Bases. RE 2010: 262-271

Daniel Jackson, Eunsuk Kang: Separation of concerns for dependable software design. FoSER 2010: 173-176

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

Cassim Ladha, Karim Ladha, Jonathan Hook, Daniel Jackson, Patrick Olivier: TouchBridge: augmenting active tangibles for camera-based multi-touch surfaces. ITS 2010: 309

Daniel Jackson: A direct path to dependable software. Commun. ACM 52(4): 78-88 (2009)

Eunsuk Kang, Daniel Jackson: Designing and Analyzing a Flash File System with Alloy. Int. J. Software and Informatics 3(2-3): 129-148 (2009)

Nick Pears, Daniel Jackson, Patrick Olivier: Smart Phone Interaction with Registered Displays. IEEE Pervasive Computing 8(2): 14-21 (2009)

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

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

Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson: Agile specifications. OOPSLA Companion 2009: 999-1006

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

Daniel Jackson, Tom Bartindale, Patrick Olivier: FiberBoard: compact multi-touch display using channeled light. ITS 2009: 13

Daniel Jackson, Tom Bartindale, Patrick Olivier: FiberBoard: compact multi-touch display using channeled light. ITS 2009: 25-28

Eunsuk Kang, Daniel Jackson: Formal Modeling and Analysis of a Flash Filesystem in Alloy. ABZ 2008: 294-308

Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson: Finding Minimal Unsatisfiable Cores of Declarative Specifications. FM 2008: 326-341

Daniel Jackson: Hazards of Verification. Haifa Verification Conference 2008: 1

Nick Pears, Patrick Olivier, Daniel Jackson: Display Registration for Device Interaction - a Proof of Principle Prototype. VISAPP (1) 2008: 446-451

Greg Dennis, Kuat Yessenov, Daniel Jackson: Bounded Verification of Voting Software. VSTTE 2008: 130-145

Mana Taghdiri, Daniel Jackson: Inferring specifications to detect errors in code. Autom. Softw. Eng. 14(1): 87-121 (2007)

Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson: Automatic Visualization of Relational Logic Models. ECEASST 7 (2007)

Robert Seater, Daniel Jackson, Rohit Gheyi: Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. 12(2): 77-102 (2007)

Emina Torlak, Daniel Jackson: Kodkod: A Relational Model Finder. TACAS 2007: 632-647

Daniel Jackson: Software Abstractions - Logic, Language, and Analysis. MIT Press 2006, isbn 978-0-262-10114-1, pp. I-XVI, 1-350

Daniel Jackson: Idioms of Logical Modelling. ICGT 2006: 14

Felix Sheng-Ho Chang, Daniel Jackson: Symbolic model checking of declarative relational models. ICSE 2006: 312-320

Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson: Modular verification of code with SAT. ISSTA 2006: 109-120

Robert Seater, Daniel Jackson: Requirement Progression in Problem Frames Applied to a Proton Therapy System. RE 2006: 166-175

Daniel Jackson, Michael Jackson: Separating Concerns in Requirements Analysis: An Example. RODIN Book 2006: 210-225

Mana Taghdiri, Robert Seater, Daniel Jackson: Lightweight extraction of syntactic specifications. SIGSOFT FSE 2006: 276-286

Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas: Knowledge Flow Analysis for Security Protocols. CoRR abs/cs/0605109 (2006)

Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman: Critical feature analysis of a radiotherapy machine. Rel. Eng. & Sys. Safety 89(1): 48-56 (2005)

Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson: An analysis and visualization for revealing object sharing. ETX 2005: 11-15

Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson: Using dependency models to manage software architecture. OOPSLA Companion 2005: 164-165

Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson: Using dependency models to manage complex software architecture. OOPSLA 2005: 167-176

Daniel Jackson: Dependable Software: An Oxymoron&. RE 2005: 3

Viktor Kuncak, Daniel Jackson: Relational analysis of algebraic datatypes. ESEC/SIGSOFT FSE 2005: 207-216

Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson: Software assurance by bounded exhaustive testing. ISSTA 2004: 133-142

Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson: Automating commutativity analysis at the design level. ISSTA 2004: 165-174

Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung: Faster constraint solving with subtypes. ISSTA 2004: 232-242

Jonathan Edwards, Daniel Jackson, Emina Torlak: A type system for object models. SIGSOFT FSE 2004: 189-199

Mana Taghdiri, Daniel Jackson: A Lightweight Formal Analysis of a Multicast Key Management Scheme. FORTE 2003: 240-256

Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri: Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105

Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman: Critical Feature Analysis of a Radiotherapy Machine. SAFECOMP 2003: 221-234

Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson: A Case for Efficient Solution Enumeration. SAT 2003: 272-286

Mandana Vaziri, Daniel Jackson: Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. TACAS 2003: 505-520

Daniel Jackson: Alloy: A Logical Modelling Language. ZB 2003: 1

Daniel Jackson: Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2): 256-290 (2002)

Sarfraz Khurshid, Darko Marinov, Daniel Jackson: An analyzable annotation language. OOPSLA 2002: 231-245

Daniel Jackson: Module Dependences in Software Design. RISSEF 2002: 198-203

Daniel Jackson: Alloy: A New Technology for Software Modelling. TACAS 2002: 20

Daniel Jackson, Allison Waingold: Lightweight Extraction of Object Models from Bytecode. IEEE Trans. Software Eng. 27(2): 156-169 (2001)

Daniel Jackson: Lightweight Formal Methods. FME 2001: 1

Daniel Jackson, Ilya Shlyakhter, Manu Sridharan: A micromodularity mechanism. ESEC / SIGSOFT FSE 2001: 62-73

Daniel Jackson, Alan Fekete: Lightweight Analysis of Object Interactions. TACS 2001: 492-513

Daniel Jackson, John Chapin: Redesigning Air Traffic Control: An Exercise in Software Design. IEEE Software 17(3): 63-70 (2000)

Daniel Jackson, Martin C. Rinard: Software analysis: a roadmap: a roadmap. ICSE - Future of SE Track 2000: 133-145

Daniel Jackson, Ian Schechter, Ilya Shlyakhter: Alcoa: the alloy constraint analyzer. ICSE 2000: 730-733

Daniel Jackson, Mandana Vaziri: Finding bugs with a constraint solver. ISSTA 2000: 14-25

Sarfraz Khurshid, Daniel Jackson: Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. ASE 2000: 13-22

Daniel Jackson: Enforcing Design Constraints with Object Logic. SAS 2000: 1-21

Daniel Jackson: Automating first-order relational logic. SIGSOFT FSE 2000: 130-139

Daniel Jackson, Kevin J. Sullivan: COM revisited: tool-assisted modelling of an architectural framework. SIGSOFT FSE 2000: 149-158

Mandana Vaziri, Daniel Jackson: Some Shortcomings of OCL, the Object Constraint Language of UML. TOOLS (34) 2000: 555-562

Rance Cleaveland, Daniel Jackson: Guest Editorial. Autom. Softw. Eng. 6(1): 5-6 (1999)

Daniel Jackson, Yu-Chung Ng, Jeannette M. Wing: A Nitpick Analysis of Mobile IPv6. Formal Asp. Comput. 11(6): 591-615 (1999)

Daniel Jackson, Allison Waingold: Lightweight Extraction of Object Models from Bytecode. ICSE 1999: 194-202

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)

Daniel Jackson: An Intermedicate Design Language and Its Analysis. SIGSOFT FSE 1998: 121-130

Robert O'Callahan, Daniel Jackson: Lackwit: A Program Understanding Tool Based on Type Inference. ICSE 1997: 338-348

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)

Brian Lawrence, Daniel Jackson: Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint). IEEE Software 13(2): 20 (1996)

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)

Daniel Jackson, Craig Damon: Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. ISSTA 1996: 239-249

Daniel Jackson, Somesh Jha, Craig Damon: Faster Checking of Software Specifications by Eliminating Isomorphs. POPL 1996: 79-90

Craig Damon, Daniel Jackson, Somesh Jha: Checking Relational Specifications With Binary Decision Diagrams. SIGSOFT FSE 1996: 70-80

Craig Damon, Daniel Jackson: Efficient Search as a Means of Executing Specifications. TACAS 1996: 70-86

Daniel Jackson: Aspect: Detecting Bugs with Abstract Dependences. ACM Trans. Softw. Eng. Methodol. 4(2): 109-145 (1995)

Daniel Jackson: Structuring Z Specifications with Views. ACM Trans. Softw. Eng. Methodol. 4(4): 365-389 (1995)

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

Daniel Jackson: Abstract Model Checking of Infinite Specifications. FME 1994: 519-531

Daniel Jackson, David A. Ladd: Semantic Diff: A Tool for Summarizing the Effects of Modifications. ICSM 1994: 243-252

Daniel Jackson, Eugene J. Rollins: A New Model of Program Dependences for Reverse Engineering. SIGSOFT FSE 1994: 2-10

Daniel Jackson: Abstract Analysis with Aspect. ISSTA 1993: 19-27

Daniel Jackson: Aspect: An Economical Bug-Detector. ICSE 1991: 13-22

Pamela Zave, Daniel Jackson: Practical Specification Techniques for Control-Oriented Systems. IFIP Congress 1989: 83-88