Tristan Dyer

Orcid: 0000-0001-9730-9319

According to our database1, Tristan Dyer authored at least 7 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Forge: A Tool and Language for Teaching Formal Methods.
Proc. ACM Program. Lang., 2024

2022
Applying cognitive principles to model-finding output: the positive value of negative information.
Proc. ACM Program. Lang., 2022

2021
Prototyping Formal Methods Tools: A Protocol Analysis Case Study.
Proceedings of the Protocols, Strands, and Logic, 2021

Sterling: A Web-Based Visualizer for Relational Modeling Languages.
Proceedings of the Rigorous State-Based Methods - 8th International Conference, 2021

2019
Bounded Verification of Sparse Matrix Computations.
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.
Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2016
SMT: An interface for localized storm surge modeling.
Adv. Eng. Softw., 2016


  Loading...