Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Gwen Salaün

Compatibility Checking for Asynchronously Communicating Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Reliable Self-Deployment of Distributed Cloud Applications

Software - Practice and Experience
Software
2016English

Debugging of Behavioural Models With CLEAR

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Verifying Timed BPMN Processes Using Maude

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Computing the Parallelism Degree of Timed BPMN Processes

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Checking Business Process Evolution

Science of Computer Programming
Software
2019English

Automated Analysis of Industrial Workflow-Based Models

2018English

Integration of Formal Datatypes Within State Diagrams

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

Translating FSP Into LOTOS and Networks of Automata

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2009English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy