Tim Nelson
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
8
Active years
2013–2025
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | A Misconception-Driven Adaptive Tutor for Linear Temporal Logic. | Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi |
| 2025 | ECOOP | Lightweight Diagramming for Lightweight Formal Methods: A Grounded Language Design. | Siddhartha Prasad, Ben Greenman, Tim Nelson, Shriram Krishnamurthi |
| 2024 | FM | Misconceptions in Finite-Trace and Infinite-Trace Linear Temporal Logic. | Ben Greenman, Siddhartha Prasad, Antonio Di Stasio, Shufang Zhu, Giuseppe De Giacomo, Shriram Krishnamurthi, Marco Montali, Tim Nelson, Milda Zizyte |
| 2020 | HOTNETS | Solver-Aided Multi-Party Configuration. | Kevin Dackow, Andrew Wagner, Tim Nelson, Shriram Krishnamurthi, Theophilus A. Benson |
| 2019 | FM | The Human in Formal Methods. | Shriram Krishnamurthi, Tim Nelson |
| 2018 | FM | CompoSAT: Specification-Guided Coverage for Model Finding. | Sorawee Porncharoenwase, Tim Nelson, Shriram Krishnamurthi |
| 2017 | SEFM | User Studies of Principled Model Finder Output. | Natasha Danas, Tim Nelson, Lane Harrison, Shriram Krishnamurthi, Daniel J. Dougherty |
| 2016 | HOTNETS | Switches are Monitors Too!: Stateful Property Monitoring as a Switch Design Criterion. | Tim Nelson, Nicholas DeMarinis, Timothy Adam Hoff, Rodrigo Fonseca, Shriram Krishnamurthi |
| 2015 | FM | Static Differential Program Analysis for Software-Defined Networks. | Tim Nelson, Andrew D. Ferguson, Shriram Krishnamurthi |
| 2014 | NSDI | Tierless Programming and Reasoning for Software-Defined Networks. | Tim Nelson, Andrew D. Ferguson, Michael J. G. Scheer, Shriram Krishnamurthi |
| 2013 | ICSE | Aluminum: principled scenario exploration through minimality. | Tim Nelson, Salman Saghafi, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |
| 2013 | SIGCOMM | A balance of power: expressive, analyzable controller programming. | Tim Nelson, Arjun Guha, Daniel J. Dougherty, Kathi Fisler, Shriram Krishnamurthi |