TAAS
2016
9 years 11 months ago
2016
23
Voted
SYNTHESE
2016
9 years 11 months ago
2016
16
Voted
SYNTHESE
2016
9 years 11 months ago
2016
Recent advancements in the brain sciences have enabled researchers to determine, with increasing accuracy, patterns and locations of neural activation associated with various psyc...
30
Voted
SYNTHESE
2016
9 years 11 months ago
2016
According to Ian Hacking’s Entity Realism, unobservable entities that scientists carefully manipulate to study other phenomena are real. Although Hacking presents his c...
33
Voted
SYNTHESE
2016
9 years 11 months ago
2016
105
click to vote
STTT
2016
9 years 11 months 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...
112
click to vote
STTT
2016
9 years 11 months 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...
189
click to vote
STTT
2016
9 years 11 months 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...
122
click to vote
STTT
2016
9 years 11 months 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...
128
Voted
STACS
2016
Springer
9 years 11 months ago
2016
Springer
Cost register automata (CRA) and its subclass, copyless CRA, were recently proposed by Alur et al. as a new model for computing functions over strings. We study structural propert...