Tristan Dyer

According to our database, Tristan Dyer authored at least 6 papers between 2016 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

2021

Prototyping Formal Methods Tools: A Protocol Analysis Case Study.

Abigail Siegel, Mia Santomauro, Tristan Dyer, Tim Nelson, Shriram Krishnamurthi

Proceedings of the Protocols, Strands, and Logic, 2021

Sterling: A Web-Based Visualizer for Relational Modeling Languages.

Tristan Dyer, John W. Baugh Jr.

Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2019

Bounded Verification of Sparse Matrix Computations.

Tristan Dyer, Alper Altuntas, John W. Baugh Jr.

Proceedings of the 2019 IEEE/ACM 3rd International Workshop on Software Correctness for HPC Applications (Correctness), 2019

2018

State-Based Formal Methods in Scientific Computation.

John W. Baugh Jr., Tristan Dyer

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

2016

SMT: An interface for localized storm surge modeling.

Tristan Dyer, John W. Baugh Jr.

Adv. Eng. Softw., 2016