Lars Tveito

Latest

• Roger Antonsen fanget publikum med sitt smittende engasjement
• 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