Daniel Jackson

ORCID

Publication Activity (10 Years)

Years Active: 1989-2024
Publications (10 Years): 26

Top Venues

Publications

Evan Caragay, Katherine Xiong, Jonathan Zong, Daniel Jackson
Beyond Dark Patterns: A Concept-Based Framework for Ethical Software Design. CHI (2024)
Daniel Jackson
Keynote Lecture. ENASE (2024)
Evan Caragay, Katherine Xiong, Jonathan Zong, Daniel Jackson
Beyond Dark Patterns: A Concept-Based Framework for Software Design Ethics. CoRR (2023)
Geoffrey Litt, Nicholas Schiefer, Johannes Schickling, Daniel Jackson
Riffle: Reactive Relational State for Local-First Applications. UIST (2023)
Josh Pollock, Catherine Mei, Grace Huang, Daniel Jackson, Arvind Satyanarayan
Bluefish: A Relational Grammar of Graphics. CoRR (2023)
Peter A. Wilczynski, Taylor Gregoire-Wright, Daniel Jackson
Concept-Centric Software Development: An Experience Report. Onward! (2023)
Peter A. Wilczynski, Taylor Gregoire-Wright, Daniel Jackson
Concept-centric Software Development. CoRR (2023)
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)
Daniel Jackson
Concept Design Moves. NFM (2022)
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 (2021)
Kapaya Katongo, Geoffrey Litt, Daniel Jackson
Towards End-User Web Scraping for Customization. Programming (2021)
Geoffrey Litt, Daniel Jackson
Wildcard: spreadsheet-driven customization of web applications. Programming (2020)
James Koppel, Daniel Jackson
Demystifying dependence. Onward! (2020)
Geoffrey Litt, Daniel Jackson, Tyler Millis, Jessica Ayeley Quaye
End-user software customization by direct manipulation of tabular data. Onward! (2020)
Daniel Jackson
Alloy: a language and tool for exploring software designs. Commun. ACM 62 (9) (2019)
Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
Alloy*: a general-purpose higher-order relational constraint solver. Formal Methods Syst. Des. 55 (1) (2019)
Santiago Perez De Rosso, Daniel Jackson, Maryam Archie, Czarina Lao, Barry A. McNamara III
Declarative assembly of web applications from predefined concepts. Onward! (2019)
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) (2018)
Santiago Perez De Rosso, Daniel Jackson
Purposes, concepts, misfits, and a redesign of git. OOPSLA (2016)
Jianye Hao, Eunsuk Kang, Jun Sun, Daniel Jackson
Designing minimal effective normative systems with the help of lightweight formal methods. SIGSOFT FSE (2016)
Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur
Model-based security analysis of a water treatment system. SEsCPS@ICSE (2016)
Matt McCutchen, Shachar Itzhaky, Daniel Jackson
Object spreadsheets: a new computational model for end-user development of data-centric web applications. Onward! (2016)
Joseph P. Near, Daniel Jackson
Finding security bugs in web applications using a catalog of access control patterns. ICSE (2016)
Eunsuk Kang, Aleksandar Milicevic, Daniel Jackson
Multi-representational security analysis. SIGSOFT FSE (2016)
Ivan Kuraj, Daniel Jackson
Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift. Onward! (2016)
Daniel Jackson, Mandana Vaziri
Correct or usable? the limits of traditional verification (impact paper award). SIGSOFT FSE (2016)
Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification. FM (2015)
Ivan Kuraj, Viktor Kuncak, Daniel Jackson
Programming with enumerable sets of structures. OOPSLA (2015)
Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. ICSE (1) (2015)
Daniel Jackson
Towards a theory of conceptual design for software. Onward! (2015)
Aleksandar Milicevic, Daniel Jackson
Preventing arithmetic overflows in Alloy. Sci. Comput. Program. 94 (2014)
Aleksandar Milicevic, Ido Efrati, Daniel Jackson
αRby - An Embedding of Alloy in Ruby. ABZ (2014)
Joseph P. Near, Daniel Jackson
Derailer: interactive security analysis for web applications. ASE (2014)
Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun
Adaptive Defending Strategy for Smart Grid Attacks. SEGS@CCS (2014)
Santiago Perez De Rosso, Daniel Jackson
What's wrong with git?: a conceptual design analysis. Onward! (2013)
Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov
Model-based, event-driven programming paradigm for interactive web applications. Onward! (2013)
Joseph P. Near, Daniel Jackson
Rubicon: bounded verification of web applications. SIGSOFT FSE (2012)
Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson
Synthesizing iterators from abstraction functions. GPCE (2012)
Aleksandar Milicevic, Daniel Jackson
Preventing Arithmetic Overflows in Alloy. ABZ (2012)
Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson
Unifying execution of imperative and declarative code. ICSE (2011)
Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson
A lightweight code analysis and its role in evaluation of a dependability case. ICSE (2011)
Joseph P. Near, Daniel Jackson
An Imperative Extension to Alloy. ASM (2010)
Eunsuk Kang, Daniel Jackson
Dependability Arguments with Trusted Bases. RE (2010)
Daniel Jackson, Eunsuk Kang
Separation of concerns for dependable software design. FoSER (2010)
Daniel Jackson, Eunsuk Kang
A Structure for Dependability Arguments. ASM (2010)
Eunsuk Kang, Daniel Jackson
Patterns for building dependable systems with trusted bases. PLoP (2010)
Daniel Jackson
A direct path to dependable software. Commun. ACM 52 (4) (2009)
Eunsuk Kang, Daniel Jackson
Designing and Analyzing a Flash File System with Alloy. Int. J. Softw. Informatics 3 (2-3) (2009)
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)
Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson
Agile specifications. OOPSLA Companion (2009)
Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson
Finding Minimal Unsatisfiable Cores of Declarative Specifications. FM (2008)
Eunsuk Kang, Daniel Jackson
Formal Modeling and Analysis of a Flash Filesystem in Alloy. ABZ (2008)
Daniel Jackson
Hazards of Verification. Haifa Verification Conference (2008)
Greg Dennis, Kuat Yessenov, Daniel Jackson
Bounded Verification of Voting Software. VSTTE (2008)
Robert Seater, Daniel Jackson, Rohit Gheyi
Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. 12 (2) (2007)
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)
Mana Taghdiri, Daniel Jackson
Inferring specifications to detect errors in code. Autom. Softw. Eng. 14 (1) (2007)
Emina Torlak, Daniel Jackson
Kodkod: A Relational Model Finder. TACAS (2007)
Robert Seater, Daniel Jackson
Requirement Progression in Problem Frames Applied to a Proton Therapy System. RE (2006)
Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas
Knowledge Flow Analysis for Security Protocols CoRR (2006)
Robert Seater, Daniel Jackson
Problem frame transformations: deriving specifications from requirements. IWAAPF@ICSE (2006)
Felix Sheng-Ho Chang, Daniel Jackson
Symbolic model checking of declarative relational models. ICSE (2006)
Mana Taghdiri, Robert Seater, Daniel Jackson
Lightweight extraction of syntactic specifications. SIGSOFT FSE (2006)
Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson
Modular verification of code with SAT. ISSTA (2006)
Daniel Jackson
Idioms of Logical Modelling. ICGT (2006)
Daniel Jackson, Michael Jackson
Separating Concerns in Requirements Analysis: An Example. RODIN Book (2006)
Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson
Using dependency models to manage complex software architecture. OOPSLA (2005)
Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson
Using dependency models to manage software architecture. OOPSLA Companion (2005)
Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman
Critical feature analysis of a radiotherapy machine. Reliab. Eng. Syst. Saf. 89 (1) (2005)
Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson
An analysis and visualization for revealing object sharing. eTX (2005)
Viktor Kuncak, Daniel Jackson
Relational analysis of algebraic datatypes. ESEC/SIGSOFT FSE (2005)
Daniel Jackson
Dependable Software: An Oxymoron&. RE (2005)
Jonathan Edwards, Daniel Jackson, Emina Torlak
A type system for object models. SIGSOFT FSE (2004)
Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson
Software assurance by bounded exhaustive testing. ISSTA (2004)
Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson
Automating commutativity analysis at the design level. ISSTA (2004)
Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung
Faster constraint solving with subtypes. ISSTA (2004)
Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman
Critical Feature Analysis of a Radiotherapy Machine. SAFECOMP (2003)
Mana Taghdiri, Daniel Jackson
A Lightweight Formal Analysis of a Multicast Key Management Scheme. FORTE (2003)
Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE (2003)
Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
A Case for Efficient Solution Enumeration. SAT (2003)
Mandana Vaziri, Daniel Jackson
Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. TACAS (2003)
Daniel Jackson
Alloy: A Logical Modelling Language. ZB (2003)
Daniel Jackson
Alloy: A New Technology for Software Modelling. TACAS (2002)
Daniel Jackson
Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. 11 (2) (2002)
Daniel Jackson
Module Dependences in Software Design. RISSEF (2002)
Sarfraz Khurshid, Darko Marinov, Daniel Jackson
An analyzable annotation language. OOPSLA (2002)
Daniel Jackson, Alan D. Fekete
Lightweight Analysis of Object Interactions. TACS (2001)
Daniel Jackson
Lightweight Formal Methods. FME (2001)
Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
A micromodularity mechanism. ESEC / SIGSOFT FSE (2001)
Daniel Jackson, Allison Waingold
Lightweight Extraction of Object Models from Bytecode. IEEE Trans. Software Eng. 27 (2) (2001)
Daniel Jackson, Ian Schechter, Ilya Shlyakhter
Alcoa: the alloy constraint analyzer. ICSE (2000)
Daniel Jackson
Automating first-order relational logic. SIGSOFT FSE (2000)
Daniel Jackson, Martin C. Rinard
Software analysis: a roadmap: a roadmap. ICSE - Future of SE Track (2000)
Sarfraz Khurshid, Daniel Jackson
Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. ASE (2000)
Daniel Jackson, Mandana Vaziri
Finding bugs with a constraint solver. ISSTA (2000)
Daniel Jackson, John Chapin
Redesigning Air Traffic Control: An Exercise in Software Design. IEEE Softw. 17 (3) (2000)
Daniel Jackson
Enforcing Design Constraints with Object Logic. SAS (2000)
Daniel Jackson, Kevin J. Sullivan
COM revisited: tool-assisted modelling of an architectural framework. SIGSOFT FSE (2000)
Mandana Vaziri, Daniel Jackson
Some Shortcomings of OCL, the Object Constraint Language of UML. TOOLS (34) (2000)
Daniel Jackson, Allison Waingold
Lightweight Extraction of Object Models from Bytecode. ICSE (1999)

Daniel Jackson.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Daniel Jackson