Andreas Bauer, Martin Leucker, Christian Schallhart  Home/Search
Context
Related
| www4.in.tum.de/~leucker...aswec06.ps.gz Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: www4.in.tum.de/~leucker/Pub...all (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Reactive distributed systems have pervaded everyday life and objects, but often lack measures to ensure adequate behaviour in the presence of unforeseen events or even errors at runtime. As interactions and dependencies within distributed systems increase, the problem of detecting failures which depend on the exact situation and environment conditions they occur in grows. As a result, not only the detection of failures is increasingly difficult, but also the differentiation between the symptoms ... (Update)
Active bibliography (related documents): More All
0.8: Runtime Verification Revisited - Arafat, Bauer, Leucker, Schallhart (2005) (Correct)
0.5: An Instrumentation Technique for Online Analysis of.. - Rosu, Sen (2003) (Correct)
0.5: Abduction and the Dualization Problem - Eiter, Makino (2003) (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
BibTeX entry: (Update)
@inproceedings{ bauer:leucker:schallha:aswec06,
author = {Andreas Bauer and Martin Leucker and Christian Schallhart},
title = {Model-based runtime analysis of distributed reactive systems},
booktitle = {Proceedings of the 2006 Australian Software Engineering Conference (ASWEC)},
year = {2006},
address = {Sydney, Australia},
month = Apr,
publisher = {IEEE Computer Society},
url = {citeseer.ist.psu.edu/737334.html} }
Citations (may not include all citations):951 Computational Complexity (context) - Papadimitriou - 1994
828 Model Checking - Clarke, Grumberg et al. - 1999
539 The temporal logic of programs (context) - Pnueli - 1977
458 A theory of diagnosis from first principles (context) - Reiter - 1987
230 Checking that finite state concurrent programs satisfy their.. (context) - Lichtenstein, Pnueli - 1985
194 the development of reactive systems (context) - Harel, Pnueli - 1985
189 Diagnosing multiple faults (context) - de Kleer, Williams - 1987
140 Tense Logic and the Theory of Linear Order (context) - Kamp - 1968
122 Applications of temporal logic to the specification and veri.. (context) - Pnueli - 1986
61 Monitoring Java Programs with Java PathExplorer - Havelund, Rosu - 2001
52 The temporal rover and the ATG rover - Drusinsky - 2000
33 Event-clock automata: A determinizable class of timed automa.. - Alur, Fix et al. - 1999
27 State clock logic: A decidable real-time logic - Raskin, Schobbens - 1997
13 Model Based Fault Diagnosis: Methods (context) - Nyberg - 1999
8 Computing small clause normal forms - Nonnengart, Weidenbach - 2001
7 Mathematical system models as a basis of software engineerin.. - Broy - 1995
5 Efficient Decentralized Monitoring of Safety in Distributed .. - Sen, Vardhan et al. - 2004
4 From weak to strong formal methods (context) - Wolper, of - 1997
4 The logic of event clocks - decidability (context) - Raskin, Schobbens - 1999
3 Office of Nuclear Regulatory Research (context) - Vesely, handbook et al. - 1981
2 A logical characterisation of event clock automata (context) - D'Souza - 2003
2 Hypergraph transversal computation and related problems in l.. - Eiter, Gottlob - 2002
2 Failure Mode and Effect Analysis: FMEA from Theory to Execut.. (context) - Stamatis - 2003
2 Efficient monitoring of safety properties - Havelund, Rosu - 2004
1 Simplifying diagnosis using LSAT: a propositional approach t.. (context) - Bauer - 2005
1 Runtime verification revisited - Arafat, Bauer et al. - 2005
1 Hazard Analysis Techniques for System Safety (context) - Ericson - 2005
1 Model-based fault detection and diagnosis: status and applic.. (context) - Isermann - 2004
Documents on the same site (http://www4.in.tum.de/~leucker/Publications/all.html): More
Truth/SLC - A Parallel Verification Platform for Concurrent.. - Leucker, Noll (2001) (Correct)
Insights to Angluin's Learning - Berg, Jonsson, Leucker, Saksena (2003) (Correct)
Message-Passing Automata Are Expressively Equivalent to EMSO.. - Bollig, Leucker (2005) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC