Temesghen Kahsai
- Invariant stream generators using automatic abstract transformers based on a decidable logic
2012/05/16 by Pierre-Loïc Garoche, Garoche, Pierre-Loïc, Temesghen Kahsai +3 · 1 citation
Computer Science · Engineering · #FOS: Computer and information sciences #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Modeling and Simulation Systems #Real-time simulation and control systems #Security and Verification in Computing #Software Engineering (cs.SE)
- Verified Foundations for Differential Privacy
2024/12/02 by Markus de Medeiros, Muhammad Naveed, de Medeiros, Markus +17 · 2 citations
Computer Science · #Privacy-Preserving Technologies in Data