Samantha Archer

Orcid: 0000-0003-1467-5589

According to our database1, Samantha Archer authored at least 2 papers between 2020 and 2026.

Collaborative distances:

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Pono 2.0: A Versatile SMT-Based Model Checker for Safety and Liveness (Long Tool Paper).
Proceedings of the Formal Methods - 27th International Symposium, 2026

2020
Foosball Coding: Correcting Shift Errors and Bit Flip Errors in 3D Racetrack Memory.
Proceedings of the 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2020


  Loading...