• Founded the MathWorks Advanced Research & Technology Office (2016) to expedite and amplify the impact of academic research on technology used in MathWorks Development
• Founded the MathWorks Research Summit (2013) and grew the event from 42 acclaimed researchers, thought leaders, and industry experts in 2013 to 142 in 2019
• Formulated the Computer Automated Multiparadigm Modeling research area (2000) that continues to be actively researched with annual events and publications
• Organized and chaired over 30 events in the research community

• Manage teams with up to 6 direct reports
• Own indirect, matrix responsibility for IP protection of over 750 developers
• Supervise the drafting of patent applications by outside patent attorneys
• Manage volunteer teams comprised of faculty and students of up to 20 researchers

• Manage the MathWorks Research Support program with a $1M annual budget
• Own the MathWorks research publication process
• Oversee the MathWorks design automation patent portfolio of more than 500 patents

• Imagined, designed, and now manage the Selfish Driving Cars project (2019)
• Conceptualized, implemented, and managed the Smart Emergency Response System (2013 - 2015), recognized by the US CTO Todd Park as an exemplary innovation project
• Designed, developed, and commercialized the Electronics Lab of the Future (1992 - 1996), nominated by Microsoft Corporation for the Computer World Smithsonian Award (1994)
• Generated 117 issued US patents (per 2/2020)

• Published 136 peer reviewed research papers (per 2/2020)
• Impacted esearch with a Google Scholar index of 40 and 6738 total citations (per 2/2020)

• Created an Industry 4.0 pick and place gantry system model (2008 - 2012)
• Integrated models of powertrain components into a complete system (2004 - 2005)
• Shipped MathWorks Simulink software features in release R14 of MATLAB (2004)
• Designed and developed an automobile power window system model (2001 - 2002)
• Modeled and analyzed aircraft redundancy control of a primary flight system (1997 - 2001)
• Developed a simulation model of an AC induction motor for viability studies (1999 - 2000)
• Modeled and analyzed secondary cooling of a fast-breeder nuclear reactor (1995 - 1997)
• Shipped the Electronics Laboratory Simulator software, sold by Falcon Software (1995)

• Presented 20 keynote, 8 plenary, and 26 invited talks (per 9/2020)
• Delivered 34 seminars and 15 lectures (per 2/2020)
• Served in a consulting, advisory role for the research community on 16 occasions, participated in 28 invitation-only events, and served on 10 panels (per 2/2020)

Founder of the MathWorks Advanced Research & Technology Office that is chartered along three dimensions.

• Innovate and Create Intellectual Property (IP): Defines and leads technology demonstrator (halo) projects. Authors advanced research publications. Oversees patent portfolio development and strategy.
• Engage the Research Community: Manages and cultivates relationship with expert influencers in academic research. Founded the MathWorks Research Summit network of excellence across academia, government, and industry to strengthen and valorize research. Advises multinational government agencies on strategy and research roadmaps.
• Transfer Technology: Directs and manages the research grant program for technology research and transfer. Identifies high impact research areas and provides advanced technology thought leadership.

• Directs and manages technology research and transfer. Defines and leads technology demonstrator projects. Identifies high impact research areas and provides advanced technology thought leadership.
• Manages and cultivates relationships with influential experts from academia. Founded the MathWorks Research Faculty Summit network of excellence across academia, government, and industry to valorize research.
• Oversees patent portfolio development and strategy.
• Advises US, Canadian, and European government agencies on strategy and research roadmaps.

• Pieter J. Mosterman and Hans Vangheluwe, "Computer Automated Multi-Paradigm Modeling: An Introduction" in SIMULATION: Transactions of the Society for Modeling and Simulation International, vol. 80, nr. 9, pp. 433-450, 2004
• Pieter J. Mosterman and Gautam Biswas, "A Hybrid Modeling and Simulation Methodology for Dynamic Physical Systems" in SIMULATION: Transactions of the Society for Modeling and Simulation International, pp. 5-17, Vol. 78, No. 1, 2002

• Andreas Naderlinger, Modeling of Real-time Software Systems Based on Logical Execution Time, University of Salzburg, Austria, 2009 [report]

• Monika Jaskolka, Making MATLAB Simulink Models Robust With Respect to Change, McMaster University, Hamilton, Ontario, Canada, 2020
• Ken Vanherpen, A Contract-Based Approach for Multi-Viewpoint Consistency in the Concurrent Design of Cyber-Physical Systems, Universiteit Antwerpen, Antwerpen, Belgium, 2018
• Zhihao Jiang, From Verified Models to Verified Code for Safe Medical Devices, University of Pennsylvania, Philadelphia, PA, 2016
• Joachim Denil, Design, Verification and Deployment of Software Intensive Systems—A Multi-Paradigm Modelling Approach, University of Antwerp, Antwerp, Belgium, 2013
• Mehmet Yunt, Dynamic Optimization of Systems with Varying Structure, Massachusetts Institute of Technology, Cambridge, MA, 2011
• Jan Jacobs, Model-based Application Development for Massively Parallel Embedded Systems, University of Twente, Enschede, Netherlands, 2008
• Emmanuel Benazera, Diagnosis and Reconfiguration based on Hybrid Concurrent Models. Application to Autonomous Satellites, University Paul-Sabatier, Toulouse, France, 2003

• Chahe Adourian, Bidirectional Integration Of Geometric And Dynamic Simulation Tools, McGill University, Montréal, Québec, 2010

• Christopher L. Plumlee, Application Development Process for GNAT, A SOC Networked System, University of New Hampshire, Durham, NH, 2008
• Tomasz Jankowski, An Architecture and Technology for Ambient Intelligence Node, University of New Hampshire, Durham, NH, 2008

• Computation for Humanity: Information Technology to Advance Society, Justyna Zander and Pieter J. Mosterman (editors), ISBN 9781439883273, 2013
• Real-time Simulation Technologies: Principles, Methodologies, and Applications, Katalin Popovici and Pieter J. Mosterman (editors), ISBN 9781439846650, 2012
• Model-Based Testing for Embedded Systems, Justyna Zander, Ina Schieferdecker, and Pieter J. Mosterman (editors), ISBN 9781439818459, 2011
• Discrete-Event Modeling and Simulation: Theory and Applications, Gabriel A. Wainer and Pieter J. Mosterman (editors), ISBN 9781420072334, 2010
• Model-Based Design for Embedded Systems, Gabriela Nicolescu and Pieter J. Mosterman (editors), ISBN 9781420067842, 2009
• Multi-Agent Systems: Simulation and Applications, Adelinde M. Uhrmacher and Danny Weyns (editors), ISBN 9781420070231, 2009
• Discrete-Event Modeling and Simulation: A Practitioner's Approach, Gabriel A. Wainer, ISBN 9781420053364, 2009

• Journal of Control Science and Engineering special issue on Fault Detection and Diagnosis of Wind Turbines, 2012, with Silvio Simani, Peter Fogh Odgaard, Ron J. Patton, and Jakob Stoustrup
• SIMULATION: Transactions of the Society for Modeling and Simulation International double special issue on Multi-Paradigm Modeling: Concepts and Tools, Volume 85, Number 11/12, November/December 2009, with Juan de Lara and Tihamér Levendovszky
• IEEE Transactions on Control Systems Technology special issue on Computer Automated Multi-Paradigm Modeling, Volume 12, Number 2, March, 2004, with Sebastian Engell
• ACM Transactions on Modeling and Computer Simulation special issue on Computer Automated Multi-Paradigm Modeling, Volume 12, Number 4, October, 2002, with Hans Vangheluwe

• International Journal of Critical Computer-Based Systems (2008 - )
• Applied Intelligence: The International Journal of Artificial Intelligence, Neural Networks, and Complex Problem-Solving Technologies (1997 - 2017)
• IEEE Conference on Control Applications (CCA 2013)
• 2nd International Conference on Control and Fault-Tolerant Systems (SysTol'13)
• IFAC Symposium on Fault Detection, Supervision and Safety for Technical Processes (SAFEPROCESS 2012)
• International Journal of Control and Automation (2008 - 2011)
• The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology (2005 - 2010)
• IEEE Transactions on Control Systems Technology (2003 - 2009)
• 2008 IEEE International Symposium on Computer-Aided Control Systems Design (2008)
• 2004 IEEE International Symposium on Computer-Aided Control Systems Design (2004)

• The Symposium on Theory of Modeling and Simulation (TMS'13), San Diego, CA, 2013, with Gabriel Wainer
• The Symposium on Theory of Modeling and Simulation (TMS'12), March 26-28, Orlando, FL, 2012, with Gabriel Wainer
• The Designing for Embedded Parallel Computing Platforms: Architectures, Design Tools, and Applications workshop at the Design Automation and Test in Europe Conference and Exhibition, April 24, Nice, France, 2009, with Mike Woodward, Cristina Silvano, Maryse Wouters, and Michael Hübner

• 2015 Bellairs CAMPaM workshop, the Twelveth International Workshop on Computer Automated Multiparadigm Modeling, January 30 - February 6, McGill University's Bellairs campus, Barbados, 2015, with Hans Vangheluwe
• 2014 Bellairs CAMPaM workshop, the Eleventh International Workshop on Computer Automated Multiparadigm Modeling, February 7-14, McGill University's Bellairs campus, Barbados, 2014, with Thomas Kühne and Hans Vangheluwe
• 2013 Bellairs CAMPaM workshop, the Tenth International Workshop on Computer Automated Multiparadigm Modeling, May 10-17, McGill University's Bellairs campus, Barbados, 2013, with Hans Vangheluwe
• 2012 Bellairs CAMPaM workshop, the Nineth International Workshop on Computer Automated Multiparadigm Modeling, April 28 - May 5, McGill University's Bellairs campus, Barbados, 2012, with Hans Vangheluwe
• 2011 Bellairs CAMPaM workshop, the Eighth International Workshop on Computer Automated Multiparadigm Modeling, April 15-22, McGill University's Bellairs campus, Barbados, 2011 with Thomas Kühne and Hans Vangheluwe
• 2010 Bellairs CAMPaM workshop, the Seventh International Workshop on Computer Automated Multiparadigm Modeling, April 11-17, McGill University's Bellairs campus, Barbados, 2010, with Hans Vangheluwe
• The Model-Based Design for Embedded Systems track at the Design Automation and Test in Europe Conference and Exhibition, April 20-24, Nice, France, 2009, with Ed Brinksma
• 2009 Bellairs CAMPaM workshop, the Sixth International Workshop on Computer Automated Multiparadigm Modeling, April 5-11, McGill University's Bellairs campus, Barbados, 2009, with Thomas Kühne and Hans Vangheluwe
• 2008 Bellairs CAMPaM workshop, the Fifth International Workshop on Computer Automated Multiparadigm Modeling, April 20-26, McGill University's Bellairs campus, Barbados, 2008, with Thomas Kühne and Hans Vangheluwe
• The Model-Based Design for Embedded Systems track at the Design Automation and Test in Europe Conference and Exhibition, March 10-14, Munich, Germany, 2008, with Ed Brinksma
• The Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools at the ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (MODELS 2007), October 2, Nashville, TN, 2007, with Tihamér Levendovszky and Juan de Lara
• The Computational Modeling and Simulation of Embedded Systems track (cfp) at the 2007 Summer Computer Simulation Conference (SCSC'07), July 15-18, San Diego, California, 2007, with Gabriela Nicolescu
• The Model-Based Design for Embedded Systems track at the Design Automation and Test in Europe Conference and Exhibition, April 16-20, Nice, France, 2007, with Janos Sztipanovits
• 2007 Bellairs CAMPaM workshop, the Fourth International Workshop on Computer Automated Multiparadigm Modeling, April 22-28, McGill University's Bellairs campus, Barbados, 2007, with Hans Vangheluwe
• The International Conference on High Level Simulation Languages and Applications (HLSLA'07), January 14-18, San Diego, CA, 2007, with Stanislaw Raczynski
• 2006 Bellairs CAMPaM workshop, the Third International Workshop on Computer Automated Multiparadigm Modeling, April 23-29, McGill University's Bellairs campus, Barbados, 2006, with Hans Vangheluwe
• 2005 Bellairs CAMPaM workshop, the Second International Workshop on Computer Automated Multiparadigm Modeling, April 17-23, McGill University's Bellairs campus, Barbados, 2005, with Hans Vangheluwe and Juan de Lara
• 2004 Bellairs CAMPaM workshop, the Inaugural International Workshop on Computer Automated Multiparadigm Modeling, April 25 - May 1, McGill University's Bellairs campus, Barbados, 2004, with Hans Vangheluwe
• DX-2003, the 14^th International Workshop on Principles of Diagnosis, June 11-14, Washington, D.C., USA, 2003, with Meera Sampath and Mugur Tatar

• Unplugged session at the Design, Automation & Test in Europe (DATE) conference, 2023
• 2019 MathWorks Asia Research Summit, Tokyo, Japan, September 6-7, 2019
• 2019 MathWorks Research Summit, Newton, MA, June 1-3, 2019
• 2018 MathWorks Asia Research Summit, Tokyo, Japan, September 7-8, 2018
• 2018 MathWorks Research Summit, Newton, MA, June 2-4, 2018
• 2017 MathWorks Asia Research Summit, Tokyo, Japan, November 2-3, 2017
• 2017 MathWorks Research Summit, Newton, MA, June 3-5, 2017
• 2016 MathWorks Asia Research Summit, Tokyo, Japan, September 30-October 1, 2016
• 2016 MathWorks Research Summit, Newton, MA, June 4-6, 2016
• 2015 MathWorks Asian Research Faculty Summit, Tokyo, Japan, November 8-9, 2015
• 2015 MathWorks Research Faculty Summit, Newton, MA, June 6-8, 2015
• Panel session on Critical Research Areas Driven by Industry Transformations organized with John Zhao and with panel members Koen Bertels, Axel Jantsch, Ahmed Jerraya, Ian O'Connor, and Joseph Sifakis at the Design, Automation & Test in Europe (DATE) conference in Grenoble, France, March 11, 2015
• 2014 MathWorks Asian Research Faculty Summit, Tokyo, Japan, November 14-15, 2014
• 2014 MathWorks Research Faculty Summit, Newton, MA, June 7-9, 2014
• 2013 MathWorks Research Faculty Summit, Newton, MA, June 1-3, 2013
• Research Faculty Advisory Track at the MathWorks Advisory Board meetings, Newton, MA, June 12-14, 2012
• Competition on Fault Detection and Fault Tolerant Control for Wind Energy in four parts
  • Part I: Fault Detection and Isolation of a Wind Turbine with results presented at the IFAC World Congress, Milano, Italy, 2011
  • Part II: Fault Tolerant Control of a Wind Turbine with results presented at the IFAC Safeprocess symposium, Mexico City, Mexico, 2012
  • Part III: Fault Detection and Isolation of a Wind Farm with results presented at the IEEE Conference on Decision and Control, Firenze, Italy, 2013
  • Part IV: Fault Tolerant Control of a Wind Farm with results presented at the IFAC World Congress, Cape Town, South Africa, 2014
  with Jakob Stoustrup and Peter Fogh Odgaard
• Tutorial session on Model-Based Design of Cyber Physical Systems at the Cyber-Physical Systems Week (CPSWeek) in Philadelphia, PA, April 8, 2013 with Marco Di Natale
• Panel session on The Future of CPS Education and Workforce Training—lessons learned and the road ahead with panel members Taskin Padir, Peter Marwedel, and Philip Koopman at the Cyber-Physical Systems Week (CPSWeek) in Philadelphia, PA, April 8, 2013
• Workshop on a New England Network of Excellence for Cyber-Physical Systems, MathWorks, Natick, MA, May 29, 2012 with Alex Wyglinski and Justyna Zander
• Tutorial session on "Processing Simulink Models with Graph Rewriting-Based Transformation," with speakers Péter Fehér and Pieter J. Mosterman at the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 2, 2012, with Péter Fehér, Tamás Mészáros, László Lengyel
• Plenary industry panel session on "Data Needs in Computational Modeling and Simulation—An Industry Perspective" with panel members Zubin Wadia, Mohamed Belkhayat, Philip C. Cooley, Judith C Spering, and Trevor Ament at the Science & Technology Directorate US Department of Homeland Security workshop on Grand Challenges in Modeling, Simulation, and Analysis for Homeland Security (MSAHS-2010).
• Panel session on "Designing Better Control Systems with Computational Models" moderated by T. John Koo and panel members John Baras, Roger Brockett, Christos Cassandras, and John Glass at the 2009 IEEE Conference on Decision and Control, with Arkadiy Turevskiy.
• Tutorial session on "Automatically Realising Embedded System from High-Level Functional Models" with speakers Christos Cassandras, Ahmed Jerraya, Wido Kruijtzer, Grant Martin, Don Orofino, Victor Reyes, and Janos Sztipanovits at the Design Automation and Test in Europe Conference and Exhibition, March 10, Munich, Germany, 2008
• Panel session on "Model Component Standardization and Certification" with panel members Roy Crosbie, Jeffrey Fong, Terry Ericsen, and Pedro Marcal at the International Conference on High Level Simulation Languages and Applications (HLSLA '07)
• Computer Automated Multi-Paradigm Modeling Special Session at the 2007 High Level Simulation Languages and Applications Conference (HLSLA'07)
• Invited session on Semantically Rich Control Systems Design Tools at the 2006 IEEE International Symposium on Computer-Aided Control Systems Design (CACSD 2006), with Jonathan Sprinkle
• Invited interactive session on Hybrid Dynamic Systems at the IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2006) with Christos Cassandras
• Panel session on "How do control system design engineers use models and simulation?" with panel members Lennart Ljung, Jonathan Sprinkle, and Albert Benveniste at the 2005 IEEE Conference on Decision and Control
• Panel session on "Challenges and Solution Techniques for Hybrid Simulation" with panel members Bert van Beek, Bruce Krogh, and Alberto Sangiovanni-Vincentelli at the 2004 IEEE Conference on Decision and Control, with Michael Clune
• Computer Automated Multi-Paradigm Modeling Special Session at the 13th IEEE International Symposium on Computer Aided Control System Design, with Jin-Shyan Lee
• Computer Automated Multi-Paradigm Modeling Special Session at the 2001 IEEE Conference on Control Applications, with Hans Vangheluwe and Jan Broenink
• Computer Automated Multi-Paradigm Modeling Special Sessions at the 2000 IEEE International Symposium on CACSD, with Hans Vangheluwe
  • Part I: Heterogeneous Modeling
  • Part II: Behavior Analysis
• Hybrid Systems Scientific Committee of Eurosim '98, with Jan Broenink

• Theory and Foundations of Modeling and Simulation conference (TMS'21) at the Annual Modeling and Simulation Conference (ANNSIM'21), Fairfax, VA, June 28, 2021, with Bernard P. Zeigler and Adelinde Uhrmacher

• 4^th Multi-Paradigm Modeling for Cyber-Physical Systems workshop (MPM4CPS) at the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2022), Montreal, Canada, October 23-28, 2022, with Hans Vangheluwe, Jeff Gray, and Vasco Amaral
3^rd Multi-Paradigm Modeling for Cyber-Physical Systems workshop (MPM4CPS) at the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2021), online, October 10, 2021, with Hans Vangheluwe, Jeff Gray, and Vasco Amaral 2^nd Multi-Paradigm Modeling for Cyber-Physical Systems workshop (MPM4CPS) at the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020), online, October 16-23, 2020, with Hans Vangheluwe, Jeff Gray, and Vasco Amaral 1^st Multi-Paradigm Modeling for Cyber-Physical Systems workshop (MPM4CPS) at the IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), Munich, Germany, September 15-20, 2019, with Hans Vangheluwe, Jeff Gray, and Vasco Amaral
• the Ninth International Workshop on Multi-Paradigm Modeling: Concepts and Tools (MPM'15) at the ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), Ottawa, Canada, September, 2015, with Vasco Amaral, Gabor Karsai, László Lengyel, and Hans Vangheluwe
• the Eighth International Workshop on Multi-Paradigm Modeling: Concepts and Tools (MPM'14) at the ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Valencia, Spain, September, 2014, with Vasco Amaral, Gabor Karsai, László Lengyel, Tihamér Levendovszky, and Hans Vangheluwe
• The 2014 Summer Simulation Multiconference (SummerSim'14), July 6-10, Monterey, CA, 2014, with Abdolreza Abhari, Francesco Longo, and Pere Vila
• The Symposium on Theory of Modeling and Simulation (TMS'14) at the 2014 Spring Simulation Multiconference (SpringSim'14), April 13-16, Tampa, FL, 2014, with Gabriel A. Wainer and Mamadou Kaba Traoré
• the Seventh International Workshop on Multi-Paradigm Modeling: Concepts and Tools (MPM'13) at the ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), Miami, FL, September 30, 2013, with Vasco Amaral, Gabor Karsai, László Lengyel, Tihamér Levendovszky, and Hans Vangheluwe
• the Sixth International Workshop on Multi-Paradigm Modeling: Concepts and Tools (MPM'12) at the ACM/IEEE 15th International Conference on Model Driven Engineering Languages and Systems (MODELS 2012), Innsbruck, Austria, October 1, 2012, with Vasco Amaral, Gabor Karsai, László Lengyel, Tihamér Levendovszky, and Hans Vangheluwe
• National Institute of Standards and Technology (NIST) CTO Roundtable on Cyber-Physical Systems: Building Safety, Security, Reliability, and Robustness into the Smart Systems of the Future, Washington, DC, June 18, 2012, with Isaac Cohen, David Corman, Jim Davis, Himanshu Khurana, Venkatesh Prasad, Janos Sztipanovits, Lonny Stormo, and Susan Ying
• National Institute of Standards and Technology (NIST) Foundations for Innovation in Cyber-Physical Systems Workshop, Rosemont, IL, March 13-14, 2012, with Isaac Cohen, David Corman, Jim Davis, Himanshu Khurana, Venkatesh Prasad, Janos Sztipanovits, Lonny Stormo, and Susan Ying
• the Fifth International Workshop on Multi-Paradigm Modeling: Concepts and Tools (MPM'11) at the ACM/IEEE 14th International Conference on Model Driven Engineering Languages and Systems (MODELS 2011), Wellington, New Zealand, October 16, 2011, with Juan de Lara, Gabor Karsai, Tihamér Levendovszky, and Hans Vangheluwe
• the Fourth International Workshop on Multi-Paradigm Modeling: Concepts and Tools (MPM'10) at the ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MODELS 2010), Oslo, Norway, October 3, 2010, with Juan de Lara, Gabor Karsai, and Tihamér Levendovszky

• Multimedia Star Innovator Award Board of the IEEE International Conference on Multimedia and Expo (ICME), July 8-12, Shanghai, China, 2019
• Best student paper of the Hybrid Systems: Computation and Control (HSCC'14) conference, April 15-17, Berlin, Germany, 2014
• Best Paper of the Symposium on Theory of Modeling and Simulation (TMS'12), March 26-28, Orlando, FL, 2012
• Outstanding Paper of IEEE Transactions on Control Systems Technology, 2007

• MDE in Practice track at the ACM/IEEE 18^th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)
• Tutorials track at the ACM/IEEE 18^th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015)
• MDE in Practice track at the ACM/IEEE 17^th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014)
• 25^th International Workshop on Principles of Diagnosis (DX'14)
• Embedded Software and Systems track at the 51^st Design Automation Conference (DAC 2014)
• 17^th International Conference on Hybrid Systems: Computation and Control (HSCC 2014)
• Complex Systems Design & Management (CSD&M'13)
• 2nd International Conference on Control and Fault-Tolerant Systems (SysTol'13)
• 2013 Workshop on Embedded and Cyber-Physical Systems Education (WESE'13) at Embedded Systems Week, 2013
• 24^th International Workshop on Principles of Diagnosis (DX-2013)
• 16^th International MODELS Conference: Model Driven Engineering Languages and Systems (MODELS 2013)
• The International Workshop on The Globalization of Modeling Languages (GEMOC 2013) at the 16^th International MODELS Conference: Model Driven Engineering Languages and Systems (MODELS 2013)
• The IEEE Conference on Control Applications (CCA 2013) at the 2013 IEEE Multi-Conference on Systems and Control (MSC 2013)
• The Second International Conference on Intelligent Systems and Applications (INTELLI 2013) at NexComm 2013
• 5th International Workshop on Equation-based Object-oriented Languages and Tools (EOOLT 2013)
• 16^th International Conference on Hybrid Systems: Computation and Control (HSCC 2013)
• 18^th IEEE International Conference on Parallel and Distributed Systems (ICPADS 2012)
• Time Analysis and Model-Based Design, from Functional Models to Distributed Deployments (TiMoBD 2012) workshop at the Embedded Systems Week
• The 6^th International Conference on Integrated Modeling and Analysis in Applied Control and Automation (IMAACA 2012) at the 9^th International Mediterranean and Latin American Modelling Multiconference (I3M2012)
• The 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2012)
• The 4^th IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2012)
• The The First International Conference on Intelligent Systems and Applications (INTELLI 2012) at NexComm 2012
• The 18^th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2012)
• 2011 IEEE International Conference on Intelligent Robotics, Automations and Applications (IRoA-11)
• The 22^nd International Workshop on Principles of Diagnosis (DX-2011)
• 30th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2011)
• 4th International Workshop on Equation-based Object-oriented Languages and Tools (EOOLT'11)
• The 5th International Conference on Integrated Modeling and Analysis in Applied Control and Automation (IMAACA 2011)
• Workshop on the Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'11) at the Seventh International Wireless Communications and Mobile Computing Conference (IWCMC'11)
• International Workshop for Formal Methods and Agile Methods (FM+AM'11)
at the 17th International Symposium on Formal Methods (FM 2011)
• The Symposium On Theory of Modeling and Simulation—DEVS Integrative M&S Symposium (DEVS'11)
• The International Symposium on Control and Automation (CA 2010)
• The 21^th International Workshop on Principles of Diagnosis (DX-10)
• The 4th International Conference on Integrated Modeling and Analysis in Applied Control and Automation (IMAACA 2010)
• Doctoral Symposium at ACM/IEEE 13th International Conference on Model Driven Engineering Languages and Systems (MoDELS '10)
• 3rd International Workshop on Equation-based Object-oriented Languages and Tools (EOOLT'10)
• International Workshop for Formal Methods and Agile Methods (FM+AM'10)
at the International Conference on Formal Engineering Methods (ICFEM'10)
• The Symposium on Very Large and Complex Systems at the International Conference on Grand Challenges in Modeling and Simulation (GCMS'10)
• The Modeling and Simulation of Dynamic Structure Systems track at the Summer Computer Simulation Conference (SummerSim2010)
• The IEEE Symposium on Industrial Embedded Systems (SIES 2010)
• The International Workshop on Formalization of Modeling Languages (FML 2010)
• The 7th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2010)
• The 8^th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2010)
• The Cyber-Physical Systems Track at the 2010 IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2010)
• The Symposium On Theory of Modeling and Simulation—DEVS Integrative M&S Symposium (DEVS'10)
• The Science & Technology Directorate US Department of Homeland Security workshop on Grand Challenges in Modeling, Simulation, and Analysis for Homeland Security (MSAHS-2010)
• The International Symposium on Control and Automation (CA 2009)
• International Workshop for Formal Methods and Agile Methods (FM+AM'09)
at the International Conference on Formal Engineering Methods (ICFEM'09)
• 3rd International Workshop on Equation-based Object-oriented Languages and Tools (EOOLT'09)
• 3rd Workshop on Multi-Paradigm Modeling: Concepts and Tools (MPM09)
• Doctoral Symposium at ACM/IEEE 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS '09)
• The First International Workshop on Critical Computer Based Systems (CCBS'09)
• The Conference on Grand Challenges in Modeling and Simulation (GCMS'09)
• The IEEE Symposium on Industrial Embedded Systems (SIES 2009)
• The 7th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes (IFAC SAFEPROCESS 2009)
• The 20^th International Workshop on Principles of Diagnosis (DX-09)
• The 6th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2009)
• The 7^th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2009)
• The Real-time and Embedded Applications, Benchmarks and Tools track at the 15^th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2009)
• The Second International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools 2009)
• The SPIE Defense, Security, and Sensing conference program track on Unmanned, Robotic, and Layered Systems topic of Industrial Robotics and Manufacturing, 2009
• The 2008 International Conference on Control and Automation (CA 2008), Hainan Island, China, December 13-15, 2008
• The Fault-Diagnostics track of the International Conference on Prognostics and Health Management 2008 (PHM 2008)
• Doctoral Symposium at ACM/IEEE 11th International Conference on Model Driven Engineering Languages and Systems (MoDELS '08)
• 2008 IEEE International Symposium on Computer Aided Control System Design (CACSD 2008)
• Workshop on Equation-based Object-oriented Languages and Tools (EOOLT'08)
• The 19^th International Workshop on Principles of Diagnosis (DX-08)
• The 18^th European Conference on Artificial Intelligence (ECAI 2008)
• The 6^th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems (MSVVEIS 2008)
• The 22^nd European Conference on Modelling and Simulation (ECMS 2008)
• The First International Conference on Simulation Tools and Techniques for Communications, Networks and Systems (SIMUTools 2008)
• The 5th International Conference on Informatics in Control, Automation and Robotics (ICINCO 2008)
• The 4^th Workshop on Object-oriented Modeling of Embedded Real-Time Systems (OMER 4)
• The Second International Conference on Performance Evaluation Methodologies and Tools (VALUETOOLS 2007)
• Workshop on Equation-based Object-oriented Languages and Tools (EOOLT'07)
• The 18^th International Workshop on Principles of Diagnosis (DX-07)
• The 4th International ICSE workshop on Software Engineering for Automotive Systems (SEAS 2007)
• The 3rd International Conference on Integrated Modeling & Analysis in Applied Control & Automation (IMAACA 2007)
• 14th AI, Simulation and Planning in High Autonomy Systems Conference (AIS) and the 3rd Conceptual Modeling and Simulation Conference (CMS), 2007
• Workshop on Multi-Paradigm Modeling: Concepts and Tools (MPM06), 2006
• 2006 SCS International Conference on Modeling and Simulation - Methodology, Tools, Software Applications (M&S-MTSA'06)
• The Modelling and Simulation Methodologies track at the 20th European Conference on Modelling and Simulation (ECMS 2006)
• 9. Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2006)
• 2^nd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS 2006)
• 17^thInternational Workshop on Principles of Diagnosis (DX-06)
• ICSE 3rd International Workshop on Software Engineering for Automotive Systems (SEAS 2006)
• The International Conference on Integrated Modeling & Analysis in Applied Control & Automation (IMAACA2005)
• 16^thInternational Workshop on Principles of Diagnosis (DX-05)
• 19^thInternational Workshop on Qualitative Reasoning (QR-05)
• International Embedded and Hybrid Systems Conference (IEHSC 2005)
• The 5^th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT 2004)
• The International Conference on Integrated Modeling & Analysis in Applied Control & Automation (IMAACA2004)
• Conference on Conceptual Modeling and Simulation (CSM2004)
• 15^thInternational Workshop on Principles of Diagnosis (DX-2004)
• 2004 IEEE International Symposium on Computer Aided Control Systems Design (CACSD04)
• IFAC Conference on Analysis and Design of Hybrid Systems (ADHS03)
• 8. Fachtagung Entwurf komplexer Automatisierungssysteme (EKA 2003)
• International Workshop on Principles of Diagnosis (DX-02)
• 5^th Portuguese Conference on Automatic Control (CONTROLO 2002)
• Hybrid Systems: Computation and Control 2002 (HSCC 2002)
• Fifth World Multi-Conference on Systemics, Cybernetics and Informatics
• 2000 IEEE International Symposium on Computer Aided Control System Design
• Fourth World Multiconference on Systemics, Cybernetics and Informatics
• Eleventh International Workshop on Principles of Diagnosis
• IEEE SoutheastCon 2000
• Tenth International Workshop on Principles of Diagnosis

• The IFAC Technical Committee on:
  • 1.3: Discrete Event and Hybrid Systems (2005 - )
  • 4.2: Mechatronic Systems
  • 6.4: Fault Detection, Supervision and Safety of Technical Processes, Safeprocess (2003 - )
  • 3.1: Computers for Control ( - 2014)
  • Computer Aided Control System Design (2000 - 2002)
• The IEEE Control Systems Society Technical Committee on Hybrid Systems (2014 - )
• The IEEE Technical Committee on Computer-Aided Control Systems Design (1998 - )
• The Design Group of the Modelica language for modeling physical systems (1997 - 1999)

• the Natural Sciences and Engineering Research Council of Canada
• the National Science Foundation (2011)
• the European Commission Seventh Framework Programme (2009)

• Natural Sciences and Engineering Research Council of Canada (NSERC) Discovery Grants competition
• National Science Foundation (NSF)
• Department of Homeland Security
• European Commission
• Netherlands Organisation for Scientific Research (NWO)
• Swiss National Science Foundation (SNSF)

• Globalizing Domain-Specific Languages, 2014
• The Pacemaker Challenge: Developing Certifiable Medical Devices, 2014
• Meta-Modeling Model-Based Engineering Tools, 2013
• Architecture-Driven Semantic Analysis of Embedded Systems, 2012
• Models@run.time, 2011
• Science and Engineering of Cyber-Physical Systems, 2011
• Verification over Discrete-Continuous Boundaries, 2010
• Software Engineering for Self-Adaptive Systems, 2008
• Model-Based Engineering of Embedded Real-Time Systems, 2007
• Quantitative Aspects of Embedded Systems, 2007
• Verification and Simulation of Dynamic Systems, 2006
• Grand Challenges for Modeling and Simulation, 2002

• "Cyber-Physical Systems Safety," Claire Vishik (organizer), at the Exploring the Dimensions of Trustworthiness: Challenges and Opportunities Workshop, National Institute of Standards and Technology (NIST), Gaithersburg, MD, August 30, 2016
• "Debate—Regulators should not specify acceptable necessary and sufficient evidence for assurance of software-intensive systems within their domain," Alan Wassyng (organizer), at the 16^th Software Certification Consortium Meeting (SCC Meeting #16), Philadelphia, PA, January 12, 2016
• "The role of robustness in hybrid systems," Martin Fränzle (organizer), at the 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014), Berlin, Germany, April 15, 2014
• Industry Panel: "Modeling Complex Industrial Systems," Alessandro Pinto (organizer), at the Embedded Systems Week, Montreal, Canada, October 1, 2013
• "Software Design Methodology Research in the Age of Big Data and Flying Robots" at the Expeditions in Computer Augmented Program Engineering (ExCAPE) Annual Principal Investigators Meeting, University of California, Berkeley, CA, June 10, 2013
• "Industrial Session" at the 19th IEEE Real-Time and Embedded Technology and Applications Symposium, Philadelphia, PA, April 10, 2013
• "Design and Manufacturing Panel" at the NSF Cyber-Physical Systems Principal Investigators' Meeting, Washington, DC, October 4, 2012
• "Technology and Service Provider Perspectives Panel" at the CTO Roundtable on Cyber-Physical Systems: Building Safety, Security, Reliability, and Robustness into the Smart Systems of the Future, Washington, DC, June 18, 2012
• "Requirements from industry on M@RT," Uwe Aßmann (organizer), at the Models@run.time (M@RT) Dagstuhl Seminar, November 29, 2011
• "Conversation with Government and Industry: Health and Medical CPS Government/Industry panel discussion," Helen Gill (organizer), at the Cyber-Physical Systems (CPS) Principal Investigator Meeting, National Harbor, MD, August 1, 2011
• "Cross-Disciplinary Cyber-Physical Systems Challenges," Raj Rajkumar and Bruce Krogh (organizers), at the Workshop on Challenges for a Cyber-Physical Systems Community during the NSF Cyber-Physical Systems Information Day, Arlington, VA, December 15, 2008
• "State-of-the-art simulations, models, tools and methods for representing and analyzing critical infrastructure," Nabil R. Adam (organizer), Science & Technology Directorate U.S. Department of Homeland Security Workshop on Future Directions in Critical Infrastructure Modeling & Simulation, Virginia Modeling, Analysis and Simulation Center (VMASC), Suffolk, Virginia, October 28-30, 2008
• "Real-Time and Non Real-Time Simulation Needs for Marine Applications," Narain G. Hingorani and Roy Crosbie (organizers), Huntsville Simulation Conference, Huntsville, AL, October 20, 2004
• "Modeling & Simulation Trends: Identifying Promising Contenders," David Gross, Hessam Sarjoughian, and William Tucker (organizers), Arizona State University, Tempe, AZ, October 14, 2004

"A study of cyber-physical system design activity to consider opportunity for AI assistance,"

ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 2022), Montreal, Canada, October 23-28, 2022

"Model-Based Design for AI in IoT enabled Intelligent Systems,"

63rd IEEE International Midwest Symposium on Circuits and Systems (MWSCAS 2020), Springfield, Massachusetts, August 9-12, 2020

"A Changing Technology Landscape With Value Drivers for Modeling & Simulation,"

MODSIM World 2017, Virginia Beach, Virginia, April 26-28, 2017

"A Changing Technology Landscape With Value Drivers for Modeling & Simulation,"

2017 Spring Simulation Multi-Conference (SpringSim'17), Virginia Beach, Virginia, April 23-26, 2017

"Value Drivers in a Changing Landscape of Modeling & Simulation,"

2016 Summer Simulation Multi-Conference (SummerSim'16), Montreal, Quebec, Canada, July 24-27, 2016

"Design of Behaviors that Bridge the Growing Function to Physics Divide,"

28th Euromicro Conference on Real-Time Systems (ECRTS16), Toulouse, France, July 5-8, 2016

"Engineered System Design and Integration—a semantic domain for modeling cyber-physical systems,"

Forum on specification & Design Languages (FDL'13), Paris, France, September 24, 2013

"System integration at the model level—a semantic domain for Cyber-Physical System modeling paradigms,"

Network for the Engineering of Complex Software-Intensive Systems for Automotive Systems (NECSIS) Workshop, Montreal, Canada, June 18, 2013

"Modeling Approximations of Computational Semantics for Cyber-Physical System Design,"

Challenge Workshop on Tools for Modelling, Simulation and Optimization (MSO) of Multiphysics Systems, Berlin, Germany, September 24-26, 2012

"Model Transformations and Testing in Model-Based Design of Cyber-Physical Systems,"

Verification and validation Of model Transformations (VOLT 2012) workshop at the Fifth International Conference on Software Testing, Verification and Validation (ICST 2012), Montréal, Canada, April 21, 2012

"Analyzing Execution Semantics of High-level Formalisms for Modelling Hybrid Dynamic Systems,"

Hybrid Autonomous Systems (HAS 2012) workshop at the European Joint Conference on Theory & Practice of Software (ETAPS 2012), Tallinn, Estonia, March 31, 2012

"Advancing Model-Based Design by Modeling Approximations of Computational Semantics,"

4^th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools (EOOLT 2011), Zürich, Switzerland, September 5, 2011

"Opportunity in Embracing Imperfection: Is simulation the real thing?"

2011 Bellairs Computer Automated Multi-Paradigm Modeling workshop (CAMPaM '11), Bellairs, Barbados, April 15-22, 2011

"Embracing Opportunity in Imperfection: Is simulation the real thing?"

2011 Spring Simulation Multiconference (SpringSim '11), Boston, MA, April 4-7, 2011

"A Computational Semantics of Time-Based Models and Its Role in Model-Based Design,"

10th International Forum on Embedded MPSoC and Multicore (MPSoC'10), Gifu city, Gifu, Japan, June 28 - July 2, 2010

"Towards Computational Hybrid System Semantics for Block Diagrams,"

Ecole d'hiver Francophone sur les Technologies de Conception des Systèmes embarqués Hétérogènes (fetch2010), Chamonix - Mont Blanc, France, January 11-13, 2010

"Model-Based Design at an Enterprise Level: New directions in modeling and simulation research,"

The 48th Conference on Simulation and Modelling, Göteborg (Särö), Sweden, October 29-31, 2007

"Model-Based Design of Embedded Systems,"

2007 International Conference on Microelectronic Systems Education, San Diego, CA, 3-4 June, 2007

"Hybrid Dynamic Systems in Control Design: Application to the Automotive Industry,"

11th Online World Conference on Soft Computing in Industrial Applications, September 18 - October 6, 2006

"Advanced Technologies to Accelerate Mixed Signal Simulation,"

17th IEEE International Workshop on Rapid System Prototyping, Chania, Crete, June, 2006

"It is about time to consider physics in software systems,"

2012 Bellairs Computer Automated Multi-Paradigm Modeling workshop (CAMPaM '12), Bellairs, Barbados, April 28 - May 5, 2012

"A Model of Time to Characterize a Computational Framework for the Design of Cyber-Physical Systems,"

The 2nd International Symposium on Interdisciplinary Modelling of Cyber-Physical Systems (IM-CPS 2011), Manchester, UK, May 25-27, 2011

"Towards Computational Hybrid System Semantics for Time-Based Block Diagram Modeling,"

3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), Zaragoza, Spain, September 16-18, 2009

"Challenges and Solution Techniques for Hybrid Simulation: An Introduction,"

International Modeling and Simulation Multiconference 2007 (IMSM07), Buenos Aires, Argentina, February 8-10, 2007

"Model-Based Design of a Power Window System: Modeling, Simulation, and Validation,"

The International Conference on High Level Simulation Languages and Applications (HLSLA'07), San Diego, CA, January 14-18, 2007

"Computational Design Using MATLAB® and Simulink®,"

2^nd Annual Computation Day, The Pennsylvania State University, February 28, 2006

"Advanced Technologies to Accelerate Mixed Signal Simulation,"

Canadian Workshop on System-on-Chip, Ottawa, Ontario, Canada, October, 2005

"Mode Transition Behavior in Hybrid Dynamic Systems,"

NWO Workshop on Mathematical Modeling of Open Dynamical Systems, Enschede, September 21-23, 2000 (also available in compressed Powerpoint format)

"Simulation Technologies for Hybrid Dynamic Systems,"

Dutch Institute of Systems and Control (DISC) "Summer School on Modeling and Control of Hybrid Systems", under the flag of the Dutch Insitute of Systems and Control (DISC) and the IEEE Technical Committee on Hybrid Systems, Eindhoven, Netherlands, June 26, 2003, advanced topic speaker

"Mode Transition Behavior in Hybrid Dynamic Systems,"

Dutch Institute of Systems and Control (DISC) "Summer School on Modeling and Control of Hybrid Systems", under the flag of the Dutch Insitute of Systems and Control (DISC) and the IEEE Technical Committee on Hybrid Systems, Eindhoven, Netherlands, June 26, 2003, advanced topic speaker

"Qualitative Bond Graphs for Fault Detection and Isolation Design,"

5^th Vacation School of the Network for Development and Applications of Methods for Actuator Diagnosis in Industrial Control Systems (DAMADICS) on "Structural Analysis and Bond Graph", Lille, France, April 10, 2003, guest lecturer

"Modeling complex engineered systems in industry using MATLAB and Simulink,"

University of Antwerp, Antwerp, Belgium, December 16, 2016

"Computation in Model-Based Design for Cyber-Physical Systems,"

Zurich University of Applied Sciences, Winterthur, Switzerland, September 7, 2011

"A Model of Time to Characterize a Computational Framework for the design of Cyber-Physical Systems,"

Eidgenössische Technische Hochschule Zürich (ETH Zurich), Zürich, Switzerland, September 5, 2011

"Towards Computational Hybrid System Semantics for Time-Based Block Diagram Modeling,"

Polytechnique Montréal, Montreal, Canada, March 22, 2010

"Hybrid Dynamic System Simulation Technologies,"

Universität Rostock, Rostock, Germany, November 15, 2007

"An Overview of Hybrid Dynamic System Behaviors and Simulation Technology,"

Universität Rostock, Rostock, Germany, November 14, 2007

"An Overview of Hybrid Dynamic System Behaviors and Simulation Technology,"

Ruhr-Universität Bochum, Bochum, Germany, November 13, 2007

"Computational Models for the Design of a Power Window Control System,"

Georgia Institute of Technology, Atlanta, GA, September 28, 2007

"Model-Based Design of Embedded Systems,"

Guest Lecture, University of Tennessee, Knoxville, TN, September 27, 2007

"MATLAB® and Simulink® for Embedded System Design,"

FPGA-based Systems Engineering: Chip-scale to the Global-scale course organized by Andrzej Rucinski for the IEEE Boston Section, Woburn, MA, May 9, 2007

"Mode Transition Behavior in Hybrid Dynamic Systems,"

Distinguished lecturer in the Spring 2007 Lecture Series held at the Electrical Engineering and Computer Science Department of Vanderbilt University

"Computer Automated Multi-Paradigm Modeling,"

Guest Lecture, Computer Science and Engineering Department, Arizona State University, AZ, October 15, 2004

"Graphical Syntactic Extensions of Haskell for Block Diagrams,"

Precise Behavioral Semantics for Domain Specific Modeling Languages Object Management Group (OMG) workshop, Jacksonville, Florida, September 25, 2007

"MATLAB® and Simulink® for Embedded System Design,"

Design, Automation and Test in Europe Conference & Exhibition, "Simulink® for Design and Programming Multiprocessor SoC" tutorial, Nice, France, April 16, 2007

"Model-Based Design—An overview and research,"

Quantitative Aspects of Embedded Systems Dagstuhl Seminar, Boudewijn Haverkort, Joost-Pieter Katoen, and Lothar Thiele (organizers), Dagstuhl, Germany, March 7, 2007

"Simulink®—An Introduction to the Technology,"

International Conference on Modeling and Simulation—Methodology, Tools, Software Applications (M&S-MTSA'06), Calgary, Canada, August 1, 2006

"Issues in Advanced Mixed-Signal Simulation,"

Tutorial, 43rd Design Automation Conference, "Tools for Hybrid Embedded Systems: Modeling, Verification, and Design" tutorial, San Francisco, California, July 28, 2006

"Exploring Cyber-Physical Systems in Smart Emergency Response,"

School of Computer Science Colloquium, McGill University, Montreal, Canada, September 19, 2014

"Principles of Engineered System Design and Challenges for Cyber-Physical Systems,"

Center for Information & Systems Engineering Seminar, Boston University, Boston, MA, October 25, 2013

"Executing models in less time—some solver insight,"

• MathWorks Seminar, Greifensee, Switzerland, September 8, 2011
• MathWorks Seminar, Turgi, Switzerland, September 6, 2011

"Towards Computational Hybrid System Semantics for Time-Based Block Diagram Modeling,"

School of Computer Science Colloquium, McGill University, Montreal, Canada, March 19, 2010

"Towards Computational Hybrid System Semantics for Block Diagrams,"

Institute of Automatic Control Engineering, Technische Universität Muenchen, Munich, Germany, September 23, 2009

"Engineering cyber-physical systems: a strategic outlook,"

United Technologies Research Center (UTRC), East Hartford, CT, August 13, 2008

"Computational Models for the Design of a Power Window Control System,"

Seminar, Seoul National University, Seoul, South Korea, July 9, 2008

"Model-Based Design—What it is and what it still needs,"

• National Tsing Hua University, Hsinchu, Taiwan, July 15, 2008
• Yeungnam University, Gyeongsan, South Korea, July 10, 2008
• National University of Defense Technology, Changsha, China, July 2, 2008
• United Nations University, Macau, June 30, 2008
• Shantou University, Shantou, China, June 26, 2008
• Tsinghua University, Bejing, China, June 23, 2008

"Model-Based Design of a Power Window System: Modeling, Simulation, and Validation,"

• Massachusetts Institute of Technology, Independent Activity Period (IAP), Cambridge, MA, January 19, 2007
• CHESS Seminar, University of California, Berkeley, Berkeley, CA, April 8, 2008

"Simulink®—An Introduction to the Technology,"

Grenoble Institute of Technology (INPG), Grenoble, France, January 10, 2008

"Advanced Technologies to Accelerate Mixed Signal Simulation,"

Verification and Simulation of Dynamic Systems Dagstuhl Seminar, Corrado Priami, Hanne Riis Nielson, David Nicol, Harald Ruess, and Adelinde Uhrmacher (organizers), Dagstuhl, Germany, April 18, 2006

"An Industrial Embedded Control System Design Process,"

Embedded Systems Group Seminar, Department of Systems and Computer Engineering, Carleton University, Ottawa, ON, Canada, October 13, 2005

"MATLAB®/Simulink® in Mechanical Engineering,"

Mechanical Engineering Department, University of Aveiro, Aveiro, Portugal, November 29, 2004

"Mode Transition Behavior in Hybrid Dynamic Systems,"

• Center for Hybrid and Embedded Software Systems (CHESS) Seminar, Department of Electrical Engineering and Computer Sciences, University of California, Berkeley, Berkeley, August 16, 2005
• Department of Biochemical and Chemical Engineering, University of Dortmund, Dortmund, Germany, December 1, 2004
• Laboratory for Analysis and Architecture of Systems, Toulouse, France, January 24, 2003
• Computer Science Department, McGill University, Montreal, Canada, May 27, 2002
• Seminar, Department of Chemical Engineering, Massachusetts Institute of Technology, MA, April 18, 2002

"Multi-formalism Modeling and Simulation Using MATLAB®/Simulink®,"

Computer Science Department, McGill University, Montreal, Canada, September 17, 2004

"On Multi-Paradigm Modeling,"

Grand Challenges for Modeling and Simulation, Richard Fujimoto, Dell Lunceford, Ernest Page, and Adelinde Uhrmacher (organizers), Dagstuhl, Germany, August 29, 2002

"Model-Based Design of a Power Window System: Modeling, Simulation, and Validation,"

• The MathWorks, Inc. Seminar, Indiana, IN, August 15, 2002
• The MathWorks, Inc. Seminar, Novi, MI, August 13, 2002

"Simulink® Power Window Controller Specification,"

• The MathWorks, Inc. Seminar, Troy, MI, February 14, 2002
• The MathWorks, Inc. Seminar, Novi, MI, February 12, 2002

"Hybrid Bond Graphs,"

Seminar, Electrical Engineering Department, Technical University Twente, Enschede, Netherlands, 2001

"Qualitative Model Based Diagnosis of Abrupt Faults,"

Seminar, Institute of Control Engineering, Technical University of Hamburg-Harburg, Hamburg-Harburg, Germany, 2001

"Modeling Discontinuities in Physical System Behavior: A hybrid bond graph approach,"

• Seminar, Computer Science Department, Vanderbilt University, Nashville, TN, 1996
• Seminar, Hewlett-Packard Labs, Palo Alto, CA, 1996

"A study of cyber-physical system design activity to consider opportunity for AI assistance,"

DARPA Symbiotics program Principal Investigators meeting, online, October 21, 2021

"Model-based Design for Controls, AI, and Communications in Intelligent Systems,"

Design, Automation and Test in Europe (DATE 2019), industry presentation, Ingo Sander and Sander Stuijk (Chairs), Florence, Italy, March 28, 2019

"Safety in Freely-Composed Cyber-Physical Systems—Challenges and Opportunities," [video recording] with Akshay Rajhans

Exploring the Dimensions of Trustworthiness: Challenges and Opportunities Workshop, Edward Griffor (Program Chair), National Institute of Standards and Technology (NIST), Gaithersburg, MD, August 30, 2016

"Cyber-Physical System Ensembles: Analyzing Needs and Enabling Opportunity,"

Cyber-Physical Systems Week (CPS Week 2016), industry presentation, Radu Grosu and Thomas A. Henzinger (General Chairs), Vienna, Austria, April 12, 2016

"Requirements Based Model Complexity Selection," with Zhihao Jiang

Software Certification Consortium Meeting #16: "Necessary and Sufficient Safety Assurance Evidence", Alan Wassyng (Program Chair), Philadelphia, PA, January 11, 2016

"Smart emergency response: cyber-physical system opportunities, needs, and directions," with Justyna Zander, Taskin Padir, Yan Wan, and Shengli Fu

NSF Expeditions in Augmented Program Engineering (ExCAPE) Annual Meeting, Rajeev Alur (Program Chair), Cambridge, MA, June 21, 2015

"A Heterogeneous Fleet of Vehicles for Automated Humanitarian Missions," with Enes Bilgin (presenter), David Escobar Sanabria, Kun Zhang, and Justyna Zander

INFORMS Annual Meeting (Bridging Data and Decisions), Candace A. Yano (General Chair), San Francisco, CA, November 12, 2014

"Model-Based Design and Medical Devices,"

The Pacemaker Challenge: Developing Certifiable Medical Devices Dagstuhl Seminar, Dominique Méry, Bernhard Schätz, Alan Wassyng (organizers), Dagstuhl, Germany, February 5, 2014

"Heterogeneous Function Composition in Embedded Software Synthesis to Eliminate Direct Relations Between Components,"

2013 Workshop on Software Synthesis (WSS) at the Embedded Systems Week, Montreal, Canada, October 4, 2013

"Implications and challenges of opening up the embedded world to cyber-physical systems,"

[video recording]

19th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS) Industrial Session, Philadelphia, PA, April 10, 2013

"Verification of Stiff Hybrid Systems by Modeling the Approximations of Computational Semantics,"

Workshop on System Design meets Equation-based Languages, Lund, Sweden, September 19-21, 2012

"Approximating physics in the design of technical systems,"

Architecture-Driven Semantic Analysis of Embedded Systems Dagstuhl Seminar, Peter Feiler, Jérôme Hugues, Oleg Sokolsky (organizers), Dagstuhl, Germany, July 3, 2012

"Putting the physics in the design of Cyber-Physical Systems,"

Science and Engineering of Cyber-Physical Systems Dagstuhl Seminar, Holger Giese, Bernhard Rumpe, Bernhard Schätz, and Janos Sztipanovits (organizers), Dagstuhl, Germany, November 2, 2011

"Heterogeneous Function Composition to Eliminate a Class of Direct Relationships in Software Components of Dynamic Systems,"

ArtistDesign workshop on Foundations and Applications of Component-based Design (WFCD), Scottsdale, AZ, October 24, 2010

"On Computational Semantics as a Precise Foundation of an Industrial Toolchain for Analysis and Design of Multi-domain Systems,"

closing talk at the 6^th User Committee meeting of the Innovative Research Program (IOP) Software Generation, MathWorks, Eindhoven, Netherlands, October 7, 2010

"Computation of Things: Challenges and Solutions for the Needs of Humanity" with Justyna Zander,

H+ Summit @ Harvard—Rise of the Citizen-Scientist, David Orban (organizer), Cambridge, MA, June 13, 2010

"Data Needs in Computational Modeling and Simulation—An Industry Perspective,"

introduction to a plenary industry panel at the Science & Technology Directorate US Department of Homeland Security workshop on Grand Challenges in Modeling, Simulation, and Analysis for Homeland Security, Arlington, VA, March 17, 2010

"Software Synthesis for Control System Algorithms in Industrial Applications,"

Model Driven Development for Safe and Dependable Embedded Systems—Solutions, requirements and experiences in the MathWorks and OMG Worlds workshop, Silvia Mazzini (organizer), Pisa, Italy, September 21, 2009

"Model-Based Design of Cyber-Physical Systems,"

panel on "Cross-Disciplinary Cyber-Physical Systems Challenges", Raj Rajkumar and Bruce Krogh (organizers), at the Workshop on Challenges for a Cyber-Physical Systems Community during the NSF Cyber-Physical Systems Information Day, Arlington, VA, December 15, 2008

"Modeling Cross-domain Cascading Infrastructure Effects—a View,"

panel on "State-of-the-art simulations, models, tools and methods for representing and analyzing critical infrastructure", Nabil R. Adam (organizer), Science & Technology Directorate of the U.S. Department of Homeland Security workshop on Future Directions in Critical Infrastructure Modeling & Simulation, Virginia Modeling, Analysis and Simulation Center (VMASC), Suffolk, Virginia, October 29, 2008

"A Cyber-Physical Systems Perspective,"

1st Workshop on Cyber-Physical Systems: Closing the Loop during the Embedded Systems Week, Atlanta, Georgia, October 23, 2008, invited talk

"Model-Based Design—Unpolished,"

Software Engineering for Self-Adaptive Systems Dagstuhl Seminar, Betty H. C. Cheng, Rogerio de Lemos, Holger Giese, Paola Inverardi, and Jeff Magee (organizers), Dagstuhl, Germany, January 17, 2008

"Model-Based Design of Embedded Systems,"

Model-Based Engineering of Embedded Real-Time Systems Dagstuhl Seminar, Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, and Bernhard Schätz (organizers), Dagstuhl, Germany, November 7, 2007

"Model-Based Embedded System Design,"

Quantitative Aspects of Embedded Systems Dagstuhl Seminar, Boudewijn Haverkort, Joost-Pieter Katoen, and Lothar Thiele (organizers), Dagstuhl, Germany, March 5, 2007

"Challenges and Solution Techniques for Hybrid Simulation: Introduction,"

panel on "Challenges and Solution Techniques for Hybrid Simulation," at the 43^rd IEEE Conference on Decision and Control, Pieter J. Mosterman and Michael Clune (organizers), December 14, 2004

"Using Simulink® in Marine Applications,"

panel on "Real-Time and Non Real-Time Simulation Needs for Marine Applications," at The Huntsville Simulation Conference 2004, Narain G. Hingorani and Roy Crosbie (organizers), October 20, 2004

"Computer Automated Multi-Paradigm Modeling: Simulation as an operation on models,"

invited workshop on "Modeling & Simulation Trends: Identifying Promising Contenders," David Gross, Hessam Sarjoughian, and William Tucker (organizers), Arizona State University, Tempe, AZ, October 14, 2004

"Simulink® Power Window Controller Specification,"

invited workshop on Computer Automated Multi-paradigm Modeling, Pieter J. Mosterman and Hans Vangheluwe (organizers), McGill University's Bellairs campus, Barbados, April 27, 2004

Tao Cheng, Pieter J. Mosterman, Haihua Feng, and Fu Zhang

Systems and methods for co-simulation, US Patent #11,216,604, issued January 4, 2022

Haihua Feng, Tao Cheng, John E. Ciolfi, Pieter J. Mosterman, and Fu Zhang

Systems and methods for automatically realizing models for co-simulation, US Patent #11,042,675, issued June 22, 2021

Kiran K. Kintali, Shomit Dutta, E. Mehran Mestchian, and Pieter J. Mosterman

Systems and methods for measuring error in terms of unit in last place, US Patent #10,936,769, issued March 2, 2021

Andrew C. Grace, Michael H. McLernon, Murali Yeddanapudi, Ramamurthy Mani, Pieter J. Mosterman, Michael I. Clune, and Meera S. Atreyam

Graphical representation of ports of multiple types, US Patent #10,824,400, issued November 3, 2020

Suat Gumussoy, Pieter J. Mosterman, and Ahmet Ozdemir

Discretization of a model of a system or a portion of the model using system inputs and outputs, US Patent #10,817,629, issued October 27, 2020

Pieter J. Mosterman and Justyna Zander

Identification and correction of temporal ages in separate signal paths of a graphical model, US Patent #10,810,790, issued October 20, 2020

Fu Zhang, Robert O. Aberg, Murali K. Yeddanapudi, John E. Ciolfi, Pieter J. Mosterman, and Zhi Han

Graph-based partitioning of dynamic system execution, US Patent #10,740,514, issued August 11, 2020

Fu Zhang, Zhi Han, Pieter J. Mosterman, William J. Aldrich, Ebrahim Mehran Mestchian, Denizhan N. Alparslan, and Richard Hyde

Model structure analysis with integration of transformed slice, US Patent #10,719,645, issued July 21, 2020

Joseph R. Bienkowski, Pieter J. Mosterman, and Jay Ryan Torgerson

Tentative model components, US Patent #10,460,047, issued October 29, 2019

Mojdeh Shakeri, Michael D. Tocci, John E. Ciolfi, Ebrahim Mehran Mestchian, and Pieter J. Mosterman

Model ring component, US Patent #10,365,897, issued July 30, 2019

Justyna Zander, Zijad Galijasevic, Pieter J. Mosterman, and David Koh

Automatic generation of models from detected hardware, US Patent #10,360,052, issued July 23, 2019

Ravi Vompolu, Ivan Garcia, Gareth Thomas, Paul Cox, Ebrahim Mestchian, and Pieter J. Mosterman

Determining functional equivalence of configurations of a model

• US Patent #11,182,132, issued November 23, 2021
• US Patent #10,275,227, issued April 30, 2019

Srinath Avadhanula, Pieter J. Mosterman, and Ebrahim Mestchian

Defining attributes of variables in a state chart of a technical computing environment, US Patent #10,235,140, issued March 19, 2019

Nathan E. Brewton, Jean-Yves Brunel, Alan Moore, and Pieter J. Mosterman

Modeling a physical component interface in a unified modeling language model, US Patent #10,181,059, issued January 15, 2019

Xianchao Long, Justyna Zander, David Koh, Gautam K. Vallabha, and Pieter J. Mosterman

Exchanging information among system middleware and models,

• US Patent #10,833,928, issued November 10, 2020
• US Patent #10,116,500, issued October 30, 2018

Srinath Avadhanula, Pieter J. Mosterman, and Ebrahim Mestchian

Implicit event broadcast in a state chart of a technical computing environment, US Patent #10,055,203, issued August 21, 2018

Pieter J. Mosterman, Matthew J. Simoneau, Edward W. Gulley, Jay R. Torgerson, and Andrew C. Grace

Enriched video for a technical computing environment, US Patent #9,729,843, issued August 8, 2017

Joseph Bienkowski, Pieter Johannes Mosterman, Ian Noell, and David Alexander McGraw

Analyzing information associated with logic, US Patent #9,678,718, issued June 13, 2017

Pieter J. Mosterman, Peter S. Szpak, Jay R. Torgerson, Daniel F. Higgins, and Paul F. Kinnucan

Generic human machine interface for a graphical model, US Patent #9,672,389, issued June 6, 2017

John E. Ciolfi, Pieter J. Mosterman, Jay R. Torgerson, Daniel F. Higgins, and Paul F. Kinnucan

Linking of model elements to spatial elements, US Patent #9,607,113, issued March 28, 2017

Donald P. Orofino, Pieter J. Mosterman, and David Koh

Using abstract nodes to test the behavior of a dynamic system, US Patent #9,594,854, issued March 14, 2017

Pieter J. Mosterman, Ebrahim Mestchian, Jay R. Torgerson, Daniel F. Higgins, and Paul F. Kinnucan

Interacting with a model via a three-dimensional (3D) spatial environment, US Patent #9,582,933, issued February 28, 2017

Matthew J. Englehart, Zhi Han, and Pieter J. Mosterman,

Determining conditions associated with accessing data stores, US Patent #9,582,768, issued February 28, 2017

Mazen Kachmar, David Koh, Pieter J. Mosterman, and Murat Belge,

Modifying models based on profiling information, US Patent #9,569,179, issued February 14, 2017

Thomas Gaudette and Pieter J. Mosterman,

Systems and methods using models to evaluate physical components, US Patent #9,547,746, issued January 17, 2017

Srinath Avadhanula, Pieter J. Mosterman, and Ebrahim Mestchian,

Textual code provided in temporal and change operators of a technical computing environment, US Patent #9,547,481, issued January 17, 2017

Alan J. Moore, Ebrahim Mehran Mestchian, and Pieter J. Mosterman,

Systems and methods for generating message sequence diagrams from graphical programs, US Patent #9,547,423, issued January 17, 2017

Pieter J. Mosterman,

Managing an application variable using variable attributes,

• US Patent #10,705,806, issued July 7, 2020
• US Patent #9,542,164, issued January 10, 2017

Pieter J. Mosterman, Srikanth Parupati, Ankit A. Desai, Ashish Uthama, and Michael J. Quinn,

Multimodal input processing, US Patent #9,530,102, issued December 27, 2016

Srinath Avadhanula, Pieter J. Mosterman, and Ebrahim Mestchian,

Graphical function specialization, US Patent #9,513,880, issued December 6, 2016

Srinath Avadhanula, Pieter J. Mosterman, and Ebrahim Mestchian,

Time-based operations via textual code in a technical computing environment, US Patent #9,507,572, issued November 29, 2016

Katalin Maria Popovici, Pieter J. Mosterman, Brian K. Ogilvie, Rajiv Ghosh-Roy, Adam C. Leon, and Jared D. Macdonald,

Unified hardware and software debugging, US Patent #9,489,283, issued November 8, 2016

Srinath Avadhanula, Vijaya Raghavan, Michael D. Tocci, John E. Ciolfi, E. Mehran Mestchian, and Pieter J. Mosterman,

Templatized component, US Patent #9,424,005, issued August 23, 2016

Srinath Avadhanula, Pieter J. Mosterman, Yit Phang Khoo, John P. Dirner, Krishna Balasubramanian, and Ebrahim Mestchian,

Resolution of textual code in a graphical hierarchical model of a technical computing environment, US Patent #9,411,559, issued August 9, 2016

Zhi Han, Fu Zhang, Murali K. Yeddanapudi, and Pieter J. Mosterman,

Code generation for control design, US Patent #9,377,998, issued June 28, 2016

Fu Zhang, Zhi Han, Murali K. Yeddanapudi, and Pieter J. Mosterman,

Bidomain simulator,

• US Patent #10,430,532, issued October 1, 2019
• US Patent #10,423,732, issued September 24, 2019
• US Patent #9,354,846, issued May 31, 2016

Jean-Yves Brunel, Nathan E. Brewton, Ebrahim Mehran Mestchian, and Pieter J. Mosterman,

Action languages for unified modeling language model, US Patent #9,256,485, issued April 12, 2016

Alan J. Moore, Ebrahim Mehran Mestchian, and Pieter J. Mosterman,

System and method for generating message sequence diagrams from graphical programs, US Patent #9,256,485, issued February 9, 2016

Pieter J. Mosterman, Andrew C. Grace, and Ebrahim Mestchian,

Altering an attribute of a model based on an observed spatial attribute, US Patent #9,245,068, issued January 26, 2016

Pieter J. Mosterman, Daniel Forrest Higgins, Aditya Agrawal, Simon Greenwold, and Jay Ryan Torgerson,

User interface for a modeling environment, US Patent #9,177,452, issued November 3, 2015

Justyna Zander and Pieter J. Mosterman,

Installation of a technical computing environment customized for a target hardware platform,

• US Patent #9,846,575, issued December 19, 2017
• US Patent #9,141,365, issued September 22, 2015

Pieter J. Mosterman, Mehran Ebrahim Mestchian, Jay R. Torgerson, Daniel F. Higgins, and Paul F. Kinnucan,

Generating a three-dimensional (3D) report, associated with a model, from a technical computing environment (TCE), US Patent #9,117,039, issued August 25, 2015

Pieter J. Mosterman,

Multiversion model versioning system and method, US Patent #9,047,165, issued June 2, 2015

David Koh, Murat Belge, and Pieter J. Mosterman,

Profiler-based optimization of automatically generated code, US Patent #9,015,684, issued April 21, 2015

Biao Yu, Jim Carrick, and Pieter J. Mosterman,

Scheduling generated code based on target characteristics, US Patent #8,990,783, issued March 24, 2015

Matthew Brian Behr and Pieter J. Mosterman,

Requirements framework,

• US Patent #9,348,889, issued May 24, 2016
• US Patent #8,943,470, issued January 27, 2015

Zhi Han, Fu Zhang, Murali K. Yeddanapudi, and Pieter Johannes Mosterman,

Graphic theoretic linearization of sensitivity analysis, US Patent #8,935,137, issued January 13, 2015

Fu Zhang, Zhi Han, Murali Yeddanapudi, and Pieter J. Mosterman,

Visualization of data dependency in graphical models,

• US Patent #9,207,912, issued December 8, 2015
• US Patent #8,914,262, issued December 16, 2014

Michael H. McLernon, Alex Rodriguez, and Pieter J. Mosterman,

Propagation of characteristics in a graphical model environment, US Patent #8,875,039, issued October 28, 2014

Zhi Han, Murali Yeddanapudi, Pieter J. Mosterman, Xiaocang Lin, and Rajesh Pavan Sunkari

System and method for simulating branching behavior, US Patent #8,805,664, issued August 12, 2014

Andrew C. Bartlett and Pieter J. Mosterman,

Properties, instrumentation and automatic scaling for signals in a modeling environment, US Patent #8,805,651, issued August 12, 2014

Joe Conti, Michael Patrick Bushe, Roy Lurie, Joseph F. Hicklin, and Pieter J. Mosterman,

Annotations for dynamic dispatch of threads from scripting language code, US Patent #8,769,491, issued July 1, 2014

Girish Venkataramani, Kiran Kintali, and Pieter J. Mosterman,

Hardware definition language generation for data serialization from executable graphical models,

• US Patent #8,863,069, issued October 14, 2014
• US Patent #8,745,557, issued June 3, 2014

Mojdeh Shakeri, Michael David Tocci, John Ciolfi, and Pieter J. Mosterman,

Graphical interface for managing and monitoring the status of a graphical model, US Patent #8,745,537, issued June 3, 2014

Aravind Pillarisetti, Peter S. Szpak, Jesung Kim, Xiaocang Lin, and Pieter J. Mosterman,

Optimization identification,

• US Patent #9,934,004, issued April 3, 2018
• US Patent #8,689,194, issued April 1, 2014

Rohit Shenoy, Pieter J. Mosterman, Bella G. Teverovsky, John Fluet, and Craig Dowley

Testing and error reporting for on-demand software based marketing and sales, US Patent #8,688,491, issued April 1, 2014

Thomas Gaudette and Pieter J. Mosterman

Computer aided design environment with electrical and electronic features

• US Patent #8,744,829, issued June 3, 2014
• US Patent #8,630,829, issued January 14, 2014

Benjamin Hinkle, Pieter J. Mosterman, Mary Ann Branch Freeman, and Roy E. Lurie

System and method for dynamic symbolic math engine selection,

• US Patent #8,832,668, issued September 9, 2014
• US Patent #8,458,675, issued June 4, 2013

Aravind Pillarisetti, Peter Szpak, Jesung Kim, Xiaocang Lin, and Pieter J. Mosterman

Auto-generated code validation, US Patent #8,448,130, issued May 21, 2013

Jay Ryan Torgerson, Xiaocang Lin, and Pieter J. Mosterman

Editing suggestions in different formalisms, US Patent #8,370,156, issued February 5, 2013

Andrew Grace and Pieter J. Mosterman

System and method for building graphical instrument panels

• US Patent #9,626,162, issued April 18, 2017
• US Patent #8,365,086, issued January 29, 2013

Nathan E. Brewton and Pieter J. Mosterman

System and method for performing structural templatization

• US Patent #8,312,421, issued November 13, 2012
• US Patent #8,312,420, issued November 13, 2012

Matthew Englehart and Pieter J. Mosterman

Proving latency associated with references to a data store

• US Patent #9,710,750, issued July 18, 2017
• US Patent #8,762,311, issued June 24, 2014
• US Patent #8,280,832, issued October 2, 2012

Vijay Raghavan and Pieter J. Mosterman

Non-blocking local events in a state-diagramming environment, US Patent #8,200,807, issued June 12, 2012

David Koh, Murat Belge, and Pieter J. Mosterman

Profiler-based optimization of automatically generated code

• US Patent #8,418,158, issued April 9, 2013
• US Patent #8,156,481, issued April 10, 2012

Michael David Tocci, John Ciolfi, and Pieter J. Mosterman

Sharing of instructions across model boundaries

• US Patent #8,612,490, issued December 17, 2013
• US Patent #8,156,147, issued April 10, 2012

Vijay Raghavan, Pieter J. Mosterman, and Yao Ren

Calling an entity of a graphical model with a non-graphical entity and calling a non-graphical entity of a graphical model with a graphical entity

• US Patent #8,234,630, issued July 31, 2012
• US Patent #8,141,060, issued March 20, 2012

Dongzhe Yang, Robert O. Aberg, and Pieter J. Mosterman

Generation of intermediate representations based on user specified elements in a graphical model that enable simulation, propagation and code generation, US Patent #8,046,202, issued October 25, 2011

Claudia Wey, John Edward Ciolfi, Len Conte, Eric Pressman, Pieter J. Mosterman, Jay Ryan Torgerson, and Murali Yeddanapudi,

Graphical user interface for viewing or editing an executable block diagram model

• US Patent #9,092,162, issued July 28, 2015
• US Patent #8,855,983, issued October 7, 2014
• US Patent #8,019,579, issued September 13, 2011

Pieter J. Mosterman, Farid Antoine Abi-Zeid, Hidayet Tunc Simsek, Claudia Gaudagnini Wey, Mojdeh Shakeri, and Jay Ryan Torgerson,

Collaborative modeling environment

• US Patent #9,323,851, issued April 26, 2016
• US Patent #8,745,026, issued June 3, 2014
• US Patent #8,676,768, issued March 18, 2014
• US Patent #8,671,110, issued March 11, 2014
• US Patent #8,600,954, issued December 3, 2013
• US Patent #8,359,304, issued January 22, 2013
• US Patent #8,005,812, issued August 23, 2011

Rohit Shenoy, Pieter J. Mosterman, Bella G. Teverovsky, John Fluet, and Craig Dowley,

System and method for providing sales leads based on-demand software trial usage, US Patent #7,996,255, issued August 9, 2011

Pieter J. Mosterman and Robert O. Aberg,

System and method for graphical model processing

• US Patent #10,817,628, issued October 27, 2020
• US Patent #7,979,243, issued July 12, 2011

Paul F. Kinnucan, Jr.; Pieter J. Mosterman; and Mehran Ebrahim Mestchian,

User-defined hierarchies of user-defined classes of graphical objects in a graphical modeling environment

• US Patent #9,038,016, issued May 19, 2015
• US Patent #8,166,452, issued April 24, 2012
• US Patent #7,934,194, issued April 26, 2011

Brian K. Ogilvie and Pieter J. Mosterman,

Hardware definition language generation for frame-based processing

• US Patent #8,533,642, issued September 10, 2013
• US Patent #8,347,245, issued January 1, 2013
• US Patent #7,882,462, issued February 1, 2011

John E. Ciolfi and Pieter J. Mosterman,

System and Method for Block Diagram Simulation Context Restoration

• US Patent #8,126,691, issued February 28, 2012
• US Patent #7,801,715, issued September 21, 2010

Ricardo Monteiro, Mojdeh Shakeri, Michael David Tocci, Robert O. Aberg, and Pieter J. Mosterman,

Version Control in Modeling Environments,

• US Patent #8,887,126, issued November 11, 2014
• US Patent #8,341,594, issued December 25, 2012
• US Patent #7,739,655, issued June 15, 2010

Michael I. Clune, Andrew Grace, Murali Yeddanapudi, Ramamurthy Mani, Pieter J. Mosterman, and Atul Suri,

Modeling Feedback Loops Using a Discrete Event Execution Modeling Environment, US Patent #7,640,154, issued December 29, 2009

Jay R. Torgerson, Ryo Shimizu, and Pieter J. Mosterman,

Dynamic Generation of Formatted User Interfaces in Software Environments

• US Patent #8,806,429, issued August 12, 2014
• US Patent #8,209,663, issued June 26, 2012
• US Patent #7,523,440, issued April 21, 2009

Mojdeh Shakeri and Pieter J. Mosterman,

Distributed Model Compilation

US Patent #9,195,445, issued November 24, 2015

US Patent #7,509,244, issued March 24, 2009

Pieter J. Mosterman, Mehmet Yunt, Murali Yeddanapudi, and Jay R. Torgerson,

Multi-Domain Unified Debugger

• US Patent #8,739,129, issued May 27, 2014
• US Patent #7,496,895, issued February 24, 2009

Michael D. Tocci, Ricardo Monteiro, Mojdeh Shakeri, and Pieter J. Mosterman,

Partitioning A Model In Modeling Environments

• US Patent #8,150,673, issued April 3, 2012
• US Patent #7,865,350, issued January 4, 2011
• US Patent #7,487,080, issued February 3, 2009

Michael I. Clune, Andrew Grace, Murali Yeddanapudi, Ramamurthy Mani, Pieter J. Mosterman, and Atul Suri,

Modeling Delay Using a Discrete Event Execution Modeling Environment, US Patent #7,487,077, issued February 3, 2009.

Arwen Warlock and Pieter J. Mosterman,

Transparent Subsystem Links, US Patent #7,412,367, issued August 12, 2008.

Pieter J. Mosterman,

Hierarchical References or Links in Modeling Environments

• US Patent #7,769,570, issued August 3, 2010
• US Patent #7,337,102, issued February 26, 2008

Pieter J. Mosterman, Eric J. Manders, and Gautam Biswas,

Qualitative Diagnosis of Systems With Models That Include a Class of Algebraic Loops, US Patent #7,181,374, issued February 20, 2007.

John E. Ciolfi and Pieter J. Mosterman,

Automated Approach to Resolving Artificial Algebraic Loops

• US Patent #7,599,823, issued October 5, 2009
• US Patent #7,167,817, issued January 23, 2007

Pieter J. Mosterman,

A Method for Numerical Simulation of Physical Systems Relying on Differential Equations With Algebraic Constraints on State Variables, European Patent #1 143 347, issued August 3, 2005.

The MathWorks,

Simulink®, Using Simulink®, The MathWorks, Inc., Three Apple Hill Drive, Natick, MA, 01760

The MathWorks,

Real-Time Workshop®, Real-Time Workshop® User's Guide, The MathWorks, Inc., Three Apple Hill Drive, Natick, MA, 01760

Pieter J. Mosterman,

Instrument Emulation Software, Hewlett-Packard Reference Kit, Hewlett-Packard

Pieter J. Mosterman, J. Olin Campbell, Arthur J. Brodersen, and John R. Bourne,

The Electronics Laboratory Simulator, Falcon Software, Inc., One Hollis Street, Wellesley, MA, 02181

Ansgar Smith, Ludo A. Vlieger, and Pieter J. Mosterman,

Hewlett-Packard Instrument Emulator, Hewlett-Packard Co., P.O. Box 301, Loveland, CO, 80537