Publications Search Tool

Results for "Reza Ahmadi":

1. Ahmadi, Reza; Dingel, Juergen: Concolic Testing for Models of State-based Systems. In: 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE'19), ACM, Tallinn, Estonia, 2019, (To appear). (Type: Inproceedings | BibTeX)
2. Ahmadi, Reza; Posse, Ernesto; Dingel, Juergen: Slicing UML-based Models of Real-time Embedded Systems. In: ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS'18), pp. 346-356, ACM, Copenhagen, Denmark, 2018. (Type: Inproceedings | Links | BibTeX)
3. Ahmadi, Reza; Hili, Nicolas; Dingel, Juergen: Property-aware Unit Testing of UML-RT Models in the Context of MDE. In: 14th European Conference on Modelling Foundations and Applications (EC-MFA'18), pp. 147-163, Springer, Toulouse, France, 2018. (Type: Inproceedings | Links | BibTeX)
4. Ahmadi, Reza; Hili, Nicolas; Das, Nondini; Ganesan, Suchita; Jweda, Leo; Dingel, Juergen: Run-time Monitoring of a Rover: MDE Research with Open Source Software and Low-cost Hardware. In: 3rd International Workshop on Open Source Software for Model Driven Engineering (OSS4MDE'16), Saint-Malo, France. October 3, 2016, 2016. (Type: Inproceedings | Links | BibTeX)