Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Open Payments Eco-system

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

OPE Integrated Development Environment (Beta) (opens in new window)

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.

Verification & Validation Test Specification (opens in new window)

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 (opens in new window)

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

A Model-Based Approach to Combining Static and Dynamic Verification Techniques (opens in new window)

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

Compliance Checking in the Open Payments Ecosystem (opens in new window)

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

Residual Control-Flow Static Analysis with Symbolic Automata

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

Regulation Specification for Static and Dynamic Verification in the Open Payments Ecosystem

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

A Model-Based Approach to Combining Static and Dynamic Verification Techniques

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

Compliance Checking in the Open Payments Ecosystem

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

Control-Flow Residual Analysis for Symbolic Automata (opens in new window)

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

Why the payments ecosystem is due for a shake-up

Author(s): Alex Mifsud
Published in: raconteur.net, 2016, Page(s) 5
Publisher: raconteur.net

Intellectual Property Rights

Networked Financial Processing System

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

My booklet 0 0