CiteSeerX — Author Search Results — "Panagiotis Katsaros"

Optimal Object State Transfer - Recovery Policies for Fault Tolerant Distributed Systems
by Panagiotis Katsaros, Constantine Lazos — 2004 — Proceedings of the IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 04), IEEE Computer Society
…Recent developments in the field of object-based fault tolerance and the advent of the first OMG FTCORBA compliant middleware raise new requirements for the design process of distributed fault-tolerant systems. In this work, we introduce a simulation-based design approach based on the optimum effect…
Cited by 4 (3 self) – Add To MetaCart

Structured Performance Modeling and Analysis for Object Based Distributed Software Systems
by Panagiotis Katsaros, P. Katsaros, Constantine Lazos — 2002 — In Proceedings of the 15th ISCA International Conference on Parallel and Distributed Computing Systems
…In this paper, we address the problems related to the performance modeling of object based software systems, distributed across multiple platforms. Classical flat queuing models seem to be inappropriate, because of the inevitable complexity caused by the platform heterogeneity and the dual client/se…
Cited by 1 (1 self) – Add To MetaCart

Shared Memory Parallel Regenerative Queuing Network Simulation
by Panagiotis Katsaros, Constantine Lazos — 2001 — Bulletin of the American Mathematical Society
…Discrete-event stochastic simulation is one of the most commonly used tools for performance modeling and evaluation. Parallel/distributed simulation enables a simulation program to execute on a computing system containing multiple processors and aims in reducing the model's execution time. Three bas…
Cited by 2 (1 self) – Add To MetaCart

Evaluation of Composite Object Replication Schemes for Dependable Server Applications
by Panagiotis Katsaros, Nantia Iakovidou, Theodoros Soldatos
…Object oriented dependable server applications often rely on fault tolerance schemes, which are comprised of different replication policies for the constituent objects (composite replication schemes). This paper introduces a simulation-based evaluation approach for quantifying the tradeoffs between …
Add To MetaCart

Simulation Metamodeling for the Design of Reliable Object Based Systems
by Panagiotis Katsaros, Lefteris Angelis, Constantine Lazos — 2004 — Proceedings of the EUROSIM 2004 Congress, EUROSIM
…Replication is a suitable approach for the provision of fault tolerance and load balancing in distributed systems. Object replication takes place on the basis of well-designed interaction protocols that preserve object state consistency in an application transparent manner. The published analytic pe…
Cited by 1 (0 self) – Add To MetaCart

Applied Multiresponse Metamodeling for Queuing Network Simulation Experiments: Problems and Perspectives
by Panagiotis Katsaros, Lefteris Angelis, Constantine Lazos — 2001 — Proc. of the 4th EUROSIM Congress on Modelling and Simulation, EUROSIM, Delfts, The Netherlands
…A complete performance evaluation study of a simulated system should consider possible alternatives and response predictions to potential parameter changes. Simulation sensitivity analysis and metamodeling constitute an efficient approach for this kind of problems. However, this approach is usually …
Cited by 6 (5 self) – Add To MetaCart

Colored Petri Net based model checking and failure analysis for E-commerce protocols
by Panagiotis Katsaros, Vasilis Odontidis, Maria Gousidou-Koutita — 2005 — Dept. of Computer Science, University of Aarhus
…We present a Colored Petri Net approach to model check three atomicity properties for the NetBill electronic cash system. We verify that the protocol satisfies money atomicity, goods atomicity and certified delivery in the presence of potential site or communication failures and all possible unil…
Cited by 1 (1 self) – Add To MetaCart

Interlocking control by Distributed Signal Boxes: design and verification with the SPIN model checker
by Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis — 2006 — Proceedings of the International Symposium on Parallel and Distributed Processing and Applications (ISPA 2006), Lecture Notes in Computer Science 4330
…Abstract. Control systems are required to comply with certain safety and liveness correctness properties. In most cases, such systems have an intrinsic degree of complexity and it is not easy to formally analyze them, due to the resulting large state space. Also, exhaustive simulation and testing ca…
Cited by 1 (1 self) – Add To MetaCart

Synthesis of Attack Actions Using Model Checking for the Verification of Security Protocols
by Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis
…Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the goals of the protocol. Published works and existing security analysis tools are usually based on general intruder models th…
Add To MetaCart

A probabilistic attacker model for quantitative verification of DoS security threats
by Stylianos Basagiannis, Panagiotis Katsaros, Andrew Pombortsis, Nikolaos Alexiou — 2008 — In Proc. of the 32nd Annual International Computer and Applications Software (COMPSAC
…This work introduces probabilistic model checking as a viable tool-assisted approach for systematically quantifying DoS security threats. The proposed analysis is based on a probabilistic attacker model implementing simultaneous N zombie participants, which subvert secure authentication features in …
Cited by 1 (1 self) – Add To MetaCart

Searching for authors named "Panagiotis Katsaros" – sorted by Relevance.