Publications

Team Cognition and Collaboration Project (TC – Theme 1)
Refereed Journal Articles
Knauss, E., D. Damian, J.Cleland-Huang, R. Helms. “Patterns of Requirements Clarifications”. Journal of Requirements Engineering. 2014.DOI URL

Conference Presentations/Posters
Knauss, E., A. Knauss, A. Borici and D. Damian. “Openness and Requirements: Opportunities and Tradeoffs in Software Ecosystems”. Proc. of International Conference on RequirementsEngineering (RE14). 2014. DOI URL

Knauss, E., D. Damian. “Exploring Requirements Clarification in Online Communication Over Time”. Proc. of 35th International Conference on Software Engineering (ICSE ’13). 2013. DOI URL

Damian, D., Helms, R., Kwan, I., Marczak, S. and Koelewijn, B. “The Role of Domain Knowledge and Hierarchical Control Structures in Socio-technical Coordination” Proc. of IEEE Int. Conf. on Software Engineering (ICSE). 2013. URL

Knauss, E. and D. Damian. “V:ISSUE:LIZER: Exploring Requirements Clarification in Online Communication Over Time”. Proc. of IEEE Int. Conf. on Software Engineering (ICSE). 2013. DOI URL

Simpson, B., Kalliamvakou, E., Lambert, N. Damian, D. Aduno. “Real-Time Collaborative Work Design in a Shared Workspace”. Proc. of Workshop on Cooperative and Human Aspects of Software Engineering (CHASE) at IEEE Int. Conf. on Software Engineering (ICSE). 2013. DOI URL

Blincoe, K., Valetto, G. and Damian, D. “Do All Task Dependencies Require Coordination? The Role of Task Properties in Identifying Critical Coordination Needs in Software Projects”.Proc. of the ESEC Conference on Foundations of Software Engineering (FSE). 2013. DOI URL

Knauss, E., D. Damian, G. Poo-Camano, J.Cleland-Huang. “Detecting and Classifying Patterns of Requirements Clarifications”. Proc. of IEEE International Conference on Requirements Engineering (RE’12). 2012. DOI URL

Arber Borici, Kelly Blincoe, Adrian Schröter, Giuseppe Valetto, and Daniela Damian. “ProxiScientia: Toward Real-Time Visualization of Task and Developer Dependencies in Collaborating Software Development Teams”. Proc. of Int’l workshop on Cooperative and Human Aspects of Software Engineering (CHASE). 2012.

Aranda, J. and D. Damian. “A Redefinition of Roles and Collaboration Under Model-Driven Development”. Proc. of the International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), the International Conference on Software Engineering (ICSE’12). 2012. DOI URL

S. Marczak, and D. Damian. “How Interaction Between Roles Shapes the Communication Structure in Requirements-Driven Collaboration”. Proceedings of the Requirements Engineering Conference. 2011. DOI URL

I. Kwan and D. Damian. “The Hidden Experts in Software-Engineering Communication (NIER track)”. Proceedings of the International Conference on Software Engineering (ICSEʼ11). 2011. DOI URL

Blincoe, K. and D. Damian. “Implicit coordination and its impact on software productivity”. In submission of SE conference. 2014. (Submitted). DOI

Knauss, E. and D. Damian. “Towards Enabling Cross-Organizational Modeling in Automotive Ecosystems”. 1st International Workshop on Model-Driven Development processes and practices at MODELS 2014. 2014. (Accepted). URL

Other (Including Technical Reports, Non-Refereed Articles, etc.)
D. Damian, I. Kwan and S. Marczak. “Requirements-Driven Collaboration: Leveraging the Invisible Relationships Between Requirements and People”. Collaborative Software Engineering. 2010. DOI URL

Kalliamvakou, E., Palyart, M., D. Damian and G. Murphy. “A Field Study of Modellers at Work”. Report to GM engineering team. 2014. (Submitted)

Information Flow Project (IF – Theme 1)
Conference Presentations/Posters
Jorge Aranda, Daniela Damian, and Arber Borici. “Transition to Model-Driven Engineering: What is Revolutionary, What Remains the Same”. ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS ’12). 2012. DOI URL

Adrian Kuhn, Gail C. Murphy and C. Albert Thompson. “An exploratory Case Study on Forces and Frictions Affecting Large-Scale Model-Driven Development”. ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS ’12). 2012. DOI URL

Jorge Aranda and Daniela Damian. “A Redefinition of Roles and Collaboration Under Model-Driven Development”. International Workshop on Cooperative and Human Aspects of Software Engineering (CHASE), the International Conference on Software Engineering (ICSE’12). 2012. DOI URL

Adrian Kuhn and Gail C. Murphy. “What is This Thing Called ‘Abstraction’ and How Best to Evaluate It?”. Experience and Empirical Studies in Software Modelling (EESSMod). 2012. (Submitted)

Other (Tech reports, non-refereed artiles, etc)
Abe Friesen. “EACRTrack Data Analysis and Machine Learning Investigation”. Internal Report. 2013.

E. Kallamvakou and M. Palyart. “Report on a Field Study on the HVAC Team at GM”. 2014.

E. Kallamvakou and M. Palyart. “Technical Sketch on Visualization of EACR Data”. 2014 (Submitted)

Task-Specific Slices Project (TS – Theme 1)
Refereed Journal Articles
Gias Uddin and Martin P. Robillard. “How API Documentation Fails”. IEEE Software. 2014.

Conference Presentations/Posters
Gias Uddin, Barthélémy Dagenais, and Martin P. Robillard. “Temporal Analysis of API Usage Concepts”. Proceedings of the 34th IEEE/ACM International Conference on Software Engineering. 2012.

C. Albert Thompson, Gail Murphy. “Initial investigation into recommending task context”. Presented at Recommendatoin Systems for Software Engineering Workshop at ICSE. 2014. (Submitted)

Gias Uddin, Barthélémy Dagenais, and Martin P. Robillard. “Analyzing Temporal API Usage Patterns”. 26th IEEE/ACM International Conference on Automated Software Engineering (short paper). 2011. (Accepted) DOI URL

C. Albert Thompson and Gail C. Murphy. “Recommending a Starting Point for a Programming Task: An Initial Investigation”. RSSE. 2014. (Accepted) DOI URL

Other (Including Technical Reports, Non-Refereed Articles, etc.)
C. Albert Thompson. “Research Proficiency Exam Write-up on Model Differencing”. 2013.

C. Albert Thompson. Description of 2013 summer internship. GM Write-up. Internal Report. 2014.

Gias Uddin. “Opinion Summarization for APIs”. Ph.D. Proposal Report (27 pages). 2014. (Submitted)

Model Pattern Engineering Project (MP – Theme 2)
Refereed Journal Articles
G.K. Selim, S. Wang, J.R. Cordy and J. Dingel. “Model Transformations for Migrating Legacy Deployment Models in the Automotive Industry”. Software and Systems Modelling. 2013. Best Industrial Paper Award. DOI URL

J.R. Cordy and C.K. Roy. “Tuning Research Tools for Scalability and Performance: The NICAD Experience”. Science of Computer Programming. 2011. DOI URL

A. Stevenson and J.R. Cordy. “Parse Views with Boolean Grammars”. Science of Computer Programming. 2014. (Accepted). URL

G.K. Selim, S. Wang, J.R. Cordy and J. Dingel. “Model Transformations for Migrating Legacy Deployment Models in the Automotive Industry”. Software and Systems Modelling. 2014. (Accepted) DOI URL

A. Stevenson and J.R. Cordy. “A Survey of Grammatical Inference in Software Engineering”. Science of Computer Programming. 2014. (Accepted) DOI URL

Conference Presentations/Posters
G.M.K. Selim, L. Lucio, J.R. Cordy, J. Dingel and B.J. Oakes. “Specification and Verification of Graph-Based Model Transformation Properties”. Proc. ICGT 2014, 7th International Conference on Graph Transformatio. 2014. DOI URL

F. de la Parra, T.R. Dean. “Survey of Graph Rewriting applied to Model Transformations”. Proc. Modelsward 2014, 2nd International Conference on Model-Driven Engineering and Software Development. 2014.

M. Treszise, P. Mousavi, D. Gobbi, J.R. Cordy, and P. Abolmaesumi. “SimITK: Model-driven Engineering for Medical Imaging”. Proc. Medical Imaging 2014: Image-Guided Procedures, Robotic Interventions, and Modelling. 2014. DOI URL

S. Grant and J.R. Cordy. “Examining the Relationship Between Topic Model Similarity and Software Maintenance”. Proc. Early Results and Achievements Track of CSMR-WCRE 2014, IEEE CSMR-WCRE Software Evolution Week. 2014. URL

M. Stephan, M.H. Alalfi and J.R. Cordy. “Towards a Taxonomy for Simulink Model Transformations”. Proc. Mutation 2014, 9th International Workshop on Mutation Analysis, at ICST. 2014. URL

M. H. Alalfi, J.R. Cordy. “Analysis and Clustering of Model Clones: An Automotive Industrial Experience”. Proc. CSMR/WCRE 2014, IEEE International Conference on Software Analysis, Evolution and Reengineering, Industry Track. 2014. URL

J.R. Cordy. “Submodel Pattern Extraction for Simulink Models”. Proc. SPLC 2013, 17th International Product Line Conference. 2013. DOI URL

G.K. Selim, F. Büttner, J.R. Cordy, J. Dingel and S. Wang. “Automated Verification of Model Transformations in the Automotive Industry”. Proc. MODELS’13, 16th International Conference on Model Driven Engineering Languages and Systems. 2013. URL

M. Stephan, M.H. Alalfi, A. Stevenson and J.R. Cordy. “Using Mutation Analysis for a Model Clone Detector Comparison Framework”. Proc. ICSE 2013 New Ideas and Emerging Results. 2013. DOI URL

M. Stephan and J.R. Cordy. “A Survey of Model Comparison Approaches and Applications”. Proc. Modelsward 2013, 1st International Conference on Model-Driven Engineering and Software Development. 2013. URL

M. Stephan and J.R. Cordy. “Application of Model Comparison Techniques to Model Transformation Testing”. Proc. Modelsward 2013, 1st International Conference on Model- Driven Engineering and Software Development. 2013. DOI URL

J. Svajlenko , C.K. Roy and J.R. Cordy. “A Mutation Analysis Based Benchmarking Framework for Clone Detectors”. Proc. IWSC 2013, ICSE 7th International Workshop on Software Clones. 2013. URL

A. Stevenson, K. Luc-Vuong , M. H. Alalfi, and J. R. Cordy. “SimNav: Model Clone Navigation in Simulink”. NECSIS workshop. 2013.

J. Chen, M. H. Alalfi, T. R. Dean, and J. R. Cordy. “Clone Detection in StateFlow Models”. NECSIS workshop. 2013. URL

Eric J. Rapos, J. Dingel, and J. R. Cordy. “Incremental Test Case Generation for UML-RT Models”. NECSIS workshop. 2013. DOI URL

E. P. Antony, M. H. Alalfi, J.R. Cordy. “An Approach to Clone Detection in Behavioural Models”. Proc. WCRE 2013, 20th International Working Conference in Reverse Engineering. 2013. URL

M. Stephan, M.H. Alalfi, J.R. Cordy and A. Stevenson. “Evolution of Model Clones in Simulink”. Proc. ME 2013, 2013 Models and Evolution Workshop, at MODELS’13. 2013. URL

G.M.K. Selim, J.R. Cordy and J. Dingel. “Model Transformation Testing: The State of the Art”. Proc. AMT 2012, 1st MODELS Workshop on the Analysis of Model Transformations. 2012. DOI URL

A. Stevenson and J.R. Cordy. “Grammatical Inference in Software Engineering: An Overview of the State of the Art”. Proc. SLE 2012, 5th International Conference on Software Language Engineering. 2012. DOI URL

M.H. Alalfi, J.R. Cordy, T.R. Dean, M. Stephan and A. Stevenson. “Models are Code Too: Near-miss Clone Detection for Simulink Models”. Proc. ICSM 2012, IEEE 28th International Conference on Software Maintenance. 2012. DOI URL

M. Stephan, M. H. Alalfi, J. R. Cordy, T.R. Dean, A. Stevenson. “A Comparison Framework for Simulink Model Clone Detection”. 22th IBM Center for Advanced Studies Conference. 2012. URL

M. Stephan , M.H. Alalfi, A. Stevenson and J.R. Cordy. “Towards Qualitative Comparison of Simulink Model Clone Detection Approaches”. Proc. IWSC 2012, ICSE 6th International Workshop on Software Clones. 2012. DOI URL

M.H. Alalfi, J.R. Cordy, T.R. Dean, M. Stephan and A. Stevenson. “Near-miss Model Clone Detection for Simulink Models”. Proc. IWSC 2012, ICSE 6th International Workshop on Software Clones. 2012. DOI URL

L. Lucio, M. Amrani, G. Selim, B. Combemale, J. Dingel, H. Vangheluwe, Y. Le Traon and J.R. Cordy. “A Tridimensional Approach for Studying the Formal Verification of Model Transformations”. Proc. VOLT’12, 1st Workshop on the Verification and Validation of Model Transformations, at ICST 2012, IEEE 5th International Conference on Software Testing, Verification and Validation. 2012. DOI URL

M.H. Alalfi, J.R. Cordy and T.R. Dean. “Automated Verification of Role-based Access Control Security Models Recovered from Dynamic Web Applications”. Proc. WSE 2012, 14th IEEE International Symposium on Web Systems Evolution. 2012. URL

S. Grant, J.R. Cordy and D.B. Skillicorn. “Using Topic Models to Support Software Maintenance”. Proc. CSMR’12, 16th European Conference on Software Maintenance. 2012. DOI URL

Eric J. Rapos. “Co-Evolution of Model-Based Tests for Industrial Automotive Software”. Proc. Doctoral Symposium of ICSME 2014, 30th International Conference on Software Maintenance and Evolution. 2014. (Accepted). URL

M. Stephan. “Model Clone Detector Evaluation Using Mutation Analysis”. Proc. Doctoral Symposium of ICSME 2014, 30th International Conference on Software Maintenance and Evolution. 2014. (Accepted). DOI: 10.1109/ICSE.2013.6606693 URL

M.H. Alalfi, E.J. Rapos, A. Stevenson, M. Stephan, T.R. Dean and J.R. Cordy. “Semi-automatic Identification and Representation of Subsystem Variability in Simulink Models”. Proc. ERA Track of ICSME 2014, 30th International Conference on Software Maintenance and Evolution. 2014. (Accepted). URL

Other (Including Technical Reports, Non-Refereed Articles, etc.)
Francisco de la Parra, T.R. Dean. “Application of Graph Grammars to Model Transformations”. School of Computing. 2013. URL

E.P. Antony, M.H. Alalfi and J.R. Cordy. “Identifying Potential Security Risks (access violations) Using Clone Detection in Behavioral Models”. CASCON. 2013.

M. Trezise. “SimITK: Model-driven Engineering for Medical Imaging”. M.Sc. thesis, School of Computing, Queen’s University. 2013.

M. Wightman, M.H. Alalfi, A. Stevenson, M. Stephan, T.R. Dean, J.R. Cordy. “Demonstrating Variability Through SimNav”. NECSIS workshop. 2014.

F. de la Parra and T.R. Dean. “Search-based Semantic Simulink Patterns”. NECSIS workshop. 2014.

M. Stephan. “Using Mutation Analysis for a Model Clone Detector Comparison Framework”. Ph.D. thesis, School of Computing, Queen’s University. 2014.

J. Chen. “Clone Detection in Matlab Stateflow models”. M.Sc. thesis, School of Computing, Queen’s University. 2014.

Francisco de la Parra. “Application of graph grammars to model transformation”. Ph.D. depth report, School of Computing, Queen’s University. 2014.

E. Rapos. “Co-Evolution of Model-Based Tests for Industrial Automotive Software”. Ph.D. depth report and research proposal, School of Computing, Queen’s University. 2014.

E. Antony. “An Approach to Clone Detection in Behavioural Models”. M.Sc. thesis, School of Computing, Queen’s University. 2014.

Model Transformations Project (MT – Theme 2)
Refereed Journal Articles
Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan Selim, Eugene Syriani, Manuel Wimmer. “Model Transformation Intents and Their Properties”. Software and Systems Modeling (SoSyM). 2014. DOI URL

E. Posse and J. Dingel. “A formal semantics for UML-RT”. Draft. 37 pages. Software and Systems Modeling (SoSyM). 2014.

Levi Lucio, Qin Zhang, Phu Hong Nguyen, Moussa Amrani, Jacques Klein, Hans Vangheluwe, Yves Le Traon. “Advances in Model-Driven Security”. Advances in Computers 93: 103-152. 2014. URL

Eugene Syriani and Hans Vangheluwe. “A Modular Timed Graph Transformation Language for Simulation-based Design”. Software and Systems Modeling (SoSyM), 12(2):387-414. 2013.

Xiaobo Li, Yonglin Lei, Hans Vangheluwe, Wei ping Wang, and Qun Li. “A Multi-paradigm Decision Modeling Framework for Combat System Effectiveness Measurement Based on Domain-specific Modeling”. Journal of
Zhejiang University – Science C, 14(5):311-331. 2013. URL

G. Selim, S. Wang, J. Cordy, J. Dingel. “Model Transformations for Migrating Legacy Deployment Models in the Automotive Industry”. Software and Systems Modeling (SoSym). 2013. (Accepted). DOI URL

Md. T.B. Waez, J. Dingel, K. Rudie. “A Survey of Timed Automata for the Development of Real-Time Systems”. Computer Science Review. 2013. (Accepted). DOI URL

Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lúcio, Rick Salay, Gehan Selim, Eugene Syriani and Manuel Wimmer. “Properties of Model Transformation Intents”. To be submitted to SoSyM. 2013. (Submitted). DOI URL

Ernesto Posse and Juergen Dingel. “A Formal Semantics for UML-RT”. Submitted to Software and Systems Modeling (SoSyM). 2012. (Submitted)

Yann Moffett, Juergen Dingel, and Alain Beaulieu. “Verifying Protocol Conformance Using Software Model Checking for the Model-Driven Development of Embedded Systems”. Submitted to IEEE Transactions in Software Engineering (TSE). 2012. (Submitted). DOI URL

Moussa Amrani, Benoît Combemale, Levi Lúcio, Gehan Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe and James R. Cordy, “A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification”. Journal of Object Technology. 2011. (Submitted). URL

Levi Lucio, Bentley James Oakes and Hans Vangheluwe. “Symbolic Verification of Translation Model Transformations”. Software and Systems Modelling (SoSyM). (Submitted). URL

Levi Lucio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan Selim, Eugene Syriani, Manuel Wimmer. “Model Transformation Intents and Their Properties”. Software and Systems Modelling (SoSyM). (Submitted). DOI URL

Maris Jukss, Clark Verbrugge, Maged Elaasar, Hans Vangheluwe. “Scope in Model Transformations”. Maris Jukss, Clark Verbrugge, Maged Elaasar, Hans Vangheluwe. Software and Systems Modeling (SoSyM). 2013. (Submitted)

Eugene Syriani, Conner Hansen, Levi Lucio. “Controlling Refinements of Statecharts”. Science of Computer Programming (SCP). 2013. (Submitted). URL

Levi Lúcio, Hans Vangheluwe. “Symbolic Execution for the Verification of Model Transformations”. Submitted to SoSyM. 2013. (Submitted). URL

Moussa Amrani, Benoit Combemale, Levi Lucio, Gehan Selim, Jurgen Dingel, Yves Le Traon, Hans Vangheluwe and James R. Cordy. “A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification”. Journal of object technology. 2014. (Submitted). URL

Thomas Kuehne, Gergely Mezei, Eugene Syriani, Hans Vangheluwe, and Manuel Wimmer. “Explicit Transformation Modeling”. LNCS. 2010. (Submitted). DOI URL

Eugene Syriani and Hans Vangheluwe. “De-/Re-constructing Model Transformation Languages”. Journal of the ECEASST. 2010. (Submitted). URL

Eugene Syriani. “A Multi-Paradigm Approach to Transformation Language Engineering”. PHD Thesis – School of Computer Science. 2011. (Submitted). URL

Juan de Lara and Hans Vangheluwe. “Automating the Transformation-Based Analysis of Visual Languages”. Formal Aspects of Computing. 2010. (Submitted). DOI URL

Levi Lucio, Qin Zhang, Phu Hong Nguyen, Moussa Amrani, Jacques Klein, Hans Vangheluwe, Yves Le Traon. “Advances in Model-Driven Security”. Advances in Computers 93: 103-152. 2014. (Submitted). URL

Eugene Syriani, Conner Hansen, Levi Lúcio. “Controlling Refinements of Statecharts”. Submitted to Science of Computer Programming (SCP). 2014. (Submitted). URL

Moussa Amrani, Benoît Combemale, Levi Lúcio, Gehan Selim, Juergen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy. “A Survey of Formal Verification Techniques for Model Transformations: A Tridimensional Classification”. Journal of Object Technology. 2014. (Submitted). URL

Conference Presentations/Posters
Joachim Denil, Pieter Mosterman, Hans Vangheluwe. “Rule-Based Model Transformations for and, In Simulink”. Proceedings of the Spring Simulation Multiconference. 2014. URL

Bart Meyers, Romuald Deshayes, Levi Lúcio, Eugene Syriani, Manuel Wimmer and Hans Vangheluwe. “ProMoBox: A Framework for Generating Domain-Specific Property Languages”. Proceedings of the Software Language Engineering Conference (SLE). 2014. DOI URL

Gehan M. K. Selim, Levi Lúcio, James R. Cordy, Juergen Dingel and Bentley J. Oakes. “Specification and Verification of Graph-Based Model Transformation Properties”. International Conference on Graph Transformation (ICGT’14). York, UK. 2014. DOI URL

Md Tawhid Bin Waez, Andrzej Wasowski, Juergen Dingel and Karen Rudie. “Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report”. 11th International Symposium on Formal Aspects of Component Software (FACS’14). Bertinoro, Italy. 2014.

Maris Jukss, Clark Verbrugge, Daniel Varr, Hans Vangheluwe. “Dynamic Scope Discovery for Model Transformations”. 7th International Conference on Software Language Engineering (SLE). 2014. DOI URL

M. Fischer, J. Dingel, M. Elaasar, and S. Shaw. “Automating Instance Migration in Response to Ontology Evolution”. Modeling and Evolution (ME’13) workshop at MoDeLs. 2013. URL

Bruno Barroca, Thomas Kühne and Hans Vangheluwe. “Integrating Language and Ontology Engineering”. MPM workshop at MoDeLs. 2014. URL

Simon Van Mierlo, Bruno Barroca, Hans Vangheluwe, Eugene Syriani and Thomas Kühne. “Multi-Level Modeling in the Modelverse”. MULTI Workshop at MoDELsS. 2014. URL

Yentl Van Tendeloo and Hans Vangheluwe. “The Modular Architecture of the Python (P) DEVS Simulation Kernel”. In Proceedings of the 2014 Symposium on THeory of Modeling and Simulation – DEVS, TMS/DEVS14, part of the Spring Simulation Multi-Conference, pages 387-392. Society for Computer Simulation International. 2014.

Yentl Van Tendeloo and Hans Vangheluwe. “Logisim to DEVS translation”. In 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT), pages 13-20. IEEE Computer Society. 2013.

Philip Luyckx, Peter Hellinckx, and Hans Vangheluwe. “Model Driven Engineering for Building Automation, A Research Agenda”. In 2013 Eighth International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC), pages 485-491. IEEE, October. 2013.

K. Zurowska and J. Dingel. “Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines”. 4th NASA Formal Methods Symposium (NFM’12). 2012. DOI URL

Gehan Selim, Jim Cordy, and Juergen Dingel. “A Survey on Model Transformation Testing”. MODELS Workshop on the Analysis of Model Transformations (AMT’12). 2012. DOI URL

Moussa Amrani, Levi Lúcio, Gehan Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy. “A Tridimensional Approach for Studying the Formal Verification of Model Transformations”. ICST Workshop on Verification and Validation of Model Transformations (VOLT’12). 2012. DOI URL

E.J. Rapos and J. Dingel. “Incremental Test Case Generation for UML-RT Models Using Symbolic Execution”. Poster at IEEE International Conference on Software Testing, Verification and Validation (ICST’12). 2012. DOI URL

J. Dingel, H. Vangheluwe, L. Lucio, and D. Varro. “Proposal for a MODELS Workshop on the Analysis of Model Transformations (AMT)”. MODELS Workshop on the Analysis of Model Transformations (AMT’12). 2012.

K. Zurowska and J. Dingel. “SAUML – a Tool for Symbolic Analysis of UML-RT Models”. Tool Demonstration Paper. 26th IEEE/ACM International Conference On Automated Software Engineering (ASE’11). 2011. DOI URL

E. Paen and J. Dingel. “Measuring Evolving Model Transformations Using Change Metrics: A Case Study”. Poster at CASCON 11. 2011. URL

N. Chausse and J. Dingel. “Building a Generic Analyser Using a Language Definition Framework”. Poster at CASCON 11. 2011.

Levi Lúcio, Sadaf Mustafiz, Joachim Denil, Hans Vangheluwe and Maris Jukss. “FTG+PM: An Integrated Framework for Investigating Model Transformation Chains”. Proceedings of SDL 2013 LNCS. 2013. DOI URL

Sadaf Mustafiz, Hans Vangheluwe. “Explicit Modelling of Statechart Simulation Environments”. In proceedings of the 2013 summer computer simulation conference (SCSC ’13) Society for modeling and simulation international, vista, CA Article 21, 8 pages. 2013. DOI URL

Zaid Al-Bayati, Haibo Zeng, Marco Di Natale, and Zonghua Gu. “Multitask Implementation of Synchronous Reactive Models with Earliest Deadline First Scheduling”. In Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems (SIES). 2013. DOI URL

Levi Lúcio, Hans Vangheluwe. “Model Transformations to Verify Model Transformations”. Proceedings of VOLT 2013 (co-located with STAF 2013). 2013.

Sadaf Mustafiz, Joachim Denil, Levi Lúcio, and Hans Vangheluwe. “The FTG+PM Framework for Multi-paradigm Modelling: An Automotive Case Study”. Proceedings of the 6th International Workshop on Multi-Paradigm Modeling (MPM ’12). 2012. DOI URL

Bart Meyers, Joachim Denil, Fréderic Boulanger, Cécille Hardebolle, Christophe Jaquet, Hans Vangheluwe. “A DSL for Explicit Semantic Adaptation”. 7th International Workshop on Multi-Paragidm Modelling, Miami. 2013. URL

Joachim Denil, Pieter J. Mosterman, Hans Vangheluwe. “Rule-based Model Transformations for Simulink”. Proceedings of the 2014 symposium on theory of modeling and simulation: DEVS integrative M&S symposium. 2014.

Moussa Amrani, Jürgen Dingel, Leen Lambers, Levi Lucio, Rick Salay, Gehan Selim, Eugene Syriani and Manuel Wimmer. “Towards a Model Transformation Intent Catalog”. MODELS Workshop on the Analysis of Model Transformations (AMT ’12). 2012. URL

Levi Lúcio, Eugene Syriani, Moussa Amrani, Qin Zhang, Hans Vangheluwe. “Invariant Preservation In Iterative Modeling”. MODELS Workshop on Models and Evolution (ME ’12). 2012. DOI URL

Moussa Amrani, Levi Lúcio, Gehan Selim, Benoît Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy. “A Tridimensional Approach for Studying the Formal Verification of Model Transformations”. A Tridimensional Approach for Studying the Formal VerICST Workshop on Verification and Validation of Model Transformations (VOLT’12). 2012. DOI URL

Raphaël Mannadiar, Hans Vangheluwe. “AToMPM: A Tool for Multi-Paradigm Modelling”. Poster at Necsis 2012 workshop. 2012. URL

Bruno Barroca, Levi Lucio, Vasco Amaral, Roberto Felix and Vasco Sousa. “DSLTrans: A Turing Incomplete Transformation Language”. Proceedings of the SLE 2010 conference. 2010.

Levi Lucio, Bruno Barroca, Vasco Amaral. “A Technique for Automatic Validation of Model Transformations”. Proceedings of the MoDELS 2010 Conference. 2010. DOI URL

Juan de Lara and Hans Vangheluwe. “Translating Model Simulators to Analysis Models”. European Joint Conference on Theory And Practice of Software (ETAPS), Fundamental Approaches to Software Engineering (FASE). 2008. DOI URL

Bart Meyers, Manuel Wimmer, Hans Vangheluwe, Joachim Denil. “Towards Doman-Specific Property Languages: the ProMoBox Approach”. DSM Workshop, Indianapolis. 2013. DOI URL

Hans Vangheluwe, Daniel Riegelhaupt, Sadaf Mustafiz, Joachim Denil and Simon Van Mierlo. “Explicit Modelling of Casual Block Diagram Simulation Environments”. Proceedings of the 2014 symposium on theory of modeling and simulation: DEVS integrative M&S symposium. 2014.

Bart Pussig, Joachim Denil, Paul De Mulenaere. “Generation of Co-simulation Complaint Functional Mock-up Units From Simulink, Using Explicit Compuational Semantics”. Proceedings of the 2014 symposium on theory of modeling and simulation: DEVS integrative M&S symposium. 2014.

K. Zurowska, J. Dingel. “Model Checking of UML-RT Models Using Lazy Composition”. ACM/IEEE 16th International Conference on Model-Driven Engineering Languages and Systems (MODELS’13). 2013. DOI URL

G. Selim, F. Buettner, J. Cordy, J. Dingel, S. Wang. “Automated Verification of Model Transformations in the Automotive Industry”. ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS’13). 2013. DOI URL

Gehan M. K. Selim, Levi Lucio, James R. Cordy, Juergen Dingel and Bentley J. Oakes. “Specification and Verification of Graph-Based Model Transformation Properties”. Internation Conference on Graph Rewriting – ICGT. 2014. (Accepted). DOI URL

Eugene Syriani, Conner Hansen and Levi Lúcio. “Refinement In Incremental Modeling of Statecharts”. Short paper at SLE. 2013. (Accepted). URL

Magnus Persson, Martin Törngren, Ahsan Qamar, Jonas Westman and Matthias Biehl, Stavros Tripakis, Hans Vangheluwe, Joachim Denil. “A Characterization of Integrated Multi-View Modeling for Embedded Systems”. Accepted at EMSoft. 2013. (Accepted). DOI URL

Joachim Denil, Maris Jukss, Clark Verbrugge, Hans Vangheluwe. “Model Transformation Based Approach to Search Based Software Engineering”. to be submitted to ICSE. 2014. (Submitted). URL

M. Fischer, J. Dingel, M. Elaasar, and S. Shaw. “Automating Instance Migration in Response to Ontology Evolution”. Submitted to MODELS’13 Workshop on Modeling and Evolution (ME’13). 2013. (Submitted). URL

Levi Lúcio, Bentley Oakes, Hans Vangheluwe. “Symbolic Verification of Translation Model Transformations”. Major revision submitted to Software and Systems Modeling (SoSyM). 2014. (Submitted)

Other (Including Technical Reports, Non-Refereed Articles, etc.)
Benoit Baudry, Juergen Dingel, Levi Lúcio, Hans Vangheluwe. “Proceedings of the Second Workshop on the Analysis of Model Transformations” (AMT 2013). Miami, FL, USA, September 29, 2013. CEUR Volume 1077. 92 pages. 2013.

Gehan Selim, Levi Lucio, James R. Cordy, Jurgen Dingel. “Symbolic Model Transformation Property Prover for DSLTrans”. Technical Report 2013-616, Queens University. 2013.

Levi Lucio, Bentley Oakes and Hans Vangheluwe. “A Technique For Symbolically Verifying Properties of Graph-based Model Transformations”. Technical Report SOCS-TR 2014.1, McGill University. 2013.

Joachim Denil, Maris Jukss, Clark Verbrugge, Hans Vangheluwe. “Search-based Model Optimization Using Model Transformations”. School of Computer Science, McGill University, January, SOCS-TR. 2014.

Joachim Denil and Maris Jukss and Clark Verbrugge and Hans Vangheluwe. “Search-Based Model Optimization Using Model Transformations”. School of Computer Science, McGill University, January 2014, SOCS-TR-2014.

Gehan Selim, Levi Lúcio, James R. Cordy, Jürgen Dingel. “Symbolic Model Transformation Property Prover for DSLTrans”. Technical Report 2013-616, Queen’s University. 2013. URL

Levi Lúcio, Bentley Oakes and Hans Vangheluwe. “A Technique for Symbolically Verifying Properties of Graph-Based Model Transformations”. Technical Report SOCS-TR-2014.1, McGill University. 2013.

A. Khalil, J. Dingel. “Supporting the Evolution of UML Models in Model Driven Software Development: A Survey”. Technical Report. 2013. URL

Eric Rapos. “Understanding the Effects of Model Evolution Through Incremental Test Case Generation for UML-RT Models “. Thesis. 2012.

Levi Lúcio, Joachim Denil, Hans Vangheluwe. “An Overview of Model Transformations for a Simple Automotive Power Window”. School of Computing Tech report. 2012. URL

Gehan Selim. “Test Case Generation and Mutation Analysis for Imperative Model Transformation Languages”. School of Computing Tech report. 2011.

Gehan Selim. “Analysis of Model Transformations”. School of Computing Tech Report. 2012.

Eugene Syriani and Hans Vangheluwe. “A Survey and Classification of Current Model Transformation Techniques and Tool: Expressiveness, Performance and Analysability”. Technical Report. 2011. (Submitted)

Levi Lucio and Hans Vangheluwe. “Exploring Model Transformation Analysis Approaches”. Technical Report. 2011. (Submitted)

Levi Lucio, Joachim Denil and Hans Vangheluwe. “The Power Window Case Study for Model Transformation Analysis”. Technical Report. 2011. (Submitted)

Testing and Debugging (Testing Sub-Project) (TD – Theme 2)
Refereed Journal Articles
Simao, A., Petrenko, A., Yevtushenko, N. “On Reducing Test Length for FSMs with Extra States”. Journal of Software Testing. 2012. DOI URL

Petrenko, A., Simao, A., and Maldonado, J. C. “Model-based Testing of Software and Systems: Recent Advances and Challenges”. International Journal on Software Tools for Technology Transfer. 2012. DOI URL

Simao, A., Petrenko, A. “Generating Asynchronous Test Cases from Test Purposes”. Journal on Information and Software Technology. 2011. (Accepted). DOI URL

Ledru, Y., Petrenko, A., Boroday, S., Mandran, N. “Prioritizing Test Cases with String Distances”. Journal on Automated Software Engineering. 2012. (Accepted). DOI URL

Conference Presentations/Posters
Petrenko, A., Yevtushenko, N. “Adaptive Testing of Deterministic Implementations Specified by Nondeterministic FSMs”. Proceedings of the 23d IFIP Int. Conference on Testing Software and Systems. 2011. DOI URL

Petrenko, A., Simao, A., Yevtushenko, N. “Generating Checking Sequences for Nondeterministic Finite State Machines”. Proceedings of the IEEE Conference on Software Testing, Verification and Validation. 2012. DOI URL

A. Petrenko, A. Dury, S. Ramesh, S. Mohalik. “A Method and Tool for Test Optimization for Automotive Controllers”. Proceedings of the 9th Workshop on Advances in Model Based Testing (A-MOST2013) of the 6th IEEE International Conference on Software Testing, Verification and Validation (ICST 2013), pages 198-207. 2013. DOI URL

Other (Including Technical Reports, Non-Refereed Articles, etc.)
Villa, T., Yevtushenko, N., Brayton, R. K., Mishchenko, A., Petrenko, A., Sangiovanni- Vincentelli A. L. “The Unknown Component Problem: Theory and Applications”. Research Monograph – Book. 2012. DOI URL

O. Nguena Timo, A. Dury, and S. Ramesh. “Reachability in Hierarchical Machines”. in the Proceedings of IEEE International Workshop on Formal Methods Integration. 2014.

Testing and Debugging (Debugging Sub-Project) (TD – Theme 2)
Conference Presentations/Posters
Arafa, P., H. Kashif, and S. Fischmeister. “DIME: Time-aware Dynamic Binary Instrumentation Using Rate-based Resource Allocation”. Proceedings of the 13th International Conference on Embedded Software (EMSOFT). 2013. DOI URL

Kashif, H., P. Arafa, and S. Fischmeister. “INSTEP: A Static Instrumentation Framework for Preserving Extra-functional Properties”. Proceedings of the 19th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). 2013. DOI URL

Other (Including Technical Reports, Non-Refereed Articles, etc.)
H. Kashif, J. Thomas, H. D. Patel, and S. Fischmeister. “Time-Aware Instrumentation on the Worst-Case Path”. Tech Report. 2014.

Pansy Arafa, Daniel Solomon, Samaneh Navabpour, Sebastian Fischmeister. “Debugging Strategies of Intermediate Embedded Software Developers”. Tech Report. 2014.

Pansy Arafa, Hany Kashif, Sebastian Fischmeister. “Using Dynamic Binary Instrumentation under Performance Constraints”. Submitted to FSE in Spring. 2014. (Submitted)

Joachim Denil, Hany Kashif, Pansy Arafa, Hans Vangheluwe, Sebastian Fischmeister. “Instrumentation and Preservation of Extra-Functional Constraints of Simulink Models”. Submitted to EMSOFT. 2014. (Submitted)

Feature-Oriented Modelling & Analysis Project (FM – Theme 3)
Refereed Journal Articles
T. Berger, R.-H. Pfeiffer, R. Tartler, S. Dienst, K. Czarnecki, A. Wasowski, and S. She. “Variability Mechanisms in Software Ecosystems”. In: Information and Software Technology 56.11. 2014. (Published). URL

Thorsten Berger, Steven She, Rafael Lotufo, Andrzej Wasowski, and Krzysztof Czarnecki. “A Study of Variability Models and Languages in the Systems Software Domain”. IEEE Transactions on Software Engineering, vol. 39, issue 12, no. 12, pp. 1611-1640, Dec. 2013. DOI URL

Conference Presentations/Posters
R. Queiroz, L. Passos, M. T. Valente, S. Apel, and K. Czarnecki. “Does Feature Scattering Follow Power-Law Distributions? An Investigation of Five Pre-Processor-Based Systems”. In Proceedings of the 6th International Workshop on Feature-Oriented Software Development. 2014. DOI URL

Antkiewicz, M., Bak, K., Murashkin, A., Olaechea, R., Liang, J., and Czarnecki, K. “Clafer Tools for Product Line Engineering”. In Proceedings of the 17th International Software Product Line Conference (SPLC). 2013. URL

Joanne M. Atlee, Sandy Beidu, Nancy A. Day, Fathiyeh Faghih and Pourya Shaker. “Recommendations for Improving the Usability of Formal Methods for Product Lines”. In Proceedings of the ICSE’13 Workshop on Formal Methods in Software Engineering (FormaliSE). 2013. DOI URL

Thorsten Berger, Ralf Rublack, Divya Nair, Joanne M. Atlee, Martin Becker, Krzysztof Czarnecki, Andrzej Wasowski. “A Survey of Variability Modeling in Industrial Practice”. In Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS). 2013. DOI URL

Dietrich, D., Shaker, P., Atlee, J.M., Rayside, D., Gorzny, J. “Feature Interaction Analysis of the Feature-oriented Requirements-modelling Language Using Alloy”. The 9th Workshop on Model-Driven Engineering, Verification and Validation. 2012. DOI URL

Alexandr Murashkin, Michal Antkiewicz, Derek Rayside, and Krzysztof Czarnecki. “Visualization and Exploration of Optimal Variants in Product Line Engineering”. Proceedings of the 17th International Software Product Line Conference (SPLC). 2013. DOI URL

Alma L. Juarez Dominguez. “Detection of Feature Interactions in Automotive Active Safety Features”. David R. Cheriton School of Computer Science. 2012. URL

Michał Antkiewicz, Wenbin Ji, Krzysztof Czarnecki, Thorsten Berger, Thomas Schmorleiz, Ralf Laemmel, Ștefan Stănciulescu, Andrzej Wąsowski, and Ina Schaefer. “Flexible Product Line Engineering with a Virtual Platform”. ICSE. 2014. DOI URL

Sarah Nadi, Thorsten Berger, Christian Kästner, and Krzysztof Czarnecki. “Mining Configuration Constraints: Static Analyses and Empirical Results”. 36th International Conference on Software Engineering (ICSE’14). 2014. DOI URL

Leonardo Passos and Krzysztof Czarnecki. “A Dataset of Feature Additions and Feature Removals from the Linux Kernel”. 11th Working Conference on Mining Software Repositorie, India, IEEE/ACM. 2014. URL

Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wasowski. “Variability-Aware Performance Prediction: A Statistical Learning Approach”. In the proceedings of 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), Silicon Valley, California, USA. 2013. DOI URL

Kacper Bąk, Zinovy Diskin, Michał Antkiewicz , Krzysztof Czarnecki, and Andrzej Wąsowski. “Partial Instances via Subclassing”. 6th International Conference on Software Language Engineering, Indianapolis, USA. 2013. DOI URL

Kacper Bąk, Dina Zayan, Krzysztof Czarnecki, Michał Antkiewicz, Zinovy Diskin, Andrzej Wąsowski, and Derek Rayside. “Example-Driven Modeling. Model = Abstractions + Examples”. New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013). 2013. DOI URL

Dubinsky, Y., Julia Rubin, Thorsten Berger, S. Duszynski, M. Becker, and Krzysztof Czarnecki. “An Exploratory Study of Cloning in Industrial Software Product Lines”. 17th European Conference on Software Maintenance and Reengineering (CSMR). 2013. DOI URL

Julia Rubin, Krzysztof Czarnecki, and Marsha Chechik. “Managing Cloned Variants: A Framework and Experience”. 17th International Software Product Line Conference (SPLC), Tokyo, Japan. 2013. DOI URL

Pourya Shaker, Joanne M. Atlee, and Shige Wang. “A Feature-Oriented Requirements Modelling Language”. In the Proceedings of the IEEE International Requirements Engineering Conference (RE’12), September 26-28, Chicago, September. 2012. DOI URL

Amirhossein Vakili and Nancy A. Day. “Temporal Logic Model Checking in Alloy”. In the proceedings of 3rd conference on ASM, Alloy, B, and Z (ABZ), Pisa, Italy, June. 2012. DOI URL

Faghih, F. “Model Translations Among Big-Step Modeling Languages”. In the Proceedings of the Doctoral Symposium of the 34th International Conference on Software Engineering (ICSE), Zurich, Switzerland, June. 2012. DOI URL

Yingfei Xiong, Arnaud Hubaux, Steven She, and Krzysztof Czarnecki. “Generating Range Fixes for Software Configuration”. In Proceedings of the 34th International Conference on Software Engineering (ICSE), IEEE, pp. 89-99. 2012. DOI URL

Thorsten Berger and Jianmei Guo. “Towards System Analysis with Variability Model Metrics”. Eighth International Workshop on Variability Modelling of Software-intensive Systems (VAMOS’14). 2014. DOI URL

David Dietrich, Joanne M. Atlee. “A Pattern for Structuring the Behavioural Requirements of Features of an Embedded System”. In Proceedings of the RE Workshop on Requirements Patterns, July 2013. DOI URL

Michal Antkiewicz, Kacper Bąk, Dina Zayan, Krzysztof Czarnecki, Andrzej Wąsowski, and Zinovy Diskin. “Example-Driven Modeling Using Clafer”. First International Workshop on Model-driven Engineering By Example. 2013. URL

Leonardo Passos, Krzysztof Czarnecki, Sven Apel, Andrzej Wasowski, Christian Kästner, and Jianmei Guo. “Feature-Oriented Software Evolution”. In the Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems (VaMoS’13). 2013. DOI URL

Leonardo Passos, Krzysztof Czarnecki, and Andrzej Wasowski. “Towards a Catalog of Variability Evolution Patterns: the Linux Kernel Case”. In Proceedings of 4th Workshop on Feature-Oriented Software Development (FOSD), Munich, Germany, ACM. 2012. DOI URL

Krzysztof Czarnecki, Paul Gruenbacher, Rick Rabiser, Klaus Schmid, and Andrzej Wasowski. “Cool Features and Tough Decisions: A Comparison of Variability Modeling Approaches”. In Proceedings of the 6th International Workshop on Variability Modeling of Software-Intensive Systems (VaMoS), Leipzig, Germany, ACM Press, pp. 173-182. 2012. DOI URL

Rafael Olaechea, Steven Stewart, Krzysztof Czarnecki, and Derek Rayside. “Modeling and Multi-Objective Optimization of Quality Attributes in Variability-Rich Software”. In Proceedings of the International Workshop on Non- functional System Properties in Domain Specific Modeling Languages (NFPinDSML’12), Innsbruck, Austria. 2012. DOI URL

Amirhossein Vakili and Nancy A. Day. “Avestan: A Declarative Modeling Language Based on SMT-LIB”. In the proceedings of the 4th workshop on Modelling in Software Engineering (MiSE), Zurich, Switzerland. June 2012. DOI URL

T. Berger, D. Nair, R. Rublack, J. M. Atlee, K. Czarnecki, and A. Wasowski. “Three Cases of Feature-Based Variability Modeling in Industry”. In: ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS). 2014. DOI URL

M. Völter, J. Siegmund, T. Berger, and B. Kolb. “Towards User-Friendly Projectional Editors”. In: 7th International Conference on Software Language Engineering (SLE). 2014. DOI URL

D. Zayan, M. Antkiewicz, and K. Czarnecki. “Effects of Using Examples on Structural Model Comprehension”. International Conference on Software Engineering (ICSE). 2014. DOI URL

Dietrich, D., Atlee J. M. “A Mode-Based Pattern for Feature Requirements, and a Generic Feature Interface”. In Proceedings of the IEEE International Requirements Engineering Conference. 2013. (Accepted). URL

Wang, B., L. Passos, Y. Xiong, Krzysztof Czarnecki, H. Zhao, and W. Zhang. “SmartFixer: Fixing Software Configurations based on Self-adaptive Priorities”. Proceedings of the 17th International Software Product Line Conference. 2013. (Accepted)

Bak, K., Diskin, Z., Antkiewicz, M., Czarnecki, K., and Wasowski, A. “Clafer: Unifying Class and Feature Modeling”. Submitted to SOSYM. 2014. (Accepted). URL

C. Bocovich and J. M. Atlee. “Variable-Specific Resolutions for Feature Interactions”. In Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE’14), Hong Kong. 2014. (Accepted). DOI URL

J. Guo, E. Zulkoski, R. Olaechea, D. Rayside, K. Czarnecki, S. Apel, J. M. Atlee. “Scaling Exact Multi-Objective Combinatorial Optimization by Parallelization”. In Proceedings of the IEEE/ACM International Conference on Automated Software Engineering (ASE’14). 2014. (Accepted). DOI URL

P. Shaker and J. M. Atlee. “Behaviour Interactions Among Product-Line Features”. In Proceedings of International Software Product Line Conference (SPLC’14). 2014. (Accepted). DOI URL

A. Vakili and N. A. Day. “Verifying CTL-live Properties of Infinite State Models using an SMT solver”. In Proceedings of the ACM SIGSOFT International Symposium on the Foundations of Software Engineering (FSE’14). 2014. (Accepted). DOI URL

R. Olaechea, D. Rayside, J. Guo, K. Czarnecki. “Comparison of Exact and Approximate Multi-Objective Optimization for Software Product Lines”. In Proceedings of the International Conference on Software Product Lines. 2014. (Accepted). DOI URL

Juarez Dominguez, A. L., and Day, N. A. “Using Model Checking to Find Multiple Diverse Counterexamples to an Invariant of an EFSM”. Submitted to IEEE Transactions on Software Engineering. 2013. (Submitted). URL

Leonardo Passos, Jianmei Guo, Leopoldo Teixeira, Krzysztof Czarnecki, Andrzej Wasowski, and Paulo Borba. “Coevolution of Variability Models and Related Artifacts: A Case Study from the Linux Kernel”. In the Proceedings of the 17th International Software Product Line Conference (SPLC’13). 2014 (Submitted). DOI URL

Other (Including Technical Reports, Non-Refereed Articles, etc.)
Juarez Dominguez, A. L., and Day, N. A. “smv-morph: Working with Cadence SMV Models in Moscow ML”. Technical Report. 2012. URL

Kacper Bąk. “Modeling and Analysis of Software Product Line Variability in Clafer”. PhD Thesis, University of Waterloo. 2014.

Cecylia Bocovich. “Feature Interaction Resolution Scheme Based on Controlled Phenomena”. Master’s Thesis, University of Waterloo. 2014. URL

Alexandr Murashkin. “Automotive Electronic/Electric Architecture Modeling, Design Exploration and Optimization using Clafer”. Master’s thesis, University of Waterloo. 2014. URL

Amirhossein Vakili and Nancy A. Day. “Reducing CTL-live Model Checking to Semantic Entailment in First-Order Logic (Version 1)”. University of Waterloo, David R. Cheriton School of Computer Science, Technical Report CS2014-05, Mar. 2014. URL

Zinovy Diskin, Tom Maibaum, and Krzysztof Czarnecki. “Towards Category Theory Foundations for Model Management”. GSDLab-TR , no. GSDLab-TR 2014-03-03, Hamilton/Waterloo, McMaster University/University of Waterloo, 03/2014. URL

Zinovy Diskin, Arif Wider, H. Gholizadeh, and Krzysztof Czarnecki. “A Taxonomic Space for Increasingly Symmetric Model Synchronization”. no. GSDLab TR, 2014-02-01, Waterloo, The University of Waterloo, GSDLab , 02/2014. URL

Zinovy Diskin. “Lax Lenses”. no. GSDLAB-TR 2013-03-10: University of Waterloo, 03/2013. URL

Zinovy Diskin, Sahar Kokaly, and Tom Maibaum. “Mechanics of Megamodeling: Design Patterns and Laws”. no. GSDLab/McSCert-TR-2013-03-14, Waterloo/Hamilton , University of Waterloo/McMaster University, 03/2013. URL

Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wasowski. “Why CART Works for Variability-Aware Performance Prediction? An Empirical Study on Performance Distributions”. Technical Report, GSDLAB-TR-2013-04-02, Generative Software Development Lab, University of Waterloo. 2013. URL

Jianmei Guo, Krzysztof Czarnecki, Sven Apel, Norbert Siegmund, and Andrzej Wasowski. “Variability-Aware Performance Modeling: A Statistical Learning Approach”. Technical Report, GSDLAB-TR-2012-08-18, Generative Software Development Lab, University of Waterloo. 2012. URL

Fathiyeh Faghih and Nancy A. Day. “Mapping Big-Step Modeling Languages to SMV”. University of Waterloo, David R. Cheriton School of Computer Science, Technical Report CS2011-29, Dec. 2011. URL

Crosscutting Concerns Project (CC – Theme 4)
Refereed Journal Articles
Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre. “Characterizing Fault- Tolerant Systems by Means of Simulation Relations”. Proc. IFM 2013, Springer 2013 Lecture Notes in Computer Science. 2013. DOI URL

Castro P F & Maibaum T S E. “Encapsulating Deontic and Branching Time Specifications”. Theoretical Computer Science. 2012. DOI

Zinovy Diskin, Sahar Kokaly, and Tom Maibaum. “Mapping-Aware Megamodeling: Design Patters and Laws”. A paper based on the TR is submitted to the Software Language Engineering. 2013. (Submitted). DOI URL

R. Demasi, P.F. Castro, T.S.E. Maibaum and N. Aguirre. “Simulation Relations for Fault-Tolerance”. SoSyM. 2014. (Submitted). DOI URL

Pablo Castro, Nazareno Aguirre, Carlos Gustavo Lopez Pombo and Tom Maibaum. “Categorical Foundations for Structured Specifications in Z”. Formal Aspects of Computing. 2014. (Submitted). URL

Zinovy Diskin, Hamid Gholizadeh, Arif Wider, Krzysztof Czarnecki. “A Three-Dimensional Taxonomy for Bidirectional Model Synchronization”. Journal of Systems and Software. 2014. (Submitted). URL

Conference Presentations/Posters
Zinovy Diskin, Arif Wider, Hamid Gholizadeh, Krzysztof Czarnecki. “Towards a Rational Taxonomy for Increasingly Symmetric Model Synchronization”. Int. Conference on Model Transformations, ICMT’14, Springer, pp.57-73. 2014. URL

Hamid Gholizadeh. “Towards Declarative and Incremental Model Transformation”. DocSymp@MoDELS 2013. 2013. URL

Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski. “Partial Instances via Subclassing”. Software Language Engineering, SLE’13. 2013. DOI URL

ZVera Pantelic, Mark Lawford, S. P. “A framework for supervisory control of probabilistic discrete event systems”. In 12th IFAC – IEEE Workshop on Discrete Event Systems, WODES 2014. 2014. DOI URL

Husein Ergin, Eugene Syriani. “Towards a language to express design patterns for graph-based model transformations”. ICMT’14. 2014.

Carlos Gustavo Lopez Pombo, Paula Chocrón, Ignacio Vissani and Tom Maibaum. “A canonical proof-theoretic approach to model theory”. Presented at the 22nd International Workshop on Algebraic Development Techniques Sinaia, Romania. 2014.

Carlos Gustavo Lopez Pombo, Pablo Castro, Nazareno Aguirre and Tom S.E. Maibaum. “A heterogeneous characterisation of component-based system design in a categorical setting”. In proceedings of 11th International Colloquium on Theoretical Aspects of Computing. 2014. DOI URL

Berkovich, S., B. Bonakdarpour, and S. Fischmeister. “GPU-based Runtime Verification”. IEEE International Parallel & Distributed Processing Symposium (IPDPS). 2013. DOI URL

R. Demasi. “Synthesizing Fault-Tolerant Programs from Deontic Logic Specifications”. In the Proceedings of ATVA. 2013. DOI URL

Ramiro Demasi, Pablo F. Castro, Tom S.E. Maibaum, and Nazareno Aguirre. “Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications”. 11th International Symposium. 2013.

Castro P F & Maibaum T S E. “Towards a First-Order Deontic Action Logic”. T Mossakowski and H-J Kreowski (eds). 2012. DOI URL

Hao X & Maibaum T. “An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump”. postproceedings of International Symposium on Foundations of Health Information Engineering and Systems (FHIES 2011). 2012. DOI URL

Diskin Z, Maibaum T S E & Czarnecki K. “Intermodeling, Queries, and Kleisli Categories”. Fundamental Approaches to Software Engineering. 15th Int. Conference, FASE, 2012. DOI URL

Diskin Z & Maibaum T S E. “Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond”. Proceedings of 7th Applied and Computational Category Theory Workshop, ACCAT 2012 (ETAPS 2012), Electronic Proceeding in Theoretical Computer Science. 2012. DOI URL

Castro P F, Aguirre N, Lopez Pombo C G & Maibaum T S E. “A Categorical Approach to Structuring and Promoting Z Specifications”. Appear in postproceedings of 9th International Symposium on Formal Aspects of Component Software. 2012. DOI URL

López Pombo C G, Castro P F, Aguirre N M & Maibaum T S E. “Satisfiability calculus: the semantic counterpart of a proof calculus in general logics”. presentation and abstract at WADT. 2012. DOI URL

Diskin Z & Maibaum T S E. “Query Languages are Cartesian Monads”. Presentation and abstract at WADT. 2012.

Cassano V & Carlos G. Lopez Pombo, Pablo F. Castro, Nazareno M. Aguirre, Thomas S.E. Maibaum. “An Abstract Heterogeneous Characterisation of Component Based Systems in a Categorical Setting. Entailment Systems for Default Reasoning”. Presentation and abstract at WADT. 2012.

Regis G, Ricci N, Aguirre N & Maibaum T. “Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows”. To appear in Proceedings of 15th Brazilian Symposium on Formal Methods SBMF. 2012. DOI URL

Chen W, Iqbal A, Abdrakhmanov A, Parlar J, George C, Lawford M, Maibaum T, Wassyng A. “Change Impact Analysis for Large-scale Enterprise Systems”. ICEIS 2012 – Proceedings of the 14th International Conference on Enterprise Information Systems. 2012. DOI URL

Ling X & Maibaum T. “Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity”. Postproceedings of APSEC 2012: 19th Asia-Pacific Software Engineering Conference, IEEE. 2012. DOI URL

Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Michal Antkiewicz, Zinovy Diskin, Andrzej Wasowski, and Derek Rayside. “Example-Driven Modeling. Model = Abstractions + Examples”. In ICSE’13. New ideas and emerging results Track. 2013. DOI URL

Bonakdarpour, B., J. Thomas, and S. Fischmeister. “Time-triggered Program Self-monitoring”. Proc. of 18th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA). 2012. DOI URL

C. Eles, M. Lawford. “A tabular expression toolbox for Matlab/Simulink”. NASA Formal Methods, Lecture Notes in Computer Science. 2011. DOI URL

Cassano V & Maibaum T. “Entailment Systems for Default Reasoning”. Presentation and abstract at WADT. 2013.

Zinovy Diskin, Hamid Gholizadeh, Sahar Kokaly, Tom Maibaum, Richard F. Paige. “How to Megamodel Diagrammatically: Theory and Practices”. Tutorial accepted for presentation at MODELS’14. 2014. (Accepted)

Hamid Gholizadeh, Zinovy Diskin, Tom Maibaum . “A query structured approach for model transformation”. To appear in Proc. Third Analysis of Model Transformations Workshop at MODELS 2014. 2014 (Accepted)

Abad P, Aguirre N, Vengolea B, Ciolek D, Frias M F, Galeotti J, Maibaum T, Moscato M, Rosner N & Vissani I. “Tight Bounds + Incremental SAT = Better Test Generation under Rich Contracts”. To appear in Proceedings of ICST. 2013. (Accepted). DOI URL

Alan Wassyng, Mark Lawford, Tom Maibaum. “Separating Safety and Control Systems to Reduce Complexity”. In M. Hinchey and L. Coyle (Eds), Conquering Complexity. 2012. (Accepted). DOI URL

Michal Antkiewicz, Kacper Bak, Dina Zayan, Krzysztof Czarnecki, Zinovy Diskin, Andrzej Wasowski. “Example-Driven Modeling Using Clafer”. Submitted to MDE by Example, MDEBE’13 Workshop affiliated with Models’13. 2013. (Submitted). URL

Kacper Bak, Zinovy Diskin, Michal Antkiewicz, Krzysztof Czarnecki, Andrzej Wasowski. “Instances via Subclassing”. Submitted to the Software Language Engineering. 2013. (Submitted). DOI URL

López Pombo C G, Castro P F, Aguirre N M & Maibaum T. “Satisfiability calculus: the semantic counterpart of a proof calculus in general logics”. Presentation and abstract at WADT. 2012. (Submitted). DOI URL

Sahar Kokaly, Zinovy Diskin, Tom Maibaum, Richard F. Paige. “Structured Model Management Workflows for Verification and Validation: a vision paper”. MoDeVVa workshop at MODELS’14. 2014. (Submitted)

Other (Including Technical Reports, Non-Refereed Articles, etc.)
Zinovy Diskin and Tom Maibaum. “MDE and Category Theory: Beyond the Formal Semantics”. Half a day Tutorial delivered at ECMFA’13. 2013. DOI URL

Ali Riaz. “Design and Implementation of the Manual Mode for the RESL Car Case Study”. Technical Report University of Waterloo. 2014.

Gurpreet Panesar. “Autonomous Car Case Study”. Technical Report University of Waterloo. 2014.

Sahar Kokaly, Zinovy Diskin, Tom Maibaum, Richard F. Paige. “Towards a Structured Workflow Language for Model Management”. Poster at DSM-TP Workshop. 2014.

Ben Breimer. “Design of an Adaptive Cruise Control Model for Hybrid Systems Fault Diagnosis”. Thesis. 2012. URL

Z. Diskin. “An algebraic semantics for bidirectional model synchronization”. Tech. Report GSDLab TR 2014-04-01, University of Waterloo (ECE). 2014.

Z. Diskin, A. Safilian, and T. Maibaum. “Modeling product lines with Kripke structures and modal logic”. Technical Report. GSDLab TR-2014-01-01, University of Waterloo (ECE) / McMaster University (CAS). 2014.

A. Safilian, T. Maibaum, and Z. Diskin. “The semantics of feature models via formal languages: a computational hierarchy for feature models”. Technical Report GSDLab TR 2014-08-02, University of Waterloo / McMaster University. 2014.

Zinovy Diskin, Tom Maibaum, Krzysztof Czarnecki. “Towards Category Theory Foundations for Model Management”. Technical Report GSDLab TR-2014-03-03, University of Waterloo / McMaster University, Waterloo. 2014. URL

Model Management (MM – Theme 4)
Refereed Journal Articles

Sebastián Uchitel, Dalal Alrajeh, Shoham Ben-David, Víctor A. Braberman, Marsha Chechik, Guido de Caso, Nicolás D’Ippolito, Dario Fischbein, Diego Garbervetsky, Jeff Kramer, Alessandra Russo, German E. Sibay. “Supporting incremental behaviour model elaboration. Computer Science – R&D 28(4): 279-293. 2013. DOI URL

Levi Lúcio, Moussa Amrani, Juergen Dingel, Leen Lambers, Rick Salay, Gehan M. K. Selim, Eugene Syriani, Manuel Wimmer. “Model transformation intents and their properties”. SoSym, vol 13:4. 2014. DOI URL

Salay, R., Chechik, M., and Horkoff, J. “Managing Requirements Uncertainty with Partial Models”. Requirements Engineering Journal. 2013. DOI URL

M. Chechik, S. Nejati, M. Sabetzadeh. “A Relationship-­‐Based Approach to Model Integration”. Journal of Innovations in Systems and Software Engineering. 2011. DOI URL

Rick Salay, Marsha Chechik, Michalis Famelis and Jan Gorzny. “A Methodology for Verifying Refinements of Partial Models”. Journal of Object Technology. 2014. (Accepted). URL

Famelis, M., Chechik, M., and Salay, R. “Partial Models: Towards Modeling and Reasoning with Uncertainty”. Transactions on Software Engineering and Methodology. 2013. (Accepted). URL

Julia Rubin, Krzysztof Czarnecki, Marsha Chechik. “Cloned Product Variants: From Ad-Hoc to Managed Software Product Lines”. To appear in J. of Software Tools for Technology Transfer (STTT), 17 pages. 2014. (Accepted). URL

Conference Presentations/Posters
Daniel Strüber, Julia Rubin, Gabriele Taentzer, Marsha Chechik. “Splitting Models Using Information Retrieval and Model Crawling Techniques”. FASE 2014: 47-62. 2014. DOI URL

Yi Li, Tian Huat Tan, Marsha Chechik/. “Management of Time Requirements in Component-Based Systems”. FM 2014: 399-415. 2014. DOI URL

Yi Li, Aws Albarghouthi, Zachary Kincaid, Arie Gurfinkel, Marsha Chechik. “Symbolic optimization with SMT solvers”. POPL 2014: 607-618. 2014. DOI URL

Shoham Ben-David, Marsha Chechik, Sebastián Uchitel. “Merging Partial Behaviour Models with Different Vocabularies”. CONCUR 2013: 91-105. 2014. DOI URL

Rick Salay, Marsha Chechik. “Supporting Agility in MDE Through Modeling Language Relaxation”. XM@MoDELS 2013: 20-27. 2014. URL

Benoît Combemale, Julien DeAntoni, Robert B. France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler. “Report on the First Workshop On the Globalization of Modeling Languages”. GEMOC+AMINO@MoDELS 2013: 3-13. 2013. URL

Salay, R., Famelis, M., Rubin, J., Di Sandro, A., and Chechik, M. “Lifting Model Transformations to Product Lines”. ICSE. 2014. DOI URL

Famelis, M., Salay, R., Di Sandro, A. and Chechik, M. “Poster: Transformation of Models Containing Uncertainty”. CASCON Technology showcase. 2013.

Salay, R., Wang, S. and Suen, V. “Managing Related Models in Vehicle Control Software Development”. In Proc. MODELS’12. 2012. DOI URL

Salay,R., Gorzny, J. and Chechik, M. “Change Propagation Due to Uncertainty Change”. In Proceedings of FASE’13. 2013. DOI URL

Rubin, J., Chechik, M. “N-­‐Way Model Merging”. 9th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE). 2013. DOI URL

Rubin, J. , Czarnecki, K., Chechik, M. “Managing Cloned Variants: A Framework and Experience”. 17th International Software Product Line Conference (SPLC’13). 2013. DOI URL

Rubin, J., Chechik, M. “A Framework for Managing Cloned Product Variants”. ICSE. 2013.

J. Rubin, M. Chechik. “Locating Distinguishing Features using Diff Sets”. Proceedings of International Conference on Automated Software Engineering (ASE’12). 2012. DOI URL

Famelis, M. and Santosa, S. “MAV-­‐Vis: A Notation for Model Uncertainty”. Proceedings of MiSE. 2012. DOI URL

SaadatPanah, P., Famelis, M., Gorzny, J., Robinson, N., Chechik, M., and Salay, R. “Comparing the Effectiveness of Reasoning Formalisms for Partial Models”. In Proc. MoDeVVa ’12 at Models. 2012. DOI URL

Amrani, M., Dingel, J., Lambers, L., Lucio, L., Salay, R., Selim, G., Syriani, E., and Wimmer, M. “Towards a Model Transformation Intent Catalog”. In Proc. MoDeVVa ’12 at Models. 2012. DOI URL

Famelis, M. “Uncertainty Management with Partial Models”. In Proc. of MODELS’12 Doctoral Symposium. 2012. DOI URL

Salay, R. “A Category Theoretic Approach to Model Uncertainty”. Presentation at McMaster. 2012.

M. Famelis, J. Gorzny, P. SaadatPanah, M. Chechik and R. Salay. “Poster: Uncertainty Management With Partial Models”. In action showcase. 2012.

R. Salay, M. Famelis, and M. Chechik. “Poster: Language Independent Refinement using Partial Modeling”. Mitacs research showcase. 2011.

R. Salay, M. Famelis, and M. Chechik. “Poster: Language Independent Refinement using Partial Modeling”. CASCON Technology showcase. 2011.

S. Ben-­‐David, M. Chechik, A. Gurfinkel, S. Uchitel. “CSSL: A Logic for Specifying Conditional Scenarios”. In Proceedings of SIGSOFT FSE’11. 2011. DOI URL

M. Famelis, S. Ben-­‐David, M. Chechik, R. Salay. “Partial Models: A Position Paper”. In Proceedings of MoDELS’11 Workshop on Model-­‐Driven Engineering, Verification and Validation. 2011. DOI URL

S. Nejati, M. Sabetzadeh, M. Chechik, S. Easterbrook, P. Zave. “Matching and Merging of Variant Feature Specifications”. IEEE Transactions on Software Engineering. 2011. DOI URL

Aws Albarghouthi, Isil Dillig, Arie Gurfinkel and Marsha Chechik. “Specification Synthesis via Generalized Abduction”. iPRA at CAV. 2014. URL

Soroosh Nalchigar, Rick Salay, Marsha Chechik. “Towards a Catalog of Non-Functional Requirements in Model Transformation Languages”. AMT@MoDELS. 2013. URL

Mashiyat, A., Famelis, M., Salay, R., and Chechik, M. “Using Developer Conversations to Resolve Uncertainty in Software Development: A Position Paper”. RSSE 2014 at ICSE. 2014. (Accepted). DOI URL

Sebastian Herzig, Benjamin Kruse, Federico Ciccozzi, Joachim Denil, Rick Salay and Daniel Varro. “Orchestrating Design Space Exploration Problems to Fix Multi-Paradigm Inconsistencies”. In Proc. MPM’14 at Models. 2014. (Accepted). URL

Famelis, M., Salay, R., Di Sandro, A. and Chechik, M. “Transformation of Models Containing Uncertainty”. In Proc. MODELS’13. 2013. (Accepted). DOI URL

Jennifer Horkoff, Rick Salay, Marsha Chechik, and Alessio Di Sandro. “Supporting Early Decision-Making in the Presence of Uncertainty”. In Proc. RE’14. 2014. (Accepted). DOI URL

Di Sandro, A., Famelis, M., Salay, R., and Chechik, M. “MMINT: Interactive Model Management”. Submitted for conference publication. 2014. (Submitted)

Mehrnaz Najafi, Rick Salay and Marsha Chechik. “Change verification for model evolution”. (Submitted to Modevva at Models 2014). 2014. (Submitted)

Other (Including Technical Reports, Non-Refereed Articles, etc.)
R. Salay and S. Wang. “Managing Related Models in Vehicle Control Software Development – Part One”. GM Collaborative Report. Global Research and Development. 2011. DOI URL

R. Salay, M. Famelis, M. Chechik. “Language-­‐Independent Refinement Using Partial Modeling”. Technical Report, Department of Computer Science, University of Toronto. 2014. DOI URL

Joint Papers Published with Industrial Partners
GM/NECSIS Technical Reports
Divya Nair and Shige Wang. “Modeling Variability in GM Software Product Lines”. ECI-481. Technical Report. 2011.

Gehan Selim and Shige Wang. “Using Model Transformations to Migrate Global A Models to Autosar Models”. GM Internal Research Report. 2011.

Pourya Shaker, Joanne M. Atlee and Shige Wang. “A Language for Feature Oriented Software Functional Requirement Modeling”. CL-11/36/ECI. Technical Report. 2011

Pourya Shaker, Joanne M. Atlee and Shige Wang. “A Requirements Modeling Language for Feature Oriented Vehicle Control Software Development”. CL-12/53/ECI. Technical Report. 2012.

A. Dury, G. Langelier, A. Petrenko, Ramesh S., T. Assaf. “Building an Interactive Test Development Environment for Cyclic Executives”. GM Internal Report. 2014.

O. Nguena Timo, A. Petrenko, and S. Ramesh. “Change Impact Analysis of Cyclic Executive Systems”. GM Internal Report. 2014.

A. Petrenko, A. Dury, S. Ramesh, S. Mohalik. “Combining Manual and Automatic Test Derivation for Automotive Controllers”. GM Internal Technical Report. 2012.

Rick Salay and Shige Wang. “Managing Related Models in Vehicle Software Development – Part 1”. CL-12/54/ECI. Technical Report. 2012.

Grant Whinton, Mark Lawford, Alan Wassyng, Paolo Giusto and Zarrin Langari. “High-Fidelity Model of the CAN Protocol Stack”. GM Internal Report. In Preparation. 2015.