Publications

2015
1
Electronic Edition
BibTex
Slides
Alexios Lekidis, Emmanouela Stachtiari, Panagiotis Katsaros, Marius Bozga, Christos K. Georgiadis: Using BIP to reinforce correctness of resource-constrained IoT applications. 10th IEEE International Symposium on Industrial Embedded Systems, (SIES 2015), Siegen, Germany
Keywords: correct-by-construction, internet of things
Show Abstract
2014
2
Electronic Edition
BibTex
Slides
Emmanouela Stachtiari, Nikolaos Vesyropoulos, Georgios Kourouleas, Panagiotis Katsaros, Christos Georgiadis: Correct-by-Construction Web Service Architecture. 8th IEEE International Symposium on Service Oriented System Engineering, (SOSE 2014), Oxford, United Kingdom
Keywords: correct-by-construction, web services
Show Abstract
2013
3
Electronic Edition
BibTex
Slides
Dimitris Gritzalis, Yiannis Soupionis, Vasileios Katos, Ioannis Psaroudakis, Panagiotis Katsaros, Anakreon Mentis: The SPHINX Enigma in Critical VoIP Infrastructures: Human or Botnet?. 4th Int. Conference on Information, Intelligence, Systems and Applications (IISA 2013), Piraeus, Greece, 2013
Keywords: VoIP, CAPTCHA, model checking
Show Abstract
4
Electronic Edition
BibTex
Slides
Fotios Rafailidis, Ioannis Panagos, Alexandros Arvanitiidis, Panagiotis Katsaros: Inlined monitors for security policy enforcement in Web applications. 17th Panhellenic Conference on Informatics (PCI 2013)
Keywords: security policy, runtime monitoring, web applications
Show Abstract
5
Electronic Edition
BibTex
Slides
Christian Berger, Panagiotis Katsaros, Mahdi Bohlouli, Lefteris Angelis: An interdisciplinary perspective to the design and decision support of integral safety systems. 4th IFAC Workshop on Dependable Control of Discrete Systems, York, UK, 2013
Keywords: active control, safety, sensor systems, formal verification
Show Abstract
2012
6
Electronic Edition
BibTex
Slides
Emmanouela Stachtiari, Yannis Soupionis, Panagiotis Katsaros, Anakreon Mentis, Dimitris Gritzalis: Probabilistic model checking of CAPTCHA admission control for DoS resistant anti-SPIT protection. In Proceedings of the 7th International Conference on Critical Information Infrastructures Security (CRITIS), Lillehammer, Norway, 2012
Keywords: admission control, DOS, CAPTCHA, probabilistic model checking
Show Abstract
7
Electronic Edition
BibTex
Slides
Theodosios Tsiakis, Panagiotis Katsaros, Dimitris Gritzalis: Economic assessment of externalities for interactive audio media anti-SPIT protection of internet services. International Journal of Electronic Security and Digital Forensics archive Volume 4 Issue 2/3, August 2012, pages 164-177
Keywords: security economics, Spam, internal services
Show Abstract
8
Electronic Edition
BibTex
Slides
Dimitris Gritzalis, George Kakarontzas , Panagiotis Katsaros, Vassilis C. Gerogiannis, Stylianos Basagiannis, Ioannis Stamelos, Yannis Soupionis, Panagiotis Katsaros: Formal analysis for robust anti-SPIT protection using model checking. International Journal of Information Security, Springer
Keywords: Voice over IP (VoIP), anti-SPIT security policies, robustness analysis, model checking
Show Abstract
9
Electronic Edition
BibTex
Slides
Emmanouela Stachtiari, Anakreon Mentis, Panagiotis Katsaros: Rigorous analysis of service composability by embedding WS-BPEL into the BIP component framework. In Proceedings of the 19th IEEE International Conference on Web Services (ICWS)
Keywords: service composition, WS-BPEL, formal analysis
Show Abstract
10
Electronic Edition
BibTex
Slides
Anakreon Mentis, Panagiotis Katsaros, Lefteris Angelis: A simulation process for asynchronous event processing systems: evaluating performance and availability in transaction models. Simulation Modelling Practice and Theory, Elsevier
Keywords: asynchronous event processing, simulation, performance evaluation, transaction processing
Show Abstract
11
Electronic Edition
BibTex
Slides
George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros: Abstract model repair. Proceedings of the 4th NASA Formal Methods Symposium (NFM), Norfolk, Virginia, LNCS 7226, Springer Verlag, 2012
Keywords: model repair, model checking, abstraction refinement
Show Abstract
2011
12
Electronic Edition
BibTex
Slides
: Elastic component characterization with respect to quality properties: an intuitionistic fuzzy-based approach. Submitted
Keywords: elastic components, quality requirements, intuitionistic fuzzy sets, component selection
Show Abstract
13
Electronic Edition
BibTex
Slides
Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C.R. Ramakrish, Scott A. Smolka: Model Repair for probabilistic systems. In Proceedings of the 17th Int. Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Saarbr?cken, Germany, LNCS 6605, 326-340, Springer Verlag, 2011
Keywords: model Repair, probabilistic Model Checking, nonlinear programming
Show Abstract
14
Electronic Edition
BibTex
Slides
Alexandros Loizidis, Vasilios Almaliotis, Panagiotis Katsaros: Static Program Analysis of Multi-Applet JavaCard Applications. Software Engineering for Secure Systems: Industrial and Research Perspectives, Ed. by H. Mouratidis (Un. of East London, UK), IGI Global, 286-304
Keywords: smart card, static program analysis, software security, Java Card, verification
Show Abstract
15
Electronic Edition
BibTex
Slides
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Synthesis of attack actions using model checking for the verification of security protocols. Security and Communication Networks, Vol. 4 (2), 147-161, John Wiley & Sons, 2011
Keywords: cryptographic protocols, intruder modeling, model checking
Show Abstract
16
Electronic Edition
BibTex
Slides
Sophia Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios Papadimitriou, Panagiotis Katsaros: Quantitative model checking of an RSA-based email protocol on mobile devices. In Proceedings of the 16th IEEE Symposium on Computers and Communications (ISCC), Corfu, Greece, IEEE Computer Society, 639-645, 2011
Keywords: certified e-mail delivery, mobile devices, probabilistic model checking, quantitative analysis, RSA cryptosystem
Show Abstract
17
Electronic Edition
BibTex
Slides
Theodosios Tsiakis, Panagiotis Katsaros, Dimitris Gritzalis: Economic evaluation of Interactive Audio Media for securing Internet services. In Proceedings of the 7th Int. Conference in Global Security, Safety and Sustainability (ICGS3), Thessaloniki, Greece, Springer, 2011
Keywords:
Show Abstract
18
Electronic Edition
BibTex
Slides
Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka: Formal analysis of the DNS Bandwidth Amplification Attack and its countermeasures using probabilistic model checking. In Proceedings of the 15th Panhellenic Conference on Informatics (PCI), Kastoria, Greece, IEEE Computer Society, 270-274, 2011
Keywords: DDoS, probabilistic model checking, DNS
Show Abstract
19
Electronic Edition
BibTex
Slides
S. Basagiannis, S. Petridou, N. Alexiou, G. Papadimitriou, P. Katsaros: Quantitative analysis of a certified e-mail protocol in mobile environments: A probabilistic model checking approach. Computers & Security, Vol. 30 (4), 257-272, Elsevier, 2011
Keywords: certified e-mail, probabilistic model checking, CTMC, mobile environments
Show Abstract
20
Electronic Edition
BibTex
Slides
Yannis Soupionis, Stylianos Basagiannis, Panagiotis Katsaros, DimitrisGritzalis: A formally verified mechanism for countering SPIT. 5th International Workshop on Critical Information Infrastructure Security (CRITIS'10), Athens, Greece, LNCS 6712, 128-139, Springer Verlag, 2011
Keywords: spam over internet telephony (SPIT), policy management, model checking, formal verification, voice over IP (VoIP)
Show Abstract
21
Electronic Edition
BibTex
Slides
George Chatzieleftheriou, Panagiotis Katsaros: Test driving static analysis tools in search of C code vulnerabilities. In Proceedings of the 35th IEEE Computer Software and Applications Conference Workshops (COMPSACW), Munich, Germany, IEEE Computer Society, 96-103, 2011
Keywords: static analysis, software security, benchmark tests
Show Abstract
22
Electronic Edition
BibTex
Slides
Vasilios Katos, Dimitrios Vrakas, Panagiotis Katsaros: A framework for access control with inference constraints. In Proceedings of the 35th IEEE Computer Software and Applications Conference (COMPSAC), Munich, Germany, IEEE Computer Society, 289-297, 2011
Keywords: access control, inference control
Show Abstract
23
Electronic Edition
BibTex
Slides
Anakreon Mentis, Panagiotis Katsaros: Model checking and code generation for transaction processing software. Concurrency and Computation: Practice and Experience, John Wiley & Sons, 2012
Keywords: transaction processing, model-driven development, code generation, model checking
Show Abstract
2010
24
Electronic Edition
BibTex
Slides
George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos: Component Certification as a Prerequisite for Widespread OSS Reuse. Electronic Communications of the European Association of Software Science and Technology (EASST)
Keywords: component certification, open source software reuse, component-based development
Show Abstract
25
Electronic Edition
BibTex
Slides
Konstantinos Mokos, George Meditskos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vasiliades: Ontology-based model driven engineering for safety verification. In Proceedings of the 36th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Lille, France, IEEE Computer Society, 47-54, 2010
Keywords: model driven engineering, safety, verification and validation, ontology reasoning, transformation
Show Abstract
26
Electronic Edition
BibTex
Slides
Anakreon Mentis, Panagiotis Katsaros, Lefteris Angelis: Quantification of interacting runtime qualities in software architectures: insights from transaction processing in client-server architectures. Information and Software Technology, Vol. 52 (12), 1331-1345, Elsevier, 2010
Keywords: software quality, software architecture, runtime software metrics, design
Show Abstract
27
Electronic Edition
BibTex
Slides
Tushar Deshpande, Panagiotis Katsaros, Stylianos Basagiannis, Scott A. Smolka: Formal analysis of the Kaminsky DNS cache-poisoning attack using probabilistic model checking. In Proceedings of the 12th IEEE International High Assurance Systems Engineering Symposium (HASE), San Jose, California, IEEE Computer Society, 94-103, 2010
Keywords: DDoS, probabilistic model checking, DNS
Show Abstract
28
Electronic Edition
BibTex
Slides
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: An intruder model with Message Inspection for model checking security protocols. Computers & Security, Vol. 29 (1), 16-34, Elsevier, 2010
Keywords: security protocols, verification, model checking, intrusion attacks
Show Abstract
2009
29
Electronic Edition
BibTex
Slides
Panagiotis Katsaros: A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach. Information and Software Technology, Vol. 51 (2), 235-257, Elsevier, 2009
Keywords: electronic payments, atomicity, fault tolerance, e-commerce transactions, security, Colored Petri Nets, model checking
Show Abstract
30
Electronic Edition
BibTex
Slides
Anakreon Mentis, Panagiotis Katsaros: The ACID model checker and code generator for transaction processing. In Proceedings of the 2009 High Performance Computing & Simulation Conference (HPCS), Leipzig, Germany - IEEE, 138-144, 2009
Keywords: transaction & concurrency control, modelling simulation & evaluation techniques, fault tolerance, model-checking
Show Abstract
31
Electronic Edition
BibTex
Slides
Anakreon Mentis, Panagiotis Katsaros, Lefteris Angelis: Synthetic metrics for evaluating performance of software architectures with complex tradeoffs. In Proceedings of the 35th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA), Patra, Greece, IEEE Computer Society, 237-242, 2009
Keywords: software architecture, runtime quality, architecture design tradeoffs
Show Abstract
32
Electronic Edition
BibTex
Slides
Theodosios Tsiakis, Panagiotis Katsaros: Hands on dependability economics. In Proceedings of the 2nd International Conference on Dependability (DEPEND), IARIA, Athens, Greece - IEEE Computer Society, 117-121, 2009
Keywords: dependability, risk, qualitative, quantitative analysis, economics
Show Abstract
33
Electronic Edition
BibTex
Slides
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou: Probabilistic model checking for the quantification of DoS security threats. Computers & Security, Vol. 28 (6), 450-465, Elsevier, 2009
Keywords: denial of service, secure authentication, probabilistic model checking
Show Abstract
2008
34
Electronic Edition
BibTex
Slides
Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin: Towards compositional safety analysis via semantic representation of component failure behavior. In: Knowledge-based Software Engineering/Proc. of 8th Joint Conference on Knowledge - Based Software Engineering 2008 (JCKBSE 08) - Piraeus, Greece, Frontiers in Artificial Intelligence and Applications, M. Virvou and T. Nakamura (Eds.) , 405-414, IOS Press, 2008
Keywords:
Show Abstract
35
Electronic Edition
BibTex
Slides
Anakreon Mentis, Panagiotis Katsaros, Lefteris Angelis: ACID Sim Tools: A simulation framework for distributed transaction processing architectures. In Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SimulationWorks Industry Track), Marseille, France, 2008
Keywords: design studies, fault tolerance, reliability availability and serviceability, reliability – checkpoint/restart, Interoperability – distributed objects, systems – transaction processing
Show Abstract
36
Electronic Edition
BibTex
Slides
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou: A probabilistic attacker model for quantitative verification of DoS security threats. In Proceedings of the 32nd Annual IEEE International on Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, IEEE Computer Society, 12-19, 2008
Keywords: denial of service, security
Show Abstract
37
Electronic Edition
BibTex
Slides
Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis: Static program analysis for Java Card applets. In Proceedings of the 8th IFIP Smart Card Research and Advanced Application Conference (CARDIS), Royal Holloway, Un. of London, United Kingdom, LNCS 5189, 17-31, Springer Verlag, 2008
Keywords: java card, static program analysis, temporal safety
Show Abstract
2007
38
Electronic Edition
BibTex
Slides
George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos: Elastic components: Addressing variance of quality properties in components. In Proceedings of the 33rd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), EUROMICRO, Luebeck, Germany, 31-38, IEEE Computer Society, 2007
Keywords:
Show Abstract
39
Electronic Edition
BibTex
Slides
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Intrusion Attack Tactics for the model checking of e-commerce security guarantees. In Proceedings of the 26th International Conference on Computer Safety, Reliability and Security (SAFECOMP), Nuremberg, Germany, LNCS 4680, 238-251, Springer Verlag, 2007
Keywords: intrusion attacks, e-commerce protocols, model checking, SPIN
Show Abstract
40
Electronic Edition
BibTex
Slides
Panagiotis Katsaros, Lefteris Angelis, Constantine Lazos: Performance and effectiveness trade-off for checkpointing in fault tolerant distributed systems. Concurrency and Computation: Practice and Experience, Vol. 19 (1), 37-63, John Wiley & Sons, 2007
Keywords: checkpointing and recovery, fault tolerance, distributed systems, performance evaluation, statistical analysis
Show Abstract
2006
41
Electronic Edition
BibTex
Slides
Panagiotis Katsaros, Nantia Iakovidou, Theodoros Soldatos: Evaluation of composite object replication schemes for dependable server applications. Information and Software Technology, Vol. 48 (9), 795-806, Elsevier, 2006
Keywords: fault-tolerance, performance, quality of sService, distributed objects, simulation
Show Abstract
42
Electronic Edition
BibTex
Slides
Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Interlocking control by Distributed Signal Boxes: design and verification with the SPIN model checker. In Proceedings of the International Symposium on Parallel and Distributed Processing and Applications (ISPA 2006), Sorrento, Italy, LNCS 4330, 317-328, Springer Verlag, 2006
Keywords: interlocking control, safety, distributed control, model checking
Show Abstract
2005
43
Electronic Edition
BibTex
Slides
Panagiotis Katsaros: Simulation and verification of information flow paths for access control policies specified in the CORBA Security setting. In Local Proceedings of the 10th Panhellenic Conference in Informatics (PCI 2005), EPY, Volos, Greece, 225-237, 2005
Keywords: CORBA security, information flow security, access control, colored petri nets, verification
Show Abstract
44
Electronic Edition
BibTex
Slides
Panagiotis Katsaros, Vasilis Odontidis, Maria Gousidou-Koutita: Simulation and verification of atomicity properties for an electronic cash system. In Proceedings of the 2005 European Simulation and Modelling Conference (ESM 2005), EUROSIS, Porto, Portugal, 558-563, 2005
Keywords: electronic cash, coloured petri nets, model checking
Show Abstract
45
Electronic Edition
BibTex
Slides
Panagiotis Katsaros: On the design of access control to prevent sensitive information leakage in distributed object systems: a Colored Petri Net based model. Proceedings of the International Symposium on Distributed Objects and Applications (DOA 2005), Agia Napa, Cyprus, LNCS 3761, 941-959, Springer Verlag, 2005
Keywords:
Show Abstract
46
Electronic Edition
BibTex
Slides
Panagiotis Katsaros, Vasilis Odontidis, Maria Gousidou-Koutita: Colored Petri Net based model checking and failure analysis for e-commerce protocols. In Proceedings of the Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools (CPN'05), DAIMI PB-576, Dept. of Computer Science, University of Aarhus, Denmark, 267-283, 2005
Keywords:
Show Abstract
2004
47
Electronic Edition
BibTex
Slides
Panagiotis Katsaros, Lefteris Angelis, Constantine Lazos: Simulation metamodeling for the design of reliable object based systems. In Proceedings of the EUROSIM 2004 Congress, Special session on Modeling and simulation of object based systems, EUROSIM, Paris, France, 2004
Keywords: object replication, fault tolerance, simulation metamodeling
Show Abstract
48
Electronic Edition
BibTex
Slides
Panagiotis Katsaros, Constantine Lazos: Optimal object state transfer - Recovery policies for fault tolerant distributed systems. In Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 04), Florence, Italy, IEEE Computer Society Press, 762-771, 2004
Keywords:
Show Abstract
49
Electronic Edition
BibTex
Slides
Ignatios Deligiannis, Panagiotis Sfetsos, Ioannis Stamelos, Lefteris Angelis, Alexandros Xatzigeorgiou, Panagiotis Katsaros: Assessing the modifiability of two object-oriented design alternatives - A controlled experiment replication. In Proceedings of the EUROSIM 2004 Congress, Special session on Modeling and simulation of object based systems, EUROSIM, Paris, France, 2004
Keywords: object-oriented, experiment, maintainability, design, metrics
Show Abstract
2003
50
Electronic Edition
BibTex
Slides
Panagiotis Katsaros, Constantine Lazos: A simulation test-bed for the design of dependable e-services. In Proceedings of the 3rd WSEAS International Conference on Simulation, Modeling and Optimization (ICOSMO), Rethymno, Greece, 2003
Keywords: simulation, quality of service, fault tolerance, load distribution, state transfer and recovery schemes, performance evaluation, distributed object systems
Show Abstract
51
Electronic Edition
BibTex
Slides
Panajotis Katsaros, Constantine Lazos: Approximate and simulation based analysis for distributed object software performance models. In Proceedings of the 2003 European Simulation and Modelling Conference (ESM 2003), EUROSIS, Naples, Italy, 409-414, 2003
Keywords: synchronous object invocation, nested object invocations, simultaneous resource possession, approximate MVA, flow-equivalent approximation, regenerative method
Show Abstract
52
Electronic Edition
BibTex
Slides
Zafiris Karaiskos, Panajotis Katsaros, Constantine Lazos: Single-pass Static Semantic Check for Efficient Translation in YAPL. In Proceedings of the 1st Balkan Conference in Informatics, Thessaloniki, Greece, 623-632, 2003
Keywords: compilers, programming languages, static semantic check
Show Abstract
2002
53
Electronic Edition
BibTex
Slides
Panagiotis Katsaros, Constantine Lazos: Structured performance modeling and analysis for object based distributed software systems. In Proceedings of the 15th ISCA International Conference on Parallel and Distributed Computing Systems, ISCA, Louisville, USA, 96-102, 2002
Keywords: distributed objects, modeling and simulation, performance evaluation, queuing networks
Show Abstract
2001
54
Electronic Edition
BibTex
Slides
Panagiotis Katsaros, Constantine Lazos: Steady-state simulation of queuing processes in parallel time streams: problems and potentialities. In Proc. of the 5th Hellenic European Research Conference on Computer Mathematics and its Applications Conference, Athens, Greece, 370-376, 2001
Keywords: queuing networks, parallel simulation
Show Abstract
55
Electronic Edition
BibTex
Slides
Panajotis Katsaros, Eleftherios Angelis, Constantine Lazos: Applied multiresponse metamodeling for queuing network simulation experiments: problems and perspectives. In Proc. of the EUROSIM 2001 Congress, EUROSIM, Delfts, The Netherlands, 2001
Keywords: queuing models, simulation, metamodeling
Show Abstract
56
Electronic Edition
BibTex
Slides
Panajotis Katsaros, Constantine Lazos: Shared memory parallel regenerative queuing network simulation. In Proc. of the 15th European Simulation Multiconference, Society for Computer Simulation, Prague, The Czech Rep., 736-740, 2001
Keywords: queuing models, performance analysis, statistical analysis, parallel simulation
Show Abstract
2000
57
Electronic Edition
BibTex
Slides
I. Stamelos, I. Refanidis, P. Katsaros, A. Tsoukias, I. Vlahavas, A. Pombortsis: An adaptable framework for educational software evaluation. Decision Making: Recent Developments and Worldwide Applications, Ed. by Zanakis & Doukidis, Applied Optimization Vol. 45, 347-360, Kluwer Academics, 2000
Keywords: software evaluation, educational software,, MCDA
Show Abstract
1999
58
Electronic Edition
BibTex
Slides
Ioannis Stamelos, Ioannis Refanidis, Panagiotis Katsaros, Alexandros Tsoukias, Ioannis Vlahavas, Andreas Pombortsis: Automating the evaluation of educational software. In Proc. of the 5th International Conference of the Decision Sciences Institute, 1369-1373, Athens, 1999
Keywords:
Show Abstract
Home | Projects | Publications | Partners | Related Links | News | People | Contact copyright � 2012 DSG group