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. |
