Toward automated generation of parametric BIMs based on hybrid video and laser scanning data. - Ioannis K. Brilakis; Manolis I. A. Lourakis; Rafael Sacks; Silvio Savarese; Symeon E. Christodoulou; Jochen Teizer; Atefe Makhmalbaf (Adv. Eng. Informatics, 2010)

A Runtime Verification Framework for Control System Simulation. - Selim Ciraci; Jason C. Fuller; Jeff A. Daily; Atefe Makhmalbaf; David Callahan (COMPSAC, 2014)