27 citations · 49 across the 8 of their papers we have counts for
8 papers
Formal Runtime Verification for Tool-Using LLM Agents: An Offline Same-Benchmark Study on AgentDojo and STAC
Nikolaos Kekatos, Stylianos Basagiannis, Marinelio Chintri +5
Guardrails for tool-using LLM agents are usually application-specific rules, which makes multi-step, data-dependent safety policies hard to specify, audit and reuse. As a declarati…
On Neural Network Equivalence Checking using SMT Solvers
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros +1
Two pretrained neural networks are deemed equivalent if they yield similar outputs for the same inputs. Equivalence checking of neural networks is of great importance, due to its u…
Model-Based Design of Energy-Efficient Applications for IoT Systems
Alexios Lekidis, Panagiotis Katsaros
A major challenge that is currently faced in the design of applications for the Internet of Things (IoT) concerns with the optimal use of available energy resources given the batte…
Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros +1
Existing model-based processes for embedded real-time systems support the analysis of various non-functional properties, most notably schedulability, through model checking, simula…
Abstract Model Repair
George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros +1
Given a Kripke structure M and CTL formula , where M does not satisfy , the problem of Model Repair is to obtain a new model M' such that M' satisfies . Moreover, the chan…
Cloud elasticity using probabilistic model checking
Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris +4
Cloud computing has become the leading paradigm for deploying large-scale infrastructures and running big data applications, due to its capacity of achieving economies of scale. In…