In Vitro Cytotoxicity of Two Categories of Dental Cements von Koosha, S, Nematolahi, F, Torshabi, M, Tabatabaei, F, Borzoo, Y, Vatandoost, AM

Volltext

ROSRV: Runtime Verification for Robots von Huang, Jeff, Erdogan, Cansu, Zhang, Yi, Moore, Brandon, Luo, Qingzhou, Sundaresan, Aravind, Rosu, Grigore

Volltext

First international Competition on Runtime Verification: rules, benchmarks, tools, and final results of CRV 2014 von Bartocci, Ezio, Falcone, Yliès, Bonakdarpour, Borzoo, Colombo, Christian, Decker, Normann, Havelund, Klaus, Joshi, Yogi, Klaedtke, Felix, Milewicz, Reed, Reger, Giles, Rosu, Grigore, Signoles, Julien, Thoma, Daniel, Zalinescu, Eugen, Zhang, Yi

Volltext

Runtime Observer Pairs and Bayesian Network Reasoners On-board FPGAs: Flight-Certifiable System Health Management for Embedded Systems von Geist, Johannes, Rozier, Kristin Y., Schumann, Johann

Volltext

Runtime Verification for HyperLTL von Bonakdarpour, Borzoo, Finkbeiner, Bernd

Volltext

How Good is Weak-Stabilization? von Fallahi, Narges, Bonakdarpour, Borzoo

Volltext

Zone-Based Synthesis of Strict 2-Phase Fault Recovery von Faghih, Fathiyeh, Bonakdarpour, Borzoo

Volltext

Automated Addition of Fault-Tolerance under Synchronous Semantics von Lin, Yiyan, Bonakdarpour, Borzoo, Kulkarni, Sandeep

Volltext

Accelerated Runtime Verification of LTL Specifications with Counting Semantics von Medhat, Ramy, Bonakdarpour, Borzoo, Fischmeister, Sebastian, Joshi, Yogi

Volltext

MLP for Defect Detection from Power Plants Flow Pipelines Equipped by Principal Component Analysis von Ehteram, Saeedreza, Afkham, Borzoo, Sereshkeh, Y. Rezazadeh

Volltext