Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
18
views
6
references
Top references
cited by
4
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
3,201
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Runtime Verification
Causality Analysis in Contract Violation
other
Author(s):
Gregor Gössler
,
Daniel Le Métayer
,
Jean-Baptiste Raclet
Publication date
(Print):
2010
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Core Readings in Statistical Mediation Analysis
Most cited references
6
Record
: found
Abstract
: not found
Book Chapter
: not found
Multiple Viewpoint Contract-Based Specification and Design
Albert Benveniste
,
Benoit Caillaud
,
Alberto Ferrari
…
(2008)
0
comments
Cited
14
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Article
: not found
The SAVE approach to component-based development of vehicular systems
Mikael Åkerholm
,
Jan Carlson
,
Johan Fredriksson
…
(2007)
0
comments
Cited
6
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Model-based system monitoring and diagnosis of failures using statecharts and fault trees
Yiannis Papadopoulos
(2003)
0
comments
Cited
4
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2010
Pages
: 270-284
DOI:
10.1007/978-3-642-16612-9_21
SO-VID:
073d6d73-2e39-48e5-8099-20f54c543b82
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
Automatic Requirement Extraction from Test Cases
pp. 16
Code Contracts for .NET: Runtime Verification and So Much More
pp. 18
Visual Debugging for Stream Processing Applications
pp. 36
Runtime Verification in Context: Can Optimizing Error Detection Improve Fault Diagnosis?
pp. 51
Contracts for Scala
pp. 58
Runtime Analysis and Instrumentation for Securing Software
pp. 59
Run-Time Verification of Networked Software
pp. 74
Clara: Partially Evaluating Runtime Monitors at Compile Time
pp. 89
You Should Better Enforce Than Verify
pp. 106
Runtime Verification for the Web
pp. 136
Runtime Verification with the RV System
pp. 153
A Meta-Aspect Protocol for Developing Dynamic Analyses
pp. 168
Behavior Abstraction in Malware Analysis
pp. 183
Clara: A Framework for Partially Evaluating Finite-State Runtime Monitors Ahead of Time
pp. 198
Checking the Correspondence between UML Models and Implementation
pp. 214
Compensation-Aware Runtime Monitoring
pp. 229
Recovery Tasks: An Automated Approach to Failure Recovery
pp. 245
Formally Efficient Program Instrumentation
pp. 253
Interval Analysis for Concurrent Trace Programs Using Transaction Sequence Graphs
pp. 270
Causality Analysis in Contract Violation
pp. 285
Reducing Configurations to Monitor in a Software Product Line
pp. 300
Runtime Instrumentation for Precise Flow-Sensitive Type Analysis
pp. 315
Trace Recording for Embedded Systems: Lessons Learned from Five Industrial Projects
pp. 330
Verification of an AFDX Infrastructure Using Simulations and Probabilities
pp. 345
Copilot: A Hard Real-Time Runtime Monitor
pp. 360
StealthWorks: Emulating Memory Errors
pp. 368
Efficient Data Race Detection for Async-Finish Parallelism
pp. 384
Run-Time Verification of Optimistic Concurrency
pp. 399
Who Guards the Guardians? — Toward V&V of Health Management Software
pp. 405
Aspect-Oriented Instrumentation with GCC
pp. 421
Runtime Verification for Software Transactional Memories
pp. 436
Optimized Temporal Monitors for SystemC
pp. 452
Runtime Verification of Stochastic, Faulty Systems
pp. 460
Low-Overhead Bug Fingerprinting for Fast Debugging
pp. 469
ESAT: A Tool for Animating Logic-Based Specifications of Evolvable Component Systems
pp. 475
A Tool Which Mines Partial Execution Traces to Improve Static Analysis
pp. 480
LarvaStat: Monitoring of Statistical Properties
pp. 485
WS-PSC Monitor: A Tool Chain for Monitoring Temporal and Timing Properties in Composite Service Based on Property Sequence Chart
Similar content
3,201
Causal diagrams and change variables.
Authors:
Eyal Shahar
,
Doron Shahar
Dissecting the causal polymorphism of the Lr67res multipathogen resistance gene
Authors:
Ricky J Milne
,
Katherine E Dibley
,
Jayakumar Bose
…
Rhythmic Skeletal Muscle Tension Increases Heart Rate Variability at 1 and 6 Contractions Per Minute
Authors:
Fred Shaffer
,
Donald Moss
,
Zachary M. Meehan
See all similar
Cited by
4
Dependability Assessment of SOA-Based CPS With Contracts and Model-Based Fault Injection
Authors:
Loris Dal Lago
,
Orlando Ferrante
,
Roberto Passerone
…
Causality for General LTL-definable Properties
Authors:
Georgiana Caltais
,
Sophie Guetlein
,
Stefan Leue
Causality Analysis for Concurrent Reactive Systems (Extended Abstract)
Authors:
Rayna Dimitrova
,
Rupak Majumdar
,
Vinayak Prabhu
See all cited by