W. Ahrendt, B. Beckert, R. Bubel, R. Hähnle, P.H. Schmitt & M. Ulbrich (2016):
Deductive Software Verification - The KeY Book - From Theory to Practice.
LNCS.
Springer,
doi:10.1007/978-3-319-49812-6.
D. Ancona, V. Bono, M. Bravetti, J. Campos, G. Castagna, P. M. Deniélou, S. J. Gay, N. Gesbert, E. Giachino, R. Hu, E. B. Johnsen, F. Martins, V. Mascardi, F. Montesi, R. Neykova, N. Ng, L. Padovani, V.T. Vasconcelos & N. Yoshida (2016):
Behavioral Types in Programming Languages.
Foundations and Trends in Programming Languages 3(2-3),
pp. 95–230,
doi:10.1561/2500000031.
D. Ancona, D. Briola, A. Ferrando & V. Mascardi (2015):
Global Protocols as First Class Entities for Self-Adaptive Agents.
In: AAMAS 2015,
pp. 1019–1029.
Available at http://dl.acm.org/citation.cfm?id=2772879.2773282.
D. Ancona, G. Delzanno, L. Franceschini, M. Leotta, E. Prampolini, M. Ribaudo & F. Ricca (2017):
An Abstract Machine for Asynchronous Programs with Closures and Priority Queues.
In: Proceedings of the 11th International Workshop on Reachability Problems,
pp. 59–74,
doi:10.1007/978-3-319-67089-8_5.
D. Ancona, S. Drossopoulou & V. Mascardi (2012):
Automatic Generation of Self-Monitoring MASs from Multiparty Global Session Types in Jason.
In: DALT 2012,
LNAI 7784.
Springer,
pp. 76–95,
doi:10.1007/978-3-642-37890-4_5.
D. Ancona, A. Ferrando & V. Mascardi (2016):
Comparing Trace Expressions and Linear Temporal Logic for Runtime Verification.
In: Theory and Practice of Formal Methods.
Springer Verlag,
pp. 47–64,
doi:10.1007/978-3-319-30734-3_6.
D. Ancona, A. Ferrando & V. Mascardi (2017):
Parametric Runtime Verification of Multiagent Systems.
In: Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017,
pp. 1457–1459.
Available at http://dl.acm.org/citation.cfm?id=3091328.
C. Artho, H. Barringer, A. Goldberg, K. Havelund, S. Khurshid, M. Lowry, C. Pasareanu, G. Roşu, K. Sen, W. Visser & R. Washington (2005):
Combining test case generation and runtime verification.
Theoretical Computer Science 336(2–3),
pp. 209 – 234,
doi:10.1016/j.tcs.2004.11.007.
A. Bauer, M. Leucker & C. Schallhart (2006):
Model-based runtime analysis of distributed reactive systems.
In: Australian Software Engineering Conference (ASWEC'06),
pp. 10–,
doi:10.1109/ASWEC.2006.36.
D. Briola, V. Mascardi & D. Ancona (2014):
Distributed Runtime Verification of JADE Multiagent Systems.
In: IDC,
Studies in Computational Intelligence.
Springer,
pp. 81–91,
doi:10.1007/978-3-319-10422-5_10.
F. Chen & G. Roşu (2007):
Mop: An Efficient and Generic Runtime Verification Framework.
In: Proceedings of the 22Nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications,
OOPSLA '07.
ACM,
pp. 569–588,
doi:10.1145/1297027.1297069.
C. Colombo, G. J. Pace & G. Schneider (2009):
LARVA — Safer Monitoring of Real-Time Java Programs (Tool Paper).
In: 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods,
pp. 33–37,
doi:10.1109/SEFM.2009.13.
B. Courcelle (1983):
Fundamental properties of infinite trees.
Theoretical Computer Science 25,
pp. 95–169,
doi:10.1016/0304-3975(83)90059-2.
S. Hallé & R. Villemaire (2010):
Runtime Verification for the Web - A Tutorial Introduction to Interface Contracts in Web Applications.
In: RV 2010,
pp. 106–121,
doi:10.1007/978-3-642-16612-9_10.
S. Hallé, T. Bultan, G. Hughes, M. Alkhalaf & R. Villemaire (2010):
Runtime Verification of Web Service Interface Contracts.
Computer 43(3),
pp. 59–66,
doi:10.1109/MC.2010.76.
M. Leotta, F. Ricca, D. Clerissi, D. Ancona, G. Delzanno, M. Ribaudo & L. Franceschini (2017):
Towards an Acceptance Testing Approach for Internet of Things Systems.
In: EnWoT 2017.
To appear in Springer's Lecture Notes in Computer Science.
M. Leucker & C. Schallhart (2009):
A brief account of runtime verification.
The Journal of Logic and Algebraic Programming 78(5),
pp. 293–303,
doi:10.1016/j.jlap.2008.08.004.
Q. Luo, Y. Zhang, C. Lee, D. Jin, P. O. Meredith, T. F. Serbanuta & G. Rosu (2014):
RV-Monitor: Efficient Parametric Runtime Verification with Simultaneous Properties.
In: RV 2014 8734.
Springer,
pp. 285–300,
doi:10.1007/978-3-319-11164-3_24.
K. Sen, S. Kalasapur, T. Brutch & S. Gibbs (2013):
Jalangi: A Selective Record-replay and Dynamic Analysis Framework for JavaScript.
In: ESEC/FSE 2013,
pp. 488–498,
doi:10.1145/2491411.2491447.
L. Simon, A. Mallya, A. Bansal & G. Gupta (2006):
Coinductive Logic Programming.
In: ICLP 2006,
pp. 330–344,
doi:10.1007/11799573_25.
J. Wielemaker, T. Schrijvers, M. Triska & T. Lager (2012):
SWI-Prolog.
Theory and Practice of Logic Programming 12(1-2),
pp. 67–96,
doi:10.1017/S1471068411000494.
N. Yoshida, P.M. Deniélou, A. Bejleri & R. Hu (2010):
Parameterised Multiparty Session Types,
pp. 128–145.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
doi:10.1007/978-3-642-12032-9_10.