Deian Tabakov
Deian Tabakov
Email verificata su google.com
Titolo
Citata da
Citata da
Anno
Experimental evaluation of classical automata constructions
D Tabakov, MY Vardi
International Conference on Logic for Programming Artificial Intelligence …, 2005
1102005
A temporal language for SystemC
D Tabakov, G Kamhi, MY Vardi, E Singerman
2008 Formal Methods in Computer-Aided Design, 1-9, 2008
682008
Monitoring temporal SystemC properties
D Tabakov, MY Vardi
Eighth ACM/IEEE International Conference on Formal Methods and Models for …, 2010
522010
Optimized temporal monitors for SystemC
D Tabakov, KY Rozier, MY Vardi
Formal Methods in System Design 41 (3), 236-268, 2012
432012
Model Checking Buechi Specifications.
D Tabakov, MY Vardi
LATA, 565-576, 2007
262007
Optimized temporal monitors for SystemC
D Tabakov, MY Vardi
International Conference on Runtime Verification, 436-451, 2010
192010
Automatic aspectization of SystemC
D Tabakov, MY Vardi
Proceedings of the 2012 workshop on Modularity in Systems Software, 9-14, 2012
162012
CHIMP: a tool for assertion-based dynamic verification of SystemC models
S Dutta, D Tabakov, MY Vardi
Program Proceedings, 38, 2013
72013
Dynamic assertion-based verification for SystemC
D Tabakov
22011
Experimental evaluation of explicit and symbolic automata-theoretic algorithms
D Tabakov
22006
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–10