Gwen Salaün

Available identifiers

List of research outcomes

Publication	Date of Publication	Type
Refactoring of multi-instance BPMN processes with time and resources	2024-06-05	Paper
Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT	2023-07-28	Paper
Runtime enforcement with reordering, healing, and suppression	2023-05-26	Paper
Counterexample Simplification for Liveness Property Violation	2023-05-05	Paper
Debugging of concurrent systems using counterexample analysis	2022-11-04	Paper
Probabilistic model checking of BPMN processes at runtime	2022-08-19	Paper
Resource provisioning strategies for BPMN processes: specification and analysis using Maude	2021-11-03	Paper
Bounded Analysis and Decomposition for Behavioural Descriptions of Components	2021-05-25	Paper
Automated verification of automata communicating via FIFO and bag buffers	2018-07-16	Paper
https://portal.mardi4nfdi.de/entity/Q2989001	2017-05-19	Paper
https://portal.mardi4nfdi.de/entity/Q2989007	2017-05-19	Paper
Automated Analysis of Asynchronously Communicating Systems	2016-06-22	Paper
Debugging Process Algebra Specifications	2015-02-04	Paper
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus	2013-08-05	Paper
Structural reconfiguration of systems under behavioral adaptation	2013-06-06	Paper
Counterexample Guided Synthesis of Monitors for Realizability Enforcement	2012-11-21	Paper
A generic framework for \(n\)-protocol compatibility checking	2012-07-13	Paper
Realizability and dynamic reconfiguration of chor specifications	2012-05-30	Paper
Translating FSP into LOTOS and networks of automata	2010-12-17	Paper
Translating FSP into LOTOS and Networks of Automata	2009-03-06	Paper
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP	2009-02-19	Paper
https://portal.mardi4nfdi.de/entity/Q3539948	2008-11-19	Paper
Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS	2007-11-29	Paper
Adaptation of Open Component-Based Systems	2007-11-28	Paper
https://portal.mardi4nfdi.de/entity/Q5461602	2005-07-26	Paper
https://portal.mardi4nfdi.de/entity/Q4417843	2003-07-30	Paper

Research outcomes over time

This page was built for person: Gwen Salaün