Regenerative queuing network distributed simulation. - Panajotis Katsaros; Constantine Lazos (ESM, 2000)

Steady state simulations on queuing processes in parallel time streams: Problems and potentialities. - Panajotis Katsaros; Constantine Lazos (HERCMA, 2001)

Κατανεμημένα υπολογιστικά συστήματα - Panagiotis Katsaros (2002)

Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems. - Panagiotis Katsaros; Constantine Lazos (DSN, 2004)

On the Design of Access Control to Prevent Sensitive Information Leakage in Distributed Object Systems: A Colored Petri Net Based Model. - Panagiotis Katsaros (OTM Conferences (2), 2005)

Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (ISPA, 2006)

Evaluation of composite object replication schemes for dependable server applications. - Panagiotis Katsaros; Nantia Iakovidou; Theodoros Soldatos (Inf. Softw. Technol., 2006)

Elastic Components: Addressing Variance of Quality Properties in Components. - George Kakarontzas; Panagiotis Katsaros; Ioannis Stamelos (EUROMICRO-SEAA, 2007)

Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (SAFECOMP, 2007)

Performance and effectiveness trade-off for checkpointing in fault-tolerant distributed systems. - Panagiotis Katsaros; Lefteris Angelis; Constantine Lazos (Concurr. Comput. Pract. Exp., 2007)

Static Program Analysis for Java Card Applets. - Vasilios Almaliotis; Alexandros Loizidis; Panagiotis Katsaros; Panagiotis Louridas; Diomidis Spinellis (CARDIS, 2008)

Product Line Variability with Elastic Components and Test-Driven Development. - George Kakarontzas; Ioannis Stamelos; Panagiotis Katsaros (CIMCA/IAWTIC/ISE, 2008)

A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis; Nikolaos Alexiou 001 (COMPSAC, 2008)

Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. - Konstantinos Mokos; Panagiotis Katsaros; Nick Bassiliades; Vangelis Vassiliadis; Maxime Perrotin (JCKBSE, 2008)

Synthetic Metrics for Evaluating Runtime Quality of Software Architectures with Complex Tradeoffs. - Anakreon Mentis; Panagiotis Katsaros; Lefteris Angelis (EUROMICRO-SEAA, 2009)

The ACID model checker and code generator for transaction processing. - Anakreon Mentis; Panagiotis Katsaros (HPCS, 2009)

Probabilistic model checking for the quantification of DoS security threats. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis; Nikolaos Alexiou 001 (Comput. Secur., 2009)

Attacking an OT-Based Blind Signature Scheme - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (CoRR, 2009)

State Space Reduction with Message Inspection in Security Protocol Model Checking - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (CoRR, 2009)

A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach. - Panagiotis Katsaros (Inf. Softw. Technol., 2009)

A Formally Verified Mechanism for Countering SPIT. - Yannis Soupionis; Stylianos Basagiannis; Panagiotis Katsaros; Dimitris Gritzalis (CRITIS, 2010)

Ontology-Based Model Driven Engineering for Safety Verification. - Konstantinos Mokos; Georgios Meditskos; Panagiotis Katsaros; Nick Bassiliades; Vangelis Vasiliades (EUROMICRO-SEAA, 2010)

Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using Probabilistic Model Checking. - Nikolaos Alexiou 001; Stylianos Basagiannis; Panagiotis Katsaros; Tushar Deshpande; Scott A. Smolka (HASE, 2010)

An intruder model with message inspection for model checking security protocols. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (Comput. Secur., 2010)

Component Certification as a Prerequisite forWidespread OSS Reuse. - George Kakarontzas; Panagiotis Katsaros; Ioannis Stamelos (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Quantification of interacting runtime qualities in software architectures: Insights from transaction processing in client-server architectures. - Anakreon Mentis; Panagiotis Katsaros; Lefteris Angelis; George Kakarontzas (Inf. Softw. Technol., 2010)

Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities. - George Chatzieleftheriou; Panagiotis Katsaros (COMPSAC Workshops, 2011)

A Framework for Access Control with Inference Constraints. - Vasilios Katos; Dimitris Vrakas; Panagiotis Katsaros (COMPSAC, 2011)

Formal Analysis of the DNS Bandwidth Amplification Attack and Its Countermeasures Using Probabilistic Model Checking. - Tushar Deshpande; Panagiotis Katsaros; Stylianos Basagiannis; Scott A. Smolka (HASE, 2011)

Economic Evaluation of Interactive Audio Media for Securing Internet Services. - Theodosios Tsiakis; Panagiotis Katsaros; Dimitris Gritzalis (ICGS3/e-Democracy, 2011)

Quantitative model checking of an RSA-based email protocol on mobile devices. - Sophia G. Petridou; Stylianos Basagiannis; Nikolaos Alexiou 001; Georgios I. Papadimitriou; Panagiotis Katsaros (ISCC, 2011)

Elastic Component Characterization with Respect to Quality Properties: An Intuitionistic Fuzzy-Based Approach. - George Kakarontzas; Vassilis C. Gerogiannis; Ioannis Stamelos; Panagiotis Katsaros (Panhellenic Conference on Informatics, 2011)

Model Repair for Probabilistic Systems. - Ezio Bartocci; Radu Grosu; Panagiotis Katsaros; C. R. Ramakrishnan 001; Scott A. Smolka (TACAS, 2011)

Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach. - Stylianos Basagiannis; Sophia G. Petridou; Nikolaos Alexiou 001; Georgios I. Papadimitriou; Panagiotis Katsaros (Comput. Secur., 2011)

Synthesis of attack actions using model checking for the verification of security protocols. - Stylianos Basagiannis; Panagiotis Katsaros; Andrew Pombortsis (Secur. Commun. Networks, 2011)

Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection. - Emmanouela Stachtiari; Yannis Soupionis; Panagiotis Katsaros; Anakreontas Mentis; Dimitris Gritzalis (CRITIS, 2012)

Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework. - Emmanouela Stachtiari; Anakreon Mentis; Panagiotis Katsaros (ICWS, 2012)

Model checking and code generation for transaction processing software. - Anakreon Mentis; Panagiotis Katsaros (Concurr. Comput. Pract. Exp., 2012)

Economic assessment of externalities for interactive audio media anti-SPIT protection of internet services. - Theodosios Tsiakis; Panagiotis Katsaros; Dimitris Gritzalis (Int. J. Electron. Secur. Digit. Forensics, 2012)

Formal analysis for robust anti-SPIT protection using model checking. - Dimitris Gritzalis; Panagiotis Katsaros; Stylianos Basagiannis; Yannis Soupionis (Int. J. Inf. Sec., 2012)

A simulation process for asynchronous event processing systems: Evaluating performance and availability in transaction models. - Anakreon Mentis; Panagiotis Katsaros; Lefteris Angelis (Simul. Model. Pract. Theory, 2012)

The Sphinx enigma in critical VoIP infrastructures: Human or botnet? - Dimitris Gritzalis; Yannis Soupionis; Vasilios Katos; Ioannis Psaroudakis; Panajotis Katsaros; Anakreon Mentis (IISA, 2013)

Inlined monitors for security policy enforcement in web applications. - Fotios Rafailidis; Ioannis Panagos; Panagiotis Katsaros; Alexandros Arvanitidis (Panhellenic Conference on Informatics, 2013)

Automated Detection of Logical Errors in Programs. - George Stergiopoulos; Panagiotis Katsaros; Dimitris Gritzalis (CRiSIS, 2014)

Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. - Tushar Deshpande; Panagiotis Katsaros; Scott A. Smolka; Scott D. Stoller (EDCC, 2014)

Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II - (Extended Abstract). - George Chatzieleftheriou; Apostolos Chatzopoulos; Panagiotis Katsaros (ISoLA (2), 2014)

Securing Legacy Code with the TRACER Platform. - Kostantinos Stroggylos; Dimitris Mitropoulos; Zacharias Tzermias; Panagiotis Papadopoulos; Fotios Rafailidis; Diomidis Spinellis; Sotiris Ioannidis; Panagiotis Katsaros (Panhellenic Conference on Informatics, 2014)

Correct-by-Construction Web Service Architecture. - Emmanouela Stachtiari; Nikos Vesyropoulos; George Kourouleas; Christos K. Georgiadis; Panagiotis Katsaros (SOSE, 2014)

TRACER: A Platform for Securing Legacy Code. - Kostantinos Stroggylos; Dimitris Mitropoulos; Zacharias Tzermias; Panagiotis Papadopoulos; Fotios Rafailidis; Diomidis Spinellis; Sotiris Ioannidis; Panagiotis Katsaros (TRUST, 2014)

Cloud elasticity using probabilistic model checking. - Athanasios Naskos; Emmanouela Stachtiari; Anastasios Gounaris; Panagiotis Katsaros; Dimitrios Tsoumakos; Ioannis Konstantinou; Spyros Sioutas (CoRR, 2014)

Spacecraft early design validation using formal methods. - Marco Bozzano; Alessandro Cimatti; Joost-Pieter Katoen; Panagiotis Katsaros; Konstantinos Mokos; Viet Yen Nguyen; Thomas Noll 001; Bart Postma; Marco Roveri (Reliab. Eng. Syst. Saf., 2014)

Dependable Horizontal Scaling Based on Probabilistic Model Checking. - Athanasios Naskos; Emmanouela Stachtiari; Anastasios Gounaris; Panagiotis Katsaros; Dimitrios Tsoumakos; Ioannis Konstantinou; Spyros Sioutas (CCGRID, 2015)

Execution Path Classification for Vulnerability Analysis and Detection. - George Stergiopoulos; Panagiotis Katsaros; Dimitris Gritzalis (ICETE (Selected Papers), 2015)

Security-Aware Elasticity for NoSQL Databases. - Athanasios Naskos; Anastasios Gounaris; Haralambos Mouratidis; Panagiotis Katsaros (MEDI, 2015)

Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources. - Athanasios Naskos; Emmanouela Stachtiari; Panagiotis Katsaros; Anastasios Gounaris (RV, 2015)

Automated Exploit Detection using Path Profiling - The Disposition Should Matter, Not the Position. - George Stergiopoulos; Panagiotis Petsanas; Panagiotis Katsaros; Dimitris Gritzalis (SECRYPT, 2015)

Using BIP to reinforce correctness of resource-constrained IoT applications. - Alexios Lekidis; Emmanouela Stachtiari; Panagiotis Katsaros; Marius Bozga; Christos K. Georgiadis (SIES, 2015)

Abstract Model Repair. - George Chatzieleftheriou; Borzoo Bonakdarpour; Panagiotis Katsaros; Scott A. Smolka (Log. Methods Comput. Sci., 2015)

OPEN-SME - Component Certification for Open Source Reuse. - George Kakarontzas; Konstantinos Mokos; Panagiotis Katsaros; Ioannis Stamelos (EPS, 2016)

Architecture-Based Design: A Satellite On-Board Software Case Study. - Anastasia Mavridou; Emmanouela Stachtiari; Simon Bliudze; Anton B. Ivanov; Panagiotis Katsaros; Joseph Sifakis (FACS, 2016)

Solving Influence Problems on the DeGroot Model with a Probabilistic Model Checking Tool. - Sotirios Gyftopoulos; Pavlos S. Efraimidis; Panagiotis Katsaros (PCI, 2016)

Combining Invariant Violation with Execution Path Classification for Detecting Multiple Types of Logical Errors and Race Conditions. - George Stergiopoulos; Panagiotis Katsaros; Dimitris Gritzalis; Theodore K. Apostolopoulos (SECRYPT, 2016)

Online Analysis of Security Risks in Elastic Cloud Applications. - Athanasios Naskos; Anastasios Gounaris; Haralambos Mouratidis; Panagiotis Katsaros (IEEE Cloud Comput., 2016)

Cache activity profiling tool for the LEON4 processor. - Maria Ntogramatzi; Panagiotis Katsaros; Spyridon Nikolaidis 001 (MOCAST, 2017)

Design of Embedded Systems with Complex Task Dependencies and Shared Resource Interference (Short Paper). - Fotios Gioulekas; Peter Poplavko; Rany Kahil; Panagiotis Katsaros; Marius Bozga; Saddek Bensalem; Pedro Palomo (SEFM, 2017)

Regression-Based Statistical Bounds on Software Execution Time. - Peter Poplavko; Ayoub Nouri; Lefteris Angelis; Alexandros Zerzelidis; Saddek Bensalem; Panagiotis Katsaros (VECoS, 2017)

Cost-aware horizontal scaling of NoSQL databases using probabilistic model checking. - Athanasios Naskos; Anastasios Gounaris; Panagiotis Katsaros (Clust. Comput., 2017)

Program analysis with risk-based classification of dynamic invariants for logical error detection. - George Stergiopoulos; Panayiotis Katsaros; Dimitris Gritzalis (Comput. Secur., 2017)

Security-aware elasticity for NoSQL databases in multi-cloud environments. - Athanasios Naskos; Anastasios Gounaris; Haralambos Mouratidis; Panagiotis Katsaros (Int. J. Intell. Inf. Database Syst., 2017)

A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. - Fotios Gioulekas; Peter Poplavko; Panagiotis Katsaros; Saddek Bensalem; Pedro Palomo (FASE, 2018)

Process Network Models for Embedded System Design Based on the Real-Time BIP Execution Engine. - Fotios Gioulekas; Peter Poplavko; Panagiotis Katsaros; Pedro Palomo (MeTRiD@ETAPS, 2018)

Model-Based Design of Energy-Efficient Applications for IoT Systems. - Alexios Lekidis; Panagiotis Katsaros (MeTRiD@ETAPS, 2018)

Abstract model repair for probabilistic systems. - George Chatzieleftheriou; Panagiotis Katsaros (Inf. Comput., 2018)

Ensuring business and service requirements in enterprise mashups. - Nikolaos Vesyropoulos; Christos K. Georgiadis; Panagiotis Katsaros (Inf. Syst. E Bus. Manag., 2018)

Maximal software execution time: a regression-based approach. - Ayoub Nouri; Peter Poplavko; Lefteris Angelis; Alexandros Zerzelidis; Saddek Bensalem; Panagiotis Katsaros (Innov. Syst. Softw. Eng., 2018)

Compositional execution semantics for business process verification. - Emmanouela Stachtiari; Panagiotis Katsaros (J. Syst. Softw., 2018)

Early validation of system requirements and design through correctness-by-construction. - Emmanouela Stachtiari; Anastasia Mavridou; Panagiotis Katsaros; Simon Bliudze; Joseph Sifakis (J. Syst. Softw., 2018)

Formal analysis of DeGroot Influence Problems using probabilistic model checking. - Sotirios Gyftopoulos; Pavlos S. Efraimidis; Panagiotis Katsaros (Simul. Model. Pract. Theory, 2018)

Model-based design of IoT systems with the BIP component framework. - Alexios Lekidis; Emmanouela Stachtiari; Panagiotis Katsaros; Marius Bozga; Christos K. Georgiadis (Softw. Pract. Exp., 2018)

Model-Based Energy Characterization of IoT System Design Aspects. - Alexios Lekidis; Panagiotis Katsaros (From Reactive Systems to Cyber-Physical Systems, 2019)

Formal Verification of Network Interlocking Control by Distributed Signal Boxes. - Stylianos Basagiannis; Panagiotis Katsaros (IMBSA, 2019)

Scalable IoT architecture for balancing performance and security in mobile crowdsensing systems*. - Theodoros Nestoridis; Chrysa Oikonomou; Anastasios Temperekidis; Fotios Gioulekas; Panagiotis Katsaros (IoTSMS, 2020)

Runtime Verification of Autonomous Driving Systems in CARLA. - Eleni Zapridou; Ezio Bartocci; Panagiotis Katsaros (RV, 2020)

A survey on the formalisation of system requirements and their validation. - Konstantinos Mokos; Panagiotis Katsaros (Array, 2020)

Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. - Fotios Gioulekas; Peter Poplavko; Panagiotis Katsaros; Saddek Bensalem; Pedro Palomo (Int. J. Softw. Tools Technol. Transf., 2020)

Correction to: Correct-by-construction model-based design of reactive streaming software for multi-core embedded systems. - Fotios Gioulekas; Peter Poplavko; Panagiotis Katsaros; Saddek Bensalem; Pedro Palomo (Int. J. Softw. Tools Technol. Transf., 2020)

On methods and tools for rigorous system design. - Simon Bliudze; Panagiotis Katsaros; Saddek Bensalem; Martin Wirsing (Int. J. Softw. Tools Technol. Transf., 2021)

Energy characterization of IoT systems through design aspect monitoring. - Alexios Lekidis; Panagiotis Katsaros (Int. J. Softw. Tools Technol. Transf., 2021)

Formal Specification for Learning-Enabled Autonomous Systems. - Saddek Bensalem; Chih-Hong Cheng; Xiaowei Huang 001; Panagiotis Katsaros; Adam Molin; Dejan Nickovic; Doron Peled (NSV/FoMLAS@CAV, 2022)

On Neural Network Equivalence Checking Using SMT Solvers. - Charis Eleftheriadis; Nikolaos Kekatos; Panagiotis Katsaros; Stavros Tripakis (FORMATS, 2022)

Resource-Constrained Image Processing for Scientific CubeSats. - Ioannis Kozaris; Fotios Gioulekas; Panagiotis Katsaros (ICACS, 2022)

An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification. - Jorge David de Hoz Diego; Anastasios Temperekidis; Panagiotis Katsaros; Charalambos Konstantinou (ISoLA (1), 2022)

Towards a Digital Twin Architecture with Formal Analysis Capabilities for Learning-Enabled Autonomous Systems. - Anastasios Temperekidis; Nikolaos Kekatos; Panagiotis Katsaros; Weicheng He; Saddek Bensalem; Hisham AbdElSabour; Mohamed Abdelsalam; Ashraf Salem (MESAS, 2022)

Runtime Verification for FMI-Based Co-simulation. - Anastasios Temperekidis; Nikolaos Kekatos; Panagiotis Katsaros (RV, 2022)

Semantic Modeling and Analysis of Natural Language System Requirements. - Konstantinos Mokos; Theodoros Nestoridis; Panagiotis Katsaros; Nick Bassiliades (IEEE Access, 2022)

Sboing4Real: A real-time crowdsensing-based traffic management system. - 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; et al. (J. Parallel Distributed Comput., 2022)

Operational State Recognition of a DC Motor Using Edge Artificial Intelligence. - Konstantinos Strantzalis; Fotios Gioulekas; Panagiotis Katsaros; Andreas L. Symeonidis (Sensors, 2022)

A digital twin prototype for traffic sign recognition of a learning-enabled autonomous vehicle. - Mohamed Abdelsalam; Loai Ali; Saddek Bensalem; Weicheng He; Panagiotis Katsaros; Nikolaos Kekatos; Doron Peled; Anastasios Temperekidis; Changshun Wu (PoEM Companion, 2023)

Continuous Engineering for Trustworthy Learning-Enabled Autonomous Systems. - Saddek Bensalem; Panagiotis Katsaros; Dejan Nickovic; Brian Hsuan-Cheng Liao; Ricardo Ruiz Nolasco; Mohamed Abd El Salam Ahmed; Tewodros A. Beyene; Filip Cano 001; Antoine Delacourt; Hasan Esen; Alexandru Forrai; Weicheng He; et al. (AISoLA, 2023)

Robustness Analysis of Probabilistic Models with Adversaries or Strategic Entities. - Sotirios Gyftopoulos; Stylianos Basagiannis; Panagiotis Katsaros (Principles of Verification (2), 2024)

TP-DejaVu: Combining Operational and Declarative Runtime Verification. - Klaus Havelund; Panagiotis Katsaros; Moran Omer; Doron Peled; Anastasios Temperekidis (VMCAI (2), 2024)

Adversarial robustness improvement for deep neural networks. - Charis Eleftheriadis; Andreas L. Symeonidis; Panagiotis Katsaros (Mach. Vis. Appl., 2024)

Model-based safety analysis of requirement specifications. - Konstantinos Mokos; Panagiotis Katsaros; Preben Bohn (J. Syst. Softw., 2025)

Digital twin for the formal analysis of a depth of anesthesia controller. - Mohamed Abdelsalam; Saddek Bensalem; Antoine Delacourt; Weicheng He; Panagiotis Katsaros; Nikolaos Kekatos; Ricardo Ruiz Nolasco; Doron Peled; Matthieu Ponchant; Ismail Ryad; Anastasios Temperekidis; Changshun Wu (Simul., 2025)