ARCH 2016
Date: Apr 11, 2016 12:00 am – Apr 11, 2016 11:00 am
Location: Vienna, Austria
3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
CPSWeek 2016
The workshop on applied verification for continuous and hybrid systems (ARCH) brings together researchers and practitioners, and establishes a curated set of benchmarks submitted by academia and industry. Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on the transfer from theory to practice.
Topics include, but are not limited to:
- Proposals for new benchmark problems (not necessarily yet solvable)
- Tool presentations
- Tool executions and evaluations based on ARCH benchmarks
- Experience reports including open issues for industrial success
Researchers are welcome to submit examples, tools and benchmarks that have already appeared in brief form, but whose details were omitted. The online benchmark repository allows researchers to include modeling details, parameters, simulation results, etc. Submissions are encouraged, but not required, to include executable data (models, configuration files, code etc.). It is not required to show that the benchmark has a solution; it suffices that the problem is described in enough detail that somebody else can try to solve it.
Prize
The paper with the most promising benchmark results receives a prize of 500 Euros sponsored by Robert Bosch GmbH, Germany. The winner is preselected by the program committee and determined by an audience voting.
General Submission Guidelines
Submissions consist of papers (ideally 3-8 pages) and optional files (e.g. models or traces) submitted through the ARCH'16 EasyChair web site at https://easychair.org/conferences/?conf=arch16. ARCH16 will provide proceedings in the EasyChair EPiC series, indexed by DBLP.
Authors should use the EasyChair template at http://www.easychair.org/publications/for_authors.
The papers have to be classified below their title as benchmark proposal, tool presentation, benchmark results, or experience report by writing the classification in parentheses in a line below the title. Submissions receive at least 3 anonymous reviews, including one from industry and one from academia. A zip archive with additional data for the benchmark (description details, model files, sample traces, code, known results, etc.) is to be submitted together with the extended abstract. Benchmarks can be academic or industrial, of small size or extensive case studies.
Important Dates
- Submission deadline February 15, 2016
- Notification of acceptance March 7, 2016
- Final version March 31, 2016
- Workshop April 11, 2016
Organizers
Program chairs: Goran Frehse, University Joseph Fourier-Verimag, France Matthias Althoff, Technische Universitat Munchen, Germany
Publicity chair: Sergiy Bogomolov, Institute of Science and Technology Austria, Austria Evaluation chair: Taylor T. Johnson, University of Texas at Arlington, USA
Program Committee - Academia
- Stanley Bak (Air Force Research Lab)
- Xin Chen (RWTH Aachen University)
- Pieter Collins (Maastricht Univ.)
- Alexandre Donze (UC Berkeley)
- Sicun Gao (Massachusetts Institute of Technology)
- Ian Mitchell (Univ. British Colombia)
- Sayan Mitra (UI Urbana Champaign)
- Andre Platzer (Carnegie Mellon Univ.)
- Nacim Ramdani (Universite d'Orleans)
- Sriram Sankaranarayanan (UC Boulder)
Program Committee - Industry
- Ajinkya Bhave (LMS)
- Olivier Bouissou (MathWorks)
- Daniel Bryce (SIFT)
- Jyotirmoy Deshmukh (Toyota)
- Aaron Fifarek (Linquest)
- William Hung (Synopsys Inc)
- Luca Parolini (GE Global Research)
- Alessandro Pinto (United Technologies)
- Frank Schiller (Beckhoff Automation)
- Matthias Woehrle (Bosch)
Submitted by Anonymous
on
3rd International Workshop on Applied Verification for Continuous and Hybrid Systems
CPSWeek 2016
The workshop on applied verification for continuous and hybrid systems (ARCH) brings together researchers and practitioners, and establishes a curated set of benchmarks submitted by academia and industry. Verification of continuous and hybrid systems is increasing in importance due to new cyber-physical systems that are safety- or operation-critical. This workshop addresses verification techniques for continuous and hybrid systems with a special focus on the transfer from theory to practice.
Topics include, but are not limited to:
- Proposals for new benchmark problems (not necessarily yet solvable)
- Tool presentations
- Tool executions and evaluations based on ARCH benchmarks
- Experience reports including open issues for industrial success
Researchers are welcome to submit examples, tools and benchmarks that have already appeared in brief form, but whose details were omitted. The online benchmark repository allows researchers to include modeling details, parameters, simulation results, etc. Submissions are encouraged, but not required, to include executable data (models, configuration files, code etc.). It is not required to show that the benchmark has a solution; it suffices that the problem is described in enough detail that somebody else can try to solve it.
Prize
The paper with the most promising benchmark results receives a prize of 500 Euros sponsored by Robert Bosch GmbH, Germany. The winner is preselected by the program committee and determined by an audience voting.
General Submission Guidelines
Submissions consist of papers (ideally 3-8 pages) and optional files (e.g. models or traces) submitted through the ARCH'16 EasyChair web site at https://easychair.org/conferences/?conf=arch16. ARCH16 will provide proceedings in the EasyChair EPiC series, indexed by DBLP.
Authors should use the EasyChair template at http://www.easychair.org/publications/for_authors.
The papers have to be classified below their title as benchmark proposal, tool presentation, benchmark results, or experience report by writing the classification in parentheses in a line below the title. Submissions receive at least 3 anonymous reviews, including one from industry and one from academia. A zip archive with additional data for the benchmark (description details, model files, sample traces, code, known results, etc.) is to be submitted together with the extended abstract. Benchmarks can be academic or industrial, of small size or extensive case studies.
Important Dates
- Submission deadline February 15, 2016
- Notification of acceptance March 7, 2016
- Final version March 31, 2016
- Workshop April 11, 2016
Organizers
Program chairs: Goran Frehse, University Joseph Fourier-Verimag, France Matthias Althoff, Technische Universitat Munchen, Germany
Publicity chair: Sergiy Bogomolov, Institute of Science and Technology Austria, Austria Evaluation chair: Taylor T. Johnson, University of Texas at Arlington, USA
Program Committee - Academia
- Stanley Bak (Air Force Research Lab)
- Xin Chen (RWTH Aachen University)
- Pieter Collins (Maastricht Univ.)
- Alexandre Donze (UC Berkeley)
- Sicun Gao (Massachusetts Institute of Technology)
- Ian Mitchell (Univ. British Colombia)
- Sayan Mitra (UI Urbana Champaign)
- Andre Platzer (Carnegie Mellon Univ.)
- Nacim Ramdani (Universite d'Orleans)
- Sriram Sankaranarayanan (UC Boulder)
Program Committee - Industry
- Ajinkya Bhave (LMS)
- Olivier Bouissou (MathWorks)
- Daniel Bryce (SIFT)
- Jyotirmoy Deshmukh (Toyota)
- Aaron Fifarek (Linquest)
- William Hung (Synopsys Inc)
- Luca Parolini (GE Global Research)
- Alessandro Pinto (United Technologies)
- Frank Schiller (Beckhoff Automation)
- Matthias Woehrle (Bosch)