People in the lab are very enthusiastic about what they do. The environment is very stimulating and soon you realize that most of the limits are those in your head.
Michał Antkiewicz, Ph.D.
Research Engineer, Autonomoose (Sep 2016-present)
Program Coordinator, NSERC CREATE in Product-Line Engineering for Cyber-Physical Systems (Sep 2015-present)
Room: DC 1340
Phone: -
Email: mantkiew@[this domain]
Program Coordinator, NSERC CREATE in Product-Line Engineering for Cyber-Physical Systems (Sep 2015-present)
Room: DC 1340
Phone: -
Email: mantkiew@[this domain]
- Research Engineer, Network for the Engineering of Complex Software-Intensive Systems (NECSIS) (Sep 2011-Aug 2016)
- Postdoctoral Fellow (2008-2011), Electrical & Computer Engineering, University of Waterloo
- Ph.D. Graduate (2008), Electrical & Computer Engineering, University of Waterloo
- IBM Centers for Advanced Studies Ph.D. Fellow (2004-2006)
- MASc. Graduate (2003), Institute of Computer Science, University of Wrocław
For news about Autonomous Car project visit Autonomoose
For news about Clafer visit clafer.org
News
- 1 of 8
- ››
Projects
Tools
Activities
- Speaking
- Invited speaker at the Domain-Specific Modeling Theory and Practice 2014 Summer School [program]
- Commercialization and Consulting
- Managing Director @ Generative Software Technologies Corp.
- Feb 2013-May 2013 - Mentor at Singularity University Labs Lean Development Program - advising two startups.
- Aug 2010-Apr 2016- President and Director @ Software Continuum Corp.
- Dec 2010-Feb 2011 - Enterprise Architecture Principles, IT&T Standards, and Software Selection at GTAA
- May 2009-Jan 2010 - The Requirements Engineering Practices and Tool Support at X
- Organization
- 2015 - Co-organizer of International Workshop on Modelling in Automotive Software Engineering (MASE'15), co-located with MODELS'15
- 2013 - Co-organizer of Product Line Engineering Workshop'2013, University of Waterloo
- 2011 - Lead organizer of ORF Youth Outreach Program Software Services/Web Mashups
- 2010 - Co-organizer of Agile Coach Camp Canada
- Mentoring
- 2012-2014 Wenbin Ji, MMath Candidate. Maintaining Feature Traceability with Embedded Annotations
- 2012-2014 Alexandr Murashkin, MMath Candidate. Visualization and Exploration of Optimal Variants in Product-Line Engineering
- 2012-2014 Dina Zayan, MSc Candidate. Empirical studies on Clafer model evolution and Example-Driven Modeling (EDM)
- 2012 Winter Jimmy Liang, MSc Candidate. - Clafer Instance Generator
- 2009–2010 Mohamed AbdelRazik, Ph.D. Candidate. The Requirements Engineering Practices and Tool Support at X
- 2009-2010 – Rehan Rauf, MASc. Candidate. IntelligentET knowledge extractor from MS Word specifications.
- 2008-2009 – Herman Hon Man Lee, MASc. Candidate. Model-guided Code Assistance for Framework Application Development
- 2008-2009 – Matthew Stephan, MASc. Candidate. Detection of Java EE EJB Antipattern Instances using Framework-Specific Models
- 2008 - Henry Lau, ECE 499 Engineering Project Student. Forward Engineering Through FSML Mappings.
- 2007 – Matthew Stephan, SE 499 Engineering Project Student. Feature Modeling and Configuration of Ecore Elements within Eclipse.
- 2006 – Matthew Stephan, Engineering Co-op. Ecore.fmp.
- Supervision
- 2013 Spring - Luke Michael Brown, Co-op student. Fixes and extensions to Clafer Compiler and Clafer Instance Generator
- 2013 Winter - Neil Vincent Redman, Co-op student. ClaferMooVisualizer - an interactive, web-based Pareto front visualization and exploration tool for product-line engineering.
- 2012 Spring – Christopher Walker, Co-op student. ClaferWiki - a lightweight, wiki-based IDE for Clafer
- 2012 Spring – Tanvir Sarkar, Co-op student. Generating Extraction Templates for IntelligentET
- 2012 Spring – Salar Mumtaz, Co-op student. Linux Kernel Configurator Extensions.
- 2007 – Fred Tung, Undergraduate Research Assistant. Extracting FSMLs from FUDA Recipes.
- 2006 – Yaron Friedman and Andrew Hoo, Undergraduate Research Assistants. Towards an FSML for GMF, Progress Report.
- Teaching Assistantship
- Fall 2004 ECE452 Software Design & Architectures
- Winter 2004 ECE355 Software Engineering
- Tool Demonstrations
- Clafer Tools for Product Line Engineering, SPLC'13, Tokyo, Japan, Aug 28, 2013. [paper]
- Round-Trip Engineering of Eclipse Plug-Ins Using Eclipse Workbench Part Interaction FSML, OOPSLA'06, Portland, Oregon, USA, Oct 24-26, 2006. [view]
- fmp and fmp2rsm: Eclipse Plug-Ins for Modeling Features Using Model Templates, OOPSLA'05, San Diego, USA, Oct 19, 2005. [view]
- Poster Presentations
- Model-Driven Software Product Lines, OOPSLA'05, San Diego, USA, Oct 16-20, 2005.
- Systematic Development of Domain-Specific Languages and Model-Driven Product Lines, Castle 2004 Technical Link Event, IBM Ottawa Labs, Dec 9-10, 2004.
Publications
"Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems",
Software and Systems Modeling, 2017.
"Modeling and Reasoning with Multirelations, and their encoding in Alloy",
16th International Workshop in OCL and Textual Modeling, 10/2016.
"Case Studies on E/E Architectures for Power Window and Central Door Locks Systems",
Technical Report, no. GSDLAB-TR-2016-06-23: University of Waterloo, 06/2016.
[pdf]
"Maintaining Feature Traceability with Embedded Annotations",
19th International Software Product Line Conference (SPLC), 2015.
[pdf][pdf]
"Clafer: Unifying Class and Feature Modeling",
Software and Systems Modeling, 2014.
[pdf]
"Clafer Tools for Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf]
"Example-Driven Modeling Using Clafer",
First International Workshop on Model-driven Engineering By Example, 2013.
[ppsx][pdf]
"Example-Driven Modeling. Model = Abstractions + Examples",
New Ideas and Emerging Results (NIER) track of the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, CA, USA, 2013.
[pdf]
"Partial Instances via Subclassing",
6th International Conference on Software Language Engineering, Indianapolis, USA, 2013.
[pdf][pdf]
"Visualization and Exploration of Optimal Variants in Product Line Engineering",
Software Product Line Conference, Tokyo, Japan, 2013.
[pdf][pdf]
Example-Driven Modeling poster,
, Toronto, CASCON, 2012.
[pdf]
"Logical Structure Extraction from Software Requirements Documents",
International Requirements Engineering Conference: IEEE, 09/2011.
[pdf][pdf]
"Requirements Determination is Unstoppable: An Experience Report",
Requirements Engineering, 09/2010.
[pdf][pdf]
"Engineering of Framework-Specific Modeling Languages",
IEEE Transactions on Software Engineering, vol. 35, issue 6, pp. 795 - 824, 11/2009.
[pdf]
"Fast Extraction of High-Quality Framework-Specific Models from Application Code",
Automated Software Engineering, vol. 16, issue 1, pp. 101 - 144, 03/2009.
[pdf]
"Model-versioning-in-the-large: Algebraic foundations and the tile notation",
2009 ICSE Workshop on Comparison and Versioning of Software Models (CVSM), Vancouver, BC, Canada, IEEE, pp. 7 - 12, 2009.
[pdf][pdf]
"Framework-specific modeling languages",
Electrical and Computer Engineering, vol. PhD: University of Waterloo, pp. 168, 09/2008.
"Ecore.fmp: A tool for editing and instantiating class models as feature models",
Electrical and Computer Engineering, Waterloo, University of Waterloo, 05/2008.
[pdf]
"Design Space of Heterogeneous Synchronization",
Generative and Transformational Techniques in Software Engineering II, International Summer School, GTTSE 2007, Braga, Portugal, July 2-7, 2007, Revised Papers, vol. 5235, Berlin, Heidelberg, Springer, pp. 3 - 46, 2008.
[pdf]
"Towards a Generic Infrastructure for Framework-Specific Integrated Development Environment Extensions",
2nd International Workshop on Domain-Specific Program Development (DSPD’08), co-located with OOPSLA'08, Nashville, Tennessee, USA, 2008.
[pdf]
"Automatic Extraction of Framework-Specific Models From Framework-Based Application Code",
22nd IEEE/ACM International Conference on Automated Software Engineering (ASE), Atlanta, Georgia, USA, 11/2007.
[pdf]
Awards, Scholarships, Fellowships
- 2008-2011 - Industrial Postdoctoral Fellowship
- 2007 – ACM SIGSOFT Distinguished Paper Award at the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE’07) for the paper entitled Automatic Extraction of Framework-Specific Models from Framework-Based Application Code. Acceptance rate: 12%. Three out of 37 full papers were selected to receive the award.
- 2004-2006 – IBM Centers for Advanced Studies Ph.D. Fellowship, $54,000/3 years
- 2005, 2006 – Faculty of Engineering Graduate Scholarship
- May 2004 – Aug. 2007 – International Doctoral Student Award
- Sep. 2003 – Apr. 2004 – International Graduate Student Award
