Petros S. Stefaneas

64 papers B 4C 1Journal 28Unranked 29

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A logical framework to model software development by multiple agents following a common specification. J. Log. Comput. Georgios V. Pitsiladis, Petros S. Stefaneas
2024	—	`conf`	Converting BPMN Diagrams to Privacy Calculus. FROM Georgios V. Pitsiladis, Petros S. Stefaneas
2024	J	`jnl`	Toward Responsible AI: A Framework for Ethical Design Utilizing Deontic Logic. Int. J. Artif. Intell. Tools Dimitrios Zafeirakopoulos, Petros S. Stefaneas
2023	—	`conf`	A novel electrical muscle stimulation device for neurorehabilitation applications with adaptable parameter optimization using AI algorithms. MOCAST Arsenios Arsenidis, Alexandros Moraitopoulos, Alkinoos Athanasiou, Panagiotis D. Bamidis, Petros S. Stefaneas, Alexander Astaras
2023	J	`jnl`	An Explainable AI Model for ICU Admission Prediction of COVID-19 Patients. Int. J. Artif. Intell. Tools Eleni Dazea, Petros S. Stefaneas
2023	J	`jnl`	INDCOR white paper on the Design of Complexity IDNs. CoRR Andrew Perkis, Mattia Bellini, Valentina Nisi, María Cecilia Reyes, Cristina Sylla, Mijalche Santa, Anna Zaluczkowska, Shafaq Irshad, Ágnes Karolina Bakk, Fanny Barnabé, Daniel Barnard, Nadia Boukhelifa, Øyvind Sørdal Klungre, Hartmut Koenitz, Vincenzo Lombardo, Mirjam Palosaari Eladhari, Catia Prandi, Scott Rettberg, Anca Serbanescu, Sonia Sousa, Petros S. Stefaneas, Dimitar Uzunov, Mirjam Vosmeer, Marcin Wardaszko
2022	J	`jnl`	A logical framework to model software development by multiple agents following a common specification. CoRR Georgios V. Pitsiladis, Petros S. Stefaneas
2022	J	`jnl`	Computational Argumentation for Medical Device Regulatory Classification. Int. J. Artif. Intell. Tools Sofia Almpani, Yiannis Kiouvrekis, Petros S. Stefaneas, Panayiotis Frangos
2022	—	`conf`	Towards a Methodology for Formally Analyzing Federated Identity Management Systems. ISoLA (4) Katerina Ksystra, Maria Dimarogkona, Nikolaos Triantafyllou, Petros S. Stefaneas, Petros Kavassalis
2021	—	`conf`	Modeling of Medical Devices Classification with Computational Argumentation. IISA Sofia Almpani, Yiannis Kiouvrekis, Petros S. Stefaneas
2021	—	`conf`	On post-truth and correctness over the Web. WebSci (Companion) Petros S. Stefaneas
2020	—	`conf`	An algebraic schema for JSON. PCI Konstantinos Barlas, Petros S. Stefaneas
2020	J	`jnl`	ExosCE: A legal-based computational system for compliance with exoskeletons' CE marking. Paladyn J. Behav. Robotics Sofia Almpani, Theodoros Mitsikas, Petros S. Stefaneas, Panayiotis Frangos
2020	—	`conf`	From Legal Documents to Legal Document Management Systems; The Case of LegiCrowd (short paper). SETN Workshops Alexandros Nousias, Alain Couillault, Sofia Almpani, Theodoros Mitsikas, Petros S. Stefaneas
2020	—	`conf`	Remarks on the Ethical Behavior of Artificial Intelligence (short paper). SETN Workshops Dimitrios Zafeirakopoulos, Petros S. Stefaneas
2019	B	`conf`	Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP. RuleML+RR Marjolein Deryck, Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos, Harold Boley, Joost Vennekens
2019	—	`ed.`	Proceedings of the 13th RuleML+RR 2019 Doctoral Consortium and Rule Challenge, September 16-19, 2019 - Bolzano, Italy co-located with 3rd International Joint Conference on Rules and Reasoning (RuleML+RR 2019) 5th Global Conference on Artificial Intelligence (GCAI 2019) 15th Reasoning Web Summer School (RW 2019) DecisionCAMP 2019 (DecisionCAMP 2019), Bolzano, Italy, September 16-24, 2019. RuleML+RR (Supplement) Ahmet Soylu, Sotiris Moschoyiannis, Guido Governatori, Mantas Simkus, Petros S. Stefaneas, Alexander Steen, Adrian Giurca
2018	B	`conf`	Computational Regulation of Medical Devices in PSOA RuleML. RuleML+RR Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
2018	—	`conf`	Formalizing Air Traffic Control Regulations in PSOA RuleML. RuleML+RR (Supplement) Theodoros Mitsikas, Sofia Almpani, Petros S. Stefaneas, Panayiotis Frangos, Iakovos Ouranos
2018	—	`conf`	Implementation of Privacy Calculus and Its Type Checking in Maude. ISoLA (2) Georgios V. Pitsiladis, Petros S. Stefaneas
2018	—	`conf`	Limiting the Impact of Statistics as a Proverbial Source of Falsehood. EMCIS Yiannis Kiouvrekis, Petros S. Stefaneas, Angelika I. Kokkinaki, Nikos Asimakis
2018	—	`conf`	Object-Relational Rules for Medical Devices: Classification and Conformity. OTM Conferences (2) Sofia Almpani, Petros S. Stefaneas, Harold Boley, Theodoros Mitsikas, Panayiotis Frangos
2017	—	`conf`	From Natural Language to Argumentation and Cognitive Systems. AIC Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas
2017	—	`conf`	From Natural Language to Argumentation and Cognitive Systems. COMMONSENSE Theodoros Mitsikas, Nikolaos I. Spanoudakis, Petros S. Stefaneas, Antonis C. Kakas
2017	—	`conf`	On Proving and argumentation. AIC Sofia Almpani, Petros S. Stefaneas
2017	J	`jnl`	Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0. Innov. Syst. Softw. Eng. Konstantinos Barlas, Eleni Berki, Petros S. Stefaneas, George Koletsos
2016	J	`jnl`	Evaluation of Agile Software Projects in the Public Sector: A Literature Review. J. Softw. Marcelo Carvalho Fernandes, Antonio Juarez Alencar, Eber Assis Schmitz, Mônica Ferreira da Silva, Petros S. Stefaneas
2016	J	`jnl`	Formal analysis and verification support for reactive rule-based Web agents. Int. J. Web Inf. Syst. Katerina Ksystra, Petros S. Stefaneas
2015	J	`jnl`	An Algebraic Framework for the Verification of Context-Aware Adaptive Systems. Int. J. Softw. Eng. Knowl. Eng. Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
2015	J	`jnl`	Analyzing IT Governance Initiatives with Game Theory: A Systematic literature Review. J. Softw. Maximiliano M. de Faria, Eber Assis Schmitz, Antonio Juarez Alencar, Mônica Ferreira da Silva, Petros S. Stefaneas
2015	J	`jnl`	On Mathematical Proving. J. Artif. Gen. Intell. Petros S. Stefaneas, Ioannis M. Vandoulakis
2014	B	`conf`	An Algebraic Framework for Modeling of Reactive Rule-Based Intelligent Agents. SOFSEM Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
2014	J	`jnl`	Application of the Modified Fractal Signature Method for Terrain Classification from Synthetic Aperture Radar Images. CoRR A. Malamou, C. Pandis, Panagiotis Frangos, Petros S. Stefaneas, A. Karakasiliotis, D. Kodokostas
2014	—	`conf`	On Verifying Reactive Rules Using Rewriting Logic. RuleML Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas
2014	—	`conf`	Some Engineering Applications of the OTS/CafeOBJ Method. Specification, Algebra, and Software Petros S. Stefaneas, Iakovos Ouranos, Nikolaos Triantafyllou, Katerina Ksystra
2014	J	`jnl`	TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned. IEICE Trans. Inf. Syst. Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas
2014	—	`conf`	Towards Formal Representation and Comparison of Video Content Using Algebraic Semiotics. SMAP Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Antonios Kalampakas
2013	J	`jnl`	An Algorithm for Allocating User Requests to Licenses in the OMA DRM System. IEICE Trans. Inf. Syst. Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
2013	—	`ed.`	Theory, Practice, and Applications of Rules on the Web - 7th International Symposium, RuleML 2013, Seattle, WA, USA, July 11-13, 2013. Proceedings RuleML Leora Morgenstern, Petros S. Stefaneas, François Lévy, Adam Z. Wyner, Adrian Paschke
2013	—	`conf`	Towards a Protocol Algebra Based on Algebraic Specifications. SERA (selected papers) Iakovos Ouranos, Petros S. Stefaneas
2012	J	`jnl`	A methodology for internal Web ethics CoRR Michalis Vafopoulos, Petros S. Stefaneas, Ioannis Anagnostopoulos, Kieron O'Hara
2012	—	`conf`	Formal Analysis of TESLA Protocol in the Timed OTS/CafeOBJ Method. ISoLA (2) Iakovos Ouranos, Kazuhiro Ogata, Petros S. Stefaneas
2012	J	`jnl`	OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications CoRR Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
2012	—	`conf`	On the Algebraic Semantics of Reactive Rules. RuleML Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas
2012	—	`conf`	Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications. SMAP Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
2011	J	`jnl`	A Dynamic Algebraic Specification for Social Networks CoRR Katerina Ksystra, Konstantinos Barlas, Nikolaos Triantafyllou, Petros S. Stefaneas
2011	J	`jnl`	An Algebraic Specification of the Semantic Web CoRR Katerina Ksystra, Nikolaos Triantafyllou, Petros S. Stefaneas, Panayiotis Frangos
2011	J	`jnl`	Applying Algebraic Specifications on Digital Right Management Systems CoRR Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
2011	—	`conf`	Applying Algebraic Specifications on Digital Right Management Systems. ICCSW Nikolaos Triantafyllou, Katerina Ksystra, Petros S. Stefaneas, Panayiotis Frangos
2011	J	`jnl`	Beyond the Boundaries of Open, Closed and Pirate Archives: Lessons from a Hybrid Approach CoRR Prodromos Tsiavos, Petros S. Stefaneas
2011	J	`jnl`	Redesigning the Open Mobile Alliance License Choice Algorithm CoRR Nikolaos Triantafyllou, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos, Katerina Ksystra
2011	J	`jnl`	Transforming ASN.1 Specifications into CafeOBJ to assist with Property Checking CoRR Konstantinos Barlas, George Koletsos, Petros S. Stefaneas
2010	—	`conf`	A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications. SIGMAP Katerina Ksystra, Petros S. Stefaneas, Iakovos Ouranos, Panayiotis Frangos
2010	—	`conf`	Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method. ISoLA (1) Iakovos Ouranos, Petros S. Stefaneas, Kazuhiro Ogata
2010	—	`conf`	Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method. WINSYS Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos
2010	J	`jnl`	Towards a correct translation from ASN.1 into CafeOBJ. Int. J. Reason. based Intell. Syst. Konstantinos Barlas, George Koletsos, Petros S. Stefaneas, Iakovos Ouranos
2010	—	`conf`	Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm. ICETE (Selected Papers) Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas, Panayiotis Frangos
2009	B	`conf`	Algebraic Specifications for OMA REL Licenses. WiMob Nikolaos Triantafyllou, Iakovos Ouranos, Petros S. Stefaneas
2007	—	`conf`	A Formal Specification Framework for Ad Hoc Mobile Communication Networks. SOFSEM (2) Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos
2007	J	`jnl`	An Algebraic Framework for Modeling of Mobile Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. Iakovos Ouranos, Petros S. Stefaneas, Panagiotis Frangos
2007	J	`jnl`	Ultraproducts and possible worlds semantics in institutions. Theor. Comput. Sci. Razvan Diaconescu, Petros S. Stefaneas
2007	—	`conf`	Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques. CAI Iakovos Ouranos, Petros S. Stefaneas
2002	J	`jnl`	Strategies for accelerating the worldwide adoption of e-commerce. Commun. ACM Christos J. Georgiou, Petros S. Stefaneas
1997	C	`conf`	Chartering first order logic. Developments in Language Theory Petros S. Stefaneas