Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 3-6, 2023, Proceedings von Katsaros, Panagiotis, Nenzi, Laura

Volltext

Operational State Recognition of a DC Motor Using Edge Artificial Intelligence von Strantzalis, Konstantinos, Gioulekas, Fotios, Katsaros, Panagiotis, Symeonidis, Andreas

Volltext

Energy characterization of IoT systems through design aspect monitoring von Lekidis, Alexios, Katsaros, Panagiotis

Volltext

On methods and tools for rigorous system design von Bliudze, Simon, Katsaros, Panagiotis, Bensalem, Saddek, Wirsing, Martin

Volltext

Semantic Modeling and Analysis of Natural Language System Requirements von Mokos, Konstantinos, Nestoridis, Theodoros, Katsaros, Panagiotis, Bassiliades, Nick

Volltext

Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems von Gioulekas, Fotios, Poplavko, Peter, Katsaros, Panagiotis, Bensalem, Saddek, Palomo, Pedro

Volltext

Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems von Gioulekas, Fotios, Poplavko, Peter, Katsaros, Panagiotis, Bensalem, Saddek, Palomo, Pedro

Volltext

A survey on the formalisation of system requirements and their validation von Mokos, Konstantinos, Katsaros, Panagiotis

Volltext

Model-Based Design of Energy-Efficient Applications for IoT Systems von Lekidis, Alexios, Katsaros, Panagiotis

Volltext

Model-Based Safety and Assessment: 6th International Symposium, IMBSA 2019, Thessaloniki, Greece, October 16-18, 2019, Proceedings von Papadopoulos, Yiannis, Aslansefat, Koorosh, Katsaros, Panagiotis, Bozzano, Marco

Volltext

Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine von Gioulekas, Fotios, Poplavko, Peter, Katsaros, Panagiotis, Palomo, Pedro

Volltext

Model-based safety analysis of requirement specifications von Mokos, Konstantinos, Katsaros, Panagiotis, Bohn, Preben

Volltext

Adversarial robustness improvement for deep neural networks von Eleftheriadis, Charis, Symeonidis, Andreas, Katsaros, Panagiotis

Volltext

Abstract Model Repair von Chatzieleftheriou, George, Bonakdarpour, Borzoo, Katsaros, Panagiotis, Smolka, Scott A.

Volltext

Compositional execution semantics for business process verification von Stachtiari, Emmanouela, Katsaros, Panagiotis

Volltext

Early validation of system requirements and design through correctness-by-construction von Stachtiari, Emmanouela, Mavridou, Anastasia, Katsaros, Panagiotis, Bliudze, Simon, Sifakis, Joseph

Volltext

Model-Based Energy Characterization of IoT System Design Aspects von Lekidis, Alexios, Katsaros, Panagiotis

Volltext

A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach von Katsaros, Panagiotis

Volltext

Monitoring Blackbox Implementations of Multiparty Session Protocols von van den Heuvel, Bas, Pérez, Jorge A., Dobre, Rares A.

Volltext

Bridging the Gap: A Focused DSL for RV-Oriented Instrumentation with BISM von Soueidi, Chukri, Falcone, Yliès

Volltext