Germán Regis

Germán Regis

Universidad Nacional de Río Cuarto - Río Cuarto / Argentina
Engineering & Technology / Computer Science
AD Scientific Index ID: 5152327
National University of Río Cuarto
person_outline Germán Regis's MOST POPULAR ARTICLES
1-) Specifying and verifying declarative fluent temporal logic properties of workflowsG Regis, N Ricci, NM Aguirre, T MaibaumFormal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF …, 2012142012
2-) Specifying and verifying business processes using ppmlG Regis, N Aguirre, T MaibaumFormal Methods and Software Engineering: 11th International Conference on …, 200952009
3-) Towards abstraction for DynAlloy specificationsNM Aguirre, MF Frias, P Ponzio, BJ Cardiff, JP Galeotti, G RegisFormal Methods and Software Engineering: 10th International Conference on …, 200852008
4-) Verifying temporal properties of commUnity designsN Aguirre, G Regis, T MaibaumInternational Conference on Integrated Formal Methods, 1-20, 200742007
5-) Fluent logic workflow analyser: a tool for the verification of workflow propertiesG Regis, F Villar, N RicciarXiv preprint arXiv:1401.0971, 201432014