ASE 2016 Workshops
31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016)
Powered by
Conference Publishing Consulting

International Workshop on Formal Methods for Analysis of Business Systems (ForMABS 2016), September 4, 2016, Singapore, Singapore

Workshop ForMABS 2016 – Author Index

Contents - Abstracts - Authors

A C H M R U

Anand, Kritika ForMABS '16: "Domain-Independent Method ..."
Chittimalli, Pavan Kumar ForMABS '16: "Domain-Independent Method ..."
Hildebrandt, Thomas ForMABS '16: "Flexible, Adaptable, and Compliant ..."
Marijan, Dusica ForMABS '16: "Improving Configurable Software ..."
Raghavan, Komondoor V. ForMABS '16: "Static Analysis to Enable ..."
Roychoudhury, Abhik ForMABS '16: "SemFix and Beyond: Semantic ..."
Uchitel, Sebastian ForMABS '16: "Business Process Adaptation ..."

7 authors

proc time: 0.79