According to our database1, Saulius Pusinskas authored at least 3 papers between 2009 and 2010.
Legend:Book In proceedings Article PhD thesis Other
Scenario-based verification of real-time systems using Uppaal.
Formal Methods in System Design, 2010
Scenario-based analysis and synthesis of real-time systems using uppaal.
Proceedings of the Design, Automation and Test in Europe, 2010
Verifying Real-Time Systems against Scenario-Based Requirements.
Proceedings of the FM 2009: Formal Methods, 2009