Invited Talks and Panels
home | bio | publications | talks | service | etc
Keynotes
- [K3] “A study of cyber-physical system design activity to consider opportunity for AI assistance,” 25th International Conference on Model Driven Engineering Languages and Systems (MODELS), Montreal, Canada, October 26, 2022.
- [K2] “Challenges and opportunities in design and operation of intelligent cyber-physical systems,” 19th International Runtime Verification Conference, Part of 3rd World Congress on Formal Methods, Porto, Portugal, October 10, 2019. [Slides | Video]
- [K1] “Multi-Paradigm Modeling for Design and Operation of Intelligent Cyber-Physical Systems,” International Workshop on Multi-Paradigm Modeling for Cyber-Physical Systems (MPM4CPS), co-located with the MODELS Conference, Munich, Germany, September 15, 2019. [Slides]
Invited Talks
- [T19] “Academic research to industry practice: success stories and open challenges in model-based approaches,” MODELS Conference Industry Day, Montréal, Canada. October 2022.
- [T18] “Formal Methods for Real-World Cyber-Physical Systems: A Model-Based Design Perspective,” Invited Guest Lecture, Brown University, Providence, RI. May 2022.
- [T17] “Engineering Learning-Enabled Cyber-Physical Systems: Challenges and Opportunities,” Workshop on Machine Learning in Control (LEAC), part of Cyber-Physical Systems and Internet of Things (CPS-IoT) Week, remotely in Nashville, TN. May 2021.
- [T16] “Formal Methods for Real-World Cyber-Physical Systems: A personal perspective,” Invited Guest Lecture, Brown University. remotely in Providence, RI. March 2021.
- [T15] ““Cyber-Physical Systems”, Independent Activities Period (IAP), Massachusetts Institute of Technology, remotely in Cambridge, MA. January 2021.
- [T14] “A Model-Based Design Perspective on Challenges and Opportunities in Automated Software Certification,” 20th Software Certification Consortium (SCC) Steering Committe Meeting, Annapolis, MD, USA. May 2019.[Slides]
- [T13] “Specification Formalisms for Cyber-Physical Systems: A Tools Perspective,” Dagstuhl Workshop on Specification Formalisms for Modern Cyber-Physical Systems, Dagstuhl, Germany. February 2019.
- [T12] “Graphical Modeling of Hybrid Systems with Simulink and Stateflow,” Workshop honoring the retirement of Prof. Bruce Krogh, Carnegie Mellon University, Pittsburgh, PA, May 2018.
- [T11] “A Vision for Application-Focused International Collaboration Networks in Cyber-Physical Systems,”, an NSF Visioning Workshop on International Networks for Advancing CPS Research, Development, and Education Worldwide, part of CPS Week 2018, Porto, Portugal, April 2018.
- [T10] “Heterogeneous Model-Based Design of Tomorrow’s Cyber-Physical Systems,” ECE Department Colloquia Series, Tufts University, Medford, MA, November 2017.
- [T9] “Model-Based Design of Next Generation Cyber-Physical Systems,” LIDS, IDSS, MITei, Lincoln Labs, NSF and IWR Workshop on Rethinking Modeling, Simulations and Control for the Changing Electric Energy Industry, Massachusetts Institute of Technology, Camridge, MA, September 2017. [Slides]
- [T8] “Why do we need holistic concern-driven engineering?”, NIST CPS Framework Open Source Workshop, National
Institute of Standards and Technology (NIST), Gaithersburg, MD, September 2017.
- [T7] “Challenges and Opportunities for Intelligent Transportation Systems,” Robotica 2017, Newton, MA, June 2017. [Slides]
- [T6] “Model-Based Design of Connected Autonomous Vehicles,” 2nd IEEE Summer School on Connected and Autonomous Vehicles, Worcester Polytechnic Institute, Worcester, MA, USA. May 2017. [Slides]
- [T5] “Model-Based Design Challenges for Cyber-Physical Systems,”, Expeditions in Computer Augmented Program Engineering (ExCAPE) Principal Investigators’ (PI) Meeting], University of Pennsylvania, Philadelphia, PA, USA. May 2017. [Slides]
- [T4] “Safety in Freely-Composed Cyber-Physical Systems—Challenges and Opportunities,” with Pieter Mosterman, Exploring the Dimensions of Trustworthiness: Challenges and Opportunities Workshop, National Institute of Standards and Technology (NIST), Gaithersburg, MD, USA. August, 2016.
- [T3] “Recent Advancements in MathWorks Verification and Validation Tools and Techniques,” CPS V&V I&F Workshop, Carnegie Mellon University, Pittsburgh, PA, USA. May 2016.
- [T2] “Verification of Systems Using Robust Temporal Logic Testing,” Specification and Verification Center Seminar, Carnegie Mellon University, Pittsburgh, PA, USA. August 2008. [Talk Abstract | Slides]
- [T1] “Robustness of Temporal Logic Specifications for Testing of Signals,” Specification and Verification Center Seminar, Carnegie Mellon University, Pittsburgh, PA, USA. August 2008. [Talk Abstract | Slides]
Panels
- [PNL9] “Formal Methods in the Field”, National Science Foundation (NSF) Panel part of the Formal Methods in the Field (FMitF) PI Meeting Days, Online, November 2022.
- [PNL8] “What disruptive technologies are expected to be most influential for the future industrial practice of model-based systems engineering?”, MODELS Conference Industry Day, Montréal, Canada, October 2022.
- [PNL7] “Challenges in Satisfying the Need and Promotion of Modeling & Simulation Workforce”, Winter Simulation Conference, in hybrid mode at Phoenix, AZ, December 2021. [Accompanying Abstract]
- [PNL6] “Control for Climate Change Mitigation and Adaptation,” IEEE CSS Workshop on Control for Societal Challenges, June 2021.
- [PNL5] “Future Challenges for Autonomous & Intelligent Transportation”, IEEE Situational Awareness For Emerging Network Enabled Transportation Systems (SAFENETS) Workshop, October 2019.
- [PNL4] Hybrid Simulation for Cyber Physical Systems – Where are we Going Regarding Complexity, Intelligence, and Adaptability of CPS Using Simulation, Symposium on M&S of Complex, Intelligent, Adaptive and Autonomous Systems (MSCIAAS) panel at Spring Simulation Multi-Conference (SpringSim), May 2018.
- [PNL3] “What are the challenges posed to CPS theory by modern applications?”, Joint HSCC-ICCPS Panel, part of CPS Week 2018.
- [PNL2] Why do we need holistic concern-driven engineering? at the NIST CPS Framework Open Source Workshop, September 2017.
- [PNL1] Safe Control of Connected and Autonomous Vehicles, 1st Workshop on Safe Control of Connected and Autonomous Vehicles (SCAV), affiliated with Cyber-Physical Systems Week (CPS Week) 2017, April 2017. [Picture, Workshop Report]