Panayiotis Frangos

Publication Activity (10 Years)

Years Active: 2009-2022
Publications (10 Years): 6

Top Topics

Top Venues

IEICE Trans. Inf. Syst.

Paladyn J. Behav. Robotics

Publications

Sofia Almpani, Yiannis Kiouvrekis, Petros S. Stefaneas, Panayiotis Frangos
Computational Argumentation for Medical Device Regulatory Classification. Int. J. Artif. Intell. Tools 31 (1) (2022)
Sofia Almpani, Theodoros Mitsikas, Petros S. Stefaneas, Panayiotis Frangos
ExosCE: A legal-based computational system for compliance with exoskeletons' CE marking. Paladyn J. Behav. Robotics 11 (1) (2020)
Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. RuleML+RR (2019)
Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos
Formalizing Air Traffic Control Regulations in PSOA RuleML. RuleML+RR (Supplement) (2018)
Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
Computational Regulation of Medical Devices in PSOA RuleML. RuleML+RR (2018)
Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
Object-Relational Rules for Medical Devices: Classification and Conformity. OTM Conferences (2) (2018)
Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
An Algebraic Framework for the Verification of Context-Aware Adaptive Systems. Int. J. Softw. Eng. Knowl. Eng. 25 (7) (2015)
Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. SOFSEM (2014)
Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
An Algorithm for Allocating User Requests to Licenses in the OMA DRM System. IEICE Trans. Inf. Syst. (6) (2013)
Aimilia P. Doukeli, Athanasios S. Lioumpas, George K. Karagiannidis, Panayiotis Frangos
Increasing the Efficiency of Rake Receivers for Ultra-Wideband Applications. Wirel. Pers. Commun. 62 (3) (2012)
Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications CoRR (2012)
Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications. SMAP (2012)
Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
An Algebraic Specification of the Semantic Web CoRR (2011)
Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
Applying Algebraic Specifications on Digital Right Management Systems CoRR (2011)
Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
Applying Algebraic Specifications on Digital Right Management Systems. ICCSW (2011)
Nikolaos Triantafyllou, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos, Katerina Ksystra
Redesigning the Open Mobile Alliance License Choice Algorithm CoRR (2011)
Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos
Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm. ICETE (Selected Papers) (2010)
Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos
Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method. WINSYS (2010)
Katerina Ksystra, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos
A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications. SIGMAP (2010)
Aimilia P. Doukeli, Athanasios S. Lioumpas, George K. Karagiannidis, Panayiotis Frangos
Self-Reference Ultra-Wideband Systems CoRR (2009)