Presentations
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.
Automated System Analysis using Executable SysML Modeling Patterns
CEA LIST, Paris, France
System Modeling Environment: Requirements, Architecture and Implementation
Simula Research Lab, Oslo, Norway
OMG Specification Development Using Papyrus
Workshop on Model-Driven Specification Authoring, Cambridge, MA
Systematic Generation of Standard Compliant Tool Support of Diagrammatic Modeling Languages
MODELS 2015, Ottawa, Canada
An Approach for Defining Tool-Neutral API for a Modeling Language
SnT Center, University of Luxembourg, Luxembourg
Diagram Definition Implementation in Papyrus 1.1
1st Papyrus Workshop on DSML Technologies, Toulouse, France
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
Towards a More Collaborative and Integrated Approach to Software Design
Simula Research Lab, Oslo, Norway
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
Design Management: When Model Driven Engineering Embraces the Semantic Web
NECSIS 2012, Gatineau, QC
Diagram Definition: an Overview
Third OMG / Eclipse Symposium, Washington DC
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
Generating Specification Documents from Models using BIRT
Second OMG / Eclipse Symposium 2010, Minneapolis, Minnesota
Diagram Definition: Revised Submission
ADTF, OMG March 2010, Washington DC
Diagram Definition: Initial Submission
ADTF, OMG June 2009, San Jose, Costa Rica
Model Reporting with IBM Rational Software Architect 7.5: An Introduction
IBM Rational Innovate 2009, Orlando, Florida
Meeting Customer’s Reporting Requirements by Extending BIRT
EclipseCon 2008, Santa Clara, California
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