| J9. |
Kakarontzas, G., Katsaros, P.,
Stamelos, I.,
Component Certification as a Prerequisite for
Widespread OSS Reuse,
Electronic Communications of the European
Association of Software Science and Technology
(EASST), Vol. 33: Foundations and
Techniques for Open Source Software
Certification,
2010
Keywords: component certification, open
source software reuse, component-based
development |
|
| J8. |
Mentis, A., Katsaros, P.,
Angelis, L., Kakarontzas, G., Quantification
of interacting runtime qualities in software
architectures: insights from transaction
processing in client-server architectures,
Information
and Software Technology,
Vol. 52 (12), 1331-1345, Elsevier, 2010
(online: http://dx.doi.org/10.1016/j.infsof.2010.07.006)
Keywords: software architecture
validation, software quality, design
tradeoffs, transaction processing,
simulation |
|
| J7. |
Basagiannis, S., Katsaros, P.,
Pombortsis, A., An
intruder model with Message Inspection for
model checking security protocols, Computers
& Security, Vol. 29
(1),
16-34,
Elsevier, 2010
(online: http://dx.doi.org/10.1016/j.cose.2009.08.003)
Keywords: security protocols,
verification, model checking, intrusion attacks,
formal analysis |
|
