Panagiotis Katsaros

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 51

Top Topics

Formal Verification

Probabilistic Model

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis
TP-DejaVu: Combining Operational and Declarative Runtime Verification. VMCAI (2) (2024)
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
A Digital Twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. CoRR (2024)
Charis Eleftheriadis, Andreas L. Symeonidis, Panagiotis Katsaros
Adversarial robustness improvement for deep neural networks. Mach. Vis. Appl. 35 (3) (2024)
Saddek Bensalem, Panagiotis Katsaros, Dejan Nickovic, Brian Hsuan-Cheng Liao, Ricardo Ruiz Nolasco, Mohamed Abd El Salam Ahmed, Tewodros A. Beyene, Filip Cano, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Könighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu
Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. AISoLA (2023)
Mohamed Abdelsalam, Loai Ali, Saddek Bensalem, Weicheng He, Panagiotis Katsaros, Nikolaos Kekatos, Doron Peled, Anastasios Temperekidis, Changshun Wu
A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. PoEM Companion (2023)
Konstantinos Strantzalis, Fotios Gioulekas, Panagiotis Katsaros, Andreas L. Symeonidis
Operational State Recognition of a DC Motor Using Edge Artificial Intelligence. Sensors 22 (24) (2022)
Jorge David de Hoz Diego, Anastasios Temperekidis, Panagiotis Katsaros, Charalambos Konstantinou
An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification. ISoLA (1) (2022)
Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros, Weicheng He, Saddek Bensalem, Hisham AbdElSabour, Mohamed Abdelsalam, Ashraf Salem
Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. MESAS (2022)
Konstantinos Mokos, Theodoros Nestoridis, Panagiotis Katsaros, Nick Bassiliades
Semantic Modeling and Analysis of Natural Language System Requirements. IEEE Access 10 (2022)
Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled
Formal Specification for Learning-Enabled Autonomous Systems. NSV/FoMLAS@CAV (2022)
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis
On Neural Network Equivalence Checking Using SMT Solvers. FORMATS (2022)
Theodoros Toliopoulos, Nikodimos Nikolaidis, Anna-Valentini Michailidou, Andreas Seitaridis, Theodoros Nestoridis, Chrysa Oikonomou, Anastasios Temperekidis, Fotios Gioulekas, Anastasios Gounaris, Nick Bassiliades, Panagiotis Katsaros, Apostolos Georgiadis, Fotios Liotopoulos
Sboing4Real: A real-time crowdsensing-based traffic management system. J. Parallel Distributed Comput. 162 (2022)
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros, Stavros Tripakis
On Neural Network Equivalence Checking using SMT Solvers. CoRR (2022)
Ioannis Kozaris, Fotios Gioulekas, Panagiotis Katsaros
Resource-Constrained Image Processing for Scientific CubeSats. ICACS (2022)
Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros
Runtime Verification for FMI-Based Co-simulation. RV (2022)
Simon Bliudze, Panagiotis Katsaros, Saddek Bensalem, Martin Wirsing
On methods and tools for rigorous system design. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Alexios Lekidis, Panagiotis Katsaros
Energy characterization of IoT systems through design aspect monitoring. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. Int. J. Softw. Tools Technol. Transf. 22 (1) (2020)
Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros
Runtime Verification of Autonomous Driving Systems in CARLA. RV (2020)
Theodoros Nestoridis, Chrysa Oikonomou, Anastasios Temperekidis, Fotios Gioulekas, Panagiotis Katsaros
. IoTSMS (2020)
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. Int. J. Softw. Tools Technol. Transf. 22 (1) (2020)
Konstantinos Mokos, Panagiotis Katsaros
A survey on the formalisation of system requirements and their validation. Array 7 (2020)
Stylianos Basagiannis, Panagiotis Katsaros
Formal Verification of Network Interlocking Control by Distributed Signal Boxes. IMBSA (2019)
Alexios Lekidis, Panagiotis Katsaros
Model-Based Energy Characterization of IoT System Design Aspects. From Reactive Systems to Cyber-Physical Systems (2019)
Sotirios Gyftopoulos, Pavlos S. Efraimidis, Panagiotis Katsaros
Formal analysis of DeGroot Influence Problems using probabilistic model checking. Simul. Model. Pract. Theory 89 (2018)
Nikolaos Vesyropoulos, Christos K. Georgiadis, Panagiotis Katsaros
Ensuring business and service requirements in enterprise mashups. Inf. Syst. E Bus. Manag. 16 (1) (2018)
Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis
Model-based design of IoT systems with the BIP component framework. Softw. Pract. Exp. 48 (6) (2018)
George Chatzieleftheriou, Panagiotis Katsaros
Abstract model repair for probabilistic systems. Inf. Comput. 259 (1) (2018)
Emmanouela Stachtiari, Panagiotis Katsaros
Compositional execution semantics for business process verification. J. Syst. Softw. 137 (2018)
Alexios Lekidis, Panagiotis Katsaros
Model-Based Design of Energy-Efficient Applications for IoT Systems. MeTRiD@ETAPS (2018)
Ayoub Nouri, Peter Poplavko, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
Maximal software execution time: a regression-based approach. Innov. Syst. Softw. Eng. 14 (2) (2018)
Emmanouela Stachtiari, Anastasia Mavridou, Panagiotis Katsaros, Simon Bliudze, Joseph Sifakis
Early validation of system requirements and design through correctness-by-construction. J. Syst. Softw. 145 (2018)
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Pedro Palomo
Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine. MeTRiD@ETAPS (2018)
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo
A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. FASE (2018)
Athanasios Naskos, Anastasios Gounaris, Panagiotis Katsaros
Cost-aware horizontal scaling of NoSQL databases using probabilistic model checking. Clust. Comput. 20 (3) (2017)
Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros
Regression-Based Statistical Bounds on Software Execution Time. VECoS (2017)
Fotios Gioulekas, Peter Poplavko, Rany Kahil, Panagiotis Katsaros, Marius Bozga, Saddek Bensalem, Pedro Palomo
Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). SEFM (2017)
Athanasios Naskos, Anastasios Gounaris, Haralambos Mouratidis, Panagiotis Katsaros
Security-aware elasticity for NoSQL databases in multi-cloud environments. Int. J. Intell. Inf. Database Syst. 10 (3/4) (2017)
Maria Ntogramatzi, Panagiotis Katsaros, Spyridon Nikolaidis
Cache activity profiling tool for the LEON4 processor. MOCAST (2017)
George Stergiopoulos, Panagiotis Katsaros, Dimitris Gritzalis, Theodore K. Apostolopoulos
Combining Invariant Violation with Execution Path Classification for Detecting Multiple Types of Logical Errors and Race Conditions. SECRYPT (2016)
George Kakarontzas, Konstantinos Mokos, Panagiotis Katsaros, Ioannis Stamelos
OPEN-SME - Component Certification for Open Source Reuse. EPS (2016)
Sotirios Gyftopoulos, Pavlos S. Efraimidis, Panagiotis Katsaros
Solving Influence Problems on the DeGroot Model with a Probabilistic Model Checking Tool. PCI (2016)
Athanasios Naskos, Anastasios Gounaris, Haralambos Mouratidis, Panagiotis Katsaros
Online Analysis of Security Risks in Elastic Cloud Applications. IEEE Cloud Comput. 3 (5) (2016)
Anastasia Mavridou, Emmanouela Stachtiari, Simon Bliudze, Anton B. Ivanov, Panagiotis Katsaros, Joseph Sifakis
Architecture-Based Design: A Satellite On-Board Software Case Study. FACS (2016)
George Chatzieleftheriou, Borzoo Bonakdarpour, Panagiotis Katsaros, Scott A. Smolka
Abstract Model Repair. Log. Methods Comput. Sci. 11 (3) (2015)
George Stergiopoulos, Panagiotis Petsanas, Panagiotis Katsaros, Dimitris Gritzalis
Automated Exploit Detection using Path Profiling - The Disposition Should Matter, Not the Position. SECRYPT (2015)
Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis
Using BIP to reinforce correctness of resource-constrained IoT applications. SIES (2015)
Athanasios Naskos, Anastasios Gounaris, Haralambos Mouratidis, Panagiotis Katsaros
Security-Aware Elasticity for NoSQL Databases. MEDI (2015)
Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas
Dependable Horizontal Scaling Based on Probabilistic Model Checking. CCGRID (2015)
Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros, Anastasios Gounaris
Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources. RV (2015)
George Stergiopoulos, Panagiotis Katsaros, Dimitris Gritzalis
Execution Path Classification for Vulnerability Analysis and Detection. ICETE (Selected Papers) (2015)
Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas
Cloud elasticity using probabilistic model checking. CoRR (2014)
Kostantinos Stroggylos, Dimitris Mitropoulos, Zacharias Tzermias, Panagiotis Papadopoulos, Fotios Rafailidis, Diomidis Spinellis, Sotiris Ioannidis, Panagiotis Katsaros
TRACER: A Platform for Securing Legacy Code. TRUST (2014)
Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller
Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. EDCC (2014)
Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri
Spacecraft early design validation using formal methods. Reliab. Eng. Syst. Saf. 132 (2014)
George Chatzieleftheriou, Apostolos Chatzopoulos, Panagiotis Katsaros
Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II - (Extended Abstract). ISoLA (2) (2014)
Kostantinos Stroggylos, Dimitris Mitropoulos, Zacharias Tzermias, Panagiotis Papadopoulos, Fotios Rafailidis, Diomidis Spinellis, Sotiris Ioannidis, Panagiotis Katsaros
Securing Legacy Code with the TRACER Platform. Panhellenic Conference on Informatics (2014)
Emmanouela Stachtiari, Nikos Vesyropoulos, George Kourouleas, Christos K. Georgiadis, Panagiotis Katsaros
Correct-by-Construction Web Service Architecture. SOSE (2014)
George Stergiopoulos, Panagiotis Katsaros, Dimitris Gritzalis
Automated Detection of Logical Errors in Programs. CRiSIS (2014)
Fotios Rafailidis, Ioannis Panagos, Panagiotis Katsaros, Alexandros Arvanitidis
Inlined monitors for security policy enforcement in web applications. Panhellenic Conference on Informatics (2013)
Anakreon Mentis, Panagiotis Katsaros, Lefteris Angelis
A simulation process for asynchronous event processing systems: Evaluating performance and availability in transaction models. Simul. Model. Pract. Theory 29 (2012)
Dimitris Gritzalis, Panagiotis Katsaros, Stylianos Basagiannis, Yannis Soupionis
Formal analysis for robust anti-SPIT protection using model checking. Int. J. Inf. Sec. 11 (2) (2012)
Anakreon Mentis, Panagiotis Katsaros
Model checking and code generation for transaction processing software. Concurr. Comput. Pract. Exp. 24 (7) (2012)
George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros
Abstract Model Repair. NASA Formal Methods (2012)
Emmanouela Stachtiari, Yannis Soupionis, Panagiotis Katsaros, Anakreontas Mentis, Dimitris Gritzalis
Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection. CRITIS (2012)
Emmanouela Stachtiari, Anakreon Mentis, Panagiotis Katsaros
Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework. ICWS (2012)
Theodosios Tsiakis, Panagiotis Katsaros, Dimitris Gritzalis
Economic assessment of externalities for interactive audio media anti-SPIT protection of internet services. Int. J. Electron. Secur. Digit. Forensics 4 (2/3) (2012)
Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka
Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking. HASE (2011)
Theodosios Tsiakis, Panagiotis Katsaros, Dimitris Gritzalis
Economic Evaluation of Interactive Audio Media for Securing Internet Services. ICGS3/e-Democracy (2011)
Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka
Model Repair for Probabilistic Systems. TACAS (2011)
George Chatzieleftheriou, Panagiotis Katsaros
Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities. COMPSAC Workshops (2011)
Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros
Quantitative model checking of an RSA-based email protocol on mobile devices. ISCC (2011)
George Kakarontzas, Vassilis C. Gerogiannis, Ioannis Stamelos, Panagiotis Katsaros
Elastic Component Characterization with Respect to Quality Properties: An Intuitionistic Fuzzy-Based Approach. Panhellenic Conference on Informatics (2011)
Vasilios Katos, Dimitris Vrakas, Panagiotis Katsaros
A Framework for Access Control with Inference Constraints. COMPSAC (2011)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
Synthesis of attack actions using model checking for the verification of security protocols. Secur. Commun. Networks 4 (2) (2011)
Stylianos Basagiannis, Sophia G. Petridou, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros
Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach. Comput. Secur. 30 (4) (2011)
Konstantinos Mokos, Georgios Meditskos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vasiliades
Ontology-Based Model Driven Engineering for Safety Verification. EUROMICRO-SEAA (2010)
Yannis Soupionis, Stylianos Basagiannis, Panagiotis Katsaros, Dimitris Gritzalis
A Formally Verified Mechanism for Countering SPIT. CRITIS (2010)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
An intruder model with message inspection for model checking security protocols. Comput. Secur. 29 (1) (2010)
Nikolaos Alexiou, Stylianos Basagiannis, Panagiotis Katsaros, Tushar Deshpande, Scott A. Smolka
Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. HASE (2010)
Anakreon Mentis, Panagiotis Katsaros, Lefteris Angelis, George Kakarontzas
Quantification of interacting runtime qualities in software architectures: Insights from transaction processing in client-server architectures. Inf. Softw. Technol. 52 (12) (2010)
George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos
Component Certification as a Prerequisite forWidespread OSS Reuse. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 33 (2010)
Anakreon Mentis, Panagiotis Katsaros
The ACID model checker and code generator for transaction processing. HPCS (2009)
Panagiotis Katsaros
A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach. Inf. Softw. Technol. 51 (2) (2009)
Anakreon Mentis, Panagiotis Katsaros, Lefteris Angelis
Synthetic Metrics for Evaluating Runtime Quality of Software Architectures with Complex Tradeoffs. EUROMICRO-SEAA (2009)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
State Space Reduction with Message Inspection in Security Protocol Model Checking CoRR (2009)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou
Probabilistic model checking for the quantification of DoS security threats. Comput. Secur. 28 (6) (2009)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
Attacking an OT-Based Blind Signature Scheme CoRR (2009)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou
A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. COMPSAC (2008)
Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis
Static Program Analysis for Java Card Applets. CARDIS (2008)
Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin
Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. JCKBSE (2008)
George Kakarontzas, Ioannis Stamelos, Panagiotis Katsaros
Product Line Variability with Elastic Components and Test-Driven Development. CIMCA/IAWTIC/ISE (2008)
George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos
Elastic Components: Addressing Variance of Quality Properties in Components. EUROMICRO-SEAA (2007)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. SAFECOMP (2007)
Panagiotis Katsaros, Lefteris Angelis, Constantine Lazos
Performance and effectiveness trade-off for checkpointing in fault-tolerant distributed systems. Concurr. Comput. Pract. Exp. 19 (1) (2007)
Panagiotis Katsaros, Nantia Iakovidou, Theodoros Soldatos
Evaluation of composite object replication schemes for dependable server applications. Inf. Softw. Technol. 48 (9) (2006)
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. ISPA (2006)
Panagiotis Katsaros
On the Design of Access Control to Prevent Sensitive Information Leakage in Distributed Object Systems: A Colored Petri Net Based Model. OTM Conferences (2) (2005)
Panagiotis Katsaros, Constantine Lazos
Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems. DSN (2004)