The Sphinx enigma in critical VoIP infrastructures: Human or botnet? D Gritzalis, Y Soupionis, V Katos, I Psaroudakis, P Katsaros, A Mentis IISA 2013, 1-6, 2013 | 242 | 2013 |
Probabilistic model checking of CAPTCHA admission control for DoS resistant anti-SPIT protection E Stachtiari, Y Soupionis, P Katsaros, A Mentis, D Gritzalis Critical Information Infrastructures Security: 7th International Workshop …, 2013 | 21 | 2013 |
Rigorous analysis of service composability by embedding WS-BPEL into the BIP component framework E Stachtiari, A Mentis, P Katsaros 2012 IEEE 19th International Conference on Web Services, 319-326, 2012 | 20 | 2012 |
Model checking and code generation for transaction processing software A Mentis, P Katsaros Concurrency and Computation: Practice and Experience 24 (7), 711-722, 2012 | 9 | 2012 |
Quantification of interacting runtime qualities in software architectures: Insights from transaction processing in client–server architectures A Mentis, P Katsaros, L Angelis, G Kakarontzas Information and Software Technology 52 (12), 1331-1345, 2010 | 8 | 2010 |
Synthetic metrics for evaluating runtime quality of software architectures with complex tradeoffs A Mentis, P Katsaros, L Angelis 2009 35Th euromicro conference on software engineering and advanced …, 2009 | 8 | 2009 |
Secure Migration of Legacy Applications to the Web Z Karampaglis, A Mentis, F Rafailidis, P Tsolakidis, A Ampatzoglou Information Technology and Open Source: Applications for Education …, 2014 | 6 | 2014 |
Inventory, assessment and monitoring of Mediterranean Wetlands: The MedWet Web Information System User Manual P Katsaros, Y Kapanidis, A Mentis AUTH & EKBY. MedWet publication.(Scientific reviewer Nick J Riddiford), 2008 | 6 | 2008 |
ACID Sim Tools: A simulation framework for distributed transaction processing architectures A Mentis, P Katsaros, L Angelis Proc. 1st Int. Conf. on Simulation Tools and Techniques (SimulationWorks …, 2008 | 6 | 2008 |
A simulation process for asynchronous event processing systems: Evaluating performance and availability in transaction models A Mentis, P Katsaros, L Angelis Simulation Modelling Practice and Theory 29, 66-77, 2012 | 4 | 2012 |
The ACID model checker and code generator for transaction processing A Mentis, P Katsaros 2009 International Conference on High Performance Computing & Simulation …, 2009 | 3 | 2009 |
The MedWeT Web InforMaTIon SySTeM USer ManUal P Katsaros, Y Kapanidis, A Mentis | | |
ACID Sim Tools: Evaluating tradeoffs between recovery costs and performance in Distributed Transaction Processing Architectures A Mentis, P Katsaros, L Angelis | | |