Anakreontas Mentis
Title
Cited by
Cited by
Year
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
2362013
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, 143-154, 2013
192013
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
162012
Model checking and code generation for transaction processing software
A Mentis, P Katsaros
Concurrency and Computation: Practice and Experience 24 (7), 711-722, 2012
72012
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
72010
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
62008
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
62008
Secure Migration of Legacy Applications to the Web
Z Karampaglis, A Mentis, F Rafailidis, P Tsolakidis, A Ampatzoglou
International Conference on Software Engineering and Formal Methods, 229-243, 2012
52012
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
52009
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
32012
The ACID model checker and code generator for transaction processing
A Mentis, P Katsaros
2009 International Conference on High Performance Computing & Simulation …, 2009
32009
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
The system can't perform the operation now. Try again later.
Articles 1–13