Michał Antkiewicz

Research associate

Michal Antkiewicz

Research engineer, Autonomoose.net (Sep 2016-present)

Program coordinator, NSERC CREATE in Product-Line Engineering for Cyber-Physical Systems (September 2015-present)

Previous positions

Research engineer, Network for the Engineering of Complex Software-Intensive Systems (NECSIS) (Sep 2011-Aug 2016)
Postdoctoral fellow (2008-2011), Electrical and Computer Engineering, University of Waterloo, Canada
PhD graduate (2008), Electrical and Computer Engineering, University of Waterloo, Canada
IBM Centers for Advanced Studies PhD fellow (2004-2006)
MASc graduate (2003), Institute of Computer Science, University of Wrocław, Poland

Links

Google Citations | ACM | researchr.org

For news about Waterloo autonomous car project, visit autonomoose.net.

For news about Clafer, visit clafer.org.

For the old profile page, visit Generative Software Development Lab page.

Publications

2020

Antkiewicz, M., M. Kahn, M. Ala, K. Czarnecki, P. Wells, A. Acharya, and S. Beiker, "Modes of Automated Driving System Scenario Testing: Experience Report and Recommendations ", SAE World Congress Experience: SAE, 2020. BibTeX

2018

Juodisius, P., A. Sarkar, R. Rao Mukkamala, M. Antkiewicz, K. Czarnecki, and A. Wąsowski, "Clafer: Lightweight Modeling of Structure and Behaviour", The Art, Science, and Engineering of Programming Journal, vol. 3, issue 1, 07/2018. BibTex

Zayan, D., A. Sarkar, M. Antkiewicz, R. Suzana Pit Maciel, and K. Czarnecki, "Example-driven modeling: on effects of using examples on structural model comprehension, what makes them useful, and how to create them", Software & Systems Modeling, 01/2018. BibTex

2017

Ross, J., A. Murashkin, J. Hui Liang, M. Antkiewicz, and K. Czarnecki, "Synthesis and Exploration of Multi-Level, Multi-Perspective Architectures of Automotive Embedded Systems", Software and Systems Modeling, 2017. BibTex

2016

Khalilov, E., J. Ross, M. Antkiewicz, M. Völter, and K. Czarnecki, "Modeling and Optimizing Automotive Electric/Electronic (E/E) Architectures: Towards Making Clafer Accessible to Practitioners", ISoLA 2016: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 10/2016. BibTex

Affiliation:

University of Waterloo

Contact information:

Michał Antkiewicz