Travelled to:1 × Australia
1 × Austria
1 × Brazil
1 × China
1 × Finland
1 × Norway
1 × Poland
1 × South Korea
1 × Spain
1 × Sweden
2 × Ireland
2 × Italy
2 × Portugal
25 × USA
3 × France
3 × Germany
5 × Canada
Collaborated with:∅ J.P.Near C.Damon M.Vaziri E.Kang A.Milicevic E.Torlak F.S.Chang I.Shlyakhter S.Khurshid R.Seater P.Olivier V.Kuncak D.Marinov S.Jha D.Rayside M.Taghdiri M.Sridharan S.Lindsay S.P.D.Rosso K.J.Sullivan M.C.Rinard A.Waingold R.O'Callahan E.J.Rollins D.A.Ladd G.Schofield K.Ladha C.Ladha I.Kuraj G.Dennis J.Edwards I.Schechter H.Bagheri S.Malek J.Nicholson M.Huber M.Gligoric K.Yessenov N.Sangal E.Jordan V.Sinha N.Y.Hammerla D.Garlan A.W.Brown J.E.Tomayko J.M.Wing R.McNaney K.Brittain V.Montaghami F.Leung A.Yuen K.Xu Z.Benjamin R.Singh D.Nowacka E.Rukzio M.Balaam A.Holden M.Webster B.Galna G.Barry L.Rochester T.Plötz R.Walker N.Miller
Talks about:model (13) design (10) softwar (8) constraint (7) analysi (7) specif (6) relat (6) depend (5) check (5) lightweight (4)
♂ Person: Daniel Jackson
DBLP: Jackson:Daniel
Facilitated 1 volumes:
PrCoContributed to:
2015
2015
2015
2015
2015
20142014201320132012
2012
201220112011
201020092008
20072006
20062006
20062006
20052005200520042003
20032003200220022001200120002000200020002000
2000
200019991998199719961996
19961996
199519941994
199419931991Wrote 58 papers:
- CHI-2015-McNaneyBHSJWGBR #design #game studies #people
- Designing for and with People with Parkinson’s: A Focus on Exergaming (RM, MB, AH, GS, DJ, MW, BG, GB, LR, PO), pp. 501–510.
- FM-2015-BagheriKMJ #android #bound #design #detection #protocol #verification
- Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification (HB, EK, SM, DJ), pp. 73–89.
- ICSE-v1-2015-MilicevicNKJ #constraints #higher-order #relational #theorem proving
- Alloy*: A General-Purpose Higher-Order Relational Constraint Solver (AM, JPN, EK, DJ), pp. 609–619.
- OOPSLA-2015-KurajKJ #programming #set
- Programming with enumerable sets of structures (IK, VK, DJ), pp. 37–56.
- Onward-2015-Jackson #concept #design #formal method #towards
- Towards a theory of conceptual design for software (DJ), pp. 282–296.
- ASE-2014-NearJ #analysis #interactive #named #security #web
- Derailer: interactive security analysis for web applications (JPN, DJ), pp. 587–598.
- CHI-2014-NicholsonHJO
- Panopticon as an eLearning support search tool (JN, MH, DJ, PO), pp. 1221–1224.
- CHI-2013-NowackaLHJLRO #multi #named
- Touchbugs: actuated tangibles on multi-touch tables (DN, KL, NYH, DJ, CL, ER, PO), pp. 759–762.
- Onward-2013-MilicevicJGM #interactive #modelling #paradigm #programming #web
- Model-based, event-driven programming paradigm for interactive web applications (AM, DJ, MG, DM), pp. 17–36.
- Onward-2013-RossoJ #analysis #concept #design #git #what
- What’s wrong with git?: a conceptual design analysis (SPDR, DJ), pp. 37–52.
- CHI-2012-LindsayBJLLO #design #people
- Empathy, participatory design and people with dementia (SL, KB, DJ, CL, KL, PO), pp. 521–530.
- CHI-2012-LindsayJSO #design #people #using
- Engaging older people using participatory design (SL, DJ, GS, PO), pp. 1199–1208.
- FSE-2012-NearJ #bound #named #verification #web
- Rubicon: bounded verification of web applications (JPN, DJ), p. 60.
- GPCE-2012-RaysideMLYXJ #abstraction
- Synthesizing iterators from abstraction functions (DR, VM, FL, AY, KX, DJ), pp. 31–40.
- CHI-2011-McNaneyLLLSPHJWMO
- Cueing for drooling in Parkinson’s disease (RM, SL, KL, CL, GS, TP, NYH, DJ, RW, NM, PO), pp. 619–622.
- ICSE-2011-MilicevicRYJ #declarative #execution #imperative
- Unifying execution of imperative and declarative code (AM, DR, KY, DJ), pp. 511–520.
- ICSE-2011-NearMKJ #analysis #dependence #evaluation #lightweight
- A lightweight code analysis and its role in evaluation of a dependability case (JPN, AM, EK, DJ), pp. 31–40.
- RE-2010-KangJ #dependence
- Dependability Arguments with Trusted Bases (EK, DJ), pp. 262–271.
- ICSE-2009-RaysideBSNMJ #abstraction #generative #implementation #similarity
- Equality and hashing for (almost) free: Generating implementations from abstraction functions (DR, ZB, RS, JPN, AM, DJ), pp. 342–352.
- FM-2008-TorlakCJ #declarative #satisfiability #specification
- Finding Minimal Unsatisfiable Cores of Declarative Specifications (ET, FSHC, DJ), pp. 326–341.
- TACAS-2007-TorlakJ #named #relational
- Kodkod: A Relational Model Finder (ET, DJ), pp. 632–647.
- FSE-2006-TaghdiriSJ #lightweight #specification
- Lightweight extraction of syntactic specifications (MT, RS, DJ), pp. 276–286.
- ICGT-2006-Jackson #logic #modelling
- Idioms of Logical Modelling (DJ), p. 14.
- ICSE-2006-ChangJ #declarative #model checking #modelling #relational
- Symbolic model checking of declarative relational models (FSHC, DJ), pp. 312–320.
- ISSTA-2006-DennisCJ #composition #satisfiability #verification
- Modular verification of code with SAT (GD, FSHC, DJ), pp. 109–120.
- RE-2006-SeaterJ #problem
- Requirement Progression in Problem Frames Applied to a Proton Therapy System (RS, DJ), pp. 166–175.
- ESEC-FSE-2005-KuncakJ #algebra #analysis #data type #relational
- Relational analysis of algebraic datatypes (VK, DJ), pp. 207–216.
- OOPSLA-2005-SangalJSJ #architecture #dependence #modelling #using
- Using dependency models to manage complex software architecture (NS, EJ, VS, DJ), pp. 167–176.
- RE-2005-Jackson #question
- Dependable Software: An Oxymoron? (DJ), p. 3.
- FSE-2004-EdwardsJT #modelling #type system
- A type system for object models (JE, DJ, ET), pp. 189–199.
- ASE-2003-ShlyakhterSJST #debugging #declarative #modelling #satisfiability #using
- Debugging Overconstrained Declarative Models Using Unsatisfiable Cores (IS, RS, DJ, MS, MT), pp. 94–105.
- SAT-2003-KhurshidMSJ #performance
- A Case for Efficient Solution Enumeration (SK, DM, IS, DJ), pp. 272–286.
- TACAS-2003-VaziriJ #constraints #theorem proving
- Checking Properties of Heap-Manipulating Procedures with a Constraint Solver (MV, DJ), pp. 505–520.
- OOPSLA-2002-KhurshidMJ
- An analyzable annotation language (SK, DM, DJ), pp. 231–245.
- TACAS-2002-Jackson #alloy #modelling #named
- Alloy: A New Technology for Software Modelling (DJ), p. 20.
- ESEC-FSE-2001-JacksonSS
- A micromodularity mechanism (DJ, IS, MS), pp. 62–73.
- FME-2001-Jackson #formal method #lightweight
- Lightweight Formal Methods (DJ), p. 1.
- ASE-2000-KhurshidJ #automation #constraints #design
- Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer (SK, DJ), pp. 13–22.
- FSE-2000-Jackson #automation #first-order #logic #relational
- Automating first-order relational logic (DJ), pp. 130–139.
- FSE-2000-JacksonS #architecture #framework #modelling
- COM revisited: tool-assisted modelling of an architectural framework (DJ, KJS), pp. 149–158.
- FoSE-2000-JacksonR #analysis #roadmap
- Software analysis: a roadmap (DJ, MCR), pp. 133–145.
- ICSE-2000-JacksonSS #alloy #constraints #named
- Alcoa: the alloy constraint analyzer (DJ, IS, IS), pp. 730–733.
- ISSTA-2000-JacksonV #constraints #debugging #theorem proving
- Finding bugs with a constraint solver (DJ, MV), pp. 14–25.
- SAS-2000-Jackson #constraints #design #logic
- Enforcing Design Constraints with Object Logic (DJ), pp. 1–21.
- TOOLS-USA-2000-VaziriJ #constraints #ocl #uml
- Some Shortcomings of OCL, the Object Constraint Language of UML (MV, DJ), pp. 555–562.
- ICSE-1999-JacksonW #bytecode #lightweight #modelling
- Lightweight Extraction of Object Models from Bytecode (DJ, AW), pp. 194–202.
- FSE-1998-Jackson #analysis #design
- An Intermedicate Design Language and Its Analysis (DJ), pp. 121–130.
- ICSE-1997-OCallahanJ #comprehension #named #type inference
- Lackwit: A Program Understanding Tool Based on Type Inference (RO, DJ), pp. 338–348.
- FSE-1996-DamonJJ #diagrams #relational #specification
- Checking Relational Specifications With Binary Decision Diagrams (CD, DJ, SJ), pp. 70–80.
- ISSTA-1996-JacksonD #design #detection
- Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector (DJ, CD), pp. 239–249.
- POPL-1996-JacksonJD #performance #specification
- Faster Checking of Software Specifications by Eliminating Isomorphs (DJ, SJ, CD), pp. 79–90.
- TACAS-1996-DamonJ #performance #specification
- Efficient Search as a Means of Executing Specifications (CD, DJ), pp. 70–86.
- CSEE-1995-GarlanBJTW #education #re-engineering
- The CMU Master of Software Engineering Core Curriculum (DG, AWB, DJ, JET, JMW), pp. 65–86.
- FME-1994-Jackson #infinity #model checking #specification
- Abstract Model Checking of Infinite Specifications (DJ), pp. 519–531.
- FSE-1994-JacksonR #dependence #reverse engineering
- A New Model of Program Dependences for Reverse Engineering (DJ, EJR), pp. 2–10.
- ICSM-1994-JacksonL #semantics
- Semantic Diff: A Tool for Summarizing the Effects of Modifications (DJ, DAL), pp. 243–252.
- ISSTA-1993-Jackson #analysis
- Abstract Analysis with Aspect (DJ), pp. 19–27.
- ICSE-1991-Jackson #detection #named
- Aspect: An Economical Bug-Detector (DJ), pp. 13–22.