Amal Khalil

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 1

Top Topics

Specification Language

Symbolic Execution

Top Venues

MoDELS (Doctoral Symposium)

Queen's University at Kingston, Ontario, Canada (PHD)

Education History

Queen's University at Kingston, Ontario, Canada

PHD

Publications

Amal Khalil, Juergen Dingel
Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts. Adv. Comput. 108 (2018)
Amal Khalil, Juergen Dingel
Incremental symbolic execution of evolving state machines. MoDELS (2015)
Amal Khalil
Optimizing the Symbolic Execution of Communicating and Evolving State Machines. MoDELS (Doctoral Symposium) (2015)
Amal Khalil
Change-driven Incremental Symbolic Execution of Evolving State Machines. SRC@MoDELS (2015)