Abigail Hammer

Orcid: 0000-0002-0340-0160

According to our database¹, Abigail Hammer authored at least 4 papers between 2020 and 2026.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Links

On csauthors.net:

Bibliography

2026

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic.

[BibT_eX]

[DOI]

CoRR, May, 2026

2025

Pretrained Embeddings as a Behavior Specification Mechanism.

[BibT_eX]

[DOI]

CoRR, March, 2025

Resilience of Systems Under Maximum Component Deviations.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 23rd International Conference, 2025

2020

Integrating Runtime Verification into an Automated UAS Traffic Management System.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 14th European Conference, 2020

Abigail Hammer

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...