Amal Khalil

According to our database, Amal Khalil authored at least 5 papers between 2015 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts.

Amal Khalil, Juergen Dingel

Adv. Comput., 2018

2016

Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts.

Amal Khalil

PhD thesis, 2016

2015

Incremental symbolic execution of evolving state machines.

Amal Khalil, Juergen Dingel

Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Optimizing the Symbolic Execution of Communicating and Evolving State Machines.

Amal Khalil

Proceedings of the Doctoral Symposium at the 18th ACM/IEEE International Conference of Model-Driven Engineering Languages and Systems 2015 (MoDELS 2015), 2015

Change-driven Incremental Symbolic Execution of Evolving State Machines.

Amal Khalil

Proceedings of the ACM Student Research Competition at MODELS 2015 co-located with the ACM/IEEE 18th International Conference MODELS 2015, 2015