| 2021 | OOPSLA | Differential-FORMULA: towards a semantic backplane for incremental modeling. | Qishen Zhang, Daniel Balasubramanian, Tams Kecsks, Janos Sztipanovits |
| 2019 | DATE | Semantic Integration Platform for Cyber-Physical System Design. | Qishen Zhang, Tams Kecsks, Ted Bapty, Janos Sztipanovits |
| 2019 | ICSE | Towards bridging the gap between model- and data- driven tool suites for cyber-physical systems. | Qishen Zhang, Tams Kecsks, Janos L. Mathe, Janos Sztipanovits |
| 2019 | RSP | CPS Design with Learning-Enabled Components: A Case Study. | Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai |
| 2018 | MODELS | A Common Integrated Framework for Heterogeneous Modeling Services. | Anastasia Mavridou, Tams Kecsks, Qishen Zhang, Janos Sztipanovits |
| 2018 | SAC | Integrated simulation testbed for security and resilience of CPS. | Himanshu Neema, Bradley Potteiger, Xenofon D. Koutsoukos, Gabor Karsai, Pter Vlgyesi, Janos Sztipanovits |
| 2017 | MODELS | Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud. | Yogesh D. Barve, Himanshu Neema, Aniruddha S. Gokhale, Janos Sztipanovits |
| 2017 | MODELS | Bridging Engineering and Formal Modeling: WebGME and Formula Integration. | Tams Kecsks, Qishen Zhang, Janos Sztipanovits |
| 2015 | DAC | Design tool chain for cyber-physical systems: lessons learned. | Janos Sztipanovits, Ted Bapty, Sandeep Neema, Xenofon D. Koutsoukos, Ethan K. Jackson |
| 2014 | ICSE | Formalization of software models for cyber-physical systems. | Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits |
| 2013 | EMSOFT | Diversely enumerating system-level architectures. | Ethan K. Jackson, Gabor Simko, Janos Sztipanovits |
| 2013 | ICCCN | Reliability Analysis of Wireless Real-Time Control Networks. | Pter Horvth, Mark Yampolskiy, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits |
| 2013 | ICSE | PolicyForge: a collaborative environment for formalizing privacy policies in health care. | Andrs Ndas, Laszlo Juracz, Janos Sztipanovits, Mark E. Frisse, Ann J. Olsen |
| 2013 | MODELS | Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. | Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits |
| 2012 | ICSE | Cancer treatment planning: formal methods to the rescue. | Janos L. Mathe, Janos Sztipanovits, Mia A. Levy, Ethan K. Jackson, Wolfram Schulte |
| 2011 | FM | Model Integration and Cyber Physical Systems: A Semantics Perspective. | Janos Sztipanovits |
| 2010 | EMSOFT | Online stability validation using sector analysis. | Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits |
| 2010 | ICINCO | A Passivity-based Approach to Deployment in Multi-agent Networks. | Heath LeBlanc, Emeka Eyisi, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits |
| 2010 | ICINCO | A Passivity-Based Approach to Group Coordination in Multi-agent Networks. | Heath LeBlanc, Emeka Eyisi, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits |
| 2010 | RSP | Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis. | Graham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits |
| 2009 | EMSOFT | Towards a time-triggered schedule calculation tool to support model-based embedded software design. | Joseph Porter, Gabor Karsai, Janos Sztipanovits |
| 2009 | FUSION | Model based integration and experimentation of Information Fusion and C2 Systems. | Sandeep Neema, Ted Bapty, Xenofon D. Koutsoukos, Himanshu Neema, Janos Sztipanovits, Gabor Karsai |
| 2009 | MODELS | PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems. | Emeka Eyisi, Joseph Porter, Joe Hall, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits |
| 2009 | RSP | An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. | Joseph Porter, Pter Vlgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits |
| 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 |
| 2008 | MODELS | Second International Workshop on the Model-Based Design of Trustworthy Health Information Systems MOTHIS 2008. | Ruth Breu, Janos Sztipanovits |
| 2008 | MODELS | Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. | Joseph Porter, Gabor Karsai, Pter Vlgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits |
| 2008 | RTSS | Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays. | Nicholas Kottenstette, Xenofon D. Koutsoukos, Joseph F. Hall, Janos Sztipanovits, Panos J. Antsaklis |
| 2007 | AMIA | A Modeling Environment for Patient Portals. | Sean Duncavage, Janos L. Mathe, Jan Werner, Bradley A. Malin, kos Ldeczi, Janos Sztipanovits |
| 2007 | DATE | Compositional specification of behavioral semantics. | Kai Chen, Janos Sztipanovits, Sandeep Neema |
| 2007 | ICSE | A Case Study on Semantic Unit Composition. | Kai Chen, Janos Sztipanovits, Sandeep Neema |
| 2007 | MODELS | Constructive Techniques for Meta- and Model-Level Reasoning. | Ethan K. Jackson, Janos Sztipanovits |
| 2007 | MODELS | First International Workshop on the Model-Based Design of Trustworthy Health Information Systems. | kos Ldeczi, Ruth Breu, Bradley A. Malin, Janos Sztipanovits |
| 2006 | Broadnets | Efficient Integration of Web Services in Ambient-aware Sensor Network Applications. | Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits |
| 2006 | EMSOFT | Towards a formal foundation for domain specific modeling languages. | Ethan K. Jackson, Janos Sztipanovits |
| 2006 | RTAS | A Semantic Unit for Timed Automata Based Modeling Languages. | Kai Chen, Janos Sztipanovits, Sherif Abdelwahed |
| 2005 | EMSOFT | Toward a semantic anchoring infrastructure for domain-specific modeling languages. | Kai Chen, Janos Sztipanovits, Sandeep Neema |
| 2005 | EMSOFT | Using separation of concerns for embedded systems design. | Ethan K. Jackson, Janos Sztipanovits |
| 2003 | EMSOFT | Constraint-Based Design-Space Exploration and Model Synthesis. | Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts |
| 2002 | GPCE | Generative Programming for Embedded Systems. | Janos Sztipanovits, Gabor Karsai |
| 2002 | PPDP | Generative programming for embedded systems. | Janos Sztipanovits, Gabor Karsai |
| 2001 | EMSOFT | Embedded Software: Challenges and Opportunities. | Janos Sztipanovits, Gabor Karsai |
| 2000 | RTAS | Software for Embedded Systems: Opportunities and Challenges. | Janos Sztipanovits |
| 1997 | COMPSAC | Model-integrated system development: models, architecture, and process. | Gabor Karsai, Amit Misra, Janos Sztipanovits, kos Ldeczi, Michael Moore |
| 1995 | ICECCS | Model-embedded on-line problem solving environment for chemical engineering. | Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria |
| 1995 | ICECCS | MULTIGRAPH: an architecture for model-integrated computing. | Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, kos Ldeczi, Amit Misra |
| 1994 | ICIP | Model-Based Programming for Parallel Image Processing. | Michael S. Moore, Gabor Karsai, Janos Sztipanovits |
| 1991 | ICRA | Real-time fault diagnostics with multiple aspect models. | Samir Padalkar, Gabor Karsai, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka |
| 1990 | ICASSP | The multigraph approach to parallel, distributed, structurally adaptive signal processing. | D. Mitch Wilkes, Lester E. Lynd Jr., Janos Sztipanovits, Gabor Karsai |
| 1990 | ICRA | Intelligent monitoring and diagnostics for plant automation. | Janos Sztipanovits, Gabor Karsai, Samir Padalkar, Csaba Biegl, Nobuji Miyasaka, Koji Okuda |