Gwen Salaün

From MaRDI portal
Person:433346

Available identifiers

zbMath Open salaun.gwenMaRDI QIDQ433346

List of research outcomes





PublicationDate of PublicationType
Refactoring of multi-instance BPMN processes with time and resources2024-06-05Paper
Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT2023-07-28Paper
Runtime enforcement with reordering, healing, and suppression2023-05-26Paper
Counterexample Simplification for Liveness Property Violation2023-05-05Paper
Debugging of concurrent systems using counterexample analysis2022-11-04Paper
Probabilistic model checking of BPMN processes at runtime2022-08-19Paper
Resource provisioning strategies for BPMN processes: specification and analysis using Maude2021-11-03Paper
Bounded Analysis and Decomposition for Behavioural Descriptions of Components2021-05-25Paper
Automated verification of automata communicating via FIFO and bag buffers2018-07-16Paper
https://portal.mardi4nfdi.de/entity/Q29890012017-05-19Paper
https://portal.mardi4nfdi.de/entity/Q29890072017-05-19Paper
Automated Analysis of Asynchronously Communicating Systems2016-06-22Paper
Debugging Process Algebra Specifications2015-02-04Paper
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus2013-08-05Paper
Structural reconfiguration of systems under behavioral adaptation2013-06-06Paper
Counterexample Guided Synthesis of Monitors for Realizability Enforcement2012-11-21Paper
A generic framework for \(n\)-protocol compatibility checking2012-07-13Paper
Realizability and dynamic reconfiguration of chor specifications2012-05-30Paper
Translating FSP into LOTOS and networks of automata2010-12-17Paper
Translating FSP into LOTOS and Networks of Automata2009-03-06Paper
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP2009-02-19Paper
https://portal.mardi4nfdi.de/entity/Q35399482008-11-19Paper
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS2007-11-29Paper
Adaptation of Open Component-Based Systems2007-11-28Paper
https://portal.mardi4nfdi.de/entity/Q54616022005-07-26Paper
https://portal.mardi4nfdi.de/entity/Q44178432003-07-30Paper

Research outcomes over time

This page was built for person: Gwen Salaün