-------- Weitergeleitete Nachricht -------- Betreff: MT-CPS'17: 2nd International Workshop on Monitoring and Testing of Cyber-Physical Systems Datum: Tue, 24 Jan 2017 12:34:22 +0100 Von: Ayoub Nouri ayoub.nouri@UNIV-GRENOBLE-ALPES.FR Antwort an: Mailing List der GI FG 3.3.1 "Kommunikation und Verteilte Systeme" KUVS-L@LISTSERV.UNI-HEIDELBERG.DE An: KUVS-L@LISTSERV.UNI-HEIDELBERG.DE
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