The MT CPS workshop aims at bringing
together researchers and practitioners interested in the
problems of detecting, testing, measuring and extracting
qualitative and quantitative properties from CPS behaviors.
Topics of interest include (but are not limited to):
· Specification languages for monitoring and testing
· Runtime verification and monitoring
· Black-box and white-box testing
· Measuring and statistical information gathering
· Simulation-based verification and parameter
synthesis
· Diagnostics, error localization and repair
· Combination of static and dynamic analyses
· Applications and case studies
WORKSHOP FORMAT
MT CPS workshop is intended to be a forum for exchanging the
latest scientific trends between researchers and
practitioners interested in the field of light-weight
verification and analysis of CPS. As a consequence,
the workshop will NOT have formal proceedings. We
encourage submission of abstracts that address any of the
aforementioned topics of interest and cover recently
published results as well as work in progress.
IMPORTANT DATES
· Abstract submission deadline: February 20,
2017
· Notification: March 6, 2017
· Early registration: March 10, 2017
· Workshop: April 21, 2017
Program Chairs
- Houssam Abbas, University of
Pennsylvania, USA
- Ezio Bartocci, Vienna University of
Technology, Austria
- Mauricio Castillo-Effen, General
Electric
- Thao Dang, VERIMAG, France
- Jyotirmoy Deshmukh, Toyota Technical
Center, USA
- Georgios Fainekos, Arizona State
University, USA
- Sebastian Fischmeister, University
of Waterloo, Canada
- Ichiro Hasuo, University of Tokyo,
Japan
- BaekGyu Kim,
Toyota InfoTechnology Center, USA
- Oded Maler, VERIMAG, France
- Konstantinos Mamouras, University of
Pennsylvania, USA
- Sajed Miremadi, Volvo Car
Corporation
- Sergio
Mover, University of Colorado, USA
- Dejan Nickovic, AIT Austrian
Institute of Technology GmbH, Austria
- Jens Oehlerking, Robert Bosch GmbH
- Kristin Yvonne Rozier, Iowa State
University, USA
- Erik Seligman, Intel, USA
- Oleg Sokolsky, University of
Pennsylvania, USA
- Vishnu Vithala, Boeing
- Qiming
Zhao, Denso
SUBMISSION INSTRUCTIONS
Abstracts are submitted via https://easychair.org/conferences/?conf=mtcps2 . Abstracts should be in PDF form, up to 2 pages in length with 1-inch margins and at least 10-point font size, and may contain up to two figures. Abstracts should list the full names, affiliations, and contact information of all authors, and the submission should indicate whether the abstract will be presented as a poster, orally, or both. Abstracts will be reviewed by the Program Committee. Those that are selected for oral and poster presentations will be distributed to workshop participants and posted on the workshop website.
PC CHAIRS
Houssam Abbas, University of Pennsylvania, USA
Jyotirmoy Deshmukh, Toyota Technology Center, USA
Georgios Fainekos, Arizona State University, USA