The Margrave Tool for Firewall Analysis. - Timothy Nelson 001; Christopher Barratt; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (LISA, 2010)

Toward a More Complete Alloy. - Timothy Nelson 001; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (ABZ, 2012)

Aluminum: principled scenario exploration through minimality. - Tim Nelson; Salman Saghafi; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (ICSE, 2013)

A balance of power: expressive, analyzable controller programming. - Tim Nelson; Arjun Guha; Daniel J. Dougherty; Kathi Fisler; Shriram Krishnamurthi (HotSDN, 2013)

Tierless Programming and Reasoning for Software-Defined Networks. - Tim Nelson; Andrew D. Ferguson; Michael J. G. Scheer; Shriram Krishnamurthi (NSDI, 2014)

Static Differential Program Analysis for Software-Defined Networks. - Tim Nelson; Andrew D. Ferguson; Shriram Krishnamurthi (FM, 2015)

Exodus: toward automatic migration of enterprise network configurations to SDNs. - Tim Nelson; Andrew D. Ferguson; Da Yu; Rodrigo Fonseca; Shriram Krishnamurthi (SOSR, 2015)

Simon: scriptable interactive monitoring for SDNs. - Tim Nelson; Da Yu; Yiming Li; Rodrigo Fonseca; Shriram Krishnamurthi (SOSR, 2015)

Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion. - Tim Nelson; Nicholas DeMarinis; Timothy Adam Hoff; Rodrigo Fonseca; Shriram Krishnamurthi (HotNets, 2016)

Compiling Stateful Network Properties for Runtime Verification. - Tim Nelson; Nicholas DeMarinis; Timothy Adam Hoff; Rodrigo Fonseca; Shriram Krishnamurthi (CoRR, 2016)

User Studies of Principled Model Finder Output. - Natasha Danas; Tim Nelson; Lane Harrison; Shriram Krishnamurthi; Daniel J. Dougherty (SEFM, 2017)

The power of "why" and "why not": enriching scenario exploration with provenance. - Tim Nelson; Natasha Danas; Daniel J. Dougherty; Shriram Krishnamurthi (ESEC/SIGSOFT FSE, 2017)

CompoSAT: Specification-Guided Coverage for Model Finding. - Sorawee Porncharoenwase; Tim Nelson; Shriram Krishnamurthi (FM, 2018)

The Human in Formal Methods. - Shriram Krishnamurthi; Tim Nelson (FM, 2019)

Synthesizing Mutable Configurations: Setting up Systems for Success. - Tim Nelson; Natasha Danas; Theophilos Giannakopoulos; Shriram Krishnamurthi (ASE Workshops, 2019)

Solver-Aided Multi-Party Configuration. - Kevin Dackow; Andrew Wagner; Tim Nelson; Shriram Krishnamurthi; Theophilus A. Benson (HotNets, 2020)

Prototyping Formal Methods Tools: A Protocol Analysis Case Study. - Abigail Siegel; Mia Santomauro; Tristan Dyer; Tim Nelson; Shriram Krishnamurthi (Protocols, Strands, and Logic, 2021)

Using Relational Problems to Teach Property-Based Testing. - John Wrenn; Tim Nelson; Shriram Krishnamurthi (Art Sci. Eng. Program., 2021)

Making Hay from Wheats: A Classsourcing Method to Identify Misconceptions. - Siddhartha Prasad; Ben Greenman; Tim Nelson; John Wrenn; Shriram Krishnamurthi (Koli Calling, 2022)

Applying cognitive principles to model-finding output: the positive value of negative information. - Tristan Dyer; Tim Nelson; Kathi Fisler; Shriram Krishnamurthi (Proc. ACM Program. Lang., 2022)

Automated, Targeted Testing of Property-Based Testing Predicates. - Tim Nelson; Elijah Rivera; Sam Soucie; Thomas Del Vecchio; John Wrenn; Shriram Krishnamurthi (Art Sci. Eng. Program., 2022)

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Accepted Artifact for Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Zenodo, 2022)

Generating Programs Trivially: Student Use of Large Language Models. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (CompEd (1), 2023)

Little Tricky Logic: Misconceptions in the Understanding of LTL. - Ben Greenman; Sam Saarinen; Tim Nelson; Shriram Krishnamurthi (Art Sci. Eng. Program., 2023)

Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. - Ben Greenman; Siddhartha Prasad; Antonio Di Stasio 001; Shufang Zhu 001; Giuseppe De Giacomo; Shriram Krishnamurthi; Marco Montali; Tim Nelson; Milda Zizyte (FM (1), 2024)

Grounded Language Design for Lightweight Diagramming for Formal Methods. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (CoRR, 2024)

Forge: A Tool and Language for Teaching Formal Methods. - Tim Nelson; Ben Greenman; Siddhartha Prasad; Tristan Dyer; Ethan Bove; Qianfan Chen; Charles Cutting; Thomas Del Vecchio; Sidney Levine; Julianne Rudner; Ben Ryjikov; Alexander Varga; et al. (Proc. ACM Program. Lang., 2024)

Conceptual Mutation Testing for Student Programming Misconceptions. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (Art Sci. Eng. Program., 2024)

Validation of Formal Models: A Case Study. - Pamela Zave; Tim Nelson (The Practice of Formal Methods (II), 2024)

A Misconception-Driven Adaptive Tutor for Linear Temporal Logic. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (CAV (4), 2025)

Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (ECOOP, 2025)

Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design (Artifact). - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (Dagstuhl Artifacts Ser., 2025)

Logic for Systems: A Gradual Introduction to Formal Methods. - Shriram Krishnamurthi; Tim Nelson (Bull. EATCS, 2025)

sidprasad/copeanddrag. - Siddhartha Prasad; Ben Greenman; Tim Nelson; Shriram Krishnamurthi (DROPS Artifacts, 2025)