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

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

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: 

WISE Lab logo

Profiles by type

Opportunities

We are looking for postdocs and graduate students interested in working on all aspects of autonomous driving.

For more information, visit Open positions.