Organising LTL monitors over distributed systems with a global clock

References

Page 1

	Year	Citations
The temporal logic of programs Amir Pnueli Program CheckingEngineeringVerificationSoftware EngineeringSoftware Analysis	1977	5.6K
Patterns in property specifications for finite-state verification Matthew B. Dwyer, George S. Avrunin, James C. Corbett EngineeringVerificationComputer-aided VerificationModel CheckingModel Verification	1999	1.4K
A brief account of runtime verification Martin Leucker, Christian Schallhart The Journal of Logic and Algebraic Programming Program CheckingEngineeringRuntime VerificationProgram AnalysisSoftware Testing	2008	797
Runtime Verification for LTL and TLTL Andreas Bauer, Martin Leucker, Christian Schallhart ACM Transactions on Software Engineering and Methodology EngineeringVerificationLineartime Temporal LogicComputer-aided VerificationSoftware Engineering	2011	528
Comparing LTL Semantics for Runtime Verification Andreas Bauer, Martin Leucker, Christian Schallhart Journal of Logic and Computation	2009	217
Monitoring programs using rewriting Klaus Havelund, Grigore Roşu Software MaintenanceProgram CheckingEngineeringVerificationRewriting Algorithm	2005	200
Rewriting-Based Techniques for Runtime Verification Grigore Roşu, Klaus Havelund Automated Software Engineering EngineeringRuntime VerificationProgram AnalysisSoftware TestingVerification	2005	196
Timing analysis of the FlexRay communication protocol Traian Pop, Paul Pop, Petru Eles, Real-Time Systems EngineeringMultiplexingTiming AnalysisComputer EngineeringComputer Architecture	2007	172
A taxonomy of parallel prefix networks David Harris Logic LevelsCluster ComputingEngineeringHigh Performance Computer NetworkComputer Architecture	2004	171
Rule Systems for Run-time Monitoring: from EAGLE to RULER Howard Barringer, David Rydeheard, Klaus Havelund Journal of Logic and Computation	2008	154

Page 1