Filter your results
- 4
- 2
- 4
- 1
- 1
- 6
- 1
- 3
- 1
- 1
- 6
- 5
- 3
- 3
- 2
- 1
- 6
- 4
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
A Direct Formal Semantics for BPMN Time-Related ConstructsENASE 2021 - 16th International Conference on Evaluation of Novel Approaches to Software Engineering, Apr 2021, online, Czech Republic. pp.138-149, ⟨10.5220/0010462901380149⟩
Conference papers
hal-03170814v1
|
||
|
A First-Order Logic Semantics for Communication-Parametric BPMN CollaborationsInternational Conference on Business Process Management (BPM 2019), Sep 2019, Vienna, Austria. pp.52-68, ⟨10.1007/978-3-030-26619-6_6⟩
Conference papers
hal-02138366v1
|
||
|
Business Processes Meet Spatial Concerns: the sBPMN Verification FrameworkFM 2021 - 24th International Symposium on Formal Methods, Nov 2021, Beijing, China. pp.218-234, ⟨10.1007/978-3-030-90870-6_12⟩
Conference papers
hal-03289951v1
|
||
A First-Order Logic Verification Framework for Communication-Parametric and Time-Aware BPMN CollaborationsInformation Systems, 2022, 104, pp.101765. ⟨10.1016/j.is.2021.101765⟩
Journal articles
hal-03170863v1
|
|||
|
Parameterised Verification from Formal Specifications of Information SystemsSymbolic Computation [cs.SC]. Sorbonne Université; Université Mohamed Khider (Biskra, Algérie), 2021. English. ⟨NNT : 2021SORUS421⟩
Theses
tel-03987466v1
|
||
Transformation of High Level Specification Towards nesC CodeSecond International Conference on Real Time Intelligent Systems, Book: Advances in Intelligent Systems and Computing, Oct 2017, Casablanca, Morocco
Conference papers
hal-02954533v1
|