Tzevelekos, Nikos

1. Runtime Verification Based on Register Automata
   2012/09/24 by Radu Grigore, Grigore, Radu, Dino Distefano +5 · 3 citations
   Computer Science · #D.2.5 #F.4.3 #FOS: Computer and information sciences #Formal Languages and Automata Theory (cs.FL) #Formal Methods in Verification #Logic, programming, and type systems #Security and Verification in Computing #Software Engineering (cs.SE)
2. A System-Level Semantics
   2012/01/21 by Ghica, Dan R., Tzevelekos, Nikos · 1 citation
   #F.3.2 #FOS: Computer and information sciences #Logic in Computer Science (cs.LO)
3. An Operational Semantics for Yul
   2024/07/01 by Vasileios Koutavas, Koutavas, Vasileios, Yu-Yang Lin +3 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Logic, Reasoning, and Knowledge #Programming Languages (cs.PL)