Information Technology Reference
In-Depth Information
4. Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for ltl and tltl. ACM Trans.
Softw. Eng. Methodol. 20, 14:1-14:64 (2011)
5. Cao, T.-D., Phan-Quang, T.-T., Felix, P., Castanet, R.: Automated runtime verification for
web services. In: ICWS, pp. 76-82. IEEE (2010)
6. Carlsson, R.: An introduction to core erlang. In: PLI 2001 (Erlang Workshop) (2001)
7. Cesarini, F., Thompson, S.: Erlang Programming. O'Reilly (2009)
8. Clarke Jr., E., Grumberg, O., Peled, D.: Model checking. MIT Press (1999)
9. Colombo, C., Francalanza, A., Gatt, R.: Elarva: A monitoring tool for erlang. In: Khurshid,
S., Sen, K. (eds.) RV 2011. LNCS, vol. 7186, pp. 370-374. Springer, Heidelberg (2012)
10. Colombo, C., Francalanza, A., Grima, I.: Simplifying contract-violating traces. In: FLACOS.
EPTCS, vol. 94, pp. 11-20 (2012)
11. Colombo, C., Francalanza, A., Mizzi, R., Pace, G.J.: polylarva: Runtime verification with
configurable resource-aware monitoring boundaries. In: Eleftherakis, G., Hinchey, M., Hol-
combe, M. (eds.) SEFM 2012. LNCS, vol. 7504, pp. 218-232. Springer, Heidelberg (2012)
12. D'Angelo, B., Sankaranarayanan, S., Sanchez, C., Robinson, W., Finkbeiner, B., Sipma,
H.B., Mehrotra, S., Manna, Z.: Lola: Runtime monitoring of synchronous systems. In: TIME.
IEEE (2005)
13. Falcone, Y., Jaber, M., Nguyen, T.-H., Bozga, M., Bensalem, S.: Runtime verification of
component-based systems. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011.
LNCS, vol. 7041, pp. 204-220. Springer, Heidelberg (2011)
14. Francalanza, A., Gauci, A., Pace, G.: Distributed system contract monitoring.
JLAP
(to appear, 2013)
15. Francalanza, A., Seychell, A.: Synthesising correct concurrent runtime monitors in erlang.
Technical Report CS2013-01, University of Malta (January 2013),
http://www.cs.um.edu.mt/svrg/papers.html (accessible)
16. Fredlund, L.-Å.: A Framework for Reasoning about Erlang Code. PhD thesis, Royal Institute
of Technology, Stockholm, Sweden (2001)
17. Geilen, M.: On the construction of monitors for temporal logic properties. ENTCS 55(2),
181-199 (2001)
18. Hennessy,
M.,
Milner,
R.:
Algebraic
laws
for
nondeterminism
and
concurrency.
J.
ACM 32(1), 137-161 (1985)
19. Hewitt, C., Bishop, P., Steiger, R.: A universal modular actor formalism for artificial intelli-
gence. In: IJCAI, pp. 235-245. Morgan Kaufmann (1973)
20. Kozen, D.: Results on the propositional
-calculus. TCS 27, 333-354 (1983)
21. Manna, Z., Pnueli, A.: A hierarchy of temporal properties. In: PODC, pp. 377-410. ACM
(1990) (invited paper, 1989)
22. Meredith, P.O., Jin, D., Grith, D., Chen, F., Rosu, G.: An overview of the MOP runtime
verification framework. STTT 14(3), 249-289 (2012)
23. Milner, R.: Communication and concurrency. Prentice-Hall, Inc., Upper Saddle River (1989)
24. Milner, R., Parrow, J., Walker, D.: Modal logics for mobile processes. Theoretical Computer
Science 114, 149-171 (1993)
25. Nicola, R.D., Hennessy, M.C.B.: Testing equivalences for processes. TCS, 83-133 (1984)
26. Rensink, A., Vogler, W.: Fair testing. Inf. Comput. 205(2), 125-198 (2007)
27. Sen, K., Ro¸u, G., Agha, G.: Generating optimal linear temporal logic monitors by coin-
duction. In: Saraswat, V.A. (ed.) ASIAN 2003. LNCS, vol. 2896, pp. 260-275. Springer,
Heidelberg (2003)
28. Sen, K., Vardhan, A., Agha, G., Ro¸u, G.: Ecient decentralized monitoring of safety in
distributed systems. In: ICSE, pp. 418-427 (2004)
29. Seychell, A.: DetectEr, http://www.cs.um.edu.mt/svrg/Tools/detectEr
30. Svensson, H., Fredlund, L.-Å., Benac Earle, C.: A unified semantics for future erlang. In:
Erlang Workshop, pp. 23-32. ACM (2010)
μ
 
 
Search WWH ::




Custom Search