Michal Antkiewicz

Affiliations:
  • University of Waterloo, Canada


According to our database1, Michal Antkiewicz authored at least 35 papers between 2004 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Genetic Algorithm for Planning and Scheduling Problem - StarCraft II Build Order case study.
Proceedings of the 18th Conference on Computer Science and Intelligence Systems, 2023

Population-less Genetic Algorithm? Investigation of Non-dominated Tournament Genetic Algorithm (NTGA2) for multi-objective optimization.
Proceedings of the Communication Papers of the 18th Conference on Computer Science and Intelligence Systems, 2023

2022
GaMeDE2 - improved Gap-based Memetic Differential Evolution applied to multi-modal optimisation.
Proceedings of the 17th Conference on Computer Science and Intelligence Systems, 2022

2019
Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them.
Softw. Syst. Model., 2019

Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems.
Softw. Syst. Model., 2019

Clafer: Lightweight Modeling of Structure, Behaviour, and Variability.
Art Sci. Eng. Program., 2019

2017
Synthesis and Exploration of Multi-level, Multi-perspective Architectures of Automotive Embedded Systems (SoSYM Abstract).
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016
Clafer: unifying class and feature modeling.
Softw. Syst. Model., 2016

The Problem of the Lack of Benefit of a Document to Its Producer (PotLoBoaDtiP).
Proceedings of the 2016 IEEE International Conference on Software Science, 2016

Modeling and Reasoning with Multirelations, and their encoding in Alloy.
Proceedings of the 16th International Workshop on OCL and Textual Modelling co-located with 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

2015
Maintaining feature traceability with embedded annotations.
Proceedings of the 19th International Conference on Software Product Line, 2015

2014
Effects of using examples on structural model comprehension: a controlled experiment.
Proceedings of the 36th International Conference on Software Engineering, 2014

Flexible product line engineering with a virtual platform.
Proceedings of the 36th International Conference on Software Engineering, 2014

2013
Visualization and exploration of optimal variants in product line engineering.
Proceedings of the 17th International Software Product Line Conference, 2013

Clafer tools for product line engineering.
Proceedings of the 17th International Software Product Line Conference co-located workshops, 2013

Partial Instances via Subclassing.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

Example-Driven Modeling using Clafer.
Proceedings of the First International Workshop on Model-driven Engineering By Example co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), 2013

Example-driven modeling: model = abstractions + examples.
Proceedings of the 35th International Conference on Software Engineering, 2013

2011
Logical structure extraction from software requirements documents.
Proceedings of the RE 2011, 19th IEEE International Requirements Engineering Conference, Trento, Italy, August 29 2011, 2011

2010
Requirements Determination is Unstoppable: An Experience Report.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

2009
Engineering of Framework-Specific Modeling Languages.
IEEE Trans. Software Eng., 2009

Fast extraction of high-quality framework-specific models from application code.
Autom. Softw. Eng., 2009

Model-versioning-in-the-large: Algebraic foundations and the tile notation.
Proceedings of the 2009 ICSE Workshop on Comparison and Versioning of Software Models, 2009

2007
Round-trip engineering using framework-specific modeling languages.
Proceedings of the Companion to the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

Automatic extraction of framework-specific models from framework-based application code.
Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

Design Space of Heterogeneous Synchronization.
Proceedings of the Generative and Transformational Techniques in Software Engineering II, 2007

2006
Multi-level customization in application engineering.
Commun. ACM, 2006

Round-trip engineering of eclipse plug-ins using eclipse workbench part interaction FSML.
Proceedings of the Companion to the 21th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2006

Framework-Specific Modeling Languages with Round-Trip Engineering.
Proceedings of the Model Driven Engineering Languages and Systems, 2006

Round-Trip Engineering of Framework-Based Software using Framework-Specific Modeling Languages.
Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 2006

2005
fmp and fmp2rsm: eclipse plug-ins for modeling features using model templates.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Model-driven software product lines.
Proceedings of the Companion to the 20th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2005

Mapping Features to Models: A Template Approach Based on Superimposed Variants.
Proceedings of the Generative Programming and Component Engineering, 2005

2004
FeaturePlugin: feature modeling plug-in for Eclipse.
Proceedings of the 2004 OOPSLA workshop on Eclipse Technology eXchange, 2004


  Loading...