default search action
Daniel Jackson 0001
Person information
- affiliation: Massachusetts Institute of Technology, USA
Other persons with the same name
- Daniel Jackson — disambiguation page
- Daniel Jackson 0002 (aka: Dan Jackson 0001) — Newcastle University, Newcastle Upon Tyne, UK
- Daniel Jackson 0003 — University of Wisconsin, Department of Pediatrics, Madison, WI, USA
- Daniel Jackson 0004 — Manifest and Process LLC, Boulder, CO, USA
- Daniel Jackson 0005 — Monash University, Clayton, Australia
- Daniel Jackson 0006 — Pennsylvania State University Lehigh Valley, PA, USA
- Daniel Jackson 0007 — University of South Australia, Australian Research Centre for Interactive and Virtual Environments, Adelaide, SA, Australia
- Daniel Jackson 0008 (aka: Dan Jackson 0002) — Bournemouth University, Faculty of Media and Communication, UK
- Daniel Jackson 0009 — Planet Labs PBC, Haarlem, The Netherlands
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
- [c97]Evan Caragay, Katherine Xiong, Jonathan Zong, Daniel Jackson:
Beyond Dark Patterns: A Concept-Based Framework for Ethical Software Design. CHI 2024: 291:1-291:16 - [c96]Daniel Jackson:
Keynote Lecture. ENASE 2024: 9 - [c95]Josh Pollock, Catherine Mei, Grace Huang, Elliot Evans, Daniel Jackson, Arvind Satyanarayan:
Bluefish: Composing Diagrams with Declarative Relations. UIST 2024: 23:1-23:21 - 2023
- [c94]Peter A. Wilczynski, Taylor Gregoire-Wright, Daniel Jackson:
Concept-Centric Software Development: An Experience Report. Onward! 2023: 120-135 - [c93]Geoffrey Litt, Nicholas Schiefer, Johannes Schickling, Daniel Jackson:
Riffle: Reactive Relational State for Local-First Applications. UIST 2023: 76:1-76:16 - [i5]Peter A. Wilczynski, Taylor Gregoire-Wright, Daniel Jackson:
Concept-centric Software Development. CoRR abs/2304.14975 (2023) - [i4]Josh Pollock, Catherine Mei, Grace Huang, Daniel Jackson, Arvind Satyanarayan:
Bluefish: A Relational Grammar of Graphics. CoRR abs/2307.00146 (2023) - [i3]Evan Caragay, Katherine Xiong, Jonathan Zong, Daniel Jackson:
Beyond Dark Patterns: A Concept-Based Framework for Software Design Ethics. CoRR abs/2310.02432 (2023) - 2022
- [c92]Nicholas Schiefer, Geoffrey Litt, Daniel Jackson:
Merge what you can, fork what you can't: managing data integrity in local-first software. PaPoC@EuroSys 2022: 24-32 - [c91]Daniel Jackson:
Concept Design Moves. NFM 2022: 52-70 - 2021
- [c90]Kapaya Katongo, Geoffrey Litt, Daniel Jackson:
Towards End-User Web Scraping for Customization. Programming 2021: 49-59 - [i2]Daniel Jackson, Valerie Richmond, Mike Wang, Jeff Chow, Uriel Guajardo, Soonho Kong, Sergio Campos, Geoffrey Litt, Nikos Aréchiga:
Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles. CoRR abs/2104.06178 (2021) - 2020
- [c89]Geoffrey Litt, Daniel Jackson, Tyler Millis, Jessica Ayeley Quaye:
End-user software customization by direct manipulation of tabular data. Onward! 2020: 18-33 - [c88]James Koppel, Daniel Jackson:
Demystifying dependence. Onward! 2020: 48-64 - [c87]Geoffrey Litt, Daniel Jackson:
Wildcard: spreadsheet-driven customization of web applications. Programming 2020: 126-135
2010 – 2019
- 2019
- [j22]Daniel Jackson:
Alloy: a language and tool for exploring software designs. Commun. ACM 62(9): 66-76 (2019) - [j21]Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson:
Alloy*: a general-purpose higher-order relational constraint solver. Formal Methods Syst. Des. 55(1): 1-32 (2019) - [c86]Santiago Perez De Rosso, Daniel Jackson, Maryam Archie, Czarina Lao, Barry A. McNamara III:
Declarative assembly of web applications from predefined concepts. Onward! 2019: 79-93 - 2018
- [j20]Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson:
A formal approach for detection of security flaws in the android permission system. Formal Aspects Comput. 30(5): 525-544 (2018) - 2016
- [c85]Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur:
Model-based security analysis of a water treatment system. SEsCPS@ICSE 2016: 22-28 - [c84]Joseph P. Near, Daniel Jackson:
Finding security bugs in web applications using a catalog of access control patterns. ICSE 2016: 947-958 - [c83]Matt McCutchen, Shachar Itzhaky, Daniel Jackson:
Object spreadsheets: a new computational model for end-user development of data-centric web applications. Onward! 2016: 112-127 - [c82]Ivan Kuraj, Daniel Jackson:
Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift. Onward! 2016: 145-164 - [c81]Santiago Perez De Rosso, Daniel Jackson:
Purposes, concepts, misfits, and a redesign of git. OOPSLA 2016: 292-310 - [c80]Daniel Jackson, Mandana Vaziri:
Correct or usable? the limits of traditional verification (impact paper award). SIGSOFT FSE 2016: 11 - [c79]Jianye Hao, Eunsuk Kang, Jun Sun, Daniel Jackson:
Designing minimal effective normative systems with the help of lightweight formal methods. SIGSOFT FSE 2016: 50-60 - [c78]Eunsuk Kang, Aleksandar Milicevic, Daniel Jackson:
Multi-representational security analysis. SIGSOFT FSE 2016: 181-192 - 2015
- [c77]Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson:
Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification. FM 2015: 73-89 - [c76]Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson:
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. ICSE (1) 2015: 609-619 - [c75]Ivan Kuraj, Viktor Kuncak, Daniel Jackson:
Programming with enumerable sets of structures. OOPSLA 2015: 37-56 - [c74]Daniel Jackson:
Towards a theory of conceptual design for software. Onward! 2015: 282-296 - 2014
- [j19]Aleksandar Milicevic, Daniel Jackson:
Preventing arithmetic overflows in Alloy. Sci. Comput. Program. 94: 203-216 (2014) - [c73]Aleksandar Milicevic, Ido Efrati, Daniel Jackson:
αRby - An Embedding of Alloy in Ruby. ABZ 2014: 56-71 - [c72]Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun:
Adaptive Defending Strategy for Smart Grid Attacks. SEGS@CCS 2014: 23-30 - [c71]Joseph P. Near, Daniel Jackson:
Derailer: interactive security analysis for web applications. ASE 2014: 587-598 - 2013
- [c70]Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov:
Model-based, event-driven programming paradigm for interactive web applications. Onward! 2013: 17-36 - [c69]Santiago Perez De Rosso, Daniel Jackson:
What's wrong with git?: a conceptual design analysis. Onward! 2013: 37-52 - 2012
- [c68]Aleksandar Milicevic, Daniel Jackson:
Preventing Arithmetic Overflows in Alloy. ABZ 2012: 108-121 - [c67]Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson:
Synthesizing iterators from abstraction functions. GPCE 2012: 31-40 - [c66]Joseph P. Near, Daniel Jackson:
Rubicon: bounded verification of web applications. SIGSOFT FSE 2012: 60 - 2011
- [c65]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 - [c64]Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson:
Unifying execution of imperative and declarative code. ICSE 2011: 511-520 - 2010
- [c63]Daniel Jackson, Eunsuk Kang:
A Structure for Dependability Arguments. ASM 2010: 1 - [c62]Joseph P. Near, Daniel Jackson:
An Imperative Extension to Alloy. ASM 2010: 118-131 - [c61]Eunsuk Kang, Daniel Jackson:
Patterns for building dependable systems with trusted bases. PLoP 2010: 19:1-19:14 - [c60]Eunsuk Kang, Daniel Jackson:
Dependability Arguments with Trusted Bases. RE 2010: 262-271 - [c59]Daniel Jackson, Eunsuk Kang:
Separation of concerns for dependable software design. FoSER 2010: 173-176
2000 – 2009
- 2009
- [j18]Daniel Jackson:
A direct path to dependable software. Commun. ACM 52(4): 78-88 (2009) - [j17]Eunsuk Kang, Daniel Jackson:
Designing and Analyzing a Flash File System with Alloy. Int. J. Softw. Informatics 3(2-3): 129-148 (2009) - [c58]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 - [c57]Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson:
Agile specifications. OOPSLA Companion 2009: 999-1006 - 2008
- [c56]Eunsuk Kang, Daniel Jackson:
Formal Modeling and Analysis of a Flash Filesystem in Alloy. ABZ 2008: 294-308 - [c55]Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson:
Finding Minimal Unsatisfiable Cores of Declarative Specifications. FM 2008: 326-341 - [c54]Daniel Jackson:
Hazards of Verification. Haifa Verification Conference 2008: 1 - [c53]Greg Dennis, Kuat Yessenov, Daniel Jackson:
Bounded Verification of Voting Software. VSTTE 2008: 130-145 - 2007
- [j16]Mana Taghdiri, Daniel Jackson:
Inferring specifications to detect errors in code. Autom. Softw. Eng. 14(1): 87-121 (2007) - [j15]Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson:
Automatic Visualization of Relational Logic Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 7 (2007) - [j14]Robert Seater, Daniel Jackson, Rohit Gheyi:
Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. 12(2): 77-102 (2007) - [c52]Emina Torlak, Daniel Jackson:
Kodkod: A Relational Model Finder. TACAS 2007: 632-647 - 2006
- [b1]Daniel Jackson:
Software Abstractions - Logic, Language, and Analysis. MIT Press 2006, ISBN 978-0-262-10114-1, pp. I-XVI, 1-350 - [c51]Daniel Jackson:
Idioms of Logical Modelling. ICGT 2006: 14 - [c50]Robert Seater, Daniel Jackson:
Problem frame transformations: deriving specifications from requirements. IWAAPF@ICSE 2006: 71-80 - [c49]Felix Sheng-Ho Chang, Daniel Jackson:
Symbolic model checking of declarative relational models. ICSE 2006: 312-320 - [c48]Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson:
Modular verification of code with SAT. ISSTA 2006: 109-120 - [c47]Robert Seater, Daniel Jackson:
Requirement Progression in Problem Frames Applied to a Proton Therapy System. RE 2006: 166-175 - [c46]Daniel Jackson, Michael Jackson:
Separating Concerns in Requirements Analysis: An Example. RODIN Book 2006: 210-225 - [c45]Mana Taghdiri, Robert Seater, Daniel Jackson:
Lightweight extraction of syntactic specifications. SIGSOFT FSE 2006: 276-286 - [i1]Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas:
Knowledge Flow Analysis for Security Protocols. CoRR abs/cs/0605109 (2006) - 2005
- [j13]Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman:
Critical feature analysis of a radiotherapy machine. Reliab. Eng. Syst. Saf. 89(1): 48-56 (2005) - [c44]Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson:
An analysis and visualization for revealing object sharing. eTX 2005: 11-15 - [c43]Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson:
Using dependency models to manage software architecture. OOPSLA Companion 2005: 164-165 - [c42]Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson:
Using dependency models to manage complex software architecture. OOPSLA 2005: 167-176 - [c41]Daniel Jackson:
Dependable Software: An Oxymoron&. RE 2005: 3 - [c40]Viktor Kuncak, Daniel Jackson:
Relational analysis of algebraic datatypes. ESEC/SIGSOFT FSE 2005: 207-216 - 2004
- [c39]Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson:
Software assurance by bounded exhaustive testing. ISSTA 2004: 133-142 - [c38]Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson:
Automating commutativity analysis at the design level. ISSTA 2004: 165-174 - [c37]Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung:
Faster constraint solving with subtypes. ISSTA 2004: 232-242 - [c36]Jonathan Edwards, Daniel Jackson, Emina Torlak:
A type system for object models. SIGSOFT FSE 2004: 189-199 - 2003
- [c35]Mana Taghdiri, Daniel Jackson:
A Lightweight Formal Analysis of a Multicast Key Management Scheme. FORTE 2003: 240-256 - [c34]Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri:
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE 2003: 94-105 - [c33]Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman:
Critical Feature Analysis of a Radiotherapy Machine. SAFECOMP 2003: 221-234 - [c32]Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson:
A Case for Efficient Solution Enumeration. SAT 2003: 272-286 - [c31]Mandana Vaziri, Daniel Jackson:
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. TACAS 2003: 505-520 - [c30]Daniel Jackson:
Alloy: A Logical Modelling Language. ZB 2003: 1 - 2002
- [j12]Daniel Jackson:
Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11(2): 256-290 (2002) - [c29]Sarfraz Khurshid, Darko Marinov, Daniel Jackson:
An analyzable annotation language. OOPSLA 2002: 231-245 - [c28]Daniel Jackson:
Module Dependences in Software Design. RISSEF 2002: 198-203 - [c27]Daniel Jackson:
Alloy: A New Technology for Software Modelling. TACAS 2002: 20 - 2001
- [j11]Daniel Jackson, Allison Waingold:
Lightweight Extraction of Object Models from Bytecode. IEEE Trans. Software Eng. 27(2): 156-169 (2001) - [c26]Daniel Jackson:
Lightweight Formal Methods. FME 2001: 1 - [c25]Daniel Jackson, Ilya Shlyakhter, Manu Sridharan:
A micromodularity mechanism. ESEC / SIGSOFT FSE 2001: 62-73 - [c24]Daniel Jackson, Alan D. Fekete:
Lightweight Analysis of Object Interactions. TACS 2001: 492-513 - 2000
- [j10]Daniel Jackson, John Chapin:
Redesigning Air Traffic Control: An Exercise in Software Design. IEEE Softw. 17(3): 63-70 (2000) - [c23]Daniel Jackson, Martin C. Rinard:
Software analysis: a roadmap: a roadmap. ICSE - Future of SE Track 2000: 133-145 - [c22]Daniel Jackson, Ian Schechter, Ilya Shlyakhter:
Alcoa: the alloy constraint analyzer. ICSE 2000: 730-733 - [c21]Daniel Jackson, Mandana Vaziri:
Finding bugs with a constraint solver. ISSTA 2000: 14-25 - [c20]Sarfraz Khurshid, Daniel Jackson:
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. ASE 2000: 13-22 - [c19]Daniel Jackson:
Enforcing Design Constraints with Object Logic. SAS 2000: 1-21 - [c18]Daniel Jackson:
Automating first-order relational logic. SIGSOFT FSE 2000: 130-139 - [c17]Daniel Jackson, Kevin J. Sullivan:
COM revisited: tool-assisted modelling of an architectural framework. SIGSOFT FSE 2000: 149-158 - [c16]Mandana Vaziri, Daniel Jackson:
Some Shortcomings of OCL, the Object Constraint Language of UML. TOOLS (34) 2000: 555-562
1990 – 1999
- 1999
- [j9]Rance Cleaveland, Daniel Jackson:
Guest Editorial. Autom. Softw. Eng. 6(1): 5-6 (1999) - [j8]Daniel Jackson, Yu-Chung Ng, Jeannette M. Wing:
A Nitpick Analysis of Mobile IPv6. Formal Aspects Comput. 11(6): 591-615 (1999) - [c15]Daniel Jackson, Allison Waingold:
Lightweight Extraction of Object Models from Bytecode. ICSE 1999: 194-202 - 1998
- [j7]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) - [c14]Daniel Jackson:
An Intermedicate Design Language and Its Analysis. SIGSOFT FSE 1998: 121-130 - 1997
- [c13]Robert O'Callahan, Daniel Jackson:
Lackwit: A Program Understanding Tool Based on Type Inference. ICSE 1997: 338-348 - 1996
- [j6]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. Computer 29(4): 16-30 (1996) - [j5]Daniel Jackson, Michael Jackson:
Problem decomposition for reuse. Softw. Eng. J. 11(1): 19-30 (1996) - [j4]Brian Lawrence, Daniel Jackson:
Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint). IEEE Softw. 13(2): 20 (1996) - [j3]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) - [c12]Daniel Jackson, Craig Damon:
Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. ISSTA 1996: 239-249 - [c11]Daniel Jackson, Somesh Jha, Craig Damon:
Faster Checking of Software Specifications by Eliminating Isomorphs. POPL 1996: 79-90 - [c10]Craig Damon, Daniel Jackson, Somesh Jha:
Checking Relational Specifications With Binary Decision Diagrams. SIGSOFT FSE 1996: 70-80 - [c9]Craig Damon, Daniel Jackson:
Efficient Search as a Means of Executing Specifications. TACAS 1996: 70-86 - 1995
- [j2]Daniel Jackson:
Aspect: Detecting Bugs with Abstract Dependences. ACM Trans. Softw. Eng. Methodol. 4(2): 109-145 (1995) - [j1]Daniel Jackson:
Structuring Z Specifications with Views. ACM Trans. Softw. Eng. Methodol. 4(4): 365-389 (1995) - [c8]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 - 1994
- [c7]Daniel Jackson:
Abstract Model Checking of Infinite Specifications. FME 1994: 519-531 - [c6]Daniel Jackson, David A. Ladd:
Semantic Diff: A Tool for Summarizing the Effects of Modifications. ICSM 1994: 243-252 - [c5]