Sir Syed CASE Institute Of Technology

Landline

+92 (51) 520 3472

Emails

General Inquiry: info@case.edu.pk
Admission: admission@case.edu.pk

Do You Have Any Question

Quick Links

Degree Programs

Faculty Portal

Student Portal

Employee Email

LMS

Jobs

Subscribe to Newsletter

Main Menu

Home

Quick Links

Search

Contact

Menu

Ms Anam Amjad

Home / Ms Anam Amjad

Quick Contact

Lecturer

anam.amjad@case.edu.pk

No-Image-Placeholder

Biography

N/A

Educational Qualification

Degree

MS/Mphil, BSCS

Specialization

SE, CS

University

NUST, Islamabad, FJWU, Rawalpindi

Year

2017, 2013

Work Experience

Designation

N/A

Company

N/A

From

N/A

To

N/A

Research Interest

Title

- Model Driven Software Engineering , - Internet of Things (IoT)

Description

N/A, N/A

Honors & Award / Projects

Year

N/A

Awarding Organization

N/A

Description

N/A

Memberships

Title

N/A

Organization

N/A

From

N/A

To

N/A

Courses Taught
Key Publications (Journals & Books)

- Amjad, A., Azam, F., Anwar, M. W., Butt, W. H., Rashid, M., & Naeem, A. (2018). UMLPACE for modeling and verification of complex business requirements in event-driven process chain (EPC). IEEE Access, 6, 76198-76216., - Amjad, A., Azam, F., Anwar, M. W., Butt, W. H., & Rashid, M. (2018). Event-driven process chain for modeling and verification of business requirements–a systematic literature review. Ieee Access, 6, 9027-9048.
Key Publications (Conferences & Workshops)

- Amjad, A., Azam, F., Anwar, M. W., & Butt, W. H. (2017, May). Verification of event-driven process chain with timed automata and time Petri nets. In 2017 9th IEEE-GCC Conference and Exhibition (GCCCE) (pp. 1-6). IEEE., - Naeem, A., Azam, F., Amjad, A., & Anwar, M. W. (2018, August). Comparison of model checking tools using timed automate-prism and uppaal. In 2018 IEEE International Conference on Computer and Communication Engineering Technology (CCET) (pp. 248-253). IEEE.