SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

Wasi Haider Butt · Study

Home/Author

Wasi Haider Butt

5 works· latest 2019· 1 institutionscluster: provisionalORCID 0000-0002-1347-3662

h-index5

i104

Citations127

Works here5

17

18

19

Most cited in this library

Event-Driven Process Chain for Modeling and Verification of Business Requirements–A Systematic Literature Review2018 · 53 citations
A Comprehensive Investigation of BPMN Models Generation from Textual Requirements—Techniques, Tools and Trends2018 · 30 citations
A Novel Framework to Automatically Generate Executable Web Services From BPMN Models2019 · 23 citations
UMLPACE for Modeling and Verification of Complex Business Requirements in Event-Driven Process Chain (EPC)2018 · 13 citations
Verification of Event-Driven Process Chain with Timed Automata and Time Petri Nets2017 · 8 citations

Works

5 shown

A Novel Framework to Automatically Generate Executable Web Services From BPMN Models

IEEE Access·2019·6 authors·Open access

23citations

A Comprehensive Investigation of BPMN Models Generation from Textual Requirements—Techniques, Tools and Trends

Lecture notes in electrical engineering·2018·7 authors·other

30citations

Event-Driven Process Chain for Modeling and Verification of Business Requirements–A Systematic Literature Review

IEEE Access·2018·5 authors·review·Open access

53citations

UMLPACE for Modeling and Verification of Complex Business Requirements in Event-Driven Process Chain (EPC)

IEEE Access·2018·6 authors·Open access

13citations

Verification of Event-Driven Process Chain with Timed Automata and Time Petri Nets

IEEE GCC Conference and Exhibition (GCCCE)·2017·4 authors·other

8citations