Panagiotis Katsaros

	2012
33		George Chatzieleftheriou, Borzoo Bonakdarpour, Scott A. Smolka, Panagiotis Katsaros: Abstract Model Repair. NASA Formal Methods 2012: 341-355
32		Anakreon Mentis, Panagiotis Katsaros: Model checking and code generation for transaction processing software. Concurrency and Computation: Practice and Experience 24(7): 711-722 (2012)
31		Dimitris Gritzalis, Panagiotis Katsaros, Stylianos Basagiannis, Yannis Soupionis: Formal analysis for robust anti-SPIT protection using model checking. Int. J. Inf. Sec. 11(2): 121-135 (2012)
	2011
30		Vasilios Katos, Dimitris Vrakas, Panagiotis Katsaros: A Framework for Access Control with Inference Constraints. COMPSAC 2011: 289-297
29		George Chatzieleftheriou, Panagiotis Katsaros: Test-Driving Static Analysis Tools in Search of C Code Vulnerabilities. COMPSAC Workshops 2011: 96-103
28		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: 360-367
27		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: 639-645
26		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: 270-274
25		Ezio Bartocci, Radu Grosu, Panagiotis Katsaros, C. R. Ramakrishnan, Scott A. Smolka: Model Repair for Probabilistic Systems. TACAS 2011: 326-340
24		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. Computers & Security 30(4): 257-272 (2011)
23		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Synthesis of attack actions using model checking for the verification of security protocols. Security and Communication Networks 4(2): 147-161 (2011)
	2010
22		Yannis Soupionis, Stylianos Basagiannis, Panagiotis Katsaros, Dimitris Gritzalis: A Formally Verified Mechanism for Countering SPIT. CRITIS 2010: 128-139
21		Konstantinos Mokos, Georgios Meditskos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vasiliades: Ontology-Based Model Driven Engineering for Safety Verification. EUROMICRO-SEAA 2010: 47-54
20		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: 94-103
19		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: An intruder model with message inspection for model checking security protocols. Computers & Security 29(1): 16-34 (2010)
18		George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos: Component Certification as a Prerequisite forWidespread OSS Reuse. ECEASST 33: (2010)
17		Anakreon Mentis, Panagiotis Katsaros, Lefteris Angelis, George Kakarontzas: Quantification of interacting runtime qualities in software architectures: Insights from transaction processing in client-server architectures. Information & Software Technology 52(12): 1331-1345 (2010)
	2009
16		Anakreon Mentis, Panagiotis Katsaros, Lefteris Angelis: Synthetic Metrics for Evaluating Runtime Quality of Software Architectures with Complex Tradeoffs. EUROMICRO-SEAA 2009: 237-242
15		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Attacking an OT-Based Blind Signature Scheme CoRR abs/0906.2947: (2009)
14		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: State Space Reduction with Message Inspection in Security Protocol Model Checking CoRR abs/0909.0174: (2009)
13		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou: Probabilistic model checking for the quantification of DoS security threats. Computers & Security 28(6): 450-465 (2009)
12		Panagiotis Katsaros: A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach. Information & Software Technology 51(2): 235-257 (2009)
	2008
11		Vasilios Almaliotis, Alexandros Loizidis, Panagiotis Katsaros, Panagiotis Louridas, Diomidis Spinellis: Static Program Analysis for Java Card Applets. CARDIS 2008: 17-31
10		George Kakarontzas, Ioannis Stamelos, Panagiotis Katsaros: Product Line Variability with Elastic Components and Test-Driven Development. CIMCA/IAWTIC/ISE 2008: 146-151
9		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou: A Probabilistic Attacker Model for Quantitative Verification of DoS Security Threats. COMPSAC 2008: 12-19
8		Konstantinos Mokos, Panagiotis Katsaros, Nick Bassiliades, Vangelis Vassiliadis, Maxime Perrotin: Towards Compositional Safety Analysis via Semantic Representation of Component Failure Behaviour. JCKBSE 2008: 405-414
	2007
7		George Kakarontzas, Panagiotis Katsaros, Ioannis Stamelos: Elastic Components: Addressing Variance of Quality Properties in Components. EUROMICRO-SEAA 2007: 31-38
6		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Intrusion Attack Tactics for the Model Checking of e-Commerce Security Guarantees. SAFECOMP 2007: 238-251
5		Panagiotis Katsaros, Lefteris Angelis, Constantine Lazos: Performance and effectiveness trade-off for checkpointing in fault-tolerant distributed systems. Concurrency and Computation: Practice and Experience 19(1): 37-63 (2007)
	2006
4		Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis: Interlocking Control by Distributed Signal Boxes: Design and Verification with the SPIN Model Checker. ISPA 2006: 317-328
3		Panagiotis Katsaros, Nantia Iakovidou, Theodoros Soldatos: Evaluation of composite object replication schemes for dependable server applications. Information & Software Technology 48(9): 795-806 (2006)
	2005
2		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: 941-959
	2004
1		Panagiotis Katsaros, Constantine Lazos: Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems. DSN 2004: 762-771

Coauthor Index

1	Nikolaos Alexiou	[9] [13] [20] [24] [27]
2	Vasilios Almaliotis	[11]
3	Lefteris Angelis	[5] [16] [17]
4	Ezio Bartocci	[25]
5	Stylianos Basagiannis	[4] [6] [9] [13] [14] [15] [19] [20] [22] [23] [24] [27] [28] [31]
6	Nick Bassiliades (N. Bassiliades)	[8] [21]
7	Borzoo Bonakdarpour	[33]
8	George Chatzieleftheriou	[29] [33]
9	Tushar Deshpande	[20] [28]
10	Vassilis C. Gerogiannis	[26]
11	Dimitris Gritzalis	[22] [31]
12	Radu Grosu	[25]
13	Nantia Iakovidou	[3]
14	George Kakarontzas	[7] [10] [17] [18] [26]
15	Vasilios Katos	[30]
16	Constantine Lazos	[1] [5]
17	Alexandros Loizidis	[11]
18	Panagiotis Louridas (Panos Louridas)	[11]
19	Georgios Meditskos	[21]
20	Anakreon Mentis	[16] [17] [32]
21	Konstantinos Mokos	[8] [21]
22	Georgios I. Papadimitriou	[24] [27]
23	Maxime Perrotin	[8]
24	Sophia G. Petridou	[24] [27]
25	Andrew Pombortsis	[4] [6] [9] [13] [14] [15] [19] [23]
26	C. R. Ramakrishnan	[25]
27	Scott A. Smolka	[20] [25] [28] [33]
28	Theodoros Soldatos	[3]
29	Yannis Soupionis	[22] [31]
30	Diomidis Spinellis	[11]
31	Ioannis Stamelos	[7] [10] [18] [26]
32	Vangelis Vasiliades	[21]
33	Vangelis Vassiliadis	[8]
34	Dimitris Vrakas	[30]

Colors in the list of coauthors

Last update Sun Jun 3 16:06:10 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page