| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stephen Lindsay, Daniel Jackson, Guy Schofield, Patrick Olivier |
Engaging older people using participatory design.  |
CHI  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen Lindsay, Katie Brittain, Daniel Jackson, Cassim Ladha, Karim Ladha, Patrick Olivier |
Empathy, participatory design and people with dementia. |
CHI |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Chao Chen, Daniel Jackson |
Parameterization and Evaluation of Robotic Orientation Workspace: A Geometric Treatment. |
IEEE Transactions on Robotics |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Visalakshmi Suresh, Paul Ezhilchelvan, Paul Watson, Cuong Pham, Daniel Jackson, Patrick Olivier |
Distributed event processing for activity recognition. |
DEBS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Leigh Herbert, Nick Pears, Daniel Jackson, Patrick Olivier |
Mobile Device and Intelligent Display Interaction via Scale-invariant Image Feature Matching. |
PECCS |
2011 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson |
A lightweight code analysis and its role in evaluation of a dependability case. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson |
Unifying execution of imperative and declarative code. |
ICSE |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Ullrich, Kerstin Borau, Scott Grant, Daniel Jackson, Ruimin Shen |
Cross-Cultural Multimedia Language Learning: Case Study and Analysis. |
ICWL |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunsuk Kang, Daniel Jackson |
Dependability Arguments with Trusted Bases. |
RE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cassim Ladha, Karim Ladha, Jonathan Hook, Daniel Jackson, Patrick Olivier |
TouchBridge: augmenting active tangibles for camera-based multi-touch surfaces. |
ITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Cassim Ladha, Karim Ladha, Jonathan Hook, Daniel Jackson, Gavin Wood, Patrick Olivier |
TouchBridge: augmenting active tangibles for camera-based multi-touch surfaces. |
ITS |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Eunsuk Kang |
Separation of concerns for dependable software design. |
FoSER |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Eunsuk Kang |
A Structure for Dependability Arguments. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Joseph P. Near, Daniel Jackson |
An Imperative Extension to Alloy. |
ASM |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunsuk Kang, Daniel Jackson |
Designing and Analyzing a Flash File System with Alloy. |
Int. J. Software and Informatics |
2009 |
DBLP BibTeX RDF |
|
| 1 | Nick Pears, Daniel Jackson, Patrick Olivier |
Smart Phone Interaction with Registered Displays. |
IEEE Pervasive Computing |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson |
A direct path to dependable software. |
Commun. ACM |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson |
Agile specifications. |
OOPSLA Companion |
2009 |
DBLP DOI BibTeX RDF |
specification statement, formal methods, test-driven development, agile methods, refinement calculus |
| 1 | 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 |
DBLP DOI BibTeX RDF |
art therapy, computer vision, face detection, touch screen, POMDP, partially observable Markov decision process, MDP |
| 1 | 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 |
DBLP DOI BibTeX RDF |
context sensing, ebook reader, epaper, narrative theory |
| 1 | Daniel Jackson, Tom Bartindale, Patrick Olivier |
FiberBoard: compact multi-touch display using channeled light. |
ITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Tom Bartindale, Patrick Olivier |
FiberBoard: compact multi-touch display using channeled light. |
ITS |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Dennis, Kuat Yessenov, Daniel Jackson |
Bounded Verification of Voting Software. |
VSTTE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson |
Finding Minimal Unsatisfiable Cores of Declarative Specifications. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Nick Pears, Patrick Olivier, Daniel Jackson |
Display Registration for Device Interaction - a Proof of Principle Prototype. |
VISAPP |
2008 |
DBLP BibTeX RDF |
|
| 1 | Daniel Jackson |
Hazards of Verification. |
Haifa Verification Conference |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Eunsuk Kang, Daniel Jackson |
Formal Modeling and Analysis of a Flash Filesystem in Alloy. |
ABZ |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson |
Automatic Visualization of Relational Logic Models. |
ECEASST |
2007 |
DBLP BibTeX RDF |
|
| 1 | Mana Taghdiri, Daniel Jackson |
Inferring specifications to detect errors in code. |
Autom. Softw. Eng. |
2007 |
DBLP DOI BibTeX RDF |
Modular abstraction, Counterexample-guided abstraction refinement, Bounded program verification, SAT, Alloy, Specification inference |
| 1 | Robert Seater, Daniel Jackson, Rohit Gheyi |
Requirement progression in problem frames: deriving specifications from requirements. |
Requir. Eng. |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emina Torlak, Daniel Jackson |
Kodkod: A Relational Model Finder. |
TACAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas |
Knowledge Flow Analysis for Security Protocols |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Daniel Jackson |
Software Abstractions - Logic, Language, and Analysis. |
|
2006 |
RDF |
|
| 1 | Daniel Jackson |
Idioms of Logical Modelling. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson |
Modular verification of code with SAT. |
ISSTA |
2006 |
DBLP DOI BibTeX RDF |
formal methods, formal verification, first-order logic, SAT, software model checking, alloy |
| 1 | Daniel Jackson, Michael Jackson |
Separating Concerns in Requirements Analysis: An Example. |
RODIN Book |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert Seater, Daniel Jackson |
Requirement Progression in Problem Frames Applied to a Proton Therapy System. |
RE |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Felix Sheng-Ho Chang, Daniel Jackson |
Symbolic model checking of declarative relational models. |
ICSE |
2006 |
DBLP DOI BibTeX RDF |
software model checking, computation tree logic |
| 1 | Mana Taghdiri, Robert Seater, Daniel Jackson |
Lightweight extraction of syntactic specifications. |
SIGSOFT FSE |
2006 |
DBLP DOI BibTeX RDF |
modular abstraction, symbolic summary, syntactic specification, symbolic execution |
| 1 | Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson |
An analysis and visualization for revealing object sharing. |
ETX |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson |
Dependable Software: An Oxymoron&. |
RE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson |
Using dependency models to manage software architecture. |
OOPSLA Companion |
2005 |
DBLP DOI BibTeX RDF |
model, architecture, dependency, DSM, matrix |
| 1 | Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson |
Using dependency models to manage complex software architecture. |
OOPSLA |
2005 |
DBLP DOI BibTeX RDF |
model, architecture, dependency, DSM, matrix |
| 1 | Viktor Kuncak, Daniel Jackson |
Relational analysis of algebraic datatypes. |
ESEC/SIGSOFT FSE |
2005 |
DBLP DOI BibTeX RDF |
algebraic datatypes, model finding, transitive closure logic, model checking, constraint solving |
| 1 | Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson |
Software assurance by bounded exhaustive testing. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
TestEra, formal methods, reverse engineering, specification-based testing, automated test case generation, bounded exhaustive testing |
| 1 | Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung |
Faster constraint solving with subtypes. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
relational logic, verification, constraints, analysis, SAT, subtypes |
| 1 | Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson |
Automating commutativity analysis at the design level. |
ISSTA |
2004 |
DBLP DOI BibTeX RDF |
proton therapy, model checking, formal specification, testing, concurrency, case study, OCL, alloy, commutativity, critical systems, radiation therapy, lightweight formal methods |
| 1 | Jonathan Edwards, Daniel Jackson, Emina Torlak |
A type system for object models. |
SIGSOFT FSE |
2004 |
DBLP DOI BibTeX RDF |
ZOCL, relational logic, vacuity detection, type systems, specification languages, object models, alloy |
| 1 | Mana Taghdiri, Daniel Jackson |
A Lightweight Formal Analysis of a Multicast Key Management Scheme. |
FORTE |
2003 |
DBLP DOI BibTeX RDF |
Lightweight modeling, asynchronous rekeying, formal specification, key management, Alloy, secure multicast |
| 1 | Mandana Vaziri, Daniel Jackson |
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. |
TACAS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri |
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. |
ASE |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson |
A Case for Efficient Solution Enumeration. |
SAT |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman |
Critical Feature Analysis of a Radiotherapy Machine. |
SAFECOMP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson |
Alloy: A Logical Modelling Language. |
ZB |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson |
Alloy: a lightweight object modelling notation. |
ACM Trans. Softw. Eng. Methodol. |
2002 |
DBLP DOI BibTeX RDF |
first-order logic, Object models, Z specification language |
| 1 | Daniel Jackson |
Alloy: A New Technology for Software Modelling. |
TACAS |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarfraz Khurshid, Darko Marinov, Daniel Jackson |
An analyzable annotation language. |
OOPSLA |
2002 |
DBLP DOI BibTeX RDF |
alloy analyzer, alloy modeling language, compile-time analysis, specification language, java language |
| 1 | Daniel Jackson |
Module Dependences in Software Design. |
RISSEF |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Allison Waingold |
Lightweight Extraction of Object Models from Bytecode. |
IEEE Trans. Software Eng. |
2001 |
DBLP DOI BibTeX RDF |
design conformance, lightweight analysis, reverse engineering, program understanding, type inference, Object model, class diagram |
| 1 | Daniel Jackson, Alan Fekete |
Lightweight Analysis of Object Interactions. |
TACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson |
Lightweight Formal Methods. |
FME |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Ilya Shlyakhter, Manu Sridharan |
A micromodularity mechanism. |
ESEC / SIGSOFT FSE |
2001 |
DBLP DOI BibTeX RDF |
Alloy language, schema calculus, formal specification, first-order logic, Z, modeling languages, relational calculus, Z specification language |
| 1 | Daniel Jackson, John Chapin |
Redesigning Air Traffic Control: An Exercise in Software Design. |
IEEE Software |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Mandana Vaziri |
Finding bugs with a constraint solver. |
ISSTA |
2000 |
DBLP DOI BibTeX RDF |
alloy language, detecting bugs, relational formulas, model checking, testing, static analysis, constraint solvers |
| 1 | Mandana Vaziri, Daniel Jackson |
Some Shortcomings of OCL, the Object Constraint Language of UML. |
TOOLS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Sarfraz Khurshid, Daniel Jackson |
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. (PDF / PS) |
ASE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson |
Enforcing Design Constraints with Object Logic. |
SAS |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Ian Schechter, Ilya Shlyakhter |
Alcoa: the alloy constraint analyzer. |
ICSE |
2000 |
DBLP DOI BibTeX RDF |
relational logic, model checking, formal specifications, constraint satisfaction, object models, software analysis |
| 1 | Daniel Jackson, Martin C. Rinard |
Software analysis: a roadmap: a roadmap. |
ICSE - Future of SE Track |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson |
Automating first-order relational logic. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
model finding, relational logic, first-order logic, object models, SAT solvers, constraint solvers, Z specification, automatic analysis |
| 1 | Daniel Jackson, Kevin J. Sullivan |
COM revisited: tool-assisted modelling of an architectural framework. |
SIGSOFT FSE |
2000 |
DBLP DOI BibTeX RDF |
Microsoft COM, formal specification, formal methods, architectural style, alloy, integration frameworks, constraint solver |
| 1 | Daniel Jackson, Yu-Chung Ng, Jeannette M. Wing |
A Nitpick Analysis of Mobile IPv6. |
Formal Asp. Comput. |
1999 |
DBLP DOI BibTeX RDF |
Nitpick, Mobile internetworking protocols, Model checking, Z, Declarative specification |
| 1 | Rance Cleaveland, Daniel Jackson |
Guest Editorial. |
Autom. Softw. Eng. |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Allison Waingold |
Lightweight Extraction of Object Models from Bytecode. |
ICSE |
1999 |
DBLP BibTeX RDF |
Java |
| 1 | Daniel Jackson, Somesh Jha, Craig Damon |
Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. |
ACM Trans. Program. Lang. Syst. |
1998 |
DBLP DOI BibTeX RDF |
model finding, relational specifications, model checking, formal specification, symmetry, object models, pruning, relational calculus |
| 1 | Daniel Jackson |
An Intermedicate Design Language and Its Analysis. |
SIGSOFT FSE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert O'Callahan, Daniel Jackson |
Lackwit: A Program Understanding Tool Based on Type Inference. |
ICSE |
1997 |
DBLP DOI BibTeX RDF |
C, C, abstraction, representation, restructuring |
| 1 | Daniel Jackson, Craig Damon |
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. |
IEEE Trans. Software Eng. |
1996 |
DBLP DOI BibTeX RDF |
model checking, formal specification, software design, Z notation, Abstract modeling, exhaustive testing |
| 1 | Brian Lawrence, Daniel Jackson |
Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint). |
IEEE Software |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Craig Damon, Daniel Jackson |
Efficient Search as a Means of Executing Specifications. |
TACAS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Craig Damon |
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, Somesh Jha, Craig Damon |
Faster Checking of Software Specifications by Eliminating Isomorphs. |
POPL |
1996 |
DBLP DOI BibTeX RDF |
model enumeration, validity checking, formal specification, symmetry, Z notation, relational calculus |
| 1 | Craig Damon, Daniel Jackson, Somesh Jha |
Checking Relational Specifications With Binary Decision Diagrams. |
SIGSOFT FSE |
1996 |
DBLP DOI BibTeX RDF |
Z |
| 1 | Daniel Jackson |
Aspect: Detecting Bugs with Abstract Dependences. |
ACM Trans. Softw. Eng. Methodol. |
1995 |
DBLP DOI BibTeX RDF |
dataflow dependences, partial verification, partial specification |
| 1 | Daniel Jackson |
Structuring Z Specifications with Views |
ACM Trans. Softw. Eng. Methodol. |
1995 |
DBLP DOI BibTeX RDF |
implicit definition, formal specification, views, Z, Z |
| 1 | David Garlan, Alan W. Brown, Daniel Jackson, James E. Tomayko, Jeannette M. Wing |
The CMU Master of Software Engineering Core Curriculum. |
CSEE |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson |
Abstract Model Checking of Infinite Specifications. |
FME |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel Jackson, David A. Ladd |
Semantic Diff: A Tool for Summarizing the Effects of Modifications. |
ICSM |
1994 |
DBLP BibTeX RDF |
|
| 1 | Daniel Jackson, Eugene J. Rollins |
A New Model of Program Dependences for Reverse Engineering. |
SIGSOFT FSE |
1994 |
DBLP DOI BibTeX RDF |
dataflow dependence, reverse engineering, specifications, modularity, program slicing, program dependence graph |
| 1 | Daniel Jackson |
Abstract Analysis with Aspect. |
ISSTA |
1993 |
DBLP DOI BibTeX RDF |
DEBUG |
| 1 | Daniel Jackson |
Aspect: An Economical Bug-Detector. |
ICSE |
1991 |
DBLP BibTeX RDF |
|
| 1 | Pamela Zave, Daniel Jackson |
Practical Specification Techniques for Control-Oriented Systems. |
IFIP Congress |
1989 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")