Scenario-Based Compositional Statistical Model Checking for Safety Specifications

A. Pomalapally, A. Raeesi, K. Chang, B. Yalcinkaya, S. Seshia

Periscope: Extending the Scope of Pre-Silicon Assertion-Based Verification with Runtime Monitor Feedback

T. Tracy II, Y. Seneviratne, K. Nandagopal, B. Bingham, D. Chinnasame Rani, M. Dwyer, K. Skadron

Online Monitoring and Verification of Dynamic System Performance Properties in MTLfp

E. Ghisellini, P. Garoche

Defense-in-Depth Runtime Safety in Move

V. Gao, W. Grieskamp, V. Kashyap, G. Mitenkov, T. Zhang, R. Zhou, A. Cappa, M. Ilardi

Runtime Compliance Verification for AI Agents

N. Kahani, M. Barati, D. Addae

Monitoring LLM Conversations with First-Order Temporal Logic

I. Cohen, K. Havelund, M. Omer, D. Peled

From ODD to Runtime Monitors: ODD-Based Scenario Generation and Coverage Assessment

S. Brunner, M. Reif, S. Leue

Quantitative Refinement of Objectives: Runtime Consultants and Path Planning

D. Fisman, E. Sudit

Quantitative Monitoring of Semantic Regular Expressions with Oracle-Defined Trace Predicates

M. Amini, M. Raghothaman

STL-Witness: Signal Generation from STL Specifications

D. Nickovic

Two Ways to See the Future: Combining Prediction and Future-Offset Accesses in RTLola

F. Scheerer, J. Baumeister, B. Finkbeiner, E. Müller, J. Tillman

Predictive Runtime Verification for Clinical Event Monitoring

V. Lin, I. Lee

Monitoring Hyperproperties over Observed and Constructed Traces

M. Chalupa, T. Henzinger, A. Oliveira da Costa

Synchronous Observers Revisited for Runtime Verification of Lustre Using STL

L. Kenwright, P. Roop, S. Chatterjee, N. Allen

Monitoring under uncertainty with DisTL

S. Betancourt, V. Castiglioni, S. Tini