C. Abela
A. Calafato
G.J. Pace
Extending WISE with Contract Management
WICT 2010
Joe Armstrong
2007
Programming Erlang: Software for a Concurrent World
Pragmatic Bookshelf
Fabio Barbon
Paolo Traverso
Marco Pistore
Michele Trainotti
2006
Run-Time Monitoring of Instances and Classes of Web Service Compositions
ICWS '06: Proceedings of the IEEE International Conference on Web Services
IEEE Computer Society
Washington, DC, USA
63–71
10.1109/ICWS.2006.113
David Chappell
2004
Enterprise Service Bus
O'Reilly Media
Feng Chen
Grigore Rosu
2003
Towards Monitoring-Oriented Programming: A Paradigm Combining Specification and Implementation
Runtime Verification (RV'03)
ENTCS
89(2)
108 – 127
10.1016/S1571-0661(04)81045-4
Koen Claessen
Gordon J. Pace
2002
An Embedded Language Framework for Hardware Compilation
Designing Correct Circuits '02, Grenoble, France
T. Cook
D. Drusinksy
M.-T. Shing
2007
Specification, Validation and Run-time Moniroting of SOA Based System-of Systems Temporal Behaviors
System of Systems Engineering
IEEE Computer Society
Dorothy E. Denning
1987
An intrusion-detection model
IEEE Transactions on Software Engineering
13
222–232
10.1109/TSE.1987.232894
Matthew Hennessy
2007
A Distributed Pi-Calculus
Cambridge University Press
New York, NY, USA
I. H. Krüger
M. Meisinger
M. Menarini
2010
Interaction-based Runtime Verification for Systems of Systems Integration
J Logic Computation
20
3
10.1093/logcom/exn079
L. Lamport
1977
Proving the Correctness of Multiprocess Programs
IEEE Trans. Softw. Eng.
3
125–143
10.1109/TSE.1977.229904
Masoud Mansouri-Samani
Morris Sloman
1997
GEM: a generalized event monitoring language for distributed systems
Distributed Systems Engineering
4
2
96–108
10.1088/0967-1846/4/2/004
Koushik Sen
Abhay Vardhan
Gul Agha
Grigore Rosu
2004
Efficient Decentralized Monitoring of Safety in Distributed Systems
International Conference on Software Engineering
418–427
W. Zhou
O. Sokolsky
B. Thau Loo
I. Lee
2009
DMaC: Distributed Monitoring and Checking.
Runtime Verification 09
LNCS
5779
Springer
184–201
10.1007/978-3-642-04694-0_13