[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
[Apologies for multiple copies.]
CALL FOR SUBMISSIONS
MT-CPS'16
1st International Workshop on
Monitoring and Testing of Cyber-Physical Systems
Vienna, Austria
11 April 2016
Collocated with CPS Week
http://mtcps16.ait.ac.at/
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 analysis
· 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 the work in progress.
IMPORTANT DATES
· Abstract submission deadline: February 14, 2016
· Notification: March 5, 2016
· Early registration: March 10, 2016
· Workshop: April 11, 2016
PROGRAMME COMMITTEE
· Xavier Avon<mailto:xavier.a...@easii-ic.com>, EASii-IC, France
· Ezio Bartocci<http://www.eziobartocci.com/>, Vienna University of
Technology, Austria
· Sergiy Bogomolov<http://www.sergiybogomolov.com/>, IST Austria, Austria
· Harald Brandl<mailto:harald.bra...@avl.com>, AVL List GmbH, Austria
· Thao Dang<http://www-verimag.imag.fr/PEOPLE/Thao.Dang/>, VERIMAG,
France
· Jyotirmoy Deshmukh<http://www.cs.utexas.edu/%7Edeshmukh/>, Toyota
Technical Center, USA
· Alexandre Donzé<http://www.eecs.berkeley.edu/%7Edonze/>, UC Berkeley,
USA
· Georgios Fainekos<http://www.public.asu.edu/%7Egfaineko/>, Arizona
State University, USA
· Thomas Ferrère<http://www-verimag.imag.fr/%7Eferrere/>, Mentor
Graphics, France
· Christoph
Grimm<http://cps.cs.uni-kl.de/en/staff/christoph-grimm-prof-dr/>,
Kaiserslautern University of Technology, Germany
· Radu Grosu<https://ti.tuwien.ac.at/cps/people/grosu>, Vienna
University of Technology, Austria
· Ichiro Hasuo<http://www-mmm.is.s.u-tokyo.ac.jp/%7Eichiro/>, University
of Tokyo, Japan
· Thomas Klotz<mailto:thomas.kl...@bosch-sensortec.com>, Bosch Sensortec
GmbH, Germany
· Scott Little<mailto:scott.lit...@intel.com>, Intel, USA
· Oded Maler<http://www-verimag.imag.fr/%7Emaler/>, VERIMAG, France
· Thang Nguyen<mailto:thang.ngu...@infineon.com>, Infineon Technologies
AG, Austria
· Dejan Nickovic<http://www.ait.ac.at/profile/detail/Nickovic-Dejan/>,
AIT Austrian Institute of Technology GmbH, Austria
· Sriram Sankaranarayanan<https://www.cs.colorado.edu/%7Esrirams/>,
University of Colorado at Boulder, USA
SUBMISSION INSTRUCTIONS
Abstracts are submitted via https://easychair.org/conferences/?conf=mtcps2016.
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
* Radu Grosu<https://ti.tuwien.ac.at/cps/people/grosu>, Vienna University
of Technology, Austria
* Oded Maler<http://www-verimag.imag.fr/%7Emaler/>, VERIMAG, France
* Dejan Nickovic<http://www.ait.ac.at/profile/detail/Nickovic-Dejan/>, AIT
Austrian Institute of Technology GmbH, Austria
Dejan Nickovic
Senior Scientist
Department Safety and Security
Business Unit Safe and Autonomous Systems
AIT Austrian Institute of Technology GmbH
Donau-City-Straße 1 | 1220 Vienna | Austria
T +43(0) 50550-4021 | M +43(0) 66488-390038 | F +43(0) 50550-4150
dejan.nicko...@ait.ac.at<mailto:dejan.nicko...@ait.ac.at> |
http://www.ait.ac.at<http://www.ait.ac.at/>
FN: 115980 i HG Wien | UID: ATU14703506
This email and any attachments thereto, is intended only for use by the
addressee(s) named herein and may contain legally privileged and/or
confidential information. If you are not the intended recipient, please notify
the sender by return e-mail or by telephone and delete this message from your
system and any printout thereof. Any unauthorized use, reproduction, or
dissemination of this message is strictly prohibited. Please note that e-mails
are susceptible to change. AIT Austrian Institute of Technology GmbH shall not
be liable for the improper or incomplete transmission of the information
contained in this communication, nor shall it be liable for any delay in its
receipt.
