Computer related risks
Towards a logical formalization of responsibility
Proceedings of the 6th international conference on Artificial intelligence and law
Software reliability and dependability: a roadmap
Proceedings of the Conference on The Future of Software Engineering
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
The SAVE approach to component-based development of vehicular systems
Journal of Systems and Software
Multiple Viewpoint Contract-Based Specification and Design
Formal Methods for Components and Objects
Modal Contracts for Component-Based Design
SEFM '09 Proceedings of the 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Configurations for inference between causal statements
KSEM'06 Proceedings of the First international conference on Knowledge Science, Engineering and Management
Liability issues in software engineering: the use of formal methods to reduce legal uncertainties
Communications of the ACM
Formal methods as a link between software code and legal rules
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
A theory of agreements and protection
POST'13 Proceedings of the Second international conference on Principles of Security and Trust
Contract-based blame assignment by trace analysis
Proceedings of the 2nd ACM international conference on High confidence networked systems
| Hi-index | 0.02 |
Establishing liabilities in component-based systems is a challenging task, as it requires to establish convincing evidence with respect to the occurrence of a fault, and the causality relation between the fault and a damage. The second issue is especially complex when several faults are detected and the impact of these faults on the occurrence of the failure has to be assessed. In this paper we propose a formal framework for reasoning about logical causality between contract violations.