201
click to vote
STTT
10 years 15 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...
117
click to vote
STTT
10 years 15 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...
121
click to vote
STTT
10 years 15 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...
132
click to vote
STTT
10 years 15 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