Saulius Pusinskas

According to our database, Saulius Pusinskas authored at least 3 papers between 2009 and 2010.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2010

Scenario-based verification of real-time systems using Uppaal.

Shuhao Li, Sandie Balaguer, Alexandre David, Kim G. Larsen, Brian Nielsen, Saulius Pusinskas

Formal Methods Syst. Des., 2010

Scenario-based analysis and synthesis of real-time systems using uppaal.

Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Verifying Real-Time Systems against Scenario-Based Requirements.

Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas

Proceedings of the FM 2009: Formal Methods, 2009