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
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
95–230
10.1561/2500000031
D. Ancona
D. Briola
A. Ferrando
V. Mascardi
2015
Global Protocols as First Class Entities for Self-Adaptive Agents
AAMAS 2015
1019–1029
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
Proceedings of the 11th International Workshop on Reachability Problems
59–74
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
DALT 2012
LNAI
7784
Springer
76–95
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
Theory and Practice of Formal Methods
Springer Verlag
47–64
10.1007/978-3-319-30734-3_6
D. Ancona
A. Ferrando
V. Mascardi
2017
Parametric Runtime Verification of Multiagent Systems
Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, São Paulo, Brazil, May 8-12, 2017
1457–1459
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
209 – 234
10.1016/j.tcs.2004.11.007
A. Bauer
M. Leucker
C. Schallhart
2006
Model-based runtime analysis of distributed reactive systems
Australian Software Engineering Conference (ASWEC'06)
10–
10.1109/ASWEC.2006.36
D. Briola
V. Mascardi
D. Ancona
2014
Distributed Runtime Verification of JADE Multiagent Systems
IDC
Studies in Computational Intelligence
Springer
81–91
10.1007/978-3-319-10422-5_10
F. Chen
G. Roşu
2007
Mop: An Efficient and Generic Runtime Verification Framework
Proceedings of the 22Nd Annual ACM SIGPLAN Conference on Object-oriented Programming Systems and Applications
OOPSLA '07
ACM
569–588
10.1145/1297027.1297069
C. Colombo
G. J. Pace
G. Schneider
2009
LARVA — Safer Monitoring of Real-Time Java Programs (Tool Paper)
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
33–37
10.1109/SEFM.2009.13
B. Courcelle
1983
Fundamental properties of infinite trees
Theoretical Computer Science
25
95–169
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
RV 2010
106–121
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
59–66
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
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
293–303
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
RV 2014
8734
Springer
285–300
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
ESEC/FSE 2013
488–498
10.1145/2491411.2491447
L. Simon
A. Mallya
A. Bansal
G. Gupta
2006
Coinductive Logic Programming
ICLP 2006
330–344
10.1007/11799573_25
J. Wielemaker
T. Schrijvers
M. Triska
T. Lager
2012
SWI-Prolog
Theory and Practice of Logic Programming
12
1-2
67–96
10.1017/S1471068411000494
N. Yoshida
P.M. Deniélou
A. Bejleri
R. Hu
2010
Parameterised Multiparty Session Types
128–145
Springer Berlin Heidelberg
Berlin, Heidelberg
10.1007/978-3-642-12032-9_10