Refereed
Action languages and precise modeling for cyber-physical systems design and testing
Badreddin, O., Elaasar, M., Abdelzad, V. “Action languages and precise modeling for cyber-physical systems design and testing.” Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering. IBM Corp., 2016.
Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages
MODELS 2015, Ottawa, Canada
Automating Instance Migration in Response to Ontology Evolution
Models & Evolution 2013, Miami, FL
Integrating Modeling Tools in the Development Lifecycle with OSLC: a Case Study
MODELS 2013, Miami, FL
Design Management: a Collaborative Design Solution
ECMFA 2013, Montpellier, France
Modeling Practices in Open Source Software
OSS 2013, Koper-Capodistria, Slovenia
Model Interchange Testing: a Process and a Case Study
ECMFA 2012, Copenhagen, Denmark
Diagram Definition: A Case Study with the UML Class Diagram
MoDELS 2011, Wellington, New Zealand
Domain-Specific Model Verification with QVT
ECMFA 2011, Birmingham, UK
A Metamodeling Approach to Pattern Specification
MoDELS 2006, Genova, Italy
The eXtended Satellite Transport Protocol: Its Design and Evaluation
Small Satellite Conference 2003, Logan, Utah