| View by year: | 1999 - 2003 | 2004 | 2005 | 2006 | 2007 | 2008 | 2009 |
| 2010 | 2011 | 2012 | 2013 | 2014 | 2015 |
All |
|
| Keyword: | model checking | static analysis | simulation | software quality & testing | software architecture | service systems |
Journal Publications (in reverse chronological order)
| J17. | Chatzieleftheriou,
G., Bonakdarpour,
B., Katsaros, P., Smolka, S., Abstract Model
Repair,
(To appear in) Logical
Methods in Computer Science, 2015 Keywords: model repair, abstraction - refinement |
Articles in Conference Proceedings (in reverse chronological order)
| C56. | Naskos,
A., Gounaris, A., Mouratidis, H., Katsaros, P.
Security-aware elasticity for
NoSQL databases, (To appear in the) 5th
International Conference on Model & Data
Engineering (MEDI), Rhodes, Greece, 2015 Keywords: cloud, security, probabilistic model checking |
| C55. | Naskos, A.,
Stachtiari, E., Katsaros, P.,
Gounaris, A. Probabilistic
model checking for the provisioning of cloud
resources, (To appear in the) 15th
International Conference on Runtime Verification
(RV),
Vienna, Austria, 2015 Keywords: cloud, probabilistic model checking |
| C54. | Stergiopoulos, G., Petsanas, P., Katsaros,
P., Gritzalis, D. Automated
exploit detection using path profiling: the
disposition should matter, not the position, (To
appear in the) 12th
International Conference on Security and Cryptography
(SECRYPT),
Colmar, Alsace, France, 2015 Keywords: source code profiling, logical errors, static analysis, dynamic analysis |
| C53. | Naskos, A., Stachtiari, E., Gounaris, A., Katsaros,
P., Tsoumakos, D., Konstantinou, I., Sioutas,
S. Dependable horizontal
scaling based on probabilistic model checking, In
Proceedings of the 15th
IEEE/ACM International Symposium on Cluster, Cloud and
Grid Computing (CCGrid), Shenzhen, Guangdong, China,
2015 Keywords: cloud, probabilistic model checking |
| C52. | Lekidis, A., Stachtiari, E., Katsaros,
P., Bozga, M., Georgiadis, C.-K. Using
BIP to reinforce correctness of resource-constrained
IoT applications, In Proceedings of the 10th
IEEE International Symposium on Industrial Embedded
Systems (SIES), Siegen, Germany,
2015 Keywords: rigorous design, Internet of Things, web services |
| C51. | Stergiopoulos, G., Katsaros, P.,
Gritzalis, D. Automated
detection of logical errors in programs, In
Proceedings of the
9th
International Conference on Risks and Security of
Internet and Systems
(CRiSIS), Trento, Italy, LNCS 8924, 35-51,
Springer Verlag, 2015 (online: http://dx.doi.org/10.1007/978-3-319-17127-2_3) Keywords: source code profiling, logical errors, static analysis, dynamic analysis |
|
|
|
|
