Contact
E-MailRead from right to left: ed tod grubierf-inu tod kitamrofni ta klamxela
Teaching activities
- Reading Group at MPII, WS 2005 - SS 2006
- Seminar Software Model Checking, MPII, SS 2005
- Seminar Software Model Checking, Uni Freiburg, WS 2006-07
- Seminar: Advanced topics in Model Checking, Uni Freiburg, SS 2007
- Seminar: Abstract Interpretation, Uni Freiburg, WS 2007-08
Work
- "Polyominoes, polyedges and the digit game", Diploma theses, Saarbrücken, 2004
- k-synchronisation Product of Transition Systems, unpublished script
- Alexander Malkis, Andreas Podelski, Andrey Rybalchenko, "Thread-Modular Verification is Cartesian Abstract Interpretation", ICTAC 2006, Springer,
- Alexander Malkis, Andreas Podelski, Andrey Rybalchenko, "Thread-Modular Verification and Cartesian Abstraction", presented at TV 2006, Seattle. An updated, extended and improved version.
- Alexander Malkis, Andreas Podelski, Andrey Rybalchenko, Precise Thread-Modular Verification. SAS 2007. Springer-Verlag Berlin Heidelberg 2007.
- Alexander Malkis, Andreas Podelski, Andrey Rybalchenko, Thread-Modular Verification with Arbitrary Precision. Draft.
Projects
- TMV: Thread-Modular Verifier. Currently very experimental version. Licence: GPLv3.