5 citations · 29 across the 26 of their papers we have counts for
28 papers
Event Calculus Meets Hybrid ASP
Ondřej Vašíček, Joaquín Arias, Jan Fiedor +5
Event Calculus (EC) implemented in answer set programming (ASP) has proven suitable for specifying requirements on safety-critical systems thanks to its elegant representation of b…
On Zeno-like Behaviors in the Event Calculus with Goal-directed Answer Set Programming
Ondřej Vašíček, Joaquin Arias, Jan Fiedor +5
It has been argued that Event Calculus (EC) is suitable for modeling high-level specifications of safety-critical cyber-physical systems. The primary advantage lies in the rather s…
SkipFlow: Improving the Precision of Points-to Analysis using Primitive Values and Predicate Edges
David Kozak, Codrut Stancu, Tomáš Vojnar +1
A typical points-to analysis such as Andersen's or Steensgaard's may lose precision because it ignores the branching structure of the analyzed program. Moreover, points-to analysis…
Early Validation of High-level System Requirements with Event Calculus and Answer Set Programming
Ondřej Vašíček, Joaquin Arias, Jan Fiedor +6
This paper proposes a new methodology for early validation of high-level requirements on cyber-physical systems with the aim of improving their quality and, thus, lowering chances…
Algorithmic Details behind the Predator Shape Analyser
Kamil Dudka, Petr Muller, Petr Peringer +2
This chapter, which is an extended and revised version of the conference paper 'Predator: Byte-Precise Verification of Low-Level List Manipulation', concentrates on a detailed desc…
Comparing Rapid Type Analysis with Points-To Analysis in GraalVM Native Image
David Kozák, Vojin Jovanovic, Codruţ Stancu +2
Whole-program analysis is an essential technique that enables advanced compiler optimizations. An important example of such a method is points-to analysis used by ahead-of-time (AO…