Run-time conformance checking of mobile and distributed systems using executable models

Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 ◽

10.1145/1639622.1639623 ◽

2009 ◽

Author(s):

Ahmad A. Saifan ◽

Ernesto Posse ◽

Juergen Dingel

Keyword(s):

Distributed Systems ◽

Conformance Checking ◽

Run Time ◽

Executable Models

Download Full-text

Run-Time Monitoring for Model-Based Testing of Distributed Systems

10.15514/syrcose-2012-6-9 ◽

2012 ◽

Author(s):

Vladimir Fedotov

Keyword(s):

Distributed Systems ◽

Model Based ◽

Model Based Testing ◽

Download Full-text

Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems

2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW) ◽

10.1109/icstw.2017.64 ◽

2017 ◽

Author(s):

Bruno Miguel Carvalhido Lima ◽

Joao Carlos Pascoal Faria

Keyword(s):

Distributed Systems ◽

Conformance Checking ◽

Model Based ◽

Model Based Testing

Download Full-text

Compound service scheduling with run-time adaptation in real-time multiprocessor distributed systems

Second Workshop on Parallel and Distributed Real-Time Systems ◽

10.1109/wpdrts.1994.365641 ◽

2002 ◽

Author(s):

S.K. Oh ◽

G.H. MacEwen

Keyword(s):

Distributed Systems ◽

Real Time ◽

Service Scheduling ◽

Download Full-text

Efficient run-time assurance in distributed systems through selection of executable assertions

Journal of Systems and Software ◽

10.1016/s0164-1212(99)00131-4 ◽

2000 ◽

Vol 52 (1) ◽

pp. 33-54

Author(s):

Martina Schollmeyer ◽

Bruce McMillin

Keyword(s):

Distributed Systems ◽

Run Time ◽

Download Full-text

Run-time detection in parallel and distributed systems: application to safety-critical systems

Proceedings. 19th IEEE International Conference on Distributed Computing Systems (Cat. No.99CB37003) ◽

10.1109/icdcs.1999.776517 ◽

2003 ◽

Author(s):

B. Plale ◽

K. Schwan

Keyword(s):

Distributed Systems ◽

Critical Systems ◽

Safety Critical ◽

Safety Critical Systems ◽

Download Full-text

On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed Systems

Runtime Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-11164-3_9 ◽

2014 ◽

pp. 92-107 ◽

Author(s):

Pierre Fraigniaud ◽

Sergio Rajsbaum ◽

Corentin Travers

Keyword(s):

Distributed Systems ◽

Fault Tolerant ◽

Download Full-text

Conformance Checking in Integration Testing of Time-constrained Distributed Systems based on UML Sequence Diagrams

Proceedings of the 12th International Conference on Software Technologies ◽

10.5220/0006474004590466 ◽

2017 ◽

Author(s):

Bruno Lima ◽

João Faria

Keyword(s):

Distributed Systems ◽

Integration Testing ◽

Sequence Diagrams ◽

Conformance Checking

Download Full-text

Run-Time Root Cause Analysis in Adaptive Distributed Systems

Lecture Notes in Computer Science - On the Move to Meaningful Internet Systems: OTM 2013 Workshops ◽

10.1007/978-3-642-41033-8_38 ◽

2013 ◽

pp. 292-301 ◽

Author(s):

Amit Raj ◽

Stephen Barrett ◽

Siobhan Clarke

Keyword(s):

Distributed Systems ◽

Root Cause Analysis ◽

Cause Analysis ◽

Download Full-text

Monitor-based run-time contract verification of distributed systems

Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014) ◽

10.1109/sies.2014.7087332 ◽

2014 ◽

Author(s):

Orlando Ferrante ◽

Roberto Passerone ◽

Alberto Ferrari ◽

Leonardo Mangeruca ◽

Christos Sofronis ◽

...

Keyword(s):

Distributed Systems ◽

Download Full-text

Emotion Detection Device and Method For Use in Distributed Systems

PsycEXTRA Dataset ◽

10.1037/e623582012-001 ◽

2012 ◽

Author(s):

Ian M. Bennett

Keyword(s):

Distributed Systems ◽

Emotion Detection

Download Full-text