Amal Khalil

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2018
Chapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts.
Adv. Comput., 2018

2016
Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts.
PhD thesis, 2016

2015
Incremental symbolic execution of evolving state machines.
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.
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.
Proceedings of the ACM Student Research Competition at MODELS 2015 co-located with the ACM/IEEE 18th International Conference MODELS 2015, 2015


  Loading...