The following pages link to Meriem Ouederni (Q433345):
Displayed 6 items.
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- Synchronizability for Verification of Asynchronously Communicating Systems (Q2891401) (← links)
- Deciding choreography realizability (Q2942872) (← links)
- (Q2989001) (← links)
- A Normalized Form for FIFO Protocols Traces, Application to the Replay of Mode-based Protocols (Q3460215) (← links)
- Counterexample Guided Synthesis of Monitors for Realizability Enforcement (Q4649300) (← links)