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
35
views
14
references
Top references
cited by
2
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,757
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Runtime Verification
Visual Debugging for Stream Processing Applications
other
Author(s):
Wim De Pauw
,
Mihai Leţia
,
Buğra Gedik
,
Henrique Andrade
,
Andy Frenkiel
,
Michael Pfeifer
,
Daby Sow
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
International Polymer Processing
Most cited references
14
Record
: found
Abstract
: not found
Conference Proceedings
: not found
SPADE
Myungcheol Doo
,
Buğra Gedik
,
Philip Yu
…
(2008)
0
comments
Cited
13
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Conference Proceedings
: not found
Performance debugging for distributed systems of black boxes
Jeffrey C. Mogul
,
Marcos K. Aguilera
,
Athicha Muthitacharoen
…
(2003)
0
comments
Cited
8
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
COLA: Optimizing Stream Processing Applications via Graph Partitioning
Rohit Khandekar
,
Kirsten Hildrum
,
Sujay S. Parekh
…
(2009)
0
comments
Cited
7
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2010
Pages
: 18-35
DOI:
10.1007/978-3-642-16612-9_3
SO-VID:
3a6fe8cd-3778-49e6-a181-71e414c36516
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,757
Diagnostics for Stochastic Genome-Scale Modeling via Model Slicing and Debugging
Authors:
Kevin J. Tsai
,
Chuan-Hsiung Chang
Debugging the host browns the fat.
Authors:
Beng Yeoh
,
Matam Vijay-Kumar
Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks
Authors:
Verya Monjezi
,
Ashutosh Trivedi
,
Gang Tan
…
See all similar
Cited by
2
A model-based framework for building extensible, high performance stream processing middleware and programming language for IBM InfoSphere Streams
Authors:
Henrique Andrade
,
Buğra Gedik
Open Data: Reverse Engineering and Maintenance Perspective
Authors:
Holger M. Kienle
See all cited by