Collaborated with:F.Corradini F.Fornari A.Polini F.Tiezzi A.Vandin
Talks about:process (2) verif (2) busi (2) pro (2) framework (1) support (1) formal (1) model (1) tool (1)
Person: Barbara Re 0001
DBLP: 0001:Barbara_Re
Contributed to:
2017Wrote 2 papers:
- ASE-2017-CorradiniFP0TV #framework #modelling #named #process #verification
- BProVe: a formal verification framework for business process models (FC, FF, AP, BR0, FT, AV), pp. 217–228.
- ASE-2017-CorradiniFP0TV17a #named #process #tool support #verification
- BProVe: tool support for business process verification (FC, FF, AP, BR0, FT, AV), pp. 937–942.