Monitoring of Temporal First-Order Properties with Aggregations
暂无分享,去创建一个
[1] Jan Chomicki,et al. Querying ATSQL databases with temporal logic , 1996, TODS.
[2] Roger Villemaire,et al. Runtime Enforcement of Web Service Message Contracts with Data , 2012, IEEE Transactions on Services Computing.
[3] Bernd Finkbeiner,et al. Collecting Statistics Over Runtime Executions , 2005, Formal Methods Syst. Des..
[4] Jan Chomicki,et al. Efficient checking of temporal integrity constraints using bounded history encoding , 1995, TODS.
[5] Felix Klaedtke,et al. MONPOLY: Monitoring Usage-Control Policies , 2011, RV.
[6] Gordon J. Pace,et al. LarvaStat: Monitoring of Statistical Properties , 2010, RV.
[7] Serge Abiteboul,et al. Foundations of Databases , 1994 .
[8] Ron Koymans,et al. Specifying real-time properties with metric temporal logic , 1990, Real-Time Systems.
[9] Theodore Johnson,et al. Gigascope: a stream database for network applications , 2003, SIGMOD '03.
[10] Carlo Ghezzi,et al. The Tale of SOLOIST: A Specification Language for Service Compositions Interactions , 2012, FACS.
[11] Rajeev Goré,et al. A First-Order Policy Language for History-Based Transaction Monitoring , 2009, ICTAC.
[12] A. Prasad Sistla,et al. Temporal conditions and integrity constraints in active database systems , 1995, SIGMOD '95.
[13] Felix Klaedtke,et al. Algorithms for Monitoring Real-Time Properties , 2011, RV.
[14] Felix Klaedtke,et al. Runtime Monitoring of Metric First-order Temporal Properties , 2008, FSTTCS.
[15] Jennifer Widom,et al. STREAM: The Stanford Stream Data Manager , 2003, IEEE Data Eng. Bull..
[16] Jennifer Widom,et al. The CQL continuous query language: semantic foundations and query execution , 2006, The VLDB Journal.
[17] Olaf Owe,et al. Partial logics reconsidered: A conservative approach , 1993, Formal Aspects of Computing.
[18] Jennifer Widom,et al. Database Systems: The Complete Book , 2001 .
[19] Lauri Hella,et al. Logics with aggregate operators , 2001, JACM.
[20] Bernd Finkbeiner,et al. LOLA: runtime monitoring of synchronous systems , 2005, 12th International Symposium on Temporal Representation and Reasoning (TIME'05).
[21] Koushik Sen,et al. Rule-Based Runtime Verification , 2004, VMCAI.
[22] Felix Klaedtke,et al. Monitoring Data Usage in Distributed Systems , 2013, IEEE Transactions on Software Engineering.