activity
20172026
most citedA Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation

17 citations · 28 across the 17 of their papers we have counts for

collaborators
Showing 2017Show all

2 papers · 1 filter

cs.SE2017

Monitoring Distributed Component-Based Systems

Hosein Nazarpour, Yliès Falcone, Mohamad Jaber +2

This paper addresses the online monitoring of distributed component-based systems with multi-party interactions against user-provided properties expressed in linear-temporal logic…

cs.SE2017

Concurrency-Preserving and Sound Monitoring of Multi-Threaded Component-Based Systems

Hosein Nazarpour, Yliès Falcone, Saddek Bensalem +1

This paper addresses the monitoring of logic-independent linear-time user-provided properties in multi-threaded component-based systems. We consider intrinsically independent compo…