BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Jackson:Daniel

Facilitated 1 volumes:

CBSE 2001PrCo

Contributed to:

CHI 20152015
FM 20152015
ICSE 20152015
OOPSLA 20152015
Onward! 20152015
ASE 20142014
CHI 20142014
CHI 20132013
Onward! 20132013
CHI 20122012
FSE 20122012
GPCE 20122012
CHI 20112011
ICSE 20112011
RE 20102010
ICSE 20092009
FM 20082008
TACAS 20072007
FSE 20062006
ICGT 20062006
ICSE 20062006
ISSTA 20062006
RE 20062006
ESEC/FSE 20052005
OOPSLA 20052005
RE 20052005
FSE 20042004
ASE 20032003
SAT 20032003
TACAS 20032003
OOPSLA 20022002
TACAS 20022002
ESEC/FSE 20012001
FME 20012001
ASE 20002000
FSE 20002000
ICSE — Future of SE Track 20002000
ICSE 20002000
ISSTA 20002000
SAS 20002000
TOOLS USA 20002000
ICSE 19991999
FSE 19981998
ICSE 19971997
FSE 19961996
ISSTA 19961996
POPL 19961996
TACAS 19961996
CSEE 19951995
FME 19941994
FSE 19941994
ICSM 19941994
ISSTA 19931993
ICSE 19911991

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.