| C35. |
Katos, V., Vrakas, D., Katsaros, P.
A
framework for access control with inference
constraints, In Proceedings of the
35th IEEE Computer Software and Applications
Conference (COMPSAC), Munich, Germany, IEEE Computer
Society,
289-297, 2011
(http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2011.45)
Keywords:
access control, inference control |
|
| C34. |
Chatzieleftheriou, G., Katsaros, P.
Test
driving static analysis tools in search of C
code vulnerabilities, In Proceedings of
the
35th IEEE Computer Software and Applications
Conference Workshops (COMPSACW), Munich,
Germany, IEEE Computer Society,
96-103, 2011
(http://doi.ieeecomputersociety.org/10.1109/COMPSACW.2011.26)
Keywords:
static program analysis, software security,
benchmark tests |
|
| C33. |
Petridou, S., Basagiannis, S., Alexiou, N.,
Papadimitriou, G., Katsaros, P.
Quantitative model checking
of an RSA-based email protocol on mobile
devices, In Proceedings of the
16th IEEE Symposium on Computers and
Communications (ISCC), Corfu, Greece, IEEE Computer
Society,
639-645, 2011
(http://dx.doi.org/10.1109/ISCC.2011.5983911)
Keywords:
security protocols, probabilistic model
checking, mobile computing |
|
| C32. |
Bartocci, E., Grosu, R., Katsaros, P.,
Ramakrishnan, CR, Smolka, S.
Model Repair for probabilistic systems, In
Proceedings of the
17th Int. Conference on Tools and Algorithms
for the Construction and Analysis of Systems
(TACAS), Saarbrücken, Germany, LNCS
6605,
326-340,
Springer Verlag, 2011
(online:
http://dx.doi.org/10.1007/978-3-642-19835-9_30)
Keywords:
model repair, probabilistic model checking,
nonlinear programming |
|
| C31. |
Soupionis, Y., Basagiannis, S., Katsaros,
P., Gritzalis, D. A
formally verified mechanism for countering
SPIT, 5th
International
Workshop
on Critical Information Infrastructure
Security
(CRITIS'10), Athens,
Greece, LNCS 6712,
128-139, Springer Verlag, 2011
Keywords: Spam over Internet
Telephony (SPIT), policy management, model
checking, formal verification, Voice over IP
(VoIP) |
|
| C30. |
Alexiou, N., Deshpande, T., Basagiannis, S.,
Smolka, S., Katsaros, P. Formal
analysis of the Kaminsky DNS cache-poisoning
attack using probabilistic model checking,
In Proceedings of the 12th
IEEE International High Assurance Systems
Engineering Symposium (HASE), San Jose,
California, IEEE Computer Society, 94-103, 2010
(online:
http://doi.ieeecomputersociety.org/10.1109/HASE.2010.25)
Keywords:
cache-poisoning attack, probabilistic model
checking |
|
| C29. |
Mokos, K., Meditskos, G., Katsaros,
P., Bassiliades, N.,
Vasiliades,
V. Ontology-based
model driven engineering for safety
verification, In Proceedings of the 36th
EUROMICRO Conference on Software Engineering
and Advanced Applications (SEAA), Lille,
France,
IEEE Computer Society, 47-54, 2010
(online:
http://doi.ieeecomputersociety.org/10.1109/SEAA.2010.60)
Keywords:
model driven engineering, safety, verification
& validation, ontology reasoning, model
transformation |
|
| C28. |
Mentis, A., Katsaros, P.,
Angelis, L. Synthetic
metrics for evaluating performance of software
architectures with complex tradeoffs, In
Proceedings of the 35th
EUROMICRO Conference on Software Engineering
and Advanced Applications (SEAA), Patra, Greece, IEEE Computer
Society,
237-242, 2009
(online: http://doi.ieeecomputersociety.org/10.1109/SEAA.2009.84)
Keywords: |
|
|
|
|
|
| C25. |
Kakarontzas, G., Stamelos, I., Katsaros,
P. Product line variability with
elastic components and test-driven development,
In Proceedings of the International
Conference on Innovation in Software
Engineering (ISE 2008), Vienna, Austria -
IEEE Computer Society, 146-151, 2008
(online: http://doi.ieeecomputersociety.org/10.1109/CIMCA.2008.84)
Keywords: |
|
| C24. |
Mokos,
K., Katsaros, P.,
Bassiliades, N., Vasiliades, V., Perrotin, M.
Towards
compositional safety analysis via semantic
representation of component failure behavior,
In: Knowledge-based Software Engineering/Proc.
of
8th Joint Conference on Knowledge - Based Software
Engineering 2008 (JCKBSE 08)
- Piraeus, Greece,
Frontiers
in Artificial Intelligence and Applications, M. Virvou and T. Nakamura (Eds.) , 405-414, IOS Press, 2008
(online:
http://dx.doi.org/10.3233/978-1-58603-900-4-405)
Keywords: |
|
| C23. |
Almaliotis, V., Loizidis,
A., Katsaros, P., Louridas,
P., Spinellis, D.
Static
program analysis for Java Card applets,
In Proceedings of the
8th
IFIP Smart Card Research and Advanced
Application Conference (CARDIS),
Royal Holloway, Un. of
London, United Kingdom,
LNCS 5189, 17-31, Springer Verlag, 2008
(online:
http://dx.doi.org/10.1007/978-3-540-85893-5_2)
Keywords: |
|
| C22. |
Basagiannis,
S., Katsaros, P.,
Pombortsis, A., Alexiou,
N., A
probabilistic attacker model for
quantitative verification of DoS security
threats, In Proceedings of the 32nd
Annual IEEE International on Computer
Software and Applications Conference
(COMPSAC 2008), Turku, Finland, IEEE
Computer Society, 12-19, 2008
(online: http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2008.48)
Keywords: |
|
| C21. |
Mentis,
A., Katsaros, P., Angelis,
L., ACID
Sim Tools: A simulation framework for
distributed transaction processing
architectures, In Proceedings
of the
1st
International Conference on Simulation Tools
and Techniques for Communications, Networks
and Systems (SimulationWorks Industry Track),
Marseille, France, 2008
Keywords: |
|
| C20. |
Basagiannis,
S., Katsaros, P.,
Pombortsis, A.,
Intrusion
Attack Tactics for the model checking of
e-commerce security guarantees,
In Proceedings of the
26th
International Conference on Computer Safety,
Reliability and Security (SAFECOMP),
Nuremberg, Germany, LNCS 4680, 238-251,
Springer Verlag, 2007
(online:
http://dx.doi.org/10.1007/978-3-540-75101-4_22)
Keywords: |
|
| C19. |
Kakarontzas,
G., Katsaros, P.,
Stamelos, I.,
Elastic
Components: Addressing variance of quality
properties in components, In Proceedings of the
33rd
Euromicro Conference on Software Engineering
and Advanced Applications (SEAA),
EUROMICRO, Luebeck, Germany, 31-38, IEEE
Computer Society, 2007
(online:
http://doi.ieeecomputersociety.org/10.1109/EUROMICRO.2007.29)
Keywords: |
|
| C18. |
Basagiannis,
S., Katsaros, P.,
Pombortsis, A.,
Interlocking
control by Distributed Signal Boxes: design
and verification with the SPIN model checker,
In Proceedings of the
International
Symposium on Parallel and Distributed
Processing and Applications (ISPA 2006),
Sorrento, Italy, LNCS 4330, 317-328, Springer
Verlag,
2006
(online:
http://dx.doi.org/10.1007/11946441_32)
Keywords: |
|
|
|
| C16. |
Katsaros,
P., Odontidis, V.,
Gousidou-Koutita, M.,
Simulation
and verification of atomicity properties for
an electronic cash system, In Proceedings of the
2005 European Simulation and Modelling Conference
(ESM 2005), EUROSIS, Porto, Portugal, 558-563,
2005
Keywords: |
|
| C15. |
Katsaros,
P., Odontidis, V.,
Gousidou-Koutita, M.,
Colored
Petri Net based model checking and failure
analysis for e-commerce protocols,
In Proceedings of the
Sixth
Workshop and Tutorial on Practical Use of
Coloured Petri Nets and the CPN Tools
(CPN'05), DAIMI PB-576, Dept. of Computer
Science, University of Aarhus, Denmark,
267-283, 2005
Keywords: |
|
|
|
| C13. |
Katsaros, P., Lazos, C.,
Optimal object state transfer - recovery policies for
fault tolerant distributed systems, In Proceedings of the
IEEE/IFIP
International Conference on Dependable
Systems and Networks (DSN 04), Florence, Italy, IEEE
Computer Society Press, 762-771, 2004
(online:
http://doi.ieeecomputersociety.org
/10.1109/DSN.2004.1311947)
Keywords: |
|
| C12. |
Katsaros,
P., Angelis, L., Lazos,
C., Simulation metamodeling for the
design of reliable object based systems,
In Proceedings of the
EUROSIM 2004 Congress,
Special
session on Modeling and simulation of object
based systems, EUROSIM, Paris, France, 2004
Keywords: |
|
| C11. |
Deligiannis,
I., Sfetsos, P., Stamelos, I., Angelis, L.,
Chatzigeorgiou,
A., Katsaros,
P.,
Assessing the modifiability of two object-oriented
design alternatives - A controlled
experiment replication, In Proceedings of the
EUROSIM 2004 Congress,
Special
session on Modeling and simulation of object
based systems, EUROSIM, Paris, France, 2004
Keywords: |
|
| C10. |
Katsaros, P., Lazos, C., Approximate and
simulation based analysis for distributed
object software performance models, In
Proceedings of the 2003 European
Simulation and Modelling Conference (ESM
2003), EUROSIS, Naples, Italy, 409-414, 2003
Keywords: |
|
| C9. |
Karaiskos,
Z., Katsaros, P. and Lazos,
C., Single-pass static semantic check for efficient
translation in YAPL, In Proceedings of the
1st
Balkan Conference in Informatics,
Thessaloniki, Greece, 623-632, 2003
Keywords: |
|
| C8. |
Katsaros,
P., Lazos,
C., A simulation test-bed for the design of
dependable e-services, In Proceedings of the
3rd WSEAS International Conference on
Simulation, Modeling and Optimization
(ICOSMO), Rethymno, Greece, 2003
Keywords: |
|
| C7. |
Katsaros,
P., Lazos,
C., Structured performance modeling
and analysis for object based distributed
software systems, In Proceedings of the 15th ISCA
International Conference on Parallel and
Distributed Computing Systems, ISCA,
Louisville, USA, 96-102, 2002
Keywords: |
|
| C6. |
Katsaros,
P.,
Lazos, C., Regenerative
estimation variants of response times in
closed networks of queues, In Proc.
of the 2nd WSEAS International Conference on
Simulation, Modeling and Optimization
(ICOSMO), Skiathos, Greece, 2002
Keywords: |
|
|
|
| C4. |
Katsaros,
P., Angelis, L., Lazos, C., Applied multiresponse
metamodeling for queuing network
simulation experiments: problems and
perspectives, In Proc. of the EUROSIM 2001 Congress, EUROSIM, Delfts, The
Netherlands, 2001
Keywords:
|
|
| C3. |
Katsaros,
P., Lazos,
C., Shared memory parallel
regenerative queuing network simulation,
In Proc.
of the 15th European Simulation
Multiconference, Society for Computer
Simulation, Prague, The Czech Rep., 736-740,
2001
Keywords: |
|
| C2. |
Katsaros,
P., Lazos,
C., Regenerative queuing network distributed
simulation, In Proc.
of the 14th European Simulation
Multiconference, Society for Computer
Simulation, Gent, Belgium, 109-113, 2000
Keywords: |
|
| C1. |
Stamelos,
J., Refanidis, J., Katsaros, P.,
Vlachavas, J., Tsoukias, A., Pombortsis, A., Automating the evaluation of
educational software, In Proc. of the 5th International Conference of the Decision
Sciences Institute, 1369-1373, Athens, 1999
Keywords: |
|
