The following pages link to Gwen Salaün (Q433346):
Displaying 23 items.
- A generic framework for \(n\)-protocol compatibility checking (Q433347) (← links)
- Translating FSP into LOTOS and networks of automata (Q613134) (← links)
- On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP (Q1001805) (← links)
- Automated verification of automata communicating via FIFO and bag buffers (Q1650866) (← links)
- Structural reconfiguration of systems under behavioral adaptation (Q1951614) (← links)
- Debugging of concurrent systems using counterexample analysis (Q2093147) (← links)
- Probabilistic model checking of BPMN processes at runtime (Q2165511) (← links)
- Resource provisioning strategies for BPMN processes: specification and analysis using Maude (Q2239276) (← links)
- Automated Analysis of Asynchronously Communicating Systems (Q2814621) (← links)
- (Q2888201) (← links)
- (Q2989001) (← links)
- (Q2989007) (← links)
- (Q3539948) (← links)
- Translating FSP into LOTOS and Networks of Automata (Q3608896) (← links)
- (Q4417843) (← links)
- Counterexample Guided Synthesis of Monitors for Realizability Enforcement (Q4649300) (← links)
- Bounded Analysis and Decomposition for Behavioural Descriptions of Components (Q4989484) (← links)
- Debugging Process Algebra Specifications (Q5172646) (← links)
- PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus (Q5326325) (← links)
- Adaptation of Open Component-Based Systems (Q5428909) (← links)
- Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS (Q5429310) (← links)
- (Q5461602) (← links)
- Refactoring of multi-instance BPMN processes with time and resources (Q6550599) (← links)
