Petros S. Stefaneas

Publication Activity (10 Years)

Years Active: 1997-2024
Publications (10 Years): 26

Top Topics

Top Venues

Publications

Georgios V. Pitsiladis, Petros S. Stefaneas
A logical framework to model software development by multiple agents following a common specification. J. Log. Comput. 34 (5) (2024)
Eleni Dazea, Petros S. Stefaneas
An Explainable AI Model for ICU Admission Prediction of COVID-19 Patients. Int. J. Artif. Intell. Tools 32 (7) (2023)
Sofia Almpani, Yiannis Kiouvrekis, Petros S. Stefaneas, Panayiotis Frangos
Computational Argumentation for Medical Device Regulatory Classification. Int. J. Artif. Intell. Tools 31 (1) (2022)
Georgios V. Pitsiladis, Petros S. Stefaneas
A logical framework to model software development by multiple agents following a common specification. CoRR (2022)
Katerina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros S. Stefaneas, Petros Kavassalis
Towards a Methodology for Formally Analyzing Federated Identity Management Systems. ISoLA (4) (2022)
Petros S. Stefaneas
On post-truth and correctness over the Web. WebSci (Companion) (2021)
Sofia Almpani, Yiannis Kiouvrekis, Petros S. Stefaneas
Modeling of Medical Devices Classification with Computational Argumentation. IISA (2021)
Alexandros Nousias, Alain Couillault, Sofia Almpani, Theodoros Mitsikas, Petros S. Stefaneas
From Legal Documents to Legal Document Management Systems; The Case of LegiCrowd (short paper). SETN Workshops (2020)
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)
Konstantinos Barlas, Petros S. Stefaneas
An algebraic schema for JSON. PCI (2020)
Dimitrios Zafeirakopoulos, Petros S. Stefaneas
Remarks on the Ethical Behavior of Artificial Intelligence (short paper). SETN Workshops (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)
Georgios V. Pitsiladis, Petros S. Stefaneas
Implementation of Privacy Calculus and Its Type Checking in Maude. ISoLA (2) (2018)
Yiannis Kiouvrekis, Petros S. Stefaneas, Angelika I. Kokkinaki, Nikos Asimakis
Limiting the Impact of Statistics as a Proverbial Source of Falsehood. EMCIS (2018)
Konstantinos Barlas, Eleni Berki, Petros S. Stefaneas, George Koletsos
Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0. Innov. Syst. Softw. Eng. 13 (1) (2017)
Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas
From Natural Language to Argumentation and Cognitive Systems. COMMONSENSE (2017)
Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas
From Natural Language to Argumentation and Cognitive Systems. AIC (2017)
Sofia Almpani, Petros S. Stefaneas
On Proving and argumentation. AIC (2017)
Marcelo Carvalho Fernandes, Antonio Juarez Alencar, Eber Assis Schmitz, Mônica Ferreira da Silva, Petros S. Stefaneas
Evaluation of Agile Software Projects in the Public Sector: A Literature Review. J. Softw. 11 (3) (2016)
Katerina Ksystra, Petros S. Stefaneas
Formal analysis and verification support for reactive rule-based Web agents. Int. J. Web Inf. Syst. 12 (4) (2016)
Maximiliano M. de Faria, Eber Assis Schmitz, Antonio Juarez Alencar, Mônica Ferreira da Silva, Petros S. Stefaneas
Analyzing IT Governance Initiatives with Game Theory: A Systematic literature Review. J. Softw. 10 (9) (2015)
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)
Petros S. Stefaneas, Ioannis M. Vandoulakis
On Mathematical Proving. J. Artif. Gen. Intell. 6 (1) (2015)
Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas
TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned. IEICE Trans. Inf. Syst. (5) (2014)
A. Malamou, C. Pandis, Panagiotis Frangos, Petros S. Stefaneas, A. Karakasiliotis, D. Kodokostas
Application of the Modified Fractal Signature Method for Terrain Classification from Synthetic Aperture Radar Images. CoRR (2014)
Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. SOFSEM (2014)
Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra
Some Engineering Applications of the OTS/CafeOBJ Method. Specification, Algebra, and Software (2014)
Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas
On Verifying Reactive Rules Using Rewriting Logic. RuleML (2014)
Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Antonios Kalampakas
Towards Formal Representation and Comparison of Video Content Using Algebraic Semiotics. SMAP (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)
Iakovos Ouranos, Petros S. Stefaneas
Towards a Protocol Algebra Based on Algebraic Specifications. SERA (selected papers) (2013)
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)
Michalis Vafopoulos, Petros S. Stefaneas, Ioannis Anagnostopoulos, Kieron O'Hara
A methodology for internal Web ethics CoRR (2012)
Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas
Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. ISoLA (2) (2012)
Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas
On the Algebraic Semantics of Reactive Rules. RuleML (2012)
Katerina Ksystra, Konstantinos Barlas, Nikolaos Triantafyllou, Petros S. Stefaneas
A Dynamic Algebraic Specification for Social Networks CoRR (2011)
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)
Konstantinos Barlas, George Koletsos, Petros S. Stefaneas
Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking CoRR (2011)
Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
Applying Algebraic Specifications on Digital Right Management Systems. ICCSW (2011)
Prodromos Tsiavos, Petros S. Stefaneas
Beyond the Boundaries of Open, Closed and Pirate Archives: Lessons from a Hybrid Approach CoRR (2011)
Nikolaos Triantafyllou, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos, Katerina Ksystra
Redesigning the Open Mobile Alliance License Choice Algorithm CoRR (2011)
Iakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata
Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method. ISoLA (1) (2010)
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)
Konstantinos Barlas, George Koletsos, Petros S. Stefaneas, Iakovos Ouranos
Towards a correct translation from ASN.1 into CafeOBJ. Int. J. Reason. based Intell. Syst. 2 (3/4) (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)
Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas
Algebraic Specifications for OMA REL Licenses. WiMob (2009)
Iakovos Ouranos, Petros S. Stefaneas
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. CAI (2007)
Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos
A Formal Specification Framework for Ad Hoc Mobile Communication Networks. SOFSEM (2) (2007)
Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos
An Algebraic Framework for Modeling of Mobile Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. (9) (2007)
Razvan Diaconescu, Petros S. Stefaneas
Ultraproducts and possible worlds semantics in institutions. Theor. Comput. Sci. 379 (1-2) (2007)
Christos J. Georgiou, Petros S. Stefaneas
Strategies for accelerating the worldwide adoption of e-commerce. Commun. ACM 45 (4) (2002)
Petros S. Stefaneas
Chartering first order logic. Developments in Language Theory (1997)