Debugging of Behavioural Models using Counterexample Analysis
Barbon, Gianluca, Leroy, Vincent, Salaun, Gwen
Published in IEEE transactions on software engineering (01.06.2021)
Published in IEEE transactions on software engineering (01.06.2021)
Get full text
Journal Article
Checking business process evolution
Krishna, Ajay, Poizat, Pascal, Salaün, Gwen
Published in Science of computer programming (15.01.2019)
Published in Science of computer programming (15.01.2019)
Get full text
Journal Article
Stochastic analysis of BPMN with time in rewriting logic
Durán, Francisco, Rocha, Camilo, Salaün, Gwen
Published in Science of computer programming (15.12.2018)
Published in Science of computer programming (15.12.2018)
Get full text
Journal Article
A rewriting logic approach to resource allocation analysis in business process models
Durán, Francisco, Rocha, Camilo, Salaün, Gwen
Published in Science of computer programming (01.09.2019)
Published in Science of computer programming (01.09.2019)
Get full text
Journal Article
Preface: Special issue on Foundations of Coordination Languages and Self-adaptive Systems
Get full text
Journal Article
Publication
Tau Be or not Tau Be? - A Perspective on Service Compatibility and Substitutability
Ouederni, Meriem, Salaün, Gwen
Published in Electronic proceedings in theoretical computer science (12.10.2010)
Published in Electronic proceedings in theoretical computer science (12.10.2010)
Get full text
Journal Article