Concepedia

Organising LTL monitors over distributed systems with a global clock

Christian Colombo, Ylìès Falcone

Formal Methods in System Design · 2016 · 47 citations · 20 references

Open access

Concepts

ComputingComputer EngineeringComputer ScienceDistributed SystemsClock ManagementClock SynchronizationDistributed ComputingDistributed Systems ArchitectureDistributed Systems DesignReliable Distributed SystemsDistributed System MonitoringGlobal Clock NetworksGlobal State OrderingMonitorsTime Synchronization In Distributed Systems

References

20

The temporal logic of programs

Amir Pnueli · 1977 · 5.7K citations

Computing, Computer Science, Formal Methods +16

Patterns in property specifications for finite-state verification

Matthew B. Dwyer, George S. Avrunin, James C. Corbett · 1999 · 1.4K citations

Computing, Computer Science, Mathematics +13

A brief account of runtime verification

Martin Leucker, Christian Schallhart · The Journal of Logic and Algebraic Programming · 2008 · 818 citations

Computing, Computer Engineering, Computer Science +10

Runtime Verification for LTL and TLTL

Andreas Bauer, Martin Leucker, Christian Schallhart · ACM Transactions on Software Engineering and Methodology · 2011 · 540 citations

Computing, Computer Science, Computer Systems +16

Comparing LTL Semantics for Runtime Verification

Andreas Bauer, Martin Leucker, Christian Schallhart · Journal of Logic and Computation · 2009 · 218 citations

Computing, Computer Science, Computer Systems +12