Panagiotis Katsaros
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
29
Venues
21
Active years
2004–2024
Best venue rank
A*
Where they publish
Papers
29 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | VMCAI | TP-DejaVu: Combining Operational and Declarative Runtime Verification. | Klaus Havelund, Panagiotis Katsaros, Moran Omer, Doron Peled, Anastasios Temperekidis |
| 2023 | VECoS | 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, Antoine Delacourt, Hasan Esen, Alexandru Forrai, Weicheng He, Xiaowei Huang, Nikolaos Kekatos, Bettina Knighofer, Michael Paulitsch, Doron Peled, Matthieu Ponchant, Lev Sorokin, Son Tong, Changshun Wu |
| 2022 | CAV | Formal Specification for Learning-Enabled Autonomous Systems. | Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled |
| 2022 | ISoLA | An IoT Digital Twin for Cyber-Security Defence Based on Runtime Verification. | Jorge David de Hoz Diego, Anastasios Temperekidis, Panagiotis Katsaros, Charalambos Konstantinou |
| 2022 | RV | Runtime Verification for FMI-Based Co-simulation. | Anastasios Temperekidis, Nikolaos Kekatos, Panagiotis Katsaros |
| 2020 | RV | Runtime Verification of Autonomous Driving Systems in CARLA. | Eleni Zapridou, Ezio Bartocci, Panagiotis Katsaros |
| 2018 | FASE | A Process Network Model for Reactive Streaming Software with Deterministic Task Parallelism. | Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros, Saddek Bensalem, Pedro Palomo |
| 2017 | SEFM | 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 |
| 2017 | VECoS | Regression-Based Statistical Bounds on Software Execution Time. | Peter Poplavko, Ayoub Nouri, Lefteris Angelis, Alexandros Zerzelidis, Saddek Bensalem, Panagiotis Katsaros |
| 2016 | SECRYPT | 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 |
| 2015 | CCGRID | Dependable Horizontal Scaling Based on Probabilistic Model Checking. | Athanasios Naskos, Emmanouela Stachtiari, Anastasios Gounaris, Panagiotis Katsaros, Dimitrios Tsoumakos, Ioannis Konstantinou, Spyros Sioutas |
| 2015 | MEDI | Security-Aware Elasticity for NoSQL Databases. | Athanasios Naskos, Anastasios Gounaris, Haralambos Mouratidis, Panagiotis Katsaros |
| 2015 | RV | Probabilistic Model Checking at Runtime for the Provisioning of Cloud Resources. | Athanasios Naskos, Emmanouela Stachtiari, Panagiotis Katsaros, Anastasios Gounaris |
| 2015 | SECRYPT | Automated Exploit Detection using Path Profiling - The Disposition Should Matter, Not the Position. | George Stergiopoulos, Panagiotis Petsanas, Panagiotis Katsaros, Dimitris Gritzalis |
| 2014 | CRiSIS | Automated Detection of Logical Errors in Programs. | George Stergiopoulos, Panagiotis Katsaros, Dimitris Gritzalis |
| 2014 | EDCC | Stochastic Game-Based Analysis of the DNS Bandwidth Amplification Attack Using Probabilistic Model Checking. | Tushar Deshpande, Panagiotis Katsaros, Scott A. Smolka, Scott D. Stoller |
| 2014 | ISoLA | Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities II - (Extended Abstract). | George Chatzieleftheriou, Apostolos Chatzopoulos, Panagiotis Katsaros |
| 2012 | CRITIS | Probabilistic Model Checking of CAPTCHA Admission Control for DoS Resistant Anti-SPIT Protection. | Emmanouela Stachtiari, Yannis Soupionis, Panagiotis Katsaros, Anakreontas Mentis, Dimitris Gritzalis |
| 2012 | ICWS | Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework. | Emmanouela Stachtiari, Anakreon Mentis, Panagiotis Katsaros |
| 2011 | COMPSAC | Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities. | George Chatzieleftheriou, Panagiotis Katsaros |
| 2011 | COMPSAC | A Framework for Access Control with Inference Constraints. | Vasilios Katos, Dimitris Vrakas, Panagiotis Katsaros |
| 2011 | ISCC | Quantitative model checking of an RSA-based email protocol on mobile devices. | Sophia G. Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios I. Papadimitriou, Panagiotis Katsaros |
| 2011 | TACAS | Model Repair for Probabilistic Systems. | Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka |
| 2010 | CRITIS | A Formally Verified Mechanism for Countering SPIT. | Yannis Soupionis, Stylianos Basagiannis, Panagiotis Katsaros, Dimitris Gritzalis |
| 2008 | CARDIS | Static Program Analysis for Java Card Applets. | Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis |
| 2008 | COMPSAC | A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou |
| 2007 | SAFECOMP | Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis |
| 2006 | ISPA | Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. | Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis |
| 2004 | DSN | Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems. | Panagiotis Katsaros, Constantine Lazos |