Janos Sztipanovits

170 papers A* 3A 7B 6C 6Misc 14Journal 62Unranked 66

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. ACM Trans. Cyber Phys. Syst. Werner Damm, David Hess, Mark Schweda, Janos Sztipanovits, Klaus Bengler, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Maike Schwammberger, Benedikt Austel, Anirudh Unni, Eric M. S. P. Veith
2024	J	`jnl`	A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. ACM Trans. Cyber Phys. Syst. Werner Damm, Martin Fränzle, Alyssa J. Kerscher, Forrest Laine, Klaus Bengler, Bianca Biebl, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Sebastian Lehnhoff, Andreas Lüdtke, Alexander Pretschner, Astrid Rakow, Jochem W. Rieger, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Alexander Trende, Anirudh Unni, Eric M. S. P. Veith
2024	J	`jnl`	A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ACM Trans. Cyber Phys. Syst. Klaus Bengler, Werner Damm, Andreas Lüdtke, Jochem W. Rieger, Benedikt Austel, Bianca Biebl, Martin Fränzle, Willem Hagemann, Moritz Held, David Hess, Klas Ihme, Severin Kacianka, Alyssa J. Kerscher, Forrest Laine, Sebastian Lehnhoff, Alexander Pretschner, Astrid Rakow, Daniel Sonntag, Janos Sztipanovits, Maike Schwammberger, Mark Schweda, Anirudh Unni, Eric M. S. P. Veith
2024	J	`jnl`	Anvil: An integration of artificial intelligence, sampling techniques, and a combined CAD-CFD tool. CoRR Harsh Vardhan, Umesh Timalsina, Michael Sandborn, David Hyde, Péter Völgyesi, Janos Sztipanovits
2023	—	`conf`	Constrained Bayesian Optimization for Automatic Underwater Vehicle Hull Design. CPS-IoT Week Workshops Harsh Vardhan, Péter Völgyesi, Will Hedgecock, Janos Sztipanovits
2023	J	`jnl`	Constrained Bayesian Optimization for Automatic Underwater Vehicle Hull Design. CoRR Harsh Vardhan, Péter Völgyesi, Janos Sztipanovits
2023	J	`jnl`	Fusion of ML with numerical simulation for optimized propeller design. CoRR Harsh Vardhan, Péter Völgyesi, Janos Sztipanovits
2023	J	`jnl`	Sample-Efficient and Surrogate-Based Design Optimization of Underwater Vehicle Hulls. CoRR Harsh Vardhan, David Hyde, Umesh Timalsina, Péter Völgyesi, Janos Sztipanovits
2023	J	`jnl`	Search for universal minimum drag resistance underwater vehicle hull using CFD. CoRR Harsh Vardhan, Janos Sztipanovits
2022	J	`jnl`	Data efficient surrogate modeling for engineering design: Ensemble-free batch mode deep active learning for regression. CoRR Harsh Vardhan, Umesh Timalsina, Péter Völgyesi, Janos Sztipanovits
2022	J	`jnl`	Deep Learning-based FEA surrogate for sub-sea pressure vessel. CoRR Harsh Vardhan, Janos Sztipanovits
2022	J	`jnl`	DeepAL for Regression Using ε-weighted Hybrid Query Strategy. CoRR Harsh Vardhan, Janos Sztipanovits
2022	J	`jnl`	Rare event failure test case generation in Learning-Enabled-Controllers. CoRR Harsh Vardhan, Janos Sztipanovits
2022	J	`jnl`	Reduced Robust Random Cut Forest for Out-Of-Distribution detection in machine learning models. CoRR Harsh Vardhan, Janos Sztipanovits
2021	—	`conf`	Differential-FORMULA: towards a semantic backplane for incremental modeling. DSM@SPLASH Qishen Zhang, Daniel Balasubramanian, Tamás Kecskés, Janos Sztipanovits
2021	—	`conf`	Machine learning assisted propeller design. ICCPS Harsh Vardhan, Péter Völgyesi, Janos Sztipanovits
2021	—	`conf`	Rare event failure test case generation in Learning-Enabled-Controllers. ICMLT Harsh Vardhan, Janos Sztipanovits
2019	C	`conf`	CPS Design with Learning-Enabled Components: A Case Study. RSP Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
2019	J	`jnl`	DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
2019	J	`jnl`	Editorial to the theme section on model-based design of cyber-physical systems. Softw. Syst. Model. Manfred Broy, Heinrich Daembkes, Janos Sztipanovits
2019	—	`conf`	Model-based design for CPS with learning-enabled components. DESTION@CPSIoTWeek Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
2019	—	`ed.`	Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019 DESTION@CPSIoTWeek Alberto L. Sangiovanni-Vincentelli, Janos Sztipanovits, Qi Zhu
2019	A	`conf`	Semantic Integration Platform for Cyber-Physical System Design. DATE Qishen Zhang, Tamás Kecskés, Ted Bapty, Janos Sztipanovits
2019	—	`conf`	Simulation integration platforms for cyber-physical systems. DESTION@CPSIoTWeek Himanshu Neema, Janos Sztipanovits, Cornelius Steinbrink, Thomas Raub, Bastian Cornelsen, Sebastian Lehnhoff
2019	—	`conf`	Towards bridging the gap between model- and data- driven tool suites for cyber-physical systems. SEsCPS@ICSE Qishen Zhang, Tamás Kecskés, Janos L. Mathe, Janos Sztipanovits
2018	—	`conf`	A Common Integrated Framework for Heterogeneous Modeling Services. MoDELS (Workshops) Anastasia Mavridou, Tamás Kecskés, Qishen Zhang, Janos Sztipanovits
2018	J	`jnl`	Approaches to Enhancing Cyber Resilience: Report of the North Atlantic Treaty Organization (NATO) Workshop IST-153. CoRR Alexander Kott, Benjamin A. Blakely, Diane Henshel, Gregory Wehner, James Rowell, Nathaniel Evans, Luis Muñoz-González, Nandi Leslie, Donald W. French, Donald Woodard, Kerry Krutilla, Amanda Joyce, Igor Linkov, Carmen Mas Machuca, Janos Sztipanovits, Hugh Harney, Dennis Kergl, Perri Nejib, Edward Yakabovicz, Steven Noel, Tim Dudman, Pierre Trepagnier, Sowdagar Badesha, Alfred Møller
2018	J	`jnl`	DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits
2018	—	`conf`	Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO. ICCPS Anna Lukina, Arjun Kumar, Matt Schmittle, Abhijeet Singh, Jnaneshwar Das, Stephen A. Rees, Christopher P. van Buskirk, Janos Sztipanovits, Radu Grosu, Vijay Kumar
2018	Misc	`conf`	Integrated simulation testbed for security and resilience of CPS. SAC Himanshu Neema, Bradley Potteiger, Xenofon D. Koutsoukos, Gabor Karsai, Péter Völgyesi, Janos Sztipanovits
2018	J	`jnl`	Model and Tool Integration Platforms for Cyber-Physical System Design. Proc. IEEE Janos Sztipanovits, Ted Bapty, Xenofon D. Koutsoukos, Zsolt Lattmann, Sandeep Neema, Ethan K. Jackson
2018	—	`conf`	OpenUAV: a UAV testbed for the CPS and robotics community. ICCPS Matt Schmittle, Anna Lukina, Lukas Vacek, Jnaneshwar Das, Christopher P. van Buskirk, Stephen A. Rees, Janos Sztipanovits, Radu Grosu, Vijay Kumar
2018	J	`jnl`	SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems. Proc. IEEE Xenofon D. Koutsoukos, Gabor Karsai, Aron Laszka, Himanshu Neema, Bradley Potteiger, Péter Völgyesi, Yevgeniy Vorobeychik, Janos Sztipanovits
2017	—	`conf`	Bridging Engineering and Formal Modeling: WebGME and Formula Integration. MoDELS (Satellite Events) Tamás Kecskés, Qishen Zhang, Janos Sztipanovits
2017	—	`conf`	Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud. MoDELS (Satellite Events) Yogesh D. Barve, Himanshu Neema, Aniruddha S. Gokhale, Janos Sztipanovits
2016	—	`conf`	Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience. ICCPS Himanshu Neema, Péter Völgyesi, Bradley Potteiger, William Emfinger, Xenofon D. Koutsoukos, Gabor Karsai, Yevgeniy Vorobeychik, Janos Sztipanovits
2015	J	`jnl`	A language for describing attacks on cyber-physical systems. Int. J. Crit. Infrastructure Prot. Mark Yampolskiy, Péter Horváth, Xenofon D. Koutsoukos, Yuan Xue, Janos Sztipanovits
2015	J	`jnl`	Anonymously Analyzing Clinical Datasets. CoRR Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits
2015	A*	`conf`	Design tool chain for cyber-physical systems: lessons learned. DAC Janos Sztipanovits, Ted Bapty, Sandeep Neema, Xenofon D. Koutsoukos, Ethan K. Jackson
2015	J	`jnl`	Validating Transformations for Semantic Anchoring. J. Object Technol. David Lindecker, Gabor Simko, Tihamer Levendovszky, István Madari, Janos Sztipanovits
2014	—	`conf`	A Tool for Analyzing Clinical Datasets as Blackbox. FHIES/SEHC Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits
2014	J	`jnl`	A co-simulation framework for design of time-triggered automotive cyber physical systems. Simul. Model. Pract. Theory Zhenkai Zhang, Emeka Eyisi, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits
2014	J	`jnl`	A model-integrated authoring environment for privacy policies. Sci. Comput. Program. András Nádas, Tihamer Levendovszky, Ethan K. Jackson, István Madari, Janos Sztipanovits
2014	—	`conf`	Formalization of software models for cyber-physical systems. FormaliSE Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits
2014	—	`conf`	Motivating Use Cases for the Globalization of DSLs. Globalizing Domain-Specific Languages Betty H. C. Cheng, Thomas Degueule, Colin Atkinson, Siobhán Clarke, Ulrich Frank, Pieter J. Mosterman, Janos Sztipanovits
2014	—	`conf`	OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. FPS@ETAPS Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan K. Jackson
2014	—	`conf`	Resilient distributed consensus for tree topology. HiCoNS Mark Yampolskiy, Yevgeniy Vorobeychik, Xenofon D. Koutsoukos, Péter Horváth, Heath J. LeBlanc, Janos Sztipanovits
2014	—	`conf`	Towards a theory for cyber-physical systems modeling. CyPhy Gabor Simko, Tihamer Levendovszky, Miklos Maroti, Janos Sztipanovits
2013	—	`conf`	A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. ECBS Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema, Janos Sztipanovits
2013	—	`conf`	A case study on the model-based design and integration of automotive cyber-physical systems. MED Di Shang, Emeka Eyisi, Zhenkai Zhang, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits
2013	—	`conf`	Co-simulation framework for design of time-triggered cyber physical systems. ICCPS Zhenkai Zhang, Joseph Porter, Emeka Eyisi, Gabor Karsai, Xenofon D. Koutsoukos, Janos Sztipanovits
2013	J	`jnl`	Design of Networked Control Systems Using Passivity. IEEE Trans. Control. Syst. Technol. Nicholas Kottenstette, Joseph F. Hall, Xenofon D. Koutsoukos, Janos Sztipanovits, Panos J. Antsaklis
2013	Misc	`conf`	Diversely enumerating system-level architectures. EMSOFT Ethan K. Jackson, Gabor Simko, Janos Sztipanovits
2013	—	`conf`	Multi-way Semantic Specification of Domain-Specific Modeling Languages. ECBS David Lindecker, Gabor Simko, István Madari, Tihamer Levendovszky, Janos Sztipanovits
2013	—	`conf`	PolicyForge: a collaborative environment for formalizing privacy policies in health care. SEHC@ICSE András Nádas, Laszlo Juracz, Janos Sztipanovits, Mark E. Frisse, Ann J. Olsen
2013	B	`conf`	Reliability Analysis of Wireless Real-Time Control Networks. ICCCN Péter Horváth, Mark Yampolskiy, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits
2013	A	`conf`	Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. MoDELS Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits
2013	—	`conf`	Taxonomy for description of cross-domain attacks on CPS. HiCoNS Mark Yampolskiy, Péter Horváth, Xenofon D. Koutsoukos, Yuan Xue, Janos Sztipanovits
2012	J	`jnl`	A passivity approach for model-based compositional design of networked control systems. ACM Trans. Embed. Comput. Syst. Xenofon D. Koutsoukos, Nicholas Kottenstette, Joseph F. Hall, Emeka Eyisi, Heath LeBlanc, Joseph Porter, Janos Sztipanovits
2012	—	`conf`	Active Monitoring using Real-time Metric Linear Temporal Logic Specifications. HEALTHINF Gabor Simko, Janos Sztipanovits
2012	—	`conf`	Cancer treatment planning: formal methods to the rescue. SEHC@ICSE Janos L. Mathe, Janos Sztipanovits, Mia A. Levy, Ethan K. Jackson, Wolfram Schulte
2012	J	`jnl`	Cyber Physical Systems - Convergence of Physical and Information Sciences. it Inf. Technol. Janos Sztipanovits
2012	—	`conf`	Integrated simulation and emulation platform for cyber-physical system security experimentation. HiCoNS Wei Yan, Yuan Xue, Xiaowei Li, Jiannian Weng, Timothy Busch, Janos Sztipanovits
2012	J	`jnl`	NCSWT: An integrated modeling and simulation tool for networked control systems. Simul. Model. Pract. Theory Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Wei Yan, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits
2012	—	`conf`	NCSWT: an integrated modeling and simulation tool for networked control systems. HSCC Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Yan Wei, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits
2012	J	`jnl`	Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. Simul. Graham Hemingway, Himanshu Neema, Harmon Nine, Janos Sztipanovits, Gabor Karsai
2012	J	`jnl`	Toward a Science of Cyber-Physical System Integration. Proc. IEEE Janos Sztipanovits, Xenofon D. Koutsoukos, Gabor Karsai, Nicholas Kottenstette, Panos J. Antsaklis, Vijay Gupta, Bill Goodwine, John S. Baras, Shige Wang
2011	J	`jnl`	High confidence embedded software design: a quadrotor helicopter case study. SIGBED Rev. Zhenkai Zhang, Joseph Porter, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits
2011	B	`conf`	Model Integration and Cyber Physical Systems: A Semantics Perspective. FM Janos Sztipanovits
2011	—	`conf`	Networked control system wind tunnel (NCSWT): an evaluation tool for networked multi-agent systems. SimuTools Derek Riley, Emeka Eyisi, Jia Bai, Xenofon D. Koutsoukos, Yuan Xue, Janos Sztipanovits
2011	J	`jnl`	Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441). Dagstuhl Reports Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits
2011	A	`conf`	Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. SC Joseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits
2010	—	`conf`	A Passivity-Based Approach to Group Coordination in Multi-agent Networks. ICINCO (Selected Papers) Heath LeBlanc, Emeka Eyisi, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits
2010	—	`conf`	A Passivity-based Approach to Deployment in Multi-agent Networks. ICINCO (1) Heath LeBlanc, Emeka Eyisi, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits
2010	—	`ed.`	ACM/IEEE 1st International Conference on Cyber-Physical Systems, ICCPS '10, Stockholm, Sweden, April 12-15, 2010 ICCPS Janos Sztipanovits, Raj Rajkumar
2010	C	`conf`	Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis. International Symposium on Rapid System Prototyping Graham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits
2010	Misc	`conf`	Online stability validation using sector analysis. EMSOFT Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits
2010	J	`jnl`	System and software architectures of distributed smart cameras. ACM Trans. Embed. Comput. Syst. Chang Hong Lin, Marilyn Wolf, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits
2009	—	`conf`	09073 Abstracts Collection - Model-Based Design of Trustworthy Health Information Systems. Model-Based Design of Trustworthy Health Information Systems Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter
2009	J	`jnl`	A Model-Integrated, Guideline-Driven, Clinical Decision-Support System. IEEE Softw. Janos L. Mathe, Jason B. Martin, Peter Miller, Ákos Lédeczi, Liza M. Weavind, András Nádas, Anne Miller, David J. Maron, Janos Sztipanovits
2009	C	`conf`	An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. IEEE International Workshop on Rapid System Prototyping Joseph Porter, Péter Völgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits
2009	Misc	`conf`	Autonomic Self-Healing for MANETs. IC-AI Junaid Ahsenali Chaudhry, Yonghwan Lee, Ken R. Pence, Janos Sztipanovits
2009	J	`jnl`	Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages. Int. J. Semantic Comput. Kai Chen, Joseph Porter, Janos Sztipanovits, Sandeep Neema
2009	J	`jnl`	Formalizing the structural semantics of domain-specific modeling languages. Softw. Syst. Model. Ethan K. Jackson, Janos Sztipanovits
2009	J	`jnl`	Metamodeling: An Emerging Representation Paradigm for System-Level Design. IEEE Des. Test Comput. Alberto L. Sangiovanni-Vincentelli, Sandeep K. Shukla, Janos Sztipanovits, Guang Yang, Deepak Mathaikutty
2009	C	`conf`	Model based integration and experimentation of Information Fusion and C2 Systems. FUSION Sandeep Neema, Ted Bapty, Xenofon D. Koutsoukos, Himanshu Neema, Janos Sztipanovits, Gabor Karsai
2009	—	`ed.`	Model-Based Design of Trustworthy Health Information Systems, 11.02. - 14.02.2009 Model-Based Design of Trustworthy Health Information Systems Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter
2009	—	`conf`	PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems. ACES-MB@MoDELS Emeka Eyisi, Joseph Porter, Joe Hall, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits
2009	Misc	`conf`	Towards a time-triggered schedule calculation tool to support model-based embedded software design. EMSOFT Joseph Porter, Gabor Karsai, Janos Sztipanovits
2008	A	`conf`	Automatically Realising Embedded Systems from High-Level Functional Models. DATE Pieter J. Mosterman, Don Orofino, Janos Sztipanovits, Ahmed Amine Jerraya, Wido Kruijtzer, Víctor Reyes, Christos G. Cassandras, Grant Martin
2008	—	`conf`	Model-Integrated Development of Cyber-Physical Systems. SEUS Gabor Karsai, Janos Sztipanovits
2008	A	`conf`	Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays. RTSS Nicholas Kottenstette, Xenofon D. Koutsoukos, Joseph F. Hall, Janos Sztipanovits, Panos J. Antsaklis
2008	—	`conf`	Second International Workshop on the Model-Based Design of Trustworthy Health Information Systems MOTHIS 2008. MoDELS (Workshops) Ruth Breu, Janos Sztipanovits
2008	—	`conf`	Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. MoDELS (Workshops) Joseph Porter, Gabor Karsai, Péter Völgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits
2007	—	`conf`	A Case Study on Semantic Unit Composition. MiSE@ICSE Kai Chen, Janos Sztipanovits, Sandeep Neema
2007	Misc	`conf`	A Modeling Environment for Patient Portals. AMIA Sean Duncavage, Janos L. Mathe, Jan Werner, Bradley A. Malin, Ákos Lédeczi, Janos Sztipanovits
2007	—	`conf`	Composition of Cyber-Physical Systems. ECBS Janos Sztipanovits
2007	A	`conf`	Compositional specification of behavioral semantics. DATE Kai Chen, Janos Sztipanovits, Sandeep Neema
2007	A	`conf`	Constructive Techniques for Meta- and Model-Level Reasoning. MoDELS Ethan K. Jackson, Janos Sztipanovits
2007	J	`jnl`	Escher: A New Technology Transitioning Model. Computer Janos Sztipanovits, John Bay, Larry Rohrbough, Shankar Sastry, Douglas C. Schmidt, Norm Whitaker, Don Wilson, Don Winter
2007	—	`conf`	First International Workshop on the Model-Based Design of Trustworthy Health Information Systems. MoDELS (Workshops) Ákos Lédeczi, Ruth Breu, Bradley A. Malin, Janos Sztipanovits
2007	—	`ch.`	Metamodeling Languages and Metaprogrammable Tools. Handbook of Real-Time and Embedded Systems Janos Sztipanovits, Sandeep Neema, Matthew J. Emerson
2007	—	`conf`	OASiS: A Programming Framework for Service-Oriented Sensor Networks. COMSWARE Manish Kushwaha, Isaac Amundson, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits
2007	—	`ed.`	Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers Monterey Workshop Fabrice Kordon, Janos Sztipanovits
2007	—	`conf`	The Model-Integrated Computing Tool Suite. Model-Based Engineering of Embedded Real-Time Systems Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty
2007	J	`jnl`	Towards the security and privacy analysis of patient portals. SIGBED Rev. Janos L. Mathe, Sean Duncavage, Jan Werner, Bradley A. Malin, Ákos Lédeczi, Janos Sztipanovits
2006	—	`conf`	A Semantic Unit for Timed Automata Based Modeling Languages. IEEE Real Time Technology and Applications Symposium Kai Chen, Janos Sztipanovits, Sherif Abdelwahed
2006	—	`conf`	Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality. ECBS Ethan K. Jackson, Janos Sztipanovits
2006	—	`conf`	Design and Implementation of Ubiquitous Smart Cameras. SUTC (1) Chang Hong Lin, Wayne H. Wolf, Andrew Dixon, Xenofon D. Koutsoukos, Janos Sztipanovits
2006	J	`jnl`	Developing Applications Using Model-Driven Design Environments. Computer Krishnakumar Balasubramanian, Aniruddha S. Gokhale, Gabor Karsai, Janos Sztipanovits, Sandeep Neema
2006	C	`conf`	Efficient Integration of Web Services in Ambient-aware Sensor Network Applications. BROADNETS Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits
2006	—	`conf`	OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks. Monterey Workshop Xenofon D. Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits
2006	Misc	`conf`	Towards a formal foundation for domain specific modeling languages. EMSOFT Ethan K. Jackson, Janos Sztipanovits
2005	Misc	`conf`	Grand challenges in embedded systems. CODES+ISSS Janos Sztipanovits, C. John Glossner, Trevor N. Mudge, Chris Rowen, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf, Feng Zhao
2005	J	`jnl`	Introducing embedded software and systems education and advanced learning technology in an engineering curriculum. ACM Trans. Embed. Comput. Syst. Janos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha S. Gokhale, Larry Howard, Gabor Karsai, Tak-John Koo, Xenofon D. Koutsoukos, Douglas C. Schmidt
2005	—	`conf`	Semantic Anchoring with Model Transformations. ECMDA-FA Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, Ethan K. Jackson
2005	Misc	`conf`	Toward a semantic anchoring infrastructure for domain-specific modeling languages. EMSOFT Kai Chen, Janos Sztipanovits, Sandeep Neema
2005	Misc	`conf`	Using separation of concerns for embedded systems design. EMSOFT Ethan K. Jackson, Janos Sztipanovits
2004	J	`jnl`	A MOF-Based Metamodeling Environment. J. Univers. Comput. Sci. Matthew J. Emerson, Janos Sztipanovits, Ted Bapty
2004	J	`jnl`	Composition and cloning in modeling and meta-modeling. IEEE Trans. Control. Syst. Technol. Gabor Karsai, Miklós Maróti, Ákos Lédeczi, Jeff Gray, Janos Sztipanovits
2004	J	`jnl`	Computer-automated multiparadigm modeling in control systems technology. IEEE Trans. Control. Syst. Technol. Pieter J. Mosterman, Janos Sztipanovits, Sebastian Engell
2004	—	`ed.`	Proceedings of the Third International Symposium on Information Processing in Sensor Networks, IPSN 2004, Berkeley, California, USA, April 26-27, 2004 IPSN Kannan Ramchandran, Janos Sztipanovits, Jennifer C. Hou, Thrasyvoulos N. Pappas
2004	J	`jnl`	Shooter Localization in Urban Terrain. Computer Miklos Maroti, Gyula Simon, Ákos Lédeczi, Janos Sztipanovits
2004	—	`conf`	WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms. ECBS Kumar Chhokra, Ted Bapty, Jason Scott, Simon Winberg, Janos Sztipanovits, Don van Rheeden, Ben Abbott
2003	Misc	`conf`	Constraint-Based Design-Space Exploration and Model Synthesis. EMSOFT Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts
2003	Misc	`conf`	Driving agenda for systems research. CODES+ISSS Nikil D. Dutt, Janos Sztipanovits, Masaki Hirata
2003	J	`jnl`	Model-integrated development of embedded software. Proc. IEEE Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Ted Bapty
2003	J	`jnl`	Scanning the issue - special issue on modeling and design of embedded software. Proc. IEEE Shankar Sastry, Janos Sztipanovits, Ruzena Bajcsy, H. Gill
2002	B	`conf`	Generative Programming for Embedded Systems. GPCE Janos Sztipanovits, Gabor Karsai
2002	C	`conf`	Generative programming for embedded systems. PPDP Janos Sztipanovits, Gabor Karsai
2001	—	`conf`	An Approach to Self-adaptive Software Based on Supervisory Control. IWSAS Gabor Karsai, Ákos Lédeczi, Janos Sztipanovits, Gábor Péceli, Gyula Simon, Tamás Kovácsházy
2001	—	`conf`	Embedded Software and Systems: Challenges and Approaches. HSCC Janos Sztipanovits
2001	Misc	`conf`	Embedded Software: Challenges and Opportunities. EMSOFT Janos Sztipanovits, Gabor Karsai
2001	—	`conf`	Hybrid Systems Applications: An Oxymoron? HSCC Alberto L. Sangiovanni-Vincentelli, Thomas A. Henzinger, Bruce H. Krogh, Oded Maler, Manfred Morari, Costas C. Pantelides, George J. Pappas, Tunc Simsec, Janos Sztipanovits, Stavros Tripakis
2000	J	`jnl`	Model-integrated Tools for the Design of Dynamically Reconfigurable Systems. VLSI Design Ted Bapty, Sandeep Neema, Jason Scott, Janos Sztipanovits, Sameh W. Asaad
2000	—	`conf`	Software for Embedded Systems: Opportunities and Challenges. IEEE Real Time Technology and Applications Symposium Janos Sztipanovits
2000	J	`jnl`	Towards Two-Level Formal Modeling of Computer-Based Systems. J. Univers. Comput. Sci. Gabor Karsai, Greg Nordstrom, Ákos Lédeczi, Janos Sztipanovits
1999	J	`jnl`	A model-based approach to self-adaptive software. IEEE Intell. Syst. Gabor Karsai, Janos Sztipanovits
1999	—	`conf`	Application of Model-Integrated Computing in Manufacturing Execution Systems. ECBS Earl Long, Amit Misra, Janos Sztipanovits
1999	—	`conf`	Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing. ICEIS Amit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi
1999	—	`conf`	Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments. ECBS Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, Ákos Lédeczi
1999	—	`conf`	Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges. ECBS Amit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi, Earl Long
1999	—	`conf`	Multi-Domain Surety Modeling and Analysis for High Assurance Systems. ECBS James R. Davis, Jason Scott, Janos Sztipanovits, Marcus Martinez
1999	—	`conf`	Situation Assessment and Decision Making Integrated into the Process Centered Environment. ECBS Stephanie M. White, Susan Fife Dorchak, John T. Keane, William Pallack, Jerry Owens, Jerzy W. Rozenblit, James R. Davis, Janos Sztipanovits
1999	—	`conf`	Uniform Execution Environment for Dynamic Reconfiguration. ECBS Ted Bapty, Jason Scott, Sandeep Neema, Janos Sztipanovits
1998	J	`jnl`	Increasing Productivity at Saturn. Computer Earl Long, Amit Misra, Janos Sztipanovits
1998	J	`jnl`	Integrated Engineering of Computer-Based Systems. Computer Janos Sztipanovits
1998	J	`jnl`	Self-Adaptive Software for Signal Processing. Commun. ACM Janos Sztipanovits, Gabor Karsai, Ted Bapty
1997	—	`conf`	A model-integrated information system for increasing throughput in discrete manufacturing. ECBS Amit Misra, Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Michael Moore, Earl Long
1997	J	`jnl`	Model-Integrated Computing. Computer Janos Sztipanovits, Gabor Karsai
1997	—	`conf`	Model-Integrated Programming. HICSS (1) Hubertus Franke, Janos Sztipanovits, Gabor Karsai
1997	—	`conf`	Model-based engineering of large-scale real-time systems. ECBS Ted Bapty, Janos Sztipanovits
1997	—	`conf`	Model-integrated computing environments and computer-based systems. ECBS Janos Sztipanovits
1997	B	`conf`	Model-integrated system development: models, architecture, and process. COMPSAC Gabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore
1996	—	`conf`	Model-Integrated Program Synthesis Environment. ECBS Janos Sztipanovits, Gabor Karsai, Hubertus Franke
1996	—	`conf`	Model-integrated toolset for fault detection, isolation and recovery (FDIR). ECBS J. R. Carnes, Amit Misra, Janos Sztipanovits
1995	B	`conf`	MULTIGRAPH: an architecture for model-integrated computing. ICECCS Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra
1995	B	`conf`	Model-embedded on-line problem solving environment for chemical engineering. ICECCS Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria
1995	J	`jnl`	Modeling Paradigm for Parallel Signal Processing. Aust. Comput. J. Ákos Lédeczi, Ted Bapty, Gabor Karsai, Janos Sztipanovits
1994	—	`conf`	Model-Based Programming for Parallel Image Processing. ICIP (3) Michael S. Moore, Gabor Karsai, Janos Sztipanovits
1993	J	`jnl`	Model-Based Software Synthesis. IEEE Softw. Ben Abbott, Ted Bapty, Csaba Biegl, Gabor Karsai, Janos Sztipanovits
1993	J	`jnl`	Parallel DSP system integration. Microprocess. Microsystems Ákos Lédeczi, Ben Abbott, Csaba Biegl, Ted Bapty, Gabor Karsai, Janos Sztipanovits
1993	J	`jnl`	The multigraph and structural adaptivity. IEEE Trans. Signal Process. Janos Sztipanovits, D. Mitchell Wilkes, Gabor Karsai, Csaba Biegl, Lester E. Lynd Jr.
1992	J	`jnl`	Model-Based Intelligent Process Control for Cogenerator Plants. J. Parallel Distributed Comput. Gabor Karsai, Janos Sztipanovits, Samir Padalkar, Csaba Biegl
1991	J	`jnl`	Real-Time Fault Diagnostics. IEEE Expert Samir Padalkar, Gabor Karsai, Csaba Biegl, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka
1991	A*	`conf`	Real-time fault diagnostics with multiple aspect models. ICRA Samir Padalkar, Gabor Karsai, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka
1990	A*	`conf`	Intelligent monitoring and diagnostics for plant automation. ICRA Janos Sztipanovits, Gabor Karsai, Samir Padalkar, Csaba Biegl, Nobuji Miyasaka, Koji Okuda
1990	Misc	`conf`	The multigraph approach to parallel, distributed, structurally adaptive signal processing. ICASSP D. Mitch Wilkes, Lester E. Lynd Jr., Janos Sztipanovits, Gabor Karsai
1988	J	`jnl`	Graph model-based approach to the representation, interpretation, and execution of signal processing systems. Int. J. Intell. Syst. Janos Sztipanovits, Gabor Karsai, Csaba Biegl
1987	J	`jnl`	Pupa: A Pulse Programming Assistant for NMR Imaging. IEEE Trans. Biomed. Eng. Doug Foxvog, Xiaofeng Li, Juan E. Vargas, John R. Bourne, Janos Sztipanovits, R. Mushlin, Colin G. Harrison