] Filters: Author is Sztipanovits, Janos [Clear All Filters]
"Parallel DSP System Integration",
Microprocessors and Microsystems, vol. 17, pp. 460--470, 1993.
"A passivity approach for model-based compositional design of networked control systems",
ACM Transactions on Embedded Computing Systems, vol. 11, no. 4, pp. 75:1-75:31, 12/2012.
Abstract
"A Practical Method For Creating Plant Diagnostics Applications",
Integrated Computer-Aided Engineering, vol. 3, pp. 291--304, 1996.
Download: Karsai_G_0_0_1996_A_Practica.pdf (364.48 KB)
"Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging",
IEEE Transactions on Biomedical Engineering, vol. 34, pp. 938--943, 1987.
"Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach",
SIMULATION, vol. March 17, 2011 0037549711401950, no. March 17, 2011, Online, Simulation: Transactions of the Society for Modeling and Simulation International, pp. 16, 03/2011.
Abstract
Download: 0037549711401950.full_.pdf (815.53 KB)
"Real-Time Fault Diagnostics",
IEEE Expert, vol. 6, pp. 75--85, 1991.
"Self-Adaptive Software for Signal Processing",
Communications of the ACM, vol. 41, pp. 55--65, March, 1998.
Download: Sztipanovi_J_0_0_1998_Self_Adapt.pdf (66.17 KB)
"Shooter Localization in Urban Terrain",
Computer, vol. 37, pp. 60--61, August, 2004.
Download: Maroti_M_8_0_2004_Shooter_Lo.pdf (240.97 KB)
"SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems",
Proceedings of the IEEE: IEEE, 2017.
"System and software architectures of distributed smart cameras",
ACM Transactions on Embedded Computing Systems, vol. 9, no. 4, pp. 1-30, 2010.
"Towards the Security and Privacy Analysis of Patient Portals",
Special Interest Group on Embedded Systems Review (SIGBED), vol. 4 (#2), 04/2007.
Abstract
Download: Mathe-ACM.SIGBED.07-Towards.Analysis.pdf (374.36 KB)
"Towards Two-Level Formal Modeling of Computer-Based Systems",
Journal of Universal Computer Science, vol. 6, pp. 1131--1144, November, 2000.
Download: Karsai_G_11_0_2000_Towards_Tw.pdf (182.08 KB)
"TWO-LEVEL ASPECT WEAVING TO SUPPORT EVOLUTION IN MODEL-DRIVEN SOFTWARE",
Aspect-Oriented Software Development (Book): Addison Wesley, pp. 681--705, August, 2004.
Download: Gray_J_8_0_2004_TWO_LEVEL_.pdf (358.75 KB)
"Model-Based Integration Platform for FMI Co-Simulation and Heterogeneous Simulations of Cyber-Physical Systems",
10th International Modelica Conference, vol. Proceedings of the 10th International Modelica Conference, Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN, Modelica Association and Linkoping University Electronic Press, pp. 235-245, 03/2014.
Abstract
Download: Neema_H_12_8_2013_Modelica_2014_FMUCS_HLA.PDF (536.88 KB)
"Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud",
MODELS 2017 Satellite Event: Posters co-located with {ACM/IEEE} 20th International Conference on Model Driven Engineering Languages and Systems, Austin,TX,USA, pp. 463–464, 09/2017.
Abstract
Download: posters_1.pdf (641.33 KB)
"Networked Control System Wind Tunnel (NCSWT) - An evaluation tool for networked multi-agent systems",
Fourth International ICST Conference on Simulation Tools and Techniques (SIMUTools), 2011.
"Networked Control System Wind Tunnel (NCSWT)- An evaluation tool for networked multi-agent systems",
4th International ICST Conference on Simulation Tools and Techniques (SIMUTools 2011), Barcelona, Spain, 03/2011.
Abstract
"PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems",
19th Mediterranean Conference on Control and Automation, Corfu,Greece, 06/2011.
Abstract
"Activity Modeling",
Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
"Application of the Multigraph Architecture in Intelligent Patient Monitoring",
IEEE-EMBS Annual Conference, San Diego, CA, October, 1993.
"Architecture of Intelligent Medical Instruments",
7th Annual IEEE/EMBS Conference, Chicago, IL, pp. 1132--1136, 1985.
"Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis",
Rapid System Prototyping, Fairfax, VA, IEEE, pp. 1-7, 10/2010.
Abstract
Download: RSP10.pdf (349.64 KB)
"Automated Testing and Integration of Heterogeneous Systems",
Proceedings of the Intersociety Energy Conversion Engineering Conference, Philadelphia, PA, pp. 145--154, 1987.
"Automatic Parallel Program Generation for Aerospace Testing",
9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 434--440, January, 1993.
"C2WT-TE: A Model-Based Open Platform for Integrated Simulations of Transactive Smart Grids",
2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, Vienna, Austria, 04/2016.
Abstract
"Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems",
ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, ACM, pp. 119-128, 04/2013.
Abstract
Download: iccps'13.pdf (1.29 MB)
"Constraint-Based Design-Space Exploration and Model Synthesis",
EMSOFT 2003, LNCS 2855, Philadelphia, PA, October, 2003.
Download: Neema_S_10_2_2003_Constraint.pdf (140.03 KB)
"Constructive Techniques for Meta- and Model-Level Reasoning",
Models'07, Nashville, TN, 10/2007.
Abstract
Download: jackson_MODELS07.pdf (256.29 KB)
"Cooperative Systems for Real-Time Process Monitoring and Diagnostics",
Proceeding of the AI-Japan, Osaka, Japan, 1987.
"Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality",
13th Annual IEEE International Conference on the Engineering of Computer Based Systems, Potsdam, Germany, March, 2006.
Download: Jackson_EK_3_27_2006_Correct_ed.pdf (305.84 KB)
"Design of Intelligent Instrumentation",
First Conference on Artificial Intelligence Applications, Denver, CO, pp. 490--495, 1984.
"Design Space Exploration and Manipulation for Cyber Physical Systems",
IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL' 2014), Berlin, Germany, Springer, 04/2014.
Abstract
Download: Himanshu_DSEMForCPS.PDF (773.23 KB)
"Diagnosability of Dynamical Systems",
Third International Workshop on Principles of Diagnosis, Rosario, WA, October, 1992.
Download: Misra_A_10_0_1992_Diagnosabi.pdf (193.24 KB)
"Diagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams",
Seventh International Workshop on Principles of Diagnosis, Val Morin, Quebec, October, 1996.
Download: Sztipanovi_J_10_0_1996_Diagnosis_.pdf (71.52 KB)
"Discrete-Time IDA-Passivity Based Control of Coupled Tank Processes Subject To Actuator Saturation",
3rd International Symposium on Resilient Control Systems, Idaho Falls, ID, IEEE, pp. 115-120, 08/2010.
Abstract
Download: ida_pbc_res_press.pdf (227.54 KB)
"Efficient Integration of Web Services in Ambient-aware Sensor Network Applications",
Basenets, San Jose, CA, October, 2006.
Download: Amundson_I_10_1_2006_Efficient_.pdf (849.01 KB)
"The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems",
15th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, 04/2009.
Abstract
Download: rtas_demo_2009.pdf (491.24 KB)
"Evolutionary Design for Manufacturing Execution Systems",
World Manufacturing Congress, Auckland, New Zealand, November, 1997.
Download: Misra_A_11_0_1997_Evolutiona.pdf (171.95 KB)
"Execution Environment for Intelligent Real-time Control Systems",
NASA/JPL Symposium on Telerobotics, Pasadena, CA, pp. 131--139, 1987.
"Execution Environment for Intelligent Real-Time Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 807--811, 1986.
"Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System",
Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
"Experiment Design Language for Intelligent MRI Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 803--807, 1986.
"An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software",
20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP'09), Paris, France, 06/2009.
Abstract
"Finite-State temporal Automata Modeling for Fault Diagnosis",
Computing in Aerospace, 9th AIAA Conference, Sand Diego, 1993.
"Foundation for Model Integration: Semantic Backplane",
Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE, 2012.
"A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems",
IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Phoenix, AZ, IEEE, pp. 30-39, 2013.
Download: ECBS2013.pdf (416.4 KB)
"Graph-Based Real-Time Fault Diagnostics",
4th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 115--123, January, 1988.
"Graphical Programming for the Transputer",
Proceedings of the 22nd Southeastern Symposium on System Theory, pp. 86--90, March, 1990.
"Hierarchical Structure of Intelligent Patient Monitoring System",
Finnish National Conference on Artificial Intelligence, pp. 123--128, 1988.
"High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study",
International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session), Chicago, IL, IEEE Computer Society Press, 04/2011.
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering