We stand with Ukraine  

Sara Houhou

Orcid: 0000-0002-4166-0609

According to our database1, Sara Houhou authored at least 5 papers between 2019 and 2022.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2022
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations.
[BibTeX]
[DOI]
Sara Houhou
,
Souheib Baarir
,
Pascal Poizat
,
Philippe Quéinnec
,
Laïd Kahloul
Inf. Syst., 2022

2021
Parameterised Verification from Formal Specifications of Information Systems. (Vérification paramétrée à partir des spécifications formelles des systèmes d'information).
[BibTeX]
[DOI]
Sara Houhou
PhD thesis, 2021

Business Processes Meet Spatial Concerns: The sBPMN Verification Framework.
[BibTeX]
[DOI]
Rim Saddem-Yagoubi
,
Pascal Poizat
,
Sara Houhou
Proceedings of the Formal Methods - 24th International Symposium, 2021

A Direct Formal Semantics for BPMN Time-related Constructs.
[BibTeX]
[DOI]
Sara Houhou
,
Souheib Baarir
,
Pascal Poizat
,
Philippe Quéinnec
Proceedings of the 16th International Conference on Evaluation of Novel Approaches to Software Engineering, 2021

2019
A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations.
[BibTeX]
[DOI]
Sara Houhou
,
Souheib Baarir
,
Pascal Poizat
,
Philippe Quéinnec
Proceedings of the Business Process Management - 17th International Conference, 2019


  Loading...