[FM-India] MT-CPS'17: 2nd International Workshop on Monitoring and Testing of Cyber-Physical Systems

Ayoub Nouri ayoub.nouri at univ-grenoble-alpes.fr
Tue Jan 24 17:04:22 IST 2017


MT-CPS'17
2nd International Workshop on
Monitoring and Testing of Cyber-Physical Systems
Pittsburgh, PA, USA
21st April 2017
Co-located with CPS Week
https://sites.google.com/asu.edu/mt-cps-2017 
<https://sites.google.com/asu.edu/mt-cps-2017>
<https://sites.google.com/asu.edu/mt-cps-2017>

DESCRIPTION

Cyber-physical systems (CPS) are integrations of heterogeneous 
collaborative entities that interact between themselves and with 
their physical environment. CPS exhibit complex and unpredictable 
behaviors, thus making their correctness and robustness analysis a 
challenging task. In order to address their full complexity, there is an 
emergent need for formal, yet efficient and scalable methods for the 
verification and analysis of CPS. Light-weight verification techniques, 
such as monitoring and testing, achieve both rigor and efficiency by 
enabling the evaluation of systems according to the properties of their 
individual behaviours.
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 <https://sites.google.com/site/houssamcps/home>,
    University of Pennsylvania
  * Jyotirmoy Deshmukh <http://www.cs.utexas.edu/%7Edeshmukh/>, Toyota
    Technical Center
  * Georgios Fainekos <http://www.public.asu.edu/%7Egfaineko/>, Arizona
    State University
  * BaekGyu Kim <https://sites.google.com/site/bgkim0110/>, Toyota
    InfoTechnology Center


      Program Committee

  * Houssam Abbas <https://sites.google.com/site/houssamcps/home>,
    University of Pennsylvania, USA
  * Ezio Bartocci
    <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.eziobartocci.com_&d=BQMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=POaC_BiA1hPoQdtL5fnL6kFMLtfEkLe957sBa-YbGnQ&m=CdLJEuJrspGAKqY1W58T8s-Q1GPhYxgMxF_Gx2CKCUc&s=TRRFNiCFkO1pxWHaMLHNdfvMRDogtdNYuQnhw3JWfDE&e=>,
    Vienna University of Technology, Austria
  * Mauricio Castillo-Effen
    <https://www.researchgate.net/profile/Mauricio_Castillo-Effen>,
    General Electric
  * Thao Dang
    <https://urldefense.proofpoint.com/v2/url?u=http-3A__www-2Dverimag.imag.fr_PEOPLE_Thao.Dang_&d=BQMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=POaC_BiA1hPoQdtL5fnL6kFMLtfEkLe957sBa-YbGnQ&m=CdLJEuJrspGAKqY1W58T8s-Q1GPhYxgMxF_Gx2CKCUc&s=3kjlsARyLpHUV7e5nlYbAeABUb9gHsTwjEX28g7sa5c&e=>,
    VERIMAG, France
  * Jyotirmoy Deshmukh
    <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.cs.utexas.edu_-257Edeshmukh_&d=BQMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=POaC_BiA1hPoQdtL5fnL6kFMLtfEkLe957sBa-YbGnQ&m=CdLJEuJrspGAKqY1W58T8s-Q1GPhYxgMxF_Gx2CKCUc&s=TixaGf0wqeP4oXfOrT4fSczXASHrTOuEUhDAOLfI79k&e=>,
    Toyota Technical Center, USA
  * Georgios Fainekos
    <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.public.asu.edu_-257Egfaineko_&d=BQMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=POaC_BiA1hPoQdtL5fnL6kFMLtfEkLe957sBa-YbGnQ&m=CdLJEuJrspGAKqY1W58T8s-Q1GPhYxgMxF_Gx2CKCUc&s=JzgRXI0eU2H7qgFSl1Sm1MVM2IFNvFHAZCwQ4b7zrW0&e=>,
    Arizona State University, USA
  * Sebastian Fischmeister
    <https://uwaterloo.ca/embedded-software-group/people-profiles/sebastian-fischmeister>,
    University of Waterloo, Canada
  * Ichiro Hasuo
    <https://urldefense.proofpoint.com/v2/url?u=http-3A__www-2Dmmm.is.s.u-2Dtokyo.ac.jp_-257Eichiro_&d=BQMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=POaC_BiA1hPoQdtL5fnL6kFMLtfEkLe957sBa-YbGnQ&m=CdLJEuJrspGAKqY1W58T8s-Q1GPhYxgMxF_Gx2CKCUc&s=qntxAQ951y-bdsW1FCAOFn1GR6mE4Ddg0v6oT1xnnKg&e=>,
    University of Tokyo, Japan
  * BaekGyu Kim <https://sites.google.com/site/bgkim0110/>, Toyota
    InfoTechnology Center, USA
  * Oded Maler
    <https://urldefense.proofpoint.com/v2/url?u=http-3A__www-2Dverimag.imag.fr_-257Emaler_&d=BQMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=POaC_BiA1hPoQdtL5fnL6kFMLtfEkLe957sBa-YbGnQ&m=CdLJEuJrspGAKqY1W58T8s-Q1GPhYxgMxF_Gx2CKCUc&s=pz5bmj5WCe4pqwhjrU12GgKnrGqZrJNfdEn7H79MXtA&e=>,
    VERIMAG, France
  * Konstantinos Mamouras <http://www.cs.cornell.edu/%7Emamouras/>,
    University of Pennsylvania, USA
  * Sajed Miremadi
    <https://www.researchgate.net/profile/Sajed_Miremadi>, Volvo Car
    Corporation
  * Sergio Mover <http://www.sergiomover.eu/>, University of Colorado, USA
  * Dejan Nickovic
    <https://urldefense.proofpoint.com/v2/url?u=http-3A__www.ait.ac.at_profile_detail_Nickovic-2DDejan_&d=BQMFaQ&c=8hUWFZcy2Z-Za5rBPlktOQ&r=POaC_BiA1hPoQdtL5fnL6kFMLtfEkLe957sBa-YbGnQ&m=CdLJEuJrspGAKqY1W58T8s-Q1GPhYxgMxF_Gx2CKCUc&s=T9y-26yX0x1DJzmZBbhHaq60LIKIDmfn4mYnhJzcv1M&e=>,
    AIT Austrian Institute of Technology GmbH, Austria
  * Jens Oehlerking
    <http://www.svs.informatik.uni-oldenburg.de/46023.html>, Robert
    Bosch GmbH
  * Kristin Yvonne Rozier <https://www.aere.iastate.edu/kyrozier/>, Iowa
    State University, USA
  * Erik Seligman <https://www.linkedin.com/in/erikseligman/>, Intel, USA
  * Oleg Sokolsky <https://www.cis.upenn.edu/%7Esokolsky/>, University
    of Pennsylvania, USA
  * Vishnu Vithala
    <https://www.linkedin.com/in/vishnu-teja-vithala-a5ba8b6/>, Boeing
  * Qiming Zhao, Denso



SUBMISSION INSTRUCTIONS

Abstracts are submitted via 
https://easychair.org/conferences/?conf=mtcps2 
<https://www.google.com/url?q=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dmtcps2&sa=D&sntz=1&usg=AFQjCNFrxX4HxaZslLaqjJHPRjCwWoR1gA> 
. 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
BaekGyu Kim, Toyota InfoTechnology Center, USA

-- 
Ayoub Nouri
Postdoc researcher, Verimag
700, avenue centrale
38401 Saint Martin d’Hères
France
-----------------------------------
ayoub.nouri at univ-grenoble-alpes.fr


More information about the FMIndia mailing list