Download

Full Text

Full Text Parts

• Alur, R., Dill, D.L.: A theory of timed automata. Theoreotical Computer Science 126(2), 183-235 (1994)
• Apache Software Foundation: Hadoop MapReduce, http://hadoop.apache.org/ mapreduce/
• Barre, B., Klein, M., Soucy-Boivin, M., Ollivier, P.-A., Hallé, S.: MapReduce for parallel trace validation of LTL properties. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 184-198. Springer, Heidelberg (2013)
• Bellettini, C., Camilli, M., Capra, L., Monga, M.: Distributed CTL model checking in the cloud. Tech. Rep. 1310.6670, Cornell University (October 2013), http://arxiv.org/abs/1310.6670
• Bersani, M.M., Bianculli, D., Ghezzi, C., Krstić, S., San Pietro, P.: SMT-based checking of SOLOIST over sparse traces. In: Gnesi, S., Rensink, A. (eds.) FASE 2014. LNCS, vol. 8411, pp. 276-290. Springer, Heidelberg (2014)
• Bianculli, D., Ghezzi, C., Krstić, S.: Trace checking of metric temporal logic with aggregating modalities using MapReduce (2014) (extended version), http://hdl.handle.net/10993/16806
• Bianculli, D., Ghezzi, C., Krstić, S., San Pietro, P.: From SOLOIST to CLTLB(script D): Checking quantitative properties of service-based applications. Tech. Rep. 2013.26, Politecnico di Milano - Dipartimento di Elettronica, Informazione e Bioingegneria (October 2013)
• Bianculli, D., Ghezzi, C., Pautasso, C., Senti, P.: Specification patterns from research to industry: a case study in service-based applications. In: Proc. of ICSE 2012, pp. 968-976. IEEE Computer Society (2012)
• Bianculli, D., Ghezzi, C., San Pietro, P.: The tale of SOLOIST: a specification language for service compositions interactions. In: Pǎšareanu, C.S., Salaün, G. (eds.) FACS 2012. LNCS, vol. 7684, pp. 55-72. Springer, Heidelberg (2013)
• Cugola, G., Margara, A.: Complex event processing with T-REX. J. Syst. Softw. 85(8), 1709-1728 (2012)
• Dean, J., Ghemawat, S.: MapReduce: Simplified data processing on large clusters. Commun. ACM 51(1), 107-113 (2008)
• Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: Proc. of FMSP 1998, pp. 7-15. ACM (1998)
• Felder, M., Morzenti, A.: Validating real-time systems by history-checking TRIO specifications. ACM Trans. Softw. Eng. Methodol. 3(4), 308-339 (1994)
• Lerda, F., Sisto, R.: Distributed-memory model checking with SPIN. In: Dams, D., Gerth, R., Leue, S., Massink, M. (eds.) SPIN 1999. LNCS, vol. 1680, pp. 22-39. Springer, Heidelberg (1999)
• Mrad, A., Ahmed, S., Hallé, S., Beaudet, É.: Babeltrace: A collection of transducers for trace validation. In: Qadeer, S., Tasiran, S. (eds.) RV 2012. LNCS, vol. 7687, pp. 126-130. Springer, Heidelberg (2013)
• Pradella, M., Morzenti, A., San Pietro, P.: Bounded satisfiability checking of metric temporal logic specifications. ACM Trans. Softw. Eng. Methodol. 22(3), 20:1-20:54 (2013)
• Verbeek, H.M.W., Buijs, J.C.A.M., van Dongen, B.F., van der Aalst, W.M.P.: XES, XESame, and ProM 6. In: Soffer, P., Proper, E. (eds.) CAiSE Forum 2010. LNBIP, vol. 72, pp. 60-75. Springer, Heidelberg (2011)