Decentralised LTL Monitoring

@inproceedings{Bauer2012DecentralisedLM,
  title={Decentralised LTL Monitoring},
  author={Andreas Bauer and Yli{\`e}s Falcone},
  booktitle={FM},
  year={2012}
}
  • Andreas Bauer, Yliès Falcone
  • Published in FM 2012
  • Computer Science
  • Users wanting to monitor distributed or component-based systems often perceive them as monolithic systems which, seen from the outside, exhibit a uniform behaviour as opposed to many components displaying many local behaviours that together constitute the system's global behaviour. This level of abstraction is often reasonable, hiding implementation details from users who may want to specify the system's global behaviour in terms of an LTL formula. However, the problem that arises then is how… CONTINUE READING

    Citations

    Publications citing this paper.
    SHOWING 1-10 OF 38 CITATIONS

    Runtime Verification over Out-of-order Streams

    VIEW 9 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Runtime Verification for Decentralised and Distributed Systems

    VIEW 8 EXCERPTS
    CITES RESULTS & BACKGROUND
    HIGHLY INFLUENCED

    Sampling-based Decentralized Monitoring for Networked Embedded Systems

    VIEW 8 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    Monitoring decentralized specifications

    VIEW 5 EXCERPTS
    CITES METHODS & BACKGROUND
    HIGHLY INFLUENCED

    A Model for Collaborative Runtime Verification

    VIEW 2 EXCERPTS
    HIGHLY INFLUENCED

    Towards runtime verification of collaborative embedded systems

    VIEW 1 EXCERPT
    CITES BACKGROUND

    References

    Publications referenced by this paper.
    SHOWING 1-10 OF 47 REFERENCES

    Decentralized runtime analysis of multithreaded applications

    VIEW 4 EXCERPTS
    HIGHLY INFLUENTIAL

    D ecentralized runtime analysis of multithreaded applicati ons

    • Koushik Sen, Abhay Vardhan, Gul Agha, Grigore Rosu
    • In 20th Parallel and Distributed Processing Symposium (IPDPS
    • 2006
    VIEW 3 EXCERPTS
    HIGHLY INFLUENTIAL

    Analysis of Deterministic Ethernet scheduling for the Industrial Internet of Things

    Decentralised LTL Monitoring

    VIEW 1 EXCERPT

    The Complexity of Codiagnosability for Discrete Event and Timed Systems

    • Franck Cassez
    • Computer Science, Mathematics
    • IEEE Transactions on Automatic Control
    • 2012

    Comparing LTL Semantics for Runtime Verification

    VIEW 1 EXCERPT