Algebraic specifications for oma rel licenses N Triantafyllou, I Ouranos, P Stefaneas 2009 IEEE International Conference on Wireless and Mobile Computing …, 2009 | 11 | 2009 |
On the algebraic semantics of reactive rules K Ksystra, N Triantafyllou, P Stefaneas Rules on the Web: Research and Applications: 6th International Symposium …, 2012 | 6 | 2012 |
Formal specification and verification of the OMA license choice algorithm in the OTS/CafeOBJ method N Triantafyllou, I Ouranos, P Stefaneas, P Frangos 2010 International Conference on Wireless Information Networks and Systems …, 2010 | 6 | 2010 |
An algebraic specification for the mpeg-2 encoding algorithm K Ksystra, P Stefaneas, N Triantafyllou, I Ouranos 2009 Fourth South-East European Workshop on Formal Methods, 46-52, 2009 | 4 | 2009 |
Some engineering applications of the OTS/CafeOBJ method P Stefaneas, I Ouranos, N Triantafyllou, K Ksystra Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi …, 2014 | 3 | 2014 |
Software engineering applications of the OTS/CafeOBJ algebraic specification method N Triantafyllou Εθνικό Μετσόβιο Πολυτεχνείο (ΕΜΠ). Σχολή Ηλεκτρολόγων Μηχανικών και …, 2019 | 2 | 2019 |
An Algorithm for Allocating User Requests to Licenses in the OMA DRM System N Triantafyllou, P Stefaneas, P Frangos IEICE TRANSACTIONS on Information and Systems 96 (6), 1258-1267, 2013 | 2 | 2013 |
Proof Carrying Code using Algebraic Specifications N Triantafyllou, K Ksystra, P Stefaneas, P Frangos Journal of Applied Mathematics and Bioinformatics 3 (1), 43, 2013 | 2 | 2013 |
OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications N Triantafyllou, P Stefaneas, P Frangos arXiv preprint arXiv:1205.5106, 2012 | 2 | 2012 |
A dynamic algebraic specification for social networks K Ksystra, K Barlas, N Triantafyllou, P Stefaneas arXiv preprint arXiv:1106.6267, 2011 | 2 | 2011 |
Towards a methodology for formally analyzing federated identity management systems K Ksystra, M Dimarogkona, N Triantafyllou, P Stefaneas, P Kavassalis International Symposium on Leveraging Applications of Formal Methods, 382-405, 2022 | 1 | 2022 |
A Formal Representation of Video Content with the Picture Hyperoperation A Kalampakas, N Triantafyllou, K Ksystra, P Stefaneas Algebraic Modeling of Topological and Computational Structures and …, 2017 | 1 | 2017 |
Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications K Ksystra, N Triantafyllou, P Stefaneas, P Frangos 2012 Seventh International Workshop on Semantic and Social Media Adaptation …, 2012 | 1 | 2012 |
Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm N Triantafyllou, I Ouranos, P Stefaneas, P Frangos e-Business and Telecommunications: 7th International Joint Conference, ICETE …, 2012 | 1 | 2012 |
Applying Algebraic Specifications on Digital Right Management Systems N Triantafyllou, K Ksystra, P Stefaneas, P Frangos arXiv preprint arXiv:1108.1482, 2011 | 1 | 2011 |
Towards formal representation and comparison of video content using algebraic semiotics N Triantafyllou, K Ksystra, P Stefaneas, A Kalampakas 2014 9th International Workshop on Semantic and Social Media Adaptation and …, 2014 | | 2014 |
The Picture Hyperoperation A Kalampakas, N Triantafyllou, K Ksystra, P Stefaneas | | 2014 |
OTS2DBC: An attempt to combine Design by Contract with Behavioral Algebraic Specifications N Triantafyllou, P Stefaneas, P Frangos arXiv preprint arXiv:1205.5106, 2012 | | 2012 |
An Algebraic Specification of the Semantic Web K Ksystra, N Triantafyllou, P Stefaneas, P Frangos arXiv preprint arXiv:1107.5897, 2011 | | 2011 |
Redesigning the Open Mobile Alliance License Choice Algorithm N Triantafyllou arXiv preprint arXiv:1102.1547, 2011 | | 2011 |