] Filters: Author is Sztipanovits, Janos [Clear All Filters]
"Using Separation of Concerns for Embedded Systems Design",
EMSOFT '05, Jersey City, New Jersey, September, 2005.
Download: Jackson_EK_9_0_2005_Using_Sepa.pdf (201.69 KB)
"Use of the Multigraph Architecture for the Development of Monitoring and Control in the High Dependency Environment",
IMIA-IFMBE Working Conference on Biosignal Interpretation, Denmark, pp. 185--188, August, 1993.
"Uniform Execution Environment for Dynamic Reconfiguration",
Proceedings of the IEEE Conference and Workshop on Engineering of Computer Based Systems, Nashville, TN, pp. 181--187, March, 1999.
Download: Bapty_T_3_0_1999_Uniform_Ex.PDF (57.12 KB)
"Two-level Weaving to Support Changeability in Model-Based Synthesis",
Aspect-Oriented Programming, 2003.
"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)
"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)
"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 Specification of Program Synthesis in Model-Integrated Computing",
ECBS-98, Jerusalem, Israel, pp. 226--233, 1998.
Download: Karsai_G_0_0_1998_Towards_Sp.pdf (359.33 KB)
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models,
, no. ISIS-11-106, Nashville, TN, ISIS, Vanderbilt University, 04/2011.
Abstract
Download: incr_cycle_analysis.pdf (1.08 MB)
"Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models",
Software Composition (SC 2011), vol. LNCS 6708, Zurich, Springer, pp. 133-140, 2011.
"Towards Automated Exploration and Assembly of Vehicle Design Models",
Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, 08/2012.
Download: cad_dse_IDETC_CIE_2012_ISIS.pdf (1.39 MB)
"Towards Automated Evaluation of Vehicle Dynamics in System-Level Designs",
Proc. ASME International Design Engineering Technical Conf. & Computers and Information in Engineering Conf. (IDETC/CIE 2012), Chicago, IL, USA, 08/2012.
Download: ASME_DECT2012-71378_dynamics.pdf (871.42 KB)
"Towards a time-triggered schedule calculation tool to support model-based embedded software design",
ACM International Conference on Embedded Software (EMSOFT ’09), Grenoble, France, ACM, 10/2009.
Abstract
"Towards a Theory for Cyber-Physical Systems Modeling",
Proceedings of the 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), 2013.
"Towards a Design Studio for Collaborative Modeling and Co-Simulations of Mixed Electrical Energy Systems",
Third International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE), Porto, Portugal, 04/2018.
Abstract
"Toward Structural Adaptivity",
IEEE International Symposium on Circuits and systems, Espoo, Finland, 1988.
"Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages",
Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT 05), Jersey City, New Jersey, pp. 35--44, September, 2005.
Download: Chen_K_9_19_2005_Toward_a_S.pdf (363.02 KB)
"Testing and Validation in Artificial Intelligence Programming",
Proceedings of the SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, Cambridge, MA, pp. 2--10, 1987.
"System and software architectures of distributed smart cameras",
ACM Transactions on Embedded Computing Systems, vol. 9, no. 4, pp. 1-30, 2010.
"Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques",
Proceedings of the the Software Engineering Research Forum, Boca Raton, FL, 1995.
"SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems (Poster)",
Computational Cybersecurity for Compromised Environments (C3E), Atlanta, GA, 10/2017.
"SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems",
Proceedings of the IEEE: IEEE, 2017.
"A Study on Diagnosability of Space Station ECLSS",
Fifth Conference on Artificial Intelligence for Space Applications, Huntsville, AL, 1990.
"Structural Adaptivity: New Way to Increase Intelligence and Flexibility of Patient Monitoring Systems",
IFAC Symposium on Medical Instrumentation, 1989.
"Specifying Graphical Modeling Systems Using Constraint-based Metamodels",
IEEE Symposium on Computer Aided Control System Design, Anchorage, Alaska, September, 2000.
Download: Karsai_G_9_25_2000_Specifying.pdf (90.87 KB)
"Simulation Integration Platforms for Cyber-Physical Systems",
The First Workshop on Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, ACM, 04/2019.
Abstract
"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)
"Semantics of Domain Specific Modeling Languages",
Model-Based Design for Embedded Systems, Boca Raton, FL, CRC Press, pp. 437-486, 2009.
A Semantic Unit for Timed Automata Based Modeling Languages,
: Institute for Software Integrated Systems, October, 2005.
Download: Chen_K_10_28_2005_A_Semantic.pdf (748.84 KB)
"A Semantic Unit for Timed Automata Based Modeling Languages",
12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, pp. 2--14, April, 2006.
Download: Chen_K_4_4_2006_A_Semantic.pdf (316.11 KB)
"Semantic Anchoring with Model Transformations",
European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA), Nuremberg, Germany, November, 2005.
Download: Chen_K_11_7_2005_Semantic_A.pdf (1.83 MB)
"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)
"Saturn Site Production Flow (SSPF): Accomplishments and Challenges",
Engineering of Computer Based Systems, Jerusalem, Israel, pp. 248--255, March, 1998.
Download: Long_E_3_0_1998_Saturn_Sit.pdf (112.49 KB)
Safety Analysis and Diagnosis in a Model-Integrated Computing Framework,
, Workshop on Model-Integrated Computing, Nashville, TN, Institute for Software Integrated Systems, June, 1996.
Download: Sztipanovi_J_6_0_1996_Safety_Ana.pdf (72.52 KB)
"Robust Diagnostics: Structural Redundancy Approach",
Knowledge Based Artificial Intelligence Systems in Aerospace and Industry, SPIE's Symposium on Intelligent Systems, Orlando, FL, April, 1994.
Download: Misra_A_4_0_1994_Robust_Dia.pdf (233.04 KB)
"Real-Time Turbine Engine Data Visualization",
Proceedings of the the 4th NATUG, Ithaca, NY, pp. 1--11, 1990.
"Real-Time Fault Diagnostics with Multiple-Aspect Models",
IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
"Real-Time Fault Diagnostics",
IEEE Expert, vol. 6, pp. 75--85, 1991.
"Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2",
Armed Forces Communications and Electronics Association - George Mason University Symposium, issue Critical Issue in C4I, Lansdowne, Virginia, George Mason University: http://hdl.handle.net/1920/5639, 05/2009.
Abstract
Download: C4I-09-07.pdf (717.63 KB)
"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)
"Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 811--816, 1986.
"Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging",
IEEE Transactions on Biomedical Engineering, vol. 34, pp. 938--943, 1987.
"Programming Model for Distributed Intelligent Systems",
Proceedings of the Conference on Artificial Intelligence for Space Applications, pp. 365--373, 1986.
"Programming Model for Coupled Intelligent Systems in Distributed Execution Environment",
SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, Cambridge , MA, pp. 40--48, 1986.
"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)
"PolicyForge: A Collaborative Environment for Formalizing Privacy Policies in Health Care",
Software Engineering in Health Care (SEHC 2013) at the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, California, USA, ACM and IEEE Digital Libraries, 05/2013.
Abstract
Download: icsews13sehc-id14-p-16536-preprint.pdf (648 KB)
"Platform-Based Design for Clinical Information Systems",
5th International Conference on Industrial Informatics (INDIN 2007), Vienna, Austria, 07/2007.
Abstract
Download: Werner.et_.al-INDIN.2007.Paper-PBD4CIS.pdf (318.44 KB)
"Performance Optimization in Signal Processing Systems",
22nd Southeastern Symposium on System Theory, Cookeville, TN, March, 1990.
"A Passivity-Based Framework for Resilient Cyber Physical Systems",
ISRCS 2009 2nd International Symposium on Resilient Control Systems, Idaho Falls, ID, IEEE, 08/2009.
Abstract
Download: resilient_Jul_27_2009_05_23_PM.pdf (367.09 KB)
"Passivity-Based Design of Wireless Networked Control Systems Subject To Time-Varying Delays",
Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-17, 08/2008.
Download: passivity_isis_tr_08-904_revised_2_15_11.pdf (648.14 KB); Passivity_isis_tr_08_904_original.pdf (462.44 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering