Panagiotis Katsaros

109 papers A 3B 10C 10Misc 1Journal 42Unranked 39

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