Daniel Jackson

126 papers A* 16A 19B 7C 5Journal 27Unranked 50

Year	Rank	Type	Title / Venue / Authors
2024	—	`ch.`	A Concept-Oriented Approach to Software Development. The Practice of Formal Methods (I) Daniel Jackson
2024	A*	`conf`	Beyond Dark Patterns: A Concept-Based Framework for Ethical Software Design. CHI Evan Caragay, Katherine Xiong, Jonathan Zong, Daniel Jackson
2024	A*	`conf`	Bluefish: Composing Diagrams with Declarative Relations. UIST Josh Pollock, Catherine Mei, Grace Huang, Elliot Evans, Daniel Jackson, Arvind Satyanarayan
2024	B	`conf`	Keynote Lecture. ENASE Daniel Jackson
2023	J	`jnl`	Beyond Dark Patterns: A Concept-Based Framework for Software Design Ethics. CoRR Evan Caragay, Katherine Xiong, Jonathan Zong, Daniel Jackson
2023	J	`jnl`	Bluefish: A Relational Grammar of Graphics. CoRR Josh Pollock, Catherine Mei, Grace Huang, Daniel Jackson, Arvind Satyanarayan
2023	—	`conf`	Concept-Centric Software Development: An Experience Report. Onward! Peter A. Wilczynski, Taylor Gregoire-Wright, Daniel Jackson
2023	J	`jnl`	Concept-centric Software Development. CoRR Peter A. Wilczynski, Taylor Gregoire-Wright, Daniel Jackson
2023	A*	`conf`	Riffle: Reactive Relational State for Local-First Applications. UIST Geoffrey Litt, Nicholas Schiefer, Johannes Schickling, Daniel Jackson
2022	—	`conf`	Concept Design Moves. NFM Daniel Jackson
2022	—	`conf`	Merge what you can, fork what you can't: managing data integrity in local-first software. PaPoC@EuroSys Nicholas Schiefer, Geoffrey Litt, Daniel Jackson
2021	J	`jnl`	Certified Control: An Architecture for Verifiable Safety of Autonomous Vehicles. CoRR Daniel Jackson, Valerie Richmond, Mike Wang, Jeff Chow, Uriel Guajardo, Soonho Kong, Sergio Campos, Geoffrey Litt, Nikos Aréchiga
2021	—	`conf`	Towards End-User Web Scraping for Customization. Programming Kapaya Katongo, Geoffrey Litt, Daniel Jackson
2020	—	`conf`	Demystifying dependence. Onward! James Koppel, Daniel Jackson
2020	—	`conf`	End-user software customization by direct manipulation of tabular data. Onward! Geoffrey Litt, Daniel Jackson, Tyler Millis, Jessica Ayeley Quaye
2020	—	`conf`	Wildcard: spreadsheet-driven customization of web applications. Programming Geoffrey Litt, Daniel Jackson
2019	J	`jnl`	Alloy*: a general-purpose higher-order relational constraint solver. Formal Methods Syst. Des. Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
2019	J	`jnl`	Alloy: a language and tool for exploring software designs. Commun. ACM Daniel Jackson
2019	—	`conf`	Declarative assembly of web applications from predefined concepts. Onward! Santiago Perez De Rosso, Daniel Jackson, Maryam Archie, Czarina Lao, Barry A. McNamara III
2018	J	`jnl`	A formal approach for detection of security flaws in the android permission system. Formal Aspects Comput. Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
2016	—	`conf`	Correct or usable? the limits of traditional verification (impact paper award). SIGSOFT FSE Daniel Jackson, Mandana Vaziri
2016	—	`conf`	Designing minimal effective normative systems with the help of lightweight formal methods. SIGSOFT FSE Jianye Hao, Eunsuk Kang, Jun Sun, Daniel Jackson
2016	—	`conf`	Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift. Onward! Ivan Kuraj, Daniel Jackson
2016	A*	`conf`	Finding security bugs in web applications using a catalog of access control patterns. ICSE Joseph P. Near, Daniel Jackson
2016	—	`conf`	Model-based security analysis of a water treatment system. SEsCPS@ICSE Eunsuk Kang, Sridhar Adepu, Daniel Jackson, Aditya P. Mathur
2016	—	`conf`	Multi-representational security analysis. SIGSOFT FSE Eunsuk Kang, Aleksandar Milicevic, Daniel Jackson
2016	—	`conf`	Object spreadsheets: a new computational model for end-user development of data-centric web applications. Onward! Matt McCutchen, Shachar Itzhaky, Daniel Jackson
2016	A	`conf`	Purposes, concepts, misfits, and a redesign of git. OOPSLA Santiago Perez De Rosso, Daniel Jackson
2015	—	`conf`	Alloy*: A General-Purpose Higher-Order Relational Constraint Solver. ICSE (1) Aleksandar Milicevic, Joseph P. Near, Eunsuk Kang, Daniel Jackson
2015	B	`conf`	Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification. FM Hamid Bagheri, Eunsuk Kang, Sam Malek, Daniel Jackson
2015	A	`conf`	Programming with enumerable sets of structures. OOPSLA Ivan Kuraj, Viktor Kuncak, Daniel Jackson
2015	—	`conf`	Towards a theory of conceptual design for software. Onward! Daniel Jackson
2014	—	`conf`	Adaptive Defending Strategy for Smart Grid Attacks. SEGS@CCS Jianye Hao, Eunsuk Kang, Daniel Jackson, Jun Sun
2014	A*	`conf`	Derailer: interactive security analysis for web applications. ASE Joseph P. Near, Daniel Jackson
2014	J	`jnl`	Preventing arithmetic overflows in Alloy. Sci. Comput. Program. Aleksandar Milicevic, Daniel Jackson
2014	C	`conf`	αRby - An Embedding of Alloy in Ruby. ABZ Aleksandar Milicevic, Ido Efrati, Daniel Jackson
2013	—	`conf`	Model-based, event-driven programming paradigm for interactive web applications. Onward! Aleksandar Milicevic, Daniel Jackson, Milos Gligoric, Darko Marinov
2013	—	`conf`	What's wrong with git?: a conceptual design analysis. Onward! Santiago Perez De Rosso, Daniel Jackson
2012	C	`conf`	Preventing Arithmetic Overflows in Alloy. ABZ Aleksandar Milicevic, Daniel Jackson
2012	—	`conf`	Rubicon: bounded verification of web applications. SIGSOFT FSE Joseph P. Near, Daniel Jackson
2012	B	`conf`	Synthesizing iterators from abstraction functions. GPCE Derek Rayside, Vajih Montaghami, Francesca Leung, Albert Yuen, Kevin Xu, Daniel Jackson
2011	A*	`conf`	A lightweight code analysis and its role in evaluation of a dependability case. ICSE Joseph P. Near, Aleksandar Milicevic, Eunsuk Kang, Daniel Jackson
2011	A*	`conf`	Unifying execution of imperative and declarative code. ICSE Aleksandar Milicevic, Derek Rayside, Kuat Yessenov, Daniel Jackson
2010	—	`conf`	A Structure for Dependability Arguments. ASM Daniel Jackson, Eunsuk Kang
2010	—	`conf`	An Imperative Extension to Alloy. ASM Joseph P. Near, Daniel Jackson
2010	A	`conf`	Dependability Arguments with Trusted Bases. RE Eunsuk Kang, Daniel Jackson
2010	C	`conf`	Patterns for building dependable systems with trusted bases. PLoP Eunsuk Kang, Daniel Jackson
2010	—	`conf`	Separation of concerns for dependable software design. FoSER Daniel Jackson, Eunsuk Kang
2009	J	`jnl`	A direct path to dependable software. Commun. ACM Daniel Jackson
2009	—	`conf`	Agile specifications. OOPSLA Companion Derek Rayside, Aleksandar Milicevic, Kuat Yessenov, Greg Dennis, Daniel Jackson
2009	J	`jnl`	Designing and Analyzing a Flash File System with Alloy. Int. J. Softw. Informatics Eunsuk Kang, Daniel Jackson
2009	A*	`conf`	Equality and hashing for (almost) free: Generating implementations from abstraction functions. ICSE Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson
2008	—	`conf`	Bounded Verification of Voting Software. VSTTE Greg Dennis, Kuat Yessenov, Daniel Jackson
2008	B	`conf`	Finding Minimal Unsatisfiable Cores of Declarative Specifications. FM Emina Torlak, Felix Sheng-Ho Chang, Daniel Jackson
2008	C	`conf`	Formal Modeling and Analysis of a Flash Filesystem in Alloy. ABZ Eunsuk Kang, Daniel Jackson
2008	—	`conf`	Hazards of Verification. Haifa Verification Conference Daniel Jackson
2007	J	`jnl`	Automatic Visualization of Relational Logic Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Derek Rayside, Felix Sheng-Ho Chang, Greg Dennis, Robert Seater, Daniel Jackson
2007	J	`jnl`	Inferring specifications to detect errors in code. Autom. Softw. Eng. Mana Taghdiri, Daniel Jackson
2007	A	`conf`	Kodkod: A Relational Model Finder. TACAS Emina Torlak, Daniel Jackson
2007	J	`jnl`	Requirement progression in problem frames: deriving specifications from requirements. Requir. Eng. Robert Seater, Daniel Jackson, Rohit Gheyi
2006	B	`conf`	Idioms of Logical Modelling. ICGT Daniel Jackson
2006	J	`jnl`	Knowledge Flow Analysis for Security Protocols CoRR Emina Torlak, Marten van Dijk, Blaise Gassend, Daniel Jackson, Srinivas Devadas
2006	—	`conf`	Lightweight extraction of syntactic specifications. SIGSOFT FSE Mana Taghdiri, Robert Seater, Daniel Jackson
2006	A	`conf`	Modular verification of code with SAT. ISSTA Greg Dennis, Felix Sheng-Ho Chang, Daniel Jackson
2006	—	`conf`	Problem frame transformations: deriving specifications from requirements. IWAAPF@ICSE Robert Seater, Daniel Jackson
2006	A	`conf`	Requirement Progression in Problem Frames Applied to a Proton Therapy System. RE Robert Seater, Daniel Jackson
2006	—	`conf`	Separating Concerns in Requirements Analysis: An Example. RODIN Book Daniel Jackson, Michael Jackson
2006	—	`book`	Software Abstractions - Logic, Language, and Analysis. Daniel Jackson
2006	A*	`conf`	Symbolic model checking of declarative relational models. ICSE Felix Sheng-Ho Chang, Daniel Jackson
2005	—	`conf`	An analysis and visualization for revealing object sharing. eTX Derek Rayside, Lucy Mendel, Robert Seater, Daniel Jackson
2005	J	`jnl`	Critical feature analysis of a radiotherapy machine. Reliab. Eng. Syst. Saf. Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman
2005	A	`conf`	Dependable Software: An Oxymoron&. RE Daniel Jackson
2005	—	`conf`	Relational analysis of algebraic datatypes. ESEC/SIGSOFT FSE Viktor Kuncak, Daniel Jackson
2005	A	`conf`	Using dependency models to manage complex software architecture. OOPSLA Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson
2005	—	`conf`	Using dependency models to manage software architecture. OOPSLA Companion Neeraj Sangal, Ev Jordan, Vineet Sinha, Daniel Jackson
2004	—	`conf`	A type system for object models. SIGSOFT FSE Jonathan Edwards, Daniel Jackson, Emina Torlak
2004	A	`conf`	Automating commutativity analysis at the design level. ISSTA Greg Dennis, Robert Seater, Derek Rayside, Daniel Jackson
2004	A	`conf`	Faster constraint solving with subtypes. ISSTA Jonathan Edwards, Daniel Jackson, Emina Torlak, Vincent Yeung
2004	A	`conf`	Software assurance by bounded exhaustive testing. ISSTA Kevin J. Sullivan, Jinlin Yang, David Coppit, Sarfraz Khurshid, Daniel Jackson
2003	A	`conf`	A Case for Efficient Solution Enumeration. SAT Sarfraz Khurshid, Darko Marinov, Ilya Shlyakhter, Daniel Jackson
2003	C	`conf`	A Lightweight Formal Analysis of a Multicast Key Management Scheme. FORTE Mana Taghdiri, Daniel Jackson
2003	—	`conf`	Alloy: A Logical Modelling Language. ZB Daniel Jackson
2003	A	`conf`	Checking Properties of Heap-Manipulating Procedures with a Constraint Solver. TACAS Mandana Vaziri, Daniel Jackson
2003	B	`conf`	Critical Feature Analysis of a Radiotherapy Machine. SAFECOMP Andrew Rae, Daniel Jackson, Prasad Ramanan, Jay Flanz, Didier Leyman
2003	A*	`conf`	Debugging Overconstrained Declarative Models Using Unsatisfiable Cores. ASE Ilya Shlyakhter, Robert Seater, Daniel Jackson, Manu Sridharan, Mana Taghdiri
2002	A	`conf`	Alloy: A New Technology for Software Modelling. TACAS Daniel Jackson
2002	J	`jnl`	Alloy: a lightweight object modelling notation. ACM Trans. Softw. Eng. Methodol. Daniel Jackson
2002	A	`conf`	An analyzable annotation language. OOPSLA Sarfraz Khurshid, Darko Marinov, Daniel Jackson
2002	—	`conf`	Module Dependences in Software Design. RISSEF Daniel Jackson
2001	—	`conf`	A micromodularity mechanism. ESEC / SIGSOFT FSE Daniel Jackson, Ilya Shlyakhter, Manu Sridharan
2001	—	`conf`	Lightweight Analysis of Object Interactions. TACS Daniel Jackson, Alan D. Fekete
2001	J	`jnl`	Lightweight Extraction of Object Models from Bytecode. IEEE Trans. Software Eng. Daniel Jackson, Allison Waingold
2001	—	`conf`	Lightweight Formal Methods. FME Daniel Jackson
2000	A*	`conf`	Alcoa: the alloy constraint analyzer. ICSE Daniel Jackson, Ian Schechter, Ilya Shlyakhter
2000	—	`conf`	Automating first-order relational logic. SIGSOFT FSE Daniel Jackson
2000	—	`conf`	COM revisited: tool-assisted modelling of an architectural framework. SIGSOFT FSE Daniel Jackson, Kevin J. Sullivan
2000	B	`conf`	Enforcing Design Constraints with Object Logic. SAS Daniel Jackson
2000	A*	`conf`	Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer. ASE Sarfraz Khurshid, Daniel Jackson
2000	A	`conf`	Finding bugs with a constraint solver. ISSTA Daniel Jackson, Mandana Vaziri
2000	J	`jnl`	Redesigning Air Traffic Control: An Exercise in Software Design. IEEE Softw. Daniel Jackson, John Chapin
2000	—	`conf`	Software analysis: a roadmap: a roadmap. ICSE - Future of SE Track Daniel Jackson, Martin C. Rinard
2000	—	`conf`	Some Shortcomings of OCL, the Object Constraint Language of UML. TOOLS (34) Mandana Vaziri, Daniel Jackson
1999	J	`jnl`	A Nitpick Analysis of Mobile IPv6. Formal Aspects Comput. Daniel Jackson, Yu-Chung Ng, Jeannette M. Wing
1999	J	`jnl`	Guest Editorial. Autom. Softw. Eng. Rance Cleaveland, Daniel Jackson
1999	A*	`conf`	Lightweight Extraction of Object Models from Bytecode. ICSE Daniel Jackson, Allison Waingold
1998	—	`conf`	An Intermedicate Design Language and Its Analysis. SIGSOFT FSE Daniel Jackson
1998	J	`jnl`	Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications. ACM Trans. Program. Lang. Syst. Daniel Jackson, Somesh Jha, Craig Damon
1997	A*	`conf`	Lackwit: A Program Understanding Tool Based on Type Inference. ICSE Robert O'Callahan, Daniel Jackson
1996	J	`jnl`	An Invitation to Formal Methods. Computer 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
1996	—	`conf`	Checking Relational Specifications With Binary Decision Diagrams. SIGSOFT FSE Craig Damon, Daniel Jackson, Somesh Jha
1996	J	`jnl`	Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint). IEEE Softw. Brian Lawrence, Daniel Jackson
1996	A	`conf`	Efficient Search as a Means of Executing Specifications. TACAS Craig Damon, Daniel Jackson
1996	A	`conf`	Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. ISSTA Daniel Jackson, Craig Damon
1996	J	`jnl`	Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector. IEEE Trans. Software Eng. Daniel Jackson, Craig Damon
1996	A*	`conf`	Faster Checking of Software Specifications by Eliminating Isomorphs. POPL Daniel Jackson, Somesh Jha, Craig Damon
1996	J	`jnl`	Problem decomposition for reuse. Softw. Eng. J. Daniel Jackson, Michael Jackson
1995	J	`jnl`	Aspect: Detecting Bugs with Abstract Dependences. ACM Trans. Softw. Eng. Methodol. Daniel Jackson
1995	J	`jnl`	Structuring Z Specifications with Views ACM Trans. Softw. Eng. Methodol. Daniel Jackson
1995	—	`conf`	The CMU Master of Software Engineering Core Curriculum. CSEE David Garlan, Alan W. Brown, Daniel Jackson, James E. Tomayko, Jeannette M. Wing
1994	—	`conf`	A New Model of Program Dependences for Reverse Engineering. SIGSOFT FSE Daniel Jackson, Eugene J. Rollins
1994	—	`conf`	Abstract Model Checking of Infinite Specifications. FME Daniel Jackson
1994	—	`conf`	Abstraction mechanisms for pictorial slicing. WPC Daniel Jackson, Eugene J. Rollins
1994	—	`conf`	Semantic Diff: A Tool for Summarizing the Effects of Modifications. ICSM Daniel Jackson, David A. Ladd
1993	A	`conf`	Abstract Analysis with Aspect. ISSTA Daniel Jackson
1991	A*	`conf`	Aspect: An Economical Bug-Detector. ICSE Daniel Jackson
1989	—	`conf`	Practical Specification Techniques for Control-Oriented Systems. IFIP Congress Pamela Zave, Daniel Jackson