| 2021 | RV | Specification and Runtime Verification of Temporal Assessments in Simulink. | Akshay Rajhans, Anastasia Mavrommati, Pieter J. Mosterman, Roberto G. Valenti |
| 2017 | WSC | A simevents model for hybrid traffic simulation. | Yue Zhang, Christos G. Cassandras, Wei Li, Pieter J. Mosterman |
| 2016 | WSC | Extensible Discrete-Event Simulation framework in SimEvents. | Wei Li, Ramamurthy Mani, Pieter J. Mosterman |
| 2013 | MODELS | A Hyperdense Semantic Domain for Discontinuous Behavior in Physical System Models. | Pieter J. Mosterman, Gabor Simko, Justyna Zander |
| 2012 | WSC | Integrating discrete-event and time-based models with optimization for resource allocation. | Teresa Hbscher-Younger, Pieter J. Mosterman, Seth DeLand, Omar Orqueda, Doug Eastman |
| 2012 | WSC | Technical engine for democratization of modeling, simulations, and predictions. | Justyna Zander, Pieter J. Mosterman |
| 2008 | DATE | Automatically Realising Embedded Systems from High-Level Functional Models. | Pieter J. Mosterman, Don Orofino, Janos Sztipanovits, Ahmed Amine Jerraya, Wido Kruijtzer, Vctor Reyes, Christos G. Cassandras, Grant Martin |
| 2007 | MODELS | Second International Workshop on Multi-Paradigm Modeling: Concepts and Tools. | Juan de Lara, Tihamer Levendovszky, Pieter J. Mosterman, Hans Vangheluwe |
| 2003 | WSC | Hybrid dynamic systems: mode transition behavior in hybrid dynamic systems. | Pieter J. Mosterman |
| 1998 | AAAI | An Ontology for Transitions in Physical Dynamic Systems. | Pieter J. Mosterman, Feng Zhao, Gautam Biswas |
| 1997 | AAAI | Monitoring, Prediction, and Fault Isolation in Dynamic Physical Systems. | Pieter J. Mosterman, Gautam Biswas |
| 1997 | IJCAI | Formal Specifications for Hybrid Dynamical Systems. | Pieter J. Mosterman, Gautam Biswas |
| 1996 | AAAI | A Formal Hybrid Modeling Scheme for Handling Discontinuities in Physical System Models. | Pieter J. Mosterman, Gautam Biswas |