Sciweavers

Share
4 search results - page 1 / 1
» sttt 2016
Sort
View
STTT
2016
4 years 3 months ago
Some recent advances in automated analysis
Abstract. Due to the increasing complexity of software systems, there is a growing need for automated and scalable software synthesis and analysis. In the last decade, active resea...
Erika Ábrahám, Klaus Havelund
STTT
2016
4 years 3 months ago
Monitoring modulo theories
This paper considers a generic approach to runtime verification of temporal properties over firstorder theories. This allows especially for the verification of multi-threaded, o...
Normann Decker, Martin Leucker, Daniel Thoma
STTT
2016
4 years 3 months ago
A blueprint for system-level performance modeling of software-intensive embedded systems
Abstract Exploration of design alternatives and estimation of their key performance metrics such as latency and energy consumption is essential for making the proper design decisio...
Martijn Hendriks, Twan Basten, Jacques Verriet, Ma...
STTT
2016
4 years 3 months ago
How to model and prove hybrid systems with KeYmaera: a tutorial on safety
Abstract. This paper is a tutorial on how to model hybrid systems as hybrid programs in differential dynamic logic and how to prove complex properties about these complex hybrid s...
Jan-David Quesel, Stefan Mitsch, Sarah M. Loos, Ni...
books