Service
-
Steering Committee:
- 2019-present: International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)
- 2017-present: Numerical Software Verification Workshop (NSV)
- 2018-present: Design and Analysis of Robust Systems Workshop (DARS)
- 22nd ACM International Conference on Hybrid Systems:Computation and Control (HSCC), 2019
- 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), 2018
- 21st IFAC World Congress Organizer/Chair for Invited Session on Formal Methods for Hybrid Systems, 2019.
- NSF CPS PI Meeting, 2018.
- Mid-west Verification Day, 2017.
-
Seventh Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), 2017
(Co-located with EMSOFT). Co-organizer: William Harrison. -
Third Verification Mentoring Workshop, 2017 (co-located with CAV).
Co-organizers: Damien Zuffrey (MPI-SWS) and Andrey Rybalchenko (MSR) -
Second workshop on Design and Analysis of Robust Systems: Co-located with CAV, 2017.
Co-organizers: Roopsha Samanta (IST, Austria) - Co-organizer of the 8th Numerical Software Verification Workshop, 2016.
-
Dagstuhl seminar : Robustness in Cyber-Physical Systems, September 05-09, 2016.
Co-organizers: Martin Franzle (Universitat Oldenburg, DE) and James Kapinski (Toyota Technical Center, US) -
Workshop on Design and Analysis of Robust Systems : Part of CPSWeek (Cyber-Physical Systems Week), 2016.
Co-organizers: Roopsha Samanta (IST, Austria) -
Dagstuhl seminar : Verification of Cyber-Physical Systems, March 16-21, 2014.
Co-organizers: Rupak Majumdar (MPI-SWS, Germany), Richard Murray (Caltech, US) -
ECC'13 : Invited session on Formal Verification and Design of Hybrid Systems.
Co-organizer: Jun Liu (University of Sheffield, UK) - 24th Hybrid Systems: Computation and Control (HSCC)
- 12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
- 7th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS)
- 20th International Conference on Embedded Software (EMSOFT)
- 23rd Hybrid Systems: Computation and Control (HSCC)
- 11th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
- 18th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)
- 17th Quantitative Evaluation of Systems (QEST)
- 19th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
- 31st Computer Aided Verification (CAV)
- 19th International Conference on Embedded Software (EMSOFT)
- 22nd Hybrid Systems: Computation and Control (HSCC)
- 10th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS)
- 17th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)
- 17th Automated Technology for Verification and Analysis (ATVA)
- 16th Quantitative Evaluation of Systems (QEST)
- 17th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
- 14th International Conference on Reachability Problems (RP)
- 18th International Conference on Embedded Software (EMSOFT)
- 30th Computer Aided Verification (CAV)
- 21st Hybrid Systems: Computation and Control (HSCC)
- 16th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)
- 15th Quantitative Evaluation of Systems (QEST)
- 16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)
- 12th International Conference on Reachability Problems (RP)
- NSF CPS PI Meeting Organizing Committee
- Workshop on Smart Farming (CPSWeek 2018)
- 29th Computer Aided Verification (CAV)
- 15th Automated Technology for Verification and Analysis (ATVA)
- 15th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS)
- 14th Quantitative Evaluation of Systems (QEST)
- 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS)
- 19th Hybrid Systems: Computation and Control (HSCC)
- 13th Quantitative Evaluation of Systems (QEST)
- 7th NASA Formal Methods Conference (FM)
- 12th Haifa Verification Conference (HVC)
- 28th Computer Aided Verification (CAV:ERC)
- FESCA (ETAPS)
- 55th American Control Conference (ACC)
- IFAC Analysis and Design of Hybrid Systems (ADHS)
- 16th Verification, Model-Checking and Abstract Interpretation (VMCAI)
- 11th Haifa Verification Conference (HVC)
- 8th Numerical Software Verification (NSV)
- 15th Runtime Verification (RV)
- 18th Hybrid Systems: Computation and Control (HSCC)
- 26th Computer Aided Verification (CAV)
- 17th Hybrid Systems: Computation and Control (HSCC)
- ACM SIGBED Summer Simulation Conference
- 16th Hybrid Systems: Computation and Cotnrol (HSCC)
- 16th ACM CSCW
Conference Chair:
Workshop Chair/Organizer:
Program Committee (PC) Member:
2021 :