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 ..." Article: asews16formabsmain-formabsmainid3-p (type: Full Paper (8 pages)) doi:
Chittimalli, Pavan Kumar ForMABS '16: "Domain-Independent Method ..." Article: asews16formabsmain-formabsmainid3-p (type: Full Paper (8 pages)) doi:
Hildebrandt, Thomas ForMABS '16: "Flexible, Adaptable, and Compliant ..." Article: asews16formabskey-inv1-p (type: Invited Talk Abstract (1 page)) doi:
Marijan, Dusica ForMABS '16: "Improving Configurable Software ..." Article: asews16formabsmain-formabsmainid5-p (type: Full Paper (8 pages)) doi:
Raghavan, Komondoor V. ForMABS '16: "Static Analysis to Enable ..." Article: asews16formabskey-inv4-p (type: Invited Talk Abstract (1 page)) doi:
Roychoudhury, Abhik ForMABS '16: "SemFix and Beyond: Semantic ..." Article: asews16formabskey-inv2-p (type: Invited Talk Abstract (1 page)) doi:
Uchitel, Sebastian ForMABS '16: "Business Process Adaptation ..." Article: asews16formabskey-inv3-p (type: Invited Talk Abstract (1 page)) doi:

7 authors

proc time: 0.02