A Framework for State-Space Exploration of Java-Based Actor Programs. - Steven Lauterburg; Mirco Dotta; Darko Marinov; Gul A. Agha (ASE, 2009)

Decision procedures for algebraic data types with abstractions. - Philippe Suter; Mirco Dotta; Viktor Kuncak (POPL, 2010)