| Specifying and verifying declarative fluent temporal logic properties of workflows G Regis, N Ricci, NM Aguirre, T Maibaum Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF …, 2012 | 14 | 2012 |
| Specifying and verifying business processes using ppml G Regis, N Aguirre, T Maibaum Formal Methods and Software Engineering: 11th International Conference on …, 2009 | 5 | 2009 |
| Towards abstraction for DynAlloy specifications NM Aguirre, MF Frias, P Ponzio, BJ Cardiff, JP Galeotti, G Regis Formal Methods and Software Engineering: 10th International Conference on …, 2008 | 5 | 2008 |
| Verifying temporal properties of commUnity designs N Aguirre, G Regis, T Maibaum International Conference on Integrated Formal Methods, 1-20, 2007 | 4 | 2007 |
| Fluent logic workflow analyser: a tool for the verification of workflow properties G Regis, F Villar, N Ricci arXiv preprint arXiv:1401.0971, 2014 | 3 | 2014 |
