Petros S. Stefaneas
According to our database1,
Petros S. Stefaneas
authored at least 58 papers
between 1997 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A logical framework to model software development by multiple agents following a common specification.
J. Log. Comput., 2024
2023
Int. J. Artif. Intell. Tools, November, 2023
A novel electrical muscle stimulation device for neurorehabilitation applications with adaptable parameter optimization using AI algorithms.
Proceedings of the 12th International Conference on Modern Circuits and Systems Technologies, 2023
2022
Int. J. Artif. Intell. Tools, 2022
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022
2021
Proceedings of the WebSci '21: 13th ACM Web Science Conference 2021, 2021
Proceedings of the 12th International Conference on Information, 2021
2020
ExosCE: A legal-based computational system for compliance with exoskeletons' CE marking.
Paladyn J. Behav. Robotics, 2020
Proceedings of the Workshops of the 11th EETN Conference on Artificial Intelligence 2020 co-located with the 11th EETN Conference on Artificial Intelligence (SETN 2020), 2020
From Legal Documents to Legal Document Management Systems; The Case of LegiCrowd (short paper).
Proceedings of the Workshops of the 11th EETN Conference on Artificial Intelligence 2020 co-located with the 11th EETN Conference on Artificial Intelligence (SETN 2020), 2020
Proceedings of the PCI 2020: 24th Pan-Hellenic Conference on Informatics, 2020
2019
Aligning, Interoperating, and Co-executing Air Traffic Control Rules Across PSOA RuleML and IDP.
Proceedings of the Rules and Reasoning - Third International Joint Conference, 2019
2018
Proceedings of the Doctoral Consortium and Challenge @ RuleML+RR 2018 hosted by 2nd International Joint Conference on Rules and Reasoning (RuleML+RR 2018), 2018
Proceedings of the Rules and Reasoning - Second International Joint Conference, 2018
Proceedings of the On the Move to Meaningful Internet Systems. OTM 2018 Conferences, 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018
Proceedings of the Information Systems, 2018
2017
Towards formal open standards: formalizing a standard's requirements - The case of RSS v2.0.
Innov. Syst. Softw. Eng., 2017
Proceedings of the Thirteenth International Symposium on Commonsense Reasoning, 2017
Proceedings of the 5th International Workshop on Artificial Intelligence and Cognition, 2017
2016
J. Softw., 2016
Int. J. Web Inf. Syst., 2016
2015
Analyzing IT Governance Initiatives with Game Theory: A Systematic literature Review.
J. Softw., 2015
Int. J. Softw. Eng. Knowl. Eng., 2015
2014
TESLA Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned.
IEICE Trans. Inf. Syst., 2014
Application of the Modified Fractal Signature Method for Terrain Classification from Synthetic Aperture Radar Images.
CoRR, 2014
Proceedings of the SOFSEM 2014: Theory and Practice of Computer Science, 2014
Towards Formal Representation and Comparison of Video Content Using Algebraic Semiotics.
Proceedings of the 9th International Workshop on Semantic and Social Media Adaptation and Personalization, 2014
Proceedings of the Rules on the Web. From Theory to Applications, 2014
Proceedings of the Specification, Algebra, and Software, 2014
2013
IEICE Trans. Inf. Syst., 2013
Proceedings of the Software Engineering Research, 2013
2012
OTS/CafeOBJ2JML: An attempt to combine Design By Contract with Behavioral Specifications
CoRR, 2012
Semantic Web and Algebraic Reasoning: Some First Applications Using Behavioral Specifications.
Proceedings of the Seventh International Workshop on Semantic and Social Media Adaptation and Personalization, 2012
Proceedings of the Rules on the Web: Research and Applications, 2012
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies, 2012
2011
Beyond the Boundaries of Open, Closed and Pirate Archives: Lessons from a Hybrid Approach
CoRR, 2011
CoRR, 2011
Proceedings of the 2011 Imperial College Computing Student Workshop, 2011
2010
Int. J. Reason. based Intell. Syst., 2010
Formal Specification and Verification of the OMA License Choice Algorithm in the OTS/CafeOBJ Method.
Proceedings of the WINSYS 2010 - Proceedings of the International Conference on Wireless Information Networks and Systems, Athens, Greece, July 26, 2010
A Parallel Version of the MPEG-2 Encoding Algorithm Formally Analyzed using Algebraic Specifications.
Proceedings of the SIGMAP 2010, 2010
Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Using the OTS/CafeOBJ Method to Formally Specify and Verify the Open Mobile Alliance License Choice Algorithm.
Proceedings of the e-Business and Telecommunications - 7th International Joint Conference, 2010
2009
Proceedings of the 5th IEEE International Conference on Wireless and Mobile Computing, 2009
2007
Theor. Comput. Sci., 2007
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007
A Formal Specification Framework for Ad Hoc Mobile Communication Networks.
Proceedings of the SOFSEM 2007: Theory and Practice of Computer Science, 2007
Verifying Security Protocols for Sensor Networks Using Algebraic Specification Techniques.
Proceedings of the Algebraic Informatics, Second International Conference, 2007
2002
1997
Chartering first order logic.
Proceedings of the 3rd International Conference Developments in Language Theory, 1997