Mitra Tabaei
Address:
Mitra Tabaei
Technische Universität Wien
Institut für Logic and Computation 192/4
Favoritenstraße 9–11
1040 Wien
Austria
Room: | HE 03 16 (how to get there) |
Phone: | +43 (1) 58801 – 740 036 |
Email: | tabaei@forsyte.at |
Web: | http://forsyte.at/~tabaei/ |
Publications
2018 | |
[7] | Randomized Testing of Distributed Systems with Probabilistic Guarantees PACMPL, volume 2, number OOPSLA, 2018. Note: OOPSLA Distinguished paper award |
2016 | |
[6] | Abstraction and Mining of Traces to Explain Concurrency Bugs Formal Methods in Systems Design (FMSD), volume 49, pages 1–32, October 2016, Springer. |
[5] | Error Invariants for Concurrent Traces Formal Methods - 21st International Symposium, FM 2016, volume 9995 of Lecture Notes in Computer Science, pages 370-387, 2016, Springer. |
2015 | |
[4] | Abstraction and Mining of Traces to Explain Concurrency Bugs Proceedings of the Young Researchers' Conference "Frontiers of Formal Methods", pages 249–253, 2015, RWTH Aachen, Department of Computer Science. Note: technical report/summary version of RV14 paper |
2014 | |
[3] | Abstraction and Mining of Traces to Explain Concurrency Bugs Runtime Verification Symposium, 2014, Springer Berlin Heidelberg. Note: (Best paper nomination.) |
2013 | |
[2] | Mining Sequential Patterns to Explain Concurrent Counterexamples SPIN, volume 7976 of LNCS, pages 264–281, 2013. |
2012 | |
[1] | Counterexample Explanation by Anomaly Detection SPIN, volume 7385 of LNCS, pages 24–42, 2012. |