STTT
8 years 7 days ago
2016 
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...
STTT
8 years 7 days ago
2016 
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...
STTT
8 years 7 days ago
2016
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...
STTT
8 years 7 days ago
2016
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...
|
Theoretical Computer Science