- Quantification of interacting runtime qualities in software architectures: insights from transaction processing in client-server architectures
- An intruder model with Message Inspection for model checking security protocols
- A roadmap to electronic payment transaction guarantees and a Colored Petri Net model checking approach
- Evaluation of composite object replication schemes for dependable server applications
- Regenerative Estimation Variants of Response Times in Closed Networks of Queues
- A Framework for Access Control with Inference Constraints Vasilios Katos, Dimitrios Vrakas and Panagiotis Katsaros
- Quantitative Model Checking of an RSA-based Email Protocol on Mobile Devices Sophia Petridou, Stylianos Basagiannis, Nikolaos Alexiou, Georgios Papadimitriou and Panagiotis Katsaros
- Hands on Dependability Economics Theodosios Tsiakis
- A Probabilistic Attacker Model for Quantitative Verification of DoS Security Stylianos Basagiannis Panagiotis Katsaros Andrew Pombortsis
- Interlocking control by Distributed Signal Boxes: design and verification with the SPIN model checker
- On the design of access control to prevent sensitive information leakage in distributed object systems: a
- SIMULATION AND VERIFICATION OF ATOMICITY PROPERTIES FOR AN ELECTRONIC CASH SYSTEM
- Optimal object state transfer -recovery policies for fault tolerant distributed Panagiotis Katsaros Constantine Lazos
- Single-pass Static Semantic Check for Efficient Translation Zafiris Karaiskos, Panajotis Katsaros and Constantine Lazos
- STRUCTURED PERFORMANCE MODELING AND ANALYSIS FOR OBJECT BASED DISTRIBUTED SOFTWARE SYSTEMS
- 5th EUROSIM Congress on Modelling and Simulation
- Transparent Modelling Of Objects' Evolution Dimitrios Theotokis1
- -( 1.1). HTM L). ,
- Quantitative Analysis of a Certified E-mail Protocol in Mobile Environments: A Probabilistic Model Checking
- Model Checking for Generation of Test Suites in Software Unit Testing
- Queuing network simulation output analysis and parallel execution mechanisms
- Synthetic metrics for evaluating runtime quality of software architectures with complex tradeoffs
- A simulation test-bed for the design of dependable e-services PANAJOTIS KATSAROS CONSTANTINE LAZOS
- Performance and effectiveness trade-off for checkpointing in fault tolerant distributed systems
- Probabilistic model checking for the quantification of DoS security threats
- The ACID Model Checker and Code Generator for transaction processing Anakreon Mentis Panagiotis Katsaros
- Amtliche Bekanntmachung Jahrgang 2007 / Nr. 74
- Colored Petri Net based model checking and failure analysis for E-commerce protocols
- A Formally Verified Mechanism for Countering SPIT Yannis Soupionis1
- AUTOMATING THE EVALUATION OF EDUCATIONAL SOFTWARE Ioannis Stamelos 1 , Ioannis Refanidis 1 , Panagiotis Katsaros 1 , Alexandros Tsoukias 2
- Simulation and verification of information flow paths for access control policies specified in the CORBA Security setting
- AN ADAPTABLE FRAMEWORK FOR EDUCATIONAL SOFTWARE EVALUATION
- SHARED MEMORY PARALLEL REGENERATIVE QUEUING NETWORK Panajotis Katsaros
- Static program analysis for Java Card applets Vasilios Almaliotis1 Alexandros Loizidis1 Panagiotis Katsaros1
- APPLIED MULTIRESPONSE METAMODELING FOR QUEUING NETWORK SIMULATION EXPERIMENTS
- Test-driving static analysis tools in search of C code vulnerabilities George Chatzieleftheriou
- Ontology-based Model Driven Engineering for Safety Verification
- Synthesis of Attack Actions Using Model Checking for the Verification of Security Protocols
- Intrusion Attack Tactics for the Model Checking of e-commerce Security Guarantees
- 2077 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for
- Static program analysis of multi-applet JavaCard applications
- Abstract--This paper addresses statistical issues that arise in stochastic simulations of the steady-state behavior of queuing
- SIMULATION METAMODELING FOR THE DESIGN OF RELIABLE OBJECT BASED SYSTEMS
- APPROXIMATE AND SIMULATION BASED ANALYSIS FOR DISTRIBUTED OBJECT SOFTWARE PERFORMANCE MODELS
- Formal Analysis of the Kaminsky DNS Cache-Poisoning Attack Using
- AN RT-UML MODEL FOR BUILDING FASTER-THAN-REAL-TIME SIMULATORS
- ACID Sim Tools: A Simulation Framework for Distributed Transaction Processing Architectures
- ASSESSING THE MODIFIABILITY OF TWO OBJECT-ORIENTED DESIGN ALTERNATIVES A CONTROLLED
- Elastic Component Characterization with respect to Quality Properties: An intuitionistic fuzzy-based approach
- Economic evaluation of Interactive Audio Media for securing Internet services
- Formal Analysis of the DNS Bandwidth Amplification Attack and its Countermeasures
- Model checking and code generation for transaction processing software
- Formal analysis for robust anti-SPIT protection using model checking
- Abstract Model Repair George Chatzieleftheriou1
