CORDIS provides links to public deliverables and publications of HORIZON projects.
Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .
Deliverables
Demonstrator: Beta version of the Integrated Development Environment.
OPE Data Warehouse (Beta) (opens in new window)Demonstrator: Beta Version of the OPE Data Warehouse.
OPE Execution Environment System (Beta) (opens in new window)Demonstrator: Beta version of the OPE Execution Environment
OPE Compliance Management Subsystem (Beta) (opens in new window)Demonstrator: Beta version of the Compliance Management Subsystem.
Prototype System (Beta) Delivery (opens in new window)Prototype of OPE system - Beta version.
OPE Application-store (Beta) (opens in new window)Demonstrator: Beta version of the Application Store for OPE.
OPE Service Provider Subsystem (Beta) (opens in new window)Demonstrator: Beta version of the Service Provider Subsystem.
OPE Integrated Development Environment (Alpha) (opens in new window)Demonstrator: Alpha version of the integrated development environment.
Document containing the test specification required for validation and verification of the design.
Initial Commercial Plan (opens in new window)Initial Commercial Plan for OPE.
Project Evaluation Report (opens in new window)Report: Evaluation of OPE Project.
Final Commercial Plan (opens in new window)Final version of Commercial Plan for OPE.
Year 1 Project Report (opens in new window)Report on project for 12 months period. Public.
State-of-the-Art of Formal Verification Checking of Payment Systems (opens in new window)Report published to outline the payment systems formal verification - state of the art.
Academic Papers, Industry Whitepapers and Conference Papers/Presentations done throughout the life-cycle of the project.
Open Payments Eco-system Conference (opens in new window)Conference to promote the OPE initiative.
Project Website/Blog (opens in new window)Website/Blog dedicated to the project.
Publications
Author(s):
Shaun Azzopardi, Christian Colombo, Gordon Pace
Published in:
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science, vol 9952, 2016, Page(s) 416-430
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-47166-2_29
Author(s):
Shaun Azzopardi, Christian Colombo, Gordon J. Pace, Brian Vella
Published in:
International Conference on Software Engineering and Formal Methods (SEFM), 2016, Page(s) 337-343
Publisher:
Springer International Publishing
DOI:
10.1007/978-3-319-41591-8_23
Author(s):
Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Published in:
Proceedings of the University of Malta Computer Science Annual Workshop, Issue Annual, 2016
Publisher:
University of Malta
Author(s):
Shaun Azzopardi, Christian Colombo, and Gordon Pace
Published in:
Proceedings of the University of Malta Computer Science Annual Workshop, Issue Annual, 2016
Publisher:
University of Malta
Author(s):
Christian Colombo, Gordon Pace
Published in:
International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLa), 2016
Publisher:
University of Malta
Author(s):
Shaun Azzopardi, Christian Colombo, Gordon J Pace, and Brian Vella
Published in:
Proceedings of the University of Malta Computer Science Annual Workshop, 2015
Publisher:
University of Malta
Author(s):
Shaun Azzopardi, Christian Colombo, and Gordon J. Pace
Published in:
Electronic Proceedings in Theoretical Computer Science, Issue 254, 2017, ISSN 2075-2180
Publisher:
13th International Conference on integrated Formal Methods (iFM 2017)
DOI:
10.4204/EPTCS.254
Author(s):
Alex Mifsud
Published in:
raconteur.net, 2016, Page(s) 5
Publisher:
raconteur.net
Intellectual Property Rights
Application/Publication number:
US
13/253,670
Date:
2011-05-10
Applicant(s):
IXARIS SYSTEMS LTD
Searching for OpenAIRE data...
There was an error trying to search data from OpenAIRE
No results available