Sciweavers

Share
warning: Creating default object from empty value in /var/www/modules/taxonomy/taxonomy.module on line 1416.
TCS
2016
4 years 10 months ago
Gray coding cubic planar maps
Abstract. The idea of (combinatorial) Gray codes is to list objects in question in such a way that two successive objects differ in some pre-specified small way. In this paper, w...
Sergey V. Avgustinovich, Sergey Kitaev, Vladimir N...
STTT
2016
4 years 10 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 10 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...
STTT
2016
4 years 10 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 10 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
STACS
2016
Springer
4 years 10 months ago
Copyless Cost-Register Automata: Structure, Expressiveness, and Closure Properties
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...
Filip Mazowiecki, Cristian Riveros
STACS
2016
Springer
4 years 10 months ago
Bottleneck Paths and Trees and Deterministic Graphical Games
Shiri Chechik, Haim Kaplan, Mikkel Thorup, Or Zami...
STACS
2016
Springer
4 years 10 months ago
Knapsack in Graph Groups, HNN-Extensions and Amalgamated Products
It is shown that the knapsack problem, which was introduced by Myasnikov et al. for arbitrary finitely generated groups, can be solved in NP for graph groups. This result even ho...
Markus Lohrey, Georg Zetzsche
STACS
2016
Springer
4 years 10 months ago
Catalytic Space: Non-determinism and Hierarchy
Catalytic computation, defined by Buhrman, Cleve, Koucký, Loff and Speelman (STOC 2014), is a space-bounded computation where in addition to our working memory we have an expon...
Harry Buhrman, Michal Koucký, Bruno Loff, F...
STACS
2016
Springer
4 years 10 months ago
Semantic Versus Syntactic Cutting Planes
In this paper, we compare the strength of the semantic and syntactic version of the cutting planes proof system. First, we show that the lower bound technique of [22] applies also...
Yuval Filmus, Pavel Hrubes, Massimo Lauria
books