Deliverables
Demonstrator: Beta version of the Integrated Development Environment.
OPE Data Warehouse (Beta)Demonstrator: Beta Version of the OPE Data Warehouse.
OPE Execution Environment System (Beta)Demonstrator: Beta version of the OPE Execution Environment
OPE Compliance Management Subsystem (Beta)Demonstrator: Beta version of the Compliance Management Subsystem.
Prototype System (Beta) DeliveryPrototype of OPE system - Beta version.
OPE Application-store (Beta)Demonstrator: Beta version of the Application Store for OPE.
OPE Service Provider Subsystem (Beta)Demonstrator: Beta version of the Service Provider Subsystem.
OPE Integrated Development Environment (Alpha)Demonstrator: Alpha version of the integrated development environment.
Document containing the test specification required for validation and verification of the design.
Initial Commercial PlanInitial Commercial Plan for OPE.
Project Evaluation ReportReport: Evaluation of OPE Project.
Final Commercial PlanFinal version of Commercial Plan for OPE.
Year 1 Project ReportReport on project for 12 months period. Public.
State-of-the-Art of Formal Verification Checking of Payment SystemsReport 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 ConferenceConference to promote the OPE initiative.
Project Website/BlogWebsite/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
Application/Publication number:
US
13/253,670
Date:
2011-05-10
Applicant(s):
IXARIS SYSTEMS LTD
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