Serra Z. Dane

Orcid: 0009-0008-9028-6597

According to our database1, Serra Z. Dane authored at least 2 papers in 2026.

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

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Automatic Certification of the Active Corner Method for Collision Avoidance.
Proceedings of the NASA Formal Methods, 2026

Towards Formal Verification of Hybrid Synchronous Programs with Refinement Types.
Proceedings of the NASA Formal Methods, 2026


  Loading...