Lars Tveito

Joint Papers

• Inseguendo Fagiani Selvatici: Partial Order Reduction for Guarded Command Languages
• SymPaths: Symbolic Execution Meets Partial Order Reduction
• Global Reproducibility through Local Control for Distributed Active Objects
• Checking Modal Contracts for Virtually Timed Ambients
• Resource-Aware Virtually Timed Ambients