| Extending standards with formal methods: Open document architecture K Barlas, G Koletsos, P Stefaneas 2012 International Symposium on Innovations in Intelligent Systems and …, 2012 | 10 | 2012 |
| Towards formal open standards: formalizing a standard’s requirements: The case of RSS v2. 0 K Barlas, E Berki, P Stefaneas, G Koletsos Innovations in Systems and Software Engineering 13, 51-66, 2017 | 8 | 2017 |
| Towards a correct translation from ASN. 1 into CafeOBJ K Barlas, G Koletsos, P Stefaneas, I Ouranos International Journal of Reasoning-based Intelligent Systems 2 (3-4), 300-309, 2010 | 6 | 2010 |
| Formal specification of open standards and the case of RSS v2. 0 K Barlas, E Berki, I Adomnita, T Nalam, GS Nejad, J Veijalainen Proceedings of the 18th Panhellenic Conference on Informatics, 1-6, 2014 | 4 | 2014 |
| An Algebraic Specification/Schema for JSON K Barlas, P Stefaneas Journal of Engineering Research and Sciences 1 (5), 243-250, 2022 | 3 | 2022 |
| Problem-focused education and feedback mechanisms for re-designing a course on open source and software quality J Valtanen, E Berki, K Barlas, L Linfeng, M Mirjan Education INSPIRES, 23-36, 2013 | 3 | 2013 |
| From ASN. 1 into CafeOBJ: Some first steps K Barlas, G Koletsos, P Stefaneas, I Ouranos 2009 Fourth South-East European Workshop on Formal Methods, 66-72, 2009 | 3 | 2009 |
| A dynamic algebraic specification for social networks K Ksystra, K Barlas, N Triantafyllou, P Stefaneas arXiv preprint arXiv:1106.6267, 2011 | 2 | 2011 |
| MODELLING REAL TIME AUTHENTICATION PROTOCOLS USING ALGEBRAIC SPECIFICATION TECHNIQUES–THE CASE OF TESLA PROTOCOL IOPSK Barlas, S Demertzis, GKP Frangos | 2 | 2007 |
| An algebraic schema for JSON K Barlas, P Stefaneas Proceedings of the 24th Pan-Hellenic Conference on Informatics, 31-33, 2020 | 1 | 2020 |
| A Dynamic Algebraic Specification of Social Networks K Ksystra, N Triantafyllou, K Barlas, P Stefaneas Proceedings of SQM and INSPIRE 2012, August 21-23, 2012, Tampere, Finland, 2012 | | 2012 |
| Transforming ASN. 1 Specifications into CafeOBJ to assist with Property Checking K Barlas, G Koletsos, P Stefaneas arXiv preprint arXiv:1103.2787, 2011 | | 2011 |
| Towards a correct Translation from ASN.1 into CafeOBJ K Barlas, G Koletsos, P Stefaneas, I Ouranos International Symposium on INnovations in Intelligent SysTems and …, 2009 | | 2009 |
