2 citations · 3 across the 6 of their papers we have counts for
6 papers · 1 filter
Agentic Generation and Evolution of Knowledge Models
Man Zhang, Tao Yue, Nazareno M. Aguirre +2
Complex software systems such as autonomous vehicles, robotics increasingly interact with dynamic physical, cyber, and social environments. Reasoning about their behavior, maintain…
Scaling GR(1) Synthesis via a Compositional Framework for LTL Discrete Event Control
Hernan Gagliardi, Victor Braberman, Sebastian Uchitel
We present a compositional approach to controller synthesis of discrete event system controllers with linear temporal logic (LTL) goals. We exploit the modular structure of the pla…
Dynamic Slicing by On-demand Re-execution
Ivan Postolski, Victor Braberman, Diego Garbervetsky +1
In this paper, we propose a novel approach that aims to offer an alternative to the prevalent paradigm to dynamic slicing construction. Dynamic slicing requires dynamic data and co…
Focused Dynamic Slicing for Large Applications using an Abstract Memory-Model
Alexis Soifer, Diego Garbervetsky, Victor Braberman +1
Dynamic slicing techniques compute program dependencies to find all statements that affect the value of a variable at a program point for a specific execution. Despite their many p…
Verification Coverage
Rodrigo Castaño, Victor Braberman, Diego Garbervetsky +1
Software Model Checkers have shown outstanding performance improvements in recent times. Moreover, for specific use cases, formal verification techniques have shown to be highly ef…
Model Checker Execution Reports
Rodrigo Castaño, Victor Braberman, Diego Garbervetsky +1
Software model checking constitutes an undecidable problem and, as such, even an ideal tool will in some cases fail to give a conclusive answer. In practice, software model checker…