default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJanos Sztipanovits
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j47]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:
A Reference Architecture of Human Cyber-Physical Systems - Part I: Fundamental Concepts. ACM Trans. Cyber Phys. Syst. 8(1): 2:1-2:32 (2024)- [j46]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:
A References Architecture for Human Cyber Physical Systems, Part II: Fundamental Design Principles for Human-CPS Interaction. ACM Trans. Cyber Phys. Syst. 8(1): 3:1-3:27 (2024) - [j45]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:
A Reference Architecture of Human Cyber-Physical Systems - Part III: Semantic Foundations. ACM Trans. Cyber Phys. Syst. 8(1): 4:1-4:23 (2024) - [i16]Harsh Vardhan, Umesh Timalsina, Michael Sandborn, David Hyde, Péter Völgyesi, Janos Sztipanovits:
Anvil: An integration of artificial intelligence, sampling techniques, and a combined CAD-CFD tool. CoRR abs/2407.02519 (2024) - 2023
- [c101]Harsh Vardhan, Péter Völgyesi, Will Hedgecock, Janos Sztipanovits:
Constrained Bayesian Optimization for Automatic Underwater Vehicle Hull Design. CPS-IoT Week Workshops 2023: 116-121 - [i15]Harsh Vardhan, Janos Sztipanovits:
Search for universal minimum drag resistance underwater vehicle hull using CFD. CoRR abs/2302.09441 (2023) - [i14]Harsh Vardhan, Péter Völgyesi, Janos Sztipanovits:
Constrained Bayesian Optimization for Automatic Underwater Vehicle Hull Design. CoRR abs/2302.14732 (2023) - [i13]Harsh Vardhan, Péter Völgyesi, Janos Sztipanovits:
Fusion of ML with numerical simulation for optimized propeller design. CoRR abs/2302.14740 (2023) - [i12]Harsh Vardhan, David Hyde, Umesh Timalsina, Péter Völgyesi, Janos Sztipanovits:
Sample-Efficient and Surrogate-Based Design Optimization of Underwater Vehicle Hulls. CoRR abs/2304.12420 (2023) - 2022
- [i11]Harsh Vardhan, Janos Sztipanovits:
Deep Learning-based FEA surrogate for sub-sea pressure vessel. CoRR abs/2206.03322 (2022) - [i10]Harsh Vardhan, Janos Sztipanovits:
Rare event failure test case generation in Learning-Enabled-Controllers. CoRR abs/2206.05533 (2022) - [i9]Harsh Vardhan, Janos Sztipanovits:
Reduced Robust Random Cut Forest for Out-Of-Distribution detection in machine learning models. CoRR abs/2206.09247 (2022) - [i8]Harsh Vardhan, Janos Sztipanovits:
DeepAL for Regression Using ε-weighted Hybrid Query Strategy. CoRR abs/2206.13298 (2022) - [i7]Harsh Vardhan, Umesh Timalsina, Péter Völgyesi, Janos Sztipanovits:
Data efficient surrogate modeling for engineering design: Ensemble-free batch mode deep active learning for regression. CoRR abs/2211.10360 (2022) - 2021
- [c100]Harsh Vardhan, Péter Völgyesi, Janos Sztipanovits:
Machine learning assisted propeller design. ICCPS 2021: 227-228 - [c99]Harsh Vardhan, Janos Sztipanovits:
Rare event failure test case generation in Learning-Enabled-Controllers. ICMLT 2021: 34-40 - [c98]Qishen Zhang, Daniel Balasubramanian, Tamás Kecskés, Janos Sztipanovits:
Differential-FORMULA: towards a semantic backplane for incremental modeling. DSM@SPLASH 2021: 51-60
2010 – 2019
- 2019
- [j44]Manfred Broy, Heinrich Daembkes, Janos Sztipanovits:
Editorial to the theme section on model-based design of cyber-physical systems. Softw. Syst. Model. 18(3): 1575-1576 (2019) - [c97]Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai:
Model-based design for CPS with learning-enabled components. DESTION@CPSIoTWeek 2019: 1-9 - [c96]Himanshu Neema, Janos Sztipanovits, Cornelius Steinbrink, Thomas Raub, Bastian Cornelsen, Sebastian Lehnhoff:
Simulation integration platforms for cyber-physical systems. DESTION@CPSIoTWeek 2019: 10-19 - [c95]Qishen Zhang, Tamás Kecskés, Ted Bapty, Janos Sztipanovits:
Semantic Integration Platform for Cyber-Physical System Design. DATE 2019: 1619-1624 - [c94]Qishen Zhang, Tamás Kecskés, Janos L. Mathe, Janos Sztipanovits:
Towards bridging the gap between model- and data- driven tool suites for cyber-physical systems. SEsCPS@ICSE 2019: 7-13 - [c93]Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai:
CPS Design with Learning-Enabled Components: A Case Study. RSP 2019: 57-63 - [e5]Alberto L. Sangiovanni-Vincentelli, Janos Sztipanovits, Qi Zhu:
Proceedings of the Workshop on Design Automation for CPS and IoT, DESTION@CPSIoTWeek 2019, Montreal, QC, Canada, April 15, 2019. ACM 2019, ISBN 978-1-4503-6699-1 [contents] - [i6]Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits:
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR abs/1911.08405 (2019) - 2018
- [j43]Xenofon D. Koutsoukos, Gabor Karsai, Aron Laszka, Himanshu Neema, Bradley Potteiger, Péter Völgyesi, Yevgeniy Vorobeychik, Janos Sztipanovits:
SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems. Proc. IEEE 106(1): 93-112 (2018) - [j42]Janos Sztipanovits, Ted Bapty, Xenofon D. Koutsoukos, Zsolt Lattmann, Sandeep Neema, Ethan K. Jackson:
Model and Tool Integration Platforms for Cyber-Physical System Design. Proc. IEEE 106(9): 1501-1526 (2018) - [c92]Matt Schmittle, Anna Lukina, Lukas Vacek, Jnaneshwar Das, Christopher P. van Buskirk, Stephen A. Rees, Janos Sztipanovits, Radu Grosu, Vijay Kumar:
OpenUAV: a UAV testbed for the CPS and robotics community. ICCPS 2018: 130-139 - [c91]Anna Lukina, Arjun Kumar, Matt Schmittle, Abhijeet Singh, Jnaneshwar Das, Stephen A. Rees, Christopher P. van Buskirk, Janos Sztipanovits, Radu Grosu, Vijay Kumar:
Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO. ICCPS 2018: 353-354 - [c90]Anastasia Mavridou, Tamás Kecskés, Qishen Zhang, Janos Sztipanovits:
A Common Integrated Framework for Heterogeneous Modeling Services. MoDELS (Workshops) 2018: 416-422 - [c89]Himanshu Neema, Bradley Potteiger, Xenofon D. Koutsoukos, Gabor Karsai, Péter Völgyesi, Janos Sztipanovits:
Integrated simulation testbed for security and resilience of CPS. SAC 2018: 368-374 - [i5]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:
Approaches to Enhancing Cyber Resilience: Report of the North Atlantic Treaty Organization (NATO) Workshop IST-153. CoRR abs/1804.07651 (2018) - [i4]Anastasia Mavridou, Joseph Sifakis, Janos Sztipanovits:
DesignBIP: A Design Studio for Modeling and Generating Systems with BIP. CoRR abs/1805.09919 (2018) - 2017
- [c88]Tamás Kecskés, Qishen Zhang, Janos Sztipanovits:
Bridging Engineering and Formal Modeling: WebGME and Formula Integration. MoDELS (Satellite Events) 2017: 280-285 - [c87]Yogesh D. Barve, Himanshu Neema, Aniruddha S. Gokhale, Janos Sztipanovits:
Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud. MoDELS (Satellite Events) 2017: 463-464 - 2016
- [c86]Himanshu Neema, Péter Völgyesi, Bradley Potteiger, William Emfinger, Xenofon D. Koutsoukos, Gabor Karsai, Yevgeniy Vorobeychik, Janos Sztipanovits:
Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience. ICCPS 2016: 27:1 - 2015
- [j41]Mark Yampolskiy, Péter Horváth, Xenofon D. Koutsoukos, Yuan Xue, Janos Sztipanovits:
A language for describing attacks on cyber-physical systems. Int. J. Crit. Infrastructure Prot. 8: 40-52 (2015) - [j40]David Lindecker, Gabor Simko, Tihamer Levendovszky, István Madari, Janos Sztipanovits:
Validating Transformations for Semantic Anchoring. J. Object Technol. 14(3): 2:1-25 (2015) - [c85]Janos Sztipanovits, Ted Bapty, Sandeep Neema, Xenofon D. Koutsoukos, Ethan K. Jackson:
Design tool chain for cyber-physical systems: lessons learned. DAC 2015: 81:1-81:6 - [i3]Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits:
Anonymously Analyzing Clinical Datasets. CoRR abs/1501.05916 (2015) - 2014
- [j39]András Nádas, Tihamer Levendovszky, Ethan K. Jackson, István Madari, Janos Sztipanovits:
A model-integrated authoring environment for privacy policies. Sci. Comput. Program. 89: 105-125 (2014) - [j38]Zhenkai Zhang, Emeka Eyisi, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits:
A co-simulation framework for design of time-triggered automotive cyber physical systems. Simul. Model. Pract. Theory 43: 16-33 (2014) - [c84]Gabor Simko, Tihamer Levendovszky, Miklos Maroti, Janos Sztipanovits:
Towards a theory for cyber-physical systems modeling. CyPhy 2014: 56-61 - [c83]Betty H. C. Cheng, Thomas Degueule, Colin Atkinson, Siobhán Clarke, Ulrich Frank, Pieter J. Mosterman, Janos Sztipanovits:
Motivating Use Cases for the Globalization of DSLs. Globalizing Domain-Specific Languages 2014: 21-42 - [c82]Janos Sztipanovits, Ted Bapty, Sandeep Neema, Larry Howard, Ethan K. Jackson:
OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems. FPS@ETAPS 2014: 235-248 - [c81]Nafees Qamar, Yilong Yang, András Nádas, Zhiming Liu, Janos Sztipanovits:
A Tool for Analyzing Clinical Datasets as Blackbox. FHIES/SEHC 2014: 222-238 - [c80]Mark Yampolskiy, Yevgeniy Vorobeychik, Xenofon D. Koutsoukos, Péter Horváth, Heath J. LeBlanc, Janos Sztipanovits:
Resilient distributed consensus for tree topology. HiCoNS 2014: 41-48 - [c79]Sandeep Neema, Gabor Simko, Tihamer Levendovszky, Joseph Porter, Akshay Agrawal, Janos Sztipanovits:
Formalization of software models for cyber-physical systems. FormaliSE 2014: 45-51 - 2013
- [j37]Nicholas Kottenstette, Joseph F. Hall, Xenofon D. Koutsoukos, Janos Sztipanovits, Panos J. Antsaklis:
Design of Networked Control Systems Using Passivity. IEEE Trans. Control. Syst. Technol. 21(3): 649-665 (2013) - [c78]David Lindecker, Gabor Simko, István Madari, Tihamer Levendovszky, Janos Sztipanovits:
Multi-way Semantic Specification of Domain-Specific Modeling Languages. ECBS 2013: 20-29 - [c77]Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan K. Jackson, Sandeep Neema, Janos Sztipanovits:
A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems. ECBS 2013: 30-39 - [c76]Ethan K. Jackson, Gabor Simko, Janos Sztipanovits:
Diversely enumerating system-level architectures. EMSOFT 2013: 11:1-11:10 - [c75]Mark Yampolskiy, Péter Horváth, Xenofon D. Koutsoukos, Yuan Xue, Janos Sztipanovits:
Taxonomy for description of cross-domain attacks on CPS. HiCoNS 2013: 135-142 - [c74]Péter Horváth, Mark Yampolskiy, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits:
Reliability Analysis of Wireless Real-Time Control Networks. ICCCN 2013: 1-7 - [c73]Zhenkai Zhang, Joseph Porter, Emeka Eyisi, Gabor Karsai, Xenofon D. Koutsoukos, Janos Sztipanovits:
Co-simulation framework for design of time-triggered cyber physical systems. ICCPS 2013: 119-128 - [c72]András Nádas, Laszlo Juracz, Janos Sztipanovits, Mark E. Frisse, Ann J. Olsen:
PolicyForge: a collaborative environment for formalizing privacy policies in health care. SEHC@ICSE 2013: 20-23 - [c71]Di Shang, Emeka Eyisi, Zhenkai Zhang, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits:
A case study on the model-based design and integration of automotive cyber-physical systems. MED 2013: 483-492 - [c70]Gabor Simko, David Lindecker, Tihamer Levendovszky, Sandeep Neema, Janos Sztipanovits:
Specification of Cyber-Physical Components with Formal Semantics - Integration and Composition. MoDELS 2013: 471-487 - 2012
- [j36]Janos Sztipanovits:
Cyber Physical Systems - Convergence of Physical and Information Sciences. it Inf. Technol. 54(6): 257-265 (2012) - [j35]Janos Sztipanovits, Xenofon D. Koutsoukos, Gabor Karsai, Nicholas Kottenstette, Panos J. Antsaklis, Vijay Gupta, Bill Goodwine, John S. Baras, Shige Wang:
Toward a Science of Cyber-Physical System Integration. Proc. IEEE 100(1): 29-44 (2012) - [j34]Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Wei Yan, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits:
NCSWT: An integrated modeling and simulation tool for networked control systems. Simul. Model. Pract. Theory 27: 90-111 (2012) - [j33]Graham Hemingway, Himanshu Neema, Harmon Nine, Janos Sztipanovits, Gabor Karsai:
Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. Simul. 88(2): 217-232 (2012) - [j32]Xenofon D. Koutsoukos, Nicholas Kottenstette, Joseph F. Hall, Emeka Eyisi, Heath LeBlanc, Joseph Porter, Janos Sztipanovits:
A passivity approach for model-based compositional design of networked control systems. ACM Trans. Embed. Comput. Syst. 11(4): 75:1-75:31 (2012) - [c69]Gabor Simko, Janos Sztipanovits:
Active Monitoring using Real-time Metric Linear Temporal Logic Specifications. HEALTHINF 2012: 370-373 - [c68]Wei Yan, Yuan Xue, Xiaowei Li, Jiannian Weng, Timothy Busch, Janos Sztipanovits:
Integrated simulation and emulation platform for cyber-physical system security experimentation. HiCoNS 2012: 81-88 - [c67]Emeka Eyisi, Jia Bai, Derek Riley, Jiannian Weng, Yan Wei, Yuan Xue, Xenofon D. Koutsoukos, Janos Sztipanovits:
NCSWT: an integrated modeling and simulation tool for networked control systems. HSCC 2012: 287-290 - [c66]Janos L. Mathe, Janos Sztipanovits, Mia A. Levy, Ethan K. Jackson, Wolfram Schulte:
Cancer treatment planning: formal methods to the rescue. SEHC@ICSE 2012: 19-25 - 2011
- [j31]Zhenkai Zhang, Joseph Porter, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits:
High confidence embedded software design: a quadrotor helicopter case study. SIGBED Rev. 8(2): 44-47 (2011) - [c65]Janos Sztipanovits:
Model Integration and Cyber Physical Systems: A Semantics Perspective. FM 2011: 1 - [c64]Derek Riley, Emeka Eyisi, Jia Bai, Xenofon D. Koutsoukos, Yuan Xue, Janos Sztipanovits:
Networked control system wind tunnel (NCSWT): an evaluation tool for networked multi-agent systems. SimuTools 2011: 9-18 - [c63]Joseph Porter, Daniel Balasubramanian, Graham Hemingway, Janos Sztipanovits:
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models. SC@TOOLS 2011: 133-140 - [i2]Holger Giese, Bernhard Rumpe, Bernhard Schätz, Janos Sztipanovits:
Science and Engineering of Cyber-Physical Systems (Dagstuhl Seminar 11441). Dagstuhl Reports 1(11): 1-22 (2011) - 2010
- [j30]Chang Hong Lin, Marilyn Wolf, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits:
System and software architectures of distributed smart cameras. ACM Trans. Embed. Comput. Syst. 9(4): 38:1-38:30 (2010) - [c62]Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits:
Online stability validation using sector analysis. EMSOFT 2010: 29-38 - [c61]Heath LeBlanc, Emeka Eyisi, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits:
A Passivity-based Approach to Deployment in Multi-agent Networks. ICINCO (1) 2010: 53-62 - [c60]Heath LeBlanc, Emeka Eyisi, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits:
A Passivity-Based Approach to Group Coordination in Multi-agent Networks. ICINCO (Selected Papers) 2010: 135-149 - [c59]Graham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits:
Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis. International Symposium on Rapid System Prototyping 2010: 1-7 - [e4]Janos Sztipanovits, Raj Rajkumar:
ACM/IEEE 1st International Conference on Cyber-Physical Systems, ICCPS '10, Stockholm, Sweden, April 12-15, 2010. ACM 2010, ISBN 978-1-4503-0066-7 [contents]
2000 – 2009
- 2009
- [j29]Alberto L. Sangiovanni-Vincentelli, Sandeep K. Shukla, Janos Sztipanovits, Guang Yang, Deepak Mathaikutty:
Metamodeling: An Emerging Representation Paradigm for System-Level Design. IEEE Des. Test Comput. 26(3): 54-69 (2009) - [j28]Kai Chen, Joseph Porter, Janos Sztipanovits, Sandeep Neema:
Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages. Int. J. Semantic Comput. 3(1): 31-56 (2009) - [j27]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:
A Model-Integrated, Guideline-Driven, Clinical Decision-Support System. IEEE Softw. 26(4): 54-61 (2009) - [j26]Ethan K. Jackson, Janos Sztipanovits:
Formalizing the structural semantics of domain-specific modeling languages. Softw. Syst. Model. 8(4): 451-478 (2009) - [c58]Joseph Porter, Gabor Karsai, Janos Sztipanovits:
Towards a time-triggered schedule calculation tool to support model-based embedded software design. EMSOFT 2009: 167-176 - [c57]Sandeep Neema, Ted Bapty, Xenofon D. Koutsoukos, Himanshu Neema, Janos Sztipanovits, Gabor Karsai:
Model based integration and experimentation of Information Fusion and C2 Systems. FUSION 2009: 1958-1965 - [c56]Junaid Ahsenali Chaudhry, Yonghwan Lee, Ken R. Pence, Janos Sztipanovits:
Autonomic Self-Healing for MANETs. IC-AI 2009: 575-581 - [c55]Emeka Eyisi, Joseph Porter, Joe Hall, Nicholas Kottenstette, Xenofon D. Koutsoukos, Janos Sztipanovits:
PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems. ACES-MB@MoDELS 2009 - [c54]Joseph Porter, Péter Völgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits:
An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. IEEE International Workshop on Rapid System Prototyping 2009: 3-10 - [e3]Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter:
Model-Based Design of Trustworthy Health Information Systems, 11.02. - 14.02.2009. Dagstuhl Seminar Proceedings 09073, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany 2009 [contents] - [i1]Ruth Breu, John C. Mitchell, Janos Sztipanovits, Alfred Winter:
09073 Abstracts Collection - Model-Based Design of Trustworthy Health Information Systems. Model-Based Design of Trustworthy Health Information Systems 2009 - 2008
- [c53]Pieter J. Mosterman, Don Orofino, Janos Sztipanovits, Ahmed Amine Jerraya, Wido Kruijtzer, Víctor Reyes, Christos G. Cassandras, Grant Martin:
Automatically Realising Embedded Systems from High-Level Functional Models. DATE 2008 - [c52]Joseph Porter, Gabor Karsai, Péter Völgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits:
Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. MoDELS (Workshops) 2008: 20-34 - [c51]Ruth Breu, Janos Sztipanovits:
Second International Workshop on the Model-Based Design of Trustworthy Health Information Systems MOTHIS 2008. MoDELS (Workshops) 2008: 197-198 - [c50]Nicholas Kottenstette, Xenofon D. Koutsoukos, Joseph F. Hall, Janos Sztipanovits, Panos J. Antsaklis:
Passivity-Based Design of Wireless Networked Control Systems for Robustness to Time-Varying Delays. RTSS 2008: 15-24 - [c49]Gabor Karsai, Janos Sztipanovits:
Model-Integrated Development of Cyber-Physical Systems. SEUS 2008: 46-54 - 2007
- [j25]Janos Sztipanovits, John Bay, Larry Rohrbough, Shankar Sastry, Douglas C. Schmidt, Norm Whitaker, Don Wilson, Don Winter:
Escher: A New Technology Transitioning Model. Computer 40(3): 90-92 (2007) - [j24]Janos L. Mathe, Sean Duncavage, Jan Werner, Bradley A. Malin, Ákos Lédeczi, Janos Sztipanovits:
Towards the security and privacy analysis of patient portals. SIGBED Rev. 4(2): 5-9 (2007) - [c48]Sean Duncavage, Janos L. Mathe, Jan Werner, Bradley A. Malin, Ákos Lédeczi, Janos Sztipanovits:
A Modeling Environment for Patient Portals. AMIA 2007 - [c47]Manish Kushwaha, Isaac Amundson, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits:
OASiS: A Programming Framework for Service-Oriented Sensor Networks. COMSWARE 2007 - [c46]Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty:
The Model-Integrated Computing Tool Suite. Model-Based Engineering of Embedded Real-Time Systems 2007: 369-376 - [c45]Kai Chen, Janos Sztipanovits, Sandeep Neema:
Compositional specification of behavioral semantics. DATE 2007: 906-911 - [c44]Janos Sztipanovits:
Composition of Cyber-Physical Systems. ECBS 2007: 3-6 - [c43]Kai Chen, Janos Sztipanovits, Sandeep Neema:
A Case Study on Semantic Unit Composition. MiSE@ICSE 2007: 3 - [c42]Ákos Lédeczi, Ruth Breu, Bradley A. Malin, Janos Sztipanovits:
First International Workshop on the Model-Based Design of Trustworthy Health Information Systems. MoDELS (Workshops) 2007: 115-117 - [c41]Ethan K. Jackson, Janos Sztipanovits:
Constructive Techniques for Meta- and Model-Level Reasoning. MoDELS 2007: 405-419 - [e2]Fabrice Kordon, Janos Sztipanovits:
Reliable Systems on Unreliable Networked Platforms - 12th Monterey Workshop 2005, Laguna Beach, CA, USA, September 22-24, 2005. Revised Selected Papers. Lecture Notes in Computer Science 4322, Springer 2007, ISBN 978-3-540-71155-1 [contents] - [r1]Janos Sztipanovits, Sandeep Neema, Matthew J. Emerson:
Metamodeling Languages and Metaprogrammable Tools. Handbook of Real-Time and Embedded Systems 2007 - 2006
- [j23]Krishnakumar Balasubramanian, Aniruddha S. Gokhale, Gabor Karsai, Janos Sztipanovits, Sandeep Neema:
Developing Applications Using Model-Driven Design Environments. Computer 39(2): 33-40 (2006) - [c40]Isaac Amundson, Manish Kushwaha, Xenofon D. Koutsoukos, Sandeep Neema, Janos Sztipanovits:
Efficient Integration of Web Services in Ambient-aware Sensor Network Applications. BROADNETS 2006 - [c39]Ethan K. Jackson, Janos Sztipanovits:
Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality. ECBS 2006: 164-176 - [c38]Ethan K. Jackson, Janos Sztipanovits:
Towards a formal foundation for domain specific modeling languages. EMSOFT 2006: 53-62 - [c37]Xenofon D. Koutsoukos, Manish Kushwaha, Isaac Amundson, Sandeep Neema, Janos Sztipanovits:
OASiS: A Service-Oriented Architecture for Ambient-Aware Sensor Networks. Monterey Workshop 2006: 125-149 - [c36]Kai Chen, Janos Sztipanovits, Sherif Abdelwahed:
A Semantic Unit for Timed Automata Based Modeling Languages. IEEE Real Time Technology and Applications Symposium 2006: 347-360 - [c35]Chang Hong Lin, Wayne H. Wolf, Andrew Dixon, Xenofon D. Koutsoukos, Janos Sztipanovits:
Design and Implementation of Ubiquitous Smart Cameras. SUTC (1) 2006: 32-39 - 2005
- [j22]Janos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha S. Gokhale, Larry Howard, Gabor Karsai, Tak-John Koo, Xenofon D. Koutsoukos, Douglas C. Schmidt:
Introducing embedded software and systems education and advanced learning technology in an engineering curriculum. ACM Trans. Embed. Comput. Syst. 4(3): 549-568 (2005) - [c34]Janos Sztipanovits, C. John Glossner, Trevor N. Mudge, Chris Rowen, Alberto L. Sangiovanni-Vincentelli, Wayne H. Wolf, Feng Zhao:
Grand challenges in embedded systems. CODES+ISSS 2005: 333 - [c33]Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, Ethan K. Jackson:
Semantic Anchoring with Model Transformations. ECMDA-FA 2005: 115-129 - [c32]Ethan K. Jackson, Janos Sztipanovits:
Using separation of concerns for embedded systems design. EMSOFT 2005: 25-34 - [c31]Kai Chen, Janos Sztipanovits, Sandeep Neema:
Toward a semantic anchoring infrastructure for domain-specific modeling languages. EMSOFT 2005: 35-43 - 2004
- [j21]Miklos Maroti, Gyula Simon, Ákos Lédeczi, Janos Sztipanovits:
Shooter Localization in Urban Terrain. Computer 37(8): 60-61 (2004) - [j20]Matthew J. Emerson, Janos Sztipanovits, Ted Bapty:
A MOF-Based Metamodeling Environment. J. Univers. Comput. Sci. 10(10): 1357-1382 (2004) - [j19]Pieter J. Mosterman, Janos Sztipanovits, Sebastian Engell:
Computer-automated multiparadigm modeling in control systems technology. IEEE Trans. Control. Syst. Technol. 12(2): 223-234 (2004) - [j18]Gabor Karsai, Miklós Maróti, Ákos Lédeczi, Jeff Gray, Janos Sztipanovits:
Composition and cloning in modeling and meta-modeling. IEEE Trans. Control. Syst. Technol. 12(2): 263-278 (2004) - [c30]Kumar Chhokra, Ted Bapty, Jason Scott, Simon Winberg, Janos Sztipanovits, Don van Rheeden, Ben Abbott:
WASP: A Radio Geolocation System on Highly Resource Constrained Mobile Platforms. ECBS 2004: 121-127 - [e1]Kannan Ramchandran, Janos Sztipanovits, Jennifer C. Hou, Thrasyvoulos N. Pappas:
Proceedings of the Third International Symposium on Information Processing in Sensor Networks, IPSN 2004, Berkeley, California, USA, April 26-27, 2004. ACM 2004, ISBN 1-58113-846-6 [contents] - 2003
- [j17]Shankar Sastry, Janos Sztipanovits, Ruzena Bajcsy, H. Gill:
Scanning the issue - special issue on modeling and design of embedded software. Proc. IEEE 91(1): 3-10 (2003) - [j16]Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Ted Bapty:
Model-integrated development of embedded software. Proc. IEEE 91(1): 145-164 (2003) - [c29]Nikil D. Dutt, Janos Sztipanovits, Masaki Hirata:
Driving agenda for systems research. CODES+ISSS 2003: 82 - [c28]Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts:
Constraint-Based Design-Space Exploration and Model Synthesis. EMSOFT 2003: 290-305 - 2002
- [c27]Janos Sztipanovits, Gabor Karsai:
Generative Programming for Embedded Systems. GPCE 2002: 32-49 - [c26]Janos Sztipanovits, Gabor Karsai:
Generative programming for embedded systems. PPDP 2002: 180-180 - 2001
- [c25]Janos Sztipanovits, Gabor Karsai:
Embedded Software: Challenges and Opportunities. EMSOFT 2001: 403-415 - [c24]Janos Sztipanovits:
Embedded Software and Systems: Challenges and Approaches. HSCC 2001: 4 - [c23]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:
Hybrid Systems Applications: An Oxymoron? HSCC 2001: 5-6 - [c22]Gabor Karsai, Ákos Lédeczi, Janos Sztipanovits, Gábor Péceli, Gyula Simon, Tamás Kovácsházy:
An Approach to Self-adaptive Software Based on Supervisory Control. IWSAS 2001: 24-38 - 2000
- [j15]Gabor Karsai, Greg Nordstrom, Ákos Lédeczi, Janos Sztipanovits:
Towards Two-Level Formal Modeling of Computer-Based Systems. J. Univers. Comput. Sci. 6(11): 1131-1144 (2000) - [j14]Ted Bapty, Sandeep Neema, Jason Scott, Janos Sztipanovits, Sameh W. Asaad:
Model-integrated Tools for the Design of Dynamically Reconfigurable Systems. VLSI Design 10(3): 281-306 (2000) - [c21]Janos Sztipanovits:
Software for Embedded Systems: Opportunities and Challenges. IEEE Real Time Technology and Applications Symposium 2000: 2
1990 – 1999
- 1999
- [j13]Gabor Karsai, Janos Sztipanovits:
A model-based approach to self-adaptive software. IEEE Intell. Syst. 14(3): 46-53 (1999) - [c20]Earl Long, Amit Misra, Janos Sztipanovits:
Application of Model-Integrated Computing in Manufacturing Execution Systems. ECBS 1999: 53-59 - [c19]Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, Ákos Lédeczi:
Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments. ECBS 1999: 68-74 - [c18]Stephanie M. White, Susan Fife Dorchak, John T. Keane, William Pallack, Jerry Owens, Jerzy W. Rozenblit, James R. Davis, Janos Sztipanovits:
Situation Assessment and Decision Making Integrated into the Process Centered Environment. ECBS 1999: 129-135 - [c17]Ted Bapty, Jason Scott, Sandeep Neema, Janos Sztipanovits:
Uniform Execution Environment for Dynamic Reconfiguration. ECBS 1999: 181-187 - [c16]Amit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi, Earl Long:
Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges. ECBS 1999: 225-231 - [c15]James R. Davis, Jason Scott, Janos Sztipanovits, Marcus Martinez:
Multi-Domain Surety Modeling and Analysis for High Assurance Systems. ECBS 1999: 254-260 - [c14]Amit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi:
Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing. ICEIS 1999: 485-492 - 1998
- [j12]Janos Sztipanovits, Gabor Karsai, Ted Bapty:
Self-Adaptive Software for Signal Processing. Commun. ACM 41(5): 66-73 (1998) - [j11]Earl Long, Amit Misra, Janos Sztipanovits:
Increasing Productivity at Saturn. Computer 31(8): 35-43 (1998) - [j10]Janos Sztipanovits:
Integrated Engineering of Computer-Based Systems. Computer 31(12): 68-69 (1998) - 1997
- [j9]Janos Sztipanovits, Gabor Karsai:
Model-Integrated Computing. Computer 30(4): 110-111 (1997) - [c13]Gabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore:
Model-integrated system development: models, architecture, and process. COMPSAC 1997: 176-181 - [c12]Amit Misra, Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Michael Moore, Earl Long:
A model-integrated information system for increasing throughput in discrete manufacturing. ECBS 1997: 203-210 - [c11]Ted Bapty, Janos Sztipanovits:
Model-based engineering of large-scale real-time systems. ECBS 1997: 467- - [c10]Janos Sztipanovits:
Model-integrated computing environments and computer-based systems. ECBS 1997: 480 - [c9]Hubertus Franke, Janos Sztipanovits, Gabor Karsai:
Model-Integrated Programming. HICSS (1) 1997: 415-422 - 1996
- [c8]Janos Sztipanovits, Gabor Karsai, Hubertus Franke:
Model-Integrated Program Synthesis Environment. ECBS 1996: 348-355 - [c7]J. R. Carnes, Amit Misra, Janos Sztipanovits:
Model-integrated toolset for fault detection, isolation and recovery (FDIR). ECBS 1996: 356-363 - 1995
- [j8]Ákos Lédeczi, Ted Bapty, Gabor Karsai, Janos Sztipanovits:
Modeling Paradigm for Parallel Signal Processing. Aust. Comput. J. 27(3): 92-102 (1995) - [c6]Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria:
Model-embedded on-line problem solving environment for chemical engineering. ICECCS 1995: 227-233 - [c5]Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra:
MULTIGRAPH: an architecture for model-integrated computing. ICECCS 1995: 361-368 - 1994
- [c4]Michael S. Moore, Gabor Karsai, Janos Sztipanovits:
Model-Based Programming for Parallel Image Processing. ICIP (3) 1994: 811-815 - 1993
- [j7]Ákos Lédeczi, Ben Abbott, Csaba Biegl, Ted Bapty, Gabor Karsai, Janos Sztipanovits:
Parallel DSP system integration. Microprocess. Microsystems 17(8): 460-470 (1993) - [j6]Ben Abbott, Ted Bapty, Csaba Biegl, Gabor Karsai, Janos Sztipanovits:
Model-Based Software Synthesis. IEEE Softw. 10(3): 42-52 (1993) - [j5]Janos Sztipanovits, D. Mitchell Wilkes, Gabor Karsai, Csaba Biegl, Lester E. Lynd Jr.:
The multigraph and structural adaptivity. IEEE Trans. Signal Process. 41(8): 2695-2716 (1993) - 1992
- [j4]Gabor Karsai, Janos Sztipanovits, Samir Padalkar, Csaba Biegl:
Model-Based Intelligent Process Control for Cogenerator Plants. J. Parallel Distributed Comput. 15(2): 90-102 (1992) - 1991
- [j3]Samir Padalkar, Gabor Karsai, Csaba Biegl, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka:
Real-Time Fault Diagnostics. IEEE Expert 6(3): 75-85 (1991) - [c3]Samir Padalkar, Gabor Karsai, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka:
Real-time fault diagnostics with multiple aspect models. ICRA 1991: 803-808 - 1990
- [c2]D. Mitch Wilkes, Lester E. Lynd Jr., Janos Sztipanovits, Gabor Karsai:
The multigraph approach to parallel, distributed, structurally adaptive signal processing. ICASSP 1990: 2037-2040 - [c1]Janos Sztipanovits, Gabor Karsai, Samir Padalkar, Csaba Biegl, Nobuji Miyasaka, Koji Okuda:
Intelligent monitoring and diagnostics for plant automation. ICRA 1990: 1390-1395
1980 – 1989
- 1988
- [j2]Janos Sztipanovits, Gabor Karsai, Csaba Biegl:
Graph model-based approach to the representation, interpretation, and execution of signal processing systems. Int. J. Intell. Syst. 3(3): 269-280 (1988) - 1987
- [j1]Doug Foxvog, Xiaofeng Li, Juan E. Vargas, John R. Bourne, Janos Sztipanovits, R. Mushlin, Colin G. Harrison:
Pupa: A Pulse Programming Assistant for NMR Imaging. IEEE Trans. Biomed. Eng. 34(12): 938-943 (1987)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-12-26 00:45 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
