RTAS
2015
IEEE
9 years 11 months ago
2015
IEEE
—Multicores are today used in automotive, controls and avionics systems supporting real-time functionality. When real-time tasks allocated on different cores cooperate through th...
178
click to vote
CADE
2015
Springer
9 years 11 months ago
2015
Springer
Psychological experiments on syllogistic reasoning have shown that participants did not always deduce the classical logically valid conclusions. In particular, the results show tha...
194
click to vote
CADE
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. beluga is a proof environment which provides a sophisticated infrastructure for implementing formal systems based on the logical framework LF together with a first-order...
186
click to vote
CADE
2015
Springer
9 years 11 months ago
2015
Springer
We present an approach to understanding first-order theories by exploring their models. A typical use case is the analysis of artifacts such as policies, protocols, configuration...
201
Voted
CADE
2015
Springer
9 years 11 months ago
2015
Springer
Abstract. This paper describes two advancements of SAT-based KnuthBendix completion as implemented in Maxcomp. (1) Termination techniques using the dependency pair framework are en...