Daniel Jackson

Proceedings of the Programming '21: 5th International Conference on the Art, 2021

2020

Wildcard: spreadsheet-driven customization of web applications.

[BibT_eX]

[DOI]

Geoffrey Litt

Proceedings of the Programming'20: 4th International Conference on the Art, 2020

End-user software customization by direct manipulation of tabular data.

[BibT_eX]

[DOI]

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

Demystifying dependence.

[BibT_eX]

[DOI]

James Koppel

Proceedings of the 2020 ACM SIGPLAN International Symposium on New Ideas, 2020

2019

Alloy*: a general-purpose higher-order relational constraint solver.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2019

Alloy: a language and tool for exploring software designs.

[BibT_eX]

[DOI]

Commun. ACM, 2019

Declarative assembly of web applications from predefined concepts.

[BibT_eX]

[DOI]

Santiago Perez De Rosso

Maryam Archie

Czarina Lao

Barry A. McNamara III

Proceedings of the 2019 ACM SIGPLAN International Symposium on New Ideas, 2019

2018

A formal approach for detection of security flaws in the android permission system.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2018

2016

Multi-representational security analysis.

[BibT_eX]

[DOI]

Aleksandar Milicevic

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Correct or usable? the limits of traditional verification (impact paper award).

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Designing minimal effective normative systems with the help of lightweight formal methods.

[BibT_eX]

[DOI]

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Purposes, concepts, misfits, and a redesign of git.

[BibT_eX]

[DOI]

Santiago Perez De Rosso

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

Object spreadsheets: a new computational model for end-user development of data-centric web applications.

[BibT_eX]

[DOI]

Matt McCutchen

Shachar Itzhaky

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Exploring the role of sequential computation in distributed systems: motivating a programming paradigm shift.

[BibT_eX]

[DOI]

Ivan Kuraj

Proceedings of the 2016 ACM International Symposium on New Ideas, 2016

Finding security bugs in web applications using a catalog of access control patterns.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

Model-based security analysis of a water treatment system.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Software Engineering for Smart Cyber-Physical Systems, 2016

2015

Programming with enumerable sets of structures.

[BibT_eX]

[DOI]

Ivan Kuraj

Viktor Kuncak

Proceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, 2015

Towards a theory of conceptual design for software.

[BibT_eX]

[DOI]

Proceedings of the 2015 ACM International Symposium on New Ideas, 2015

Detection of Design Flaws in the Android Permission Protocol Through Bounded Verification.

[BibT_eX]

[DOI]

Proceedings of the FM 2015: Formal Methods, 2015

2014

Preventing arithmetic overflows in Alloy.

[BibT_eX]

[DOI]

Aleksandar Milicevic

Sci. Comput. Program., 2014

Derailer: interactive security analysis for web applications.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Adaptive Defending Strategy for Smart Grid Attacks.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Smart Energy Grid Security, 2014

αRby - An Embedding of Alloy in Ruby.

[BibT_eX]

[DOI]

Aleksandar Milicevic

Ido Efrati

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2014

2013

What's wrong with git?: a conceptual design analysis.

[BibT_eX]

[DOI]

Santiago Perez De Rosso

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

Model-based, event-driven programming paradigm for interactive web applications.

[BibT_eX]

[DOI]

Proceedings of the ACM Symposium on New Ideas in Programming and Reflections on Software, 2013

2012

Rubicon: bounded verification of web applications.

[BibT_eX]

[DOI]

Proceedings of the 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE-20), 2012

Synthesizing iterators from abstraction functions.

[BibT_eX]

[DOI]

Proceedings of the Generative Programming and Component Engineering, 2012

2011

A lightweight code analysis and its role in evaluation of a dependability case.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

Unifying execution of imperative and declarative code.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering, 2011

2010

Separation of concerns for dependable software design.

[BibT_eX]

[DOI]

Proceedings of the Workshop on Future of Software Engineering Research, 2010

Dependability Arguments with Trusted Bases.

[BibT_eX]

[DOI]

Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Patterns for building dependable systems with trusted bases.

[BibT_eX]

[DOI]

Proceedings of the 17th Conference on Pattern Languages of Programs, 2010

An Imperative Extension to Alloy.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

A Structure for Dependability Arguments.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, 2010

2009

Designing and Analyzing a Flash File System with Alloy.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2009

A direct path to dependable software.

[BibT_eX]

[DOI]

Commun. ACM, 2009

Agile specifications.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 24th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2009

Equality and hashing for (almost) free: Generating implementations from abstraction functions.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

2008

Bounded Verification of Voting Software.

[BibT_eX]

[DOI]

Greg Dennis

Kuat Yessenov

Proceedings of the Verified Software: Theories, 2008

Hazards of Verification.

[BibT_eX]

[DOI]

Proceedings of the Hardware and Software: Verification and Testing, 2008

Finding Minimal Unsatisfiable Cores of Declarative Specifications.

[BibT_eX]

[DOI]

Emina Torlak

Felix Sheng-Ho Chang

Proceedings of the FM 2008: Formal Methods, 2008

Formal Modeling and Analysis of a Flash Filesystem in Alloy.

[BibT_eX]

[DOI]

Proceedings of the Abstract State Machines, B and Z, First International Conference, 2008

2007

Requirement progression in problem frames: deriving specifications from requirements.

[BibT_eX]

[DOI]

Rohit Gheyi

Requir. Eng., 2007

Automatic Visualization of Relational Logic Models.

[BibT_eX]

[DOI]

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007

Inferring specifications to detect errors in code.

[BibT_eX]

[DOI]

Mana Taghdiri

Autom. Softw. Eng., 2007

Kodkod: A Relational Model Finder.

[BibT_eX]

[DOI]

Emina Torlak

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

2006

Knowledge Flow Analysis for Security Protocols

[BibT_eX]

[DOI]

CoRR, 2006

Lightweight extraction of syntactic specifications.

[BibT_eX]

[DOI]

Mana Taghdiri

Proceedings of the 14th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2006

Separating Concerns in Requirements Analysis: An Example.

[BibT_eX]

[DOI]

Michael Jackson

Proceedings of the Rigorous Development of Complex Fault-Tolerant Systems [FP6 IST-511599 RODIN project], 2006

Requirement Progression in Problem Frames Applied to a Proton Therapy System.

[BibT_eX]

[DOI]

Proceedings of the 14th IEEE International Conference on Requirements Engineering (RE 2006), 2006

Modular verification of code with SAT.

[BibT_eX]

[DOI]

Greg Dennis

Felix Sheng-Ho Chang

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2006

Problem frame transformations: deriving specifications from requirements.

[BibT_eX]

[DOI]

Proceedings of the 2006 International Workshop on Advances and Applications of Problem Frames, 2006

Symbolic model checking of declarative relational models.

[BibT_eX]

[DOI]

Felix Sheng-Ho Chang

Proceedings of the 28th International Conference on Software Engineering (ICSE 2006), 2006

Idioms of Logical Modelling.

[BibT_eX]

[DOI]

Proceedings of the Graph Transformations, Third International Conference, 2006

Software Abstractions - Logic, Language, and Analysis.

[BibT_eX]

[DOI]

MIT Press, ISBN: 978-0-262-10114-1, 2006

2005

Critical feature analysis of a radiotherapy machine.

[BibT_eX]

[DOI]

Reliab. Eng. Syst. Saf., 2005

Relational analysis of algebraic datatypes.

[BibT_eX]

[DOI]

Viktor Kuncak

Proceedings of the 10th European Software Engineering Conference held jointly with 13th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2005

Dependable Software: An Oxymoron&.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Requirements Engineering (RE 2005), 29 August, 2005

Using dependency models to manage software architecture.

[BibT_eX]

[DOI]

Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Using dependency models to manage complex software architecture.

[BibT_eX]

[DOI]

Proceedings of the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

An analysis and visualization for revealing object sharing.

[BibT_eX]

[DOI]

Proceedings of the 2005 OOPSLA workshop on Eclipse Technology eXchange, 2005

2004

A type system for object models.

[BibT_eX]

[DOI]

Jonathan Edwards

Emina Torlak

Proceedings of the 12th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2004, Newport Beach, CA, USA, October 31, 2004

Software assurance by bounded exhaustive testing.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Faster constraint solving with subtypes.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Automating commutativity analysis at the design level.

[BibT_eX]

[DOI]

Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

2003

Alloy: A Logical Modelling Language.

[BibT_eX]

[DOI]

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Checking Properties of Heap-Manipulating Procedures with a Constraint Solver.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

A Case for Efficient Solution Enumeration.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing, 2003

Debugging Overconstrained Declarative Models Using Unsatisfiable Cores.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE 2003), 2003

A Lightweight Formal Analysis of a Multicast Key Management Scheme.

[BibT_eX]

[DOI]

Mana Taghdiri

Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003

2002

Alloy: a lightweight object modelling notation.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2002

Alloy: A New Technology for Software Modelling.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

Module Dependences in Software Design.

[BibT_eX]

[DOI]

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

An analyzable annotation language.

[BibT_eX]

[DOI]

Sarfraz Khurshid

Darko Marinov

Proceedings of the 2002 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 2002

2001

Lightweight Extraction of Object Models from Bytecode.

[BibT_eX]

[DOI]

Allison Waingold

IEEE Trans. Software Eng., 2001

Lightweight Analysis of Object Interactions.

[BibT_eX]

[DOI]

Alan D. Fekete

Proceedings of the Theoretical Aspects of Computer Software, 4th International Symposium, 2001

A micromodularity mechanism.

[BibT_eX]

[DOI]

Ilya Shlyakhter

Manu Sridharan

Proceedings of the 8th European Software Engineering Conference held jointly with 9th ACM SIGSOFT International Symposium on Foundations of Software Engineering 2001, 2001

Lightweight Formal Methods.

[BibT_eX]

[DOI]

Proceedings of the FME 2001: Formal Methods for Increasing Software Productivity, 2001

2000

Redesigning Air Traffic Control: An Exercise in Software Design.

[BibT_eX]

[DOI]

John Chapin

IEEE Softw., 2000

Some Shortcomings of OCL, the Object Constraint Language of UML.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 2000: 34th International Conference on Technology of Object-Oriented Languages and Systems, 30 July, 2000

COM revisited: tool-assisted modelling of an architectural framework.

[BibT_eX]

[DOI]

Kevin J. Sullivan

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Automating first-order relational logic.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT Symposium on Foundations of Software Engineering, 2000

Enforcing Design Constraints with Object Logic.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 7th International Symposium, 2000

Exploring the Design of an Intentional Naming Scheme with an Automatic Constraint Analyzer.

[BibT_eX]

[DOI]

Sarfraz Khurshid

Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000

Finding bugs with a constraint solver.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Software Testing and Analysis, 2000

Alcoa: the alloy constraint analyzer.

[BibT_eX]

[DOI]

Ian Schechter

Ilya Shlyakhter

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Software analysis: a roadmap: a roadmap.

[BibT_eX]

[DOI]

Martin C. Rinard

Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999

A Nitpick Analysis of Mobile IPv6.

[BibT_eX]

[DOI]

Yu-Chung Ng

Jeannette M. Wing

Formal Aspects Comput., 1999

Guest Editorial.

[BibT_eX]

[DOI]

Rance Cleaveland

Autom. Softw. Eng., 1999

1998

Isomorph-Free Model Enumeration: A New Method for Checking Relational Specifications.

[BibT_eX]

[DOI]

Somesh Jha

ACM Trans. Program. Lang. Syst., 1998

An Intermedicate Design Language and Its Analysis.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 1998

1997

Lackwit: A Program Understanding Tool Based on Type Inference.

[BibT_eX]

[DOI]

Robert O'Callahan

Proceedings of the Pulling Together, 1997

1996

Elements of Style: Analyzing a Software Design Feature with a Counterexample Detector.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 1996

Do You Really Need Formal Requirements/Requirements Need Form, Maybe Formality (Point-Counterpoint).

[BibT_eX]

[DOI]

Brian Lawrence

IEEE Softw., 1996

Problem decomposition for reuse.

[BibT_eX]

[DOI]

Michael Jackson

Softw. Eng. J., 1996

An Invitation to Formal Methods.

[BibT_eX]

[DOI]

Computer, 1996

Efficient Search as a Means of Executing Specifications.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1996

Checking Relational Specifications With Binary Decision Diagrams.

[BibT_eX]

[DOI]

Somesh Jha

Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, 1996

Faster Checking of Software Specifications by Eliminating Isomorphs.

[BibT_eX]

[DOI]

Somesh Jha

Proceedings of the Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1996

1995

Structuring Z Specifications with Views

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1995

Aspect: Detecting Bugs with Abstract Dependences.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 1995

The CMU Master of Software Engineering Core Curriculum.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Education, 8th SEI CSEE Conference, New Orleans, LA, USA, March 29, 1995

1994

A New Model of Program Dependences for Reverse Engineering.

[BibT_eX]

[DOI]

Eugene J. Rollins

Proceedings of the Second ACM SIGSOFT Symposium on Foundations of Software Engineering, 1994

Abstraction mechanisms for pictorial slicing.

[BibT_eX]

[DOI]

Eugene J. Rollins

Proceedings of the Proceedings 1994 IEEE 3rd Workshop on Program Comprehension, 1994

Semantic Diff: A Tool for Summarizing the Effects of Modifications.

[BibT_eX]

[DOI]

David A. Ladd

Proceedings of the International Conference on Software Maintenance, 1994

Abstract Model Checking of Infinite Specifications.

[BibT_eX]

[DOI]

Proceedings of the FME '94: Industrial Benefit of Formal Methods, 1994

1993

Abstract Analysis with Aspect.

[BibT_eX]

[DOI]

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

1991

Aspect: An Economical Bug-Detector.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Software Engineering, 1991

1989

Practical Specification Techniques for Control-Oriented Systems.

[BibT_eX]

Pamela Zave