Home

ISIS Publications

Export 1101 results:
Sort by: Author Title Type [ Year (Desc)]
2015
Lattmann, Z., J. Klingler, P. Meijer, T. Bapty, and S. Neema, META Design Space Exploration Using Dynamics, , no. ISIS-15-106, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: META Design Space Exploration Using Dynamics.pdf (1.66 MB)
Bapty, T., J. Knight, Z. Lattmann, S. Neema, and J. Scott, Software Quality Assurance for the META Toolchain, , no. ISIS-15-111, Nashville, Institute for Software Integrated Systems, 01/2015.  Download: Software Quality Assurance for the META Toolchain.pdf (1.56 MB)
Neema, H., S. Neema, and T. Bapty, Architecture Exploration in the META Toolchain, , no. ISIS-15-105, Nashville, 2015.  Download: Architecture Exploration in the META Toolchain.pdf (1.52 MB)
Bapty, T., S. Neema, J. Scott, and S. Eisele, Case Studies and Use Cases in the META Toolchain (status: review pending), , no. ISIS-15-113, 2015.
Bapty, T., S. Neema, J. Scott, and S. Eisele, Case Studies and Use Cases in the META Toolchain (status: review pending), , no. ISIS-15-113, 2015.
Chhokra, A., A. Dubey, N. Mahadevan, and G. Karsai, "A component-based approach for modeling failure propagations in power systems", Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2015 Workshop on, Seattle, Washington, USA, IEEE, pp. 1–6, 2015. Abstract
Neema, S., J. Scott, and T. Bapty, CyPhyML Language in the META Toolchain, , no. ISIS-15-104, 2015.  Download: CyPhyML Language in the META Toolchain.pdf (2.65 MB)
Koutsoukos, X., T. Bapty, and S. Neema, Formal Verification and Reliability in the META Toolchain (status: review pending), , no. ISIS-15-108, 2015.
Scott, J., T. Bapty, and R. Boyles, META Toolchain Interface to Manufacturing, , no. ISIS-15-112, 2015.  Download: META Toolchain Interface to Manufacturing.pdf (741.13 KB)
Sztipanovits, J., T. Bapty, S. Neema, X. Koutsoukos, and J. Scott, The META Toolchain: Accomplishments and Open Challenges, , no. ISIS-15-102, 2015.  Download: The META Toolchain_Accomplishments and Open Challenges.pdf (871.55 KB)
Patil, P. P., A. Gokhale, and A. Hakiri, Modular and Highly Configurable Computation Mobility Framework for Internet of Things, , no. ISIS-15-116, 2015.  Download: MDM-15.pdf (965.39 KB)
Bapty, T., S. Neema, and J. Scott, Overview of the META Toolchain in the Adaptive Vehicle Make Progam (status: review pending), , no. ISIS-15-103, 2015.
Abbas, W., A. Laszka, and X. Koutsoukos, "Resilient Wireless Sensor Networks for Cyber-Physical Systems", Cyber-Physical System Design with Sensor Networking Technologies: The Institution of Engineering and Technology (IET), 2015.
Kumar, P. S., W. Emfinger, A. Kulkarni, G. Karsai, D. Watkins, B. Gasser, C. Ridgewell, and A. Anilkumar, "ROSMOD: A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS", Rapid System Prototyping Symposium (ESWEEK), Amsterdam, The Netherlands, 2015.  Download: 2015--RSP--ROSMOD - A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS.pdf (7.72 MB)
Shekhar, S., H. Abdel-Aziz, M. Walker, F. Caglar, A. Gokhale, and X. Koutsoukos, "A simulation as a service cloud middleware", Annals of Telecommunications, vol. 71, no. 3, pp. 93–108, 2015. Abstract
Neema, S., T. Bapty, and D. Balasubramanian, Software Design and Implementation in the META Toolchain, , no. ISIS-15-107, 2015.  Download: Software Design and Implementation in the META Toolchain.pdf (3.32 MB)
Owens, R., S. Nyako, R. Boyles, F. Eisele, J. Hite, M. Myers, J. Scott, T. Bapty, and S. Neema, Structural Design and Analysis in the META Toolchain (status: review pending), , no. ISIS-15-109, 2015.
Yapar, O., P. K. Basu, P. Volgyesi, and A. Ledeczi, "Structural health monitoring of bridges with piezoelectric AE sensors", Engineering Failure Analysis, Elsevier, no. 56, pp. 150-169, 2015.
Beccani, M., H. Tunc, A. Taddese, E. Susilo, P. Volgyesi, A. Ledeczi, and P. Valdastri, "Systematic design of medical capsule robots", IEEE Design Test, vol. 32, pp. 98–108, 2015.
Kumar, P. S., W. Emfinger, and G. Karsai, "A Testbed to Simulate and Analyze Resilient Cyber-Physical Systems", Rapid System Prototyping (ESWEEK), 2015.  Download: 2015--RSP--A Testbed to Simulate and Analyze Resilient Cyber-Physical Systems.pdf (6.96 MB)
Hakiri, A., P. Berthou, P. P. Patil, and A. Gokhale, Towards a Publish/Subscribe-based Open Policy Framework for Proactive Overlay Software Defined Networking, , no. ISIS-15-115, 2015.  Download: ifip_nw_2015.pdf (208.59 KB)
Bapty, T., S. Neema, and J. Scott, Transitioning the META Toolchain, , no. ISIS-15-114, 2015.  Download: Transitioning the META Toolchain.pdf (1.2 MB)
2014
Sztipanovits, J., T. Bapty, S. Neema, L. Howard, and E. Jackson, "OpenMETA: A Model and Component-Based Design Tool Chain for Cyber-Physical Systems", From Programs to Systems – The Systems Perspective in Computing (FPS 2014), Grenoble, France, Springer, April 6, 2014. Abstract  Download: OpenMETA - Sztipanovits.pdf (807.74 KB)
Pradhan, S., W. Otte, A. Dubey, C. Szabo, A. Gokhale, and G. Karsai, Towards a Self-adaptive Deployment and Configuration Infrastructure for Cyber-Physical Systems, , Nashville, Institute for Software Integrated Systems, 6/2014. Abstract  Download: Pradhan_SEAMS_TechReport.pdf (2.05 MB)
Karsai, G., D. Balasubramanian, A. Dubey, and W. R. Otte, "Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems", 17th IEEE Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 2014. Abstract  Download: drems-isorc.pdf (296.05 KB)
Zhang, Z., and X. Kousoukos, "Generic Value-Set Analysis on Low-Level Code", The 5th Analytic Virtual Integration of Cyber-Physical Systems Workshop, Rome, Italy, 2014.  Download: avicps '14.pdf (221.36 KB)
Sallai, J., and A. Ledeczi, "Hough-transform based acoustic multi-shooter localization and data association", ISIS Technical Report, no. ISIS-14-105, 12/2014.  Download: MultiShooter-Tech Report-Final.pdf (387.07 KB)
Hedgecock, W., M. Maroti, A. Ledeczi, P. Volgyesi, and R. Banalagay, "Accurate Real-Time Relative Localization Using Single-Frequency GPS", The ACM Conference on Embedded Networked Sensor Systems (SenSys '14), Memphis, TN, USA, ACM, 11/2014. Abstract  Download: Accurate Real-Time Relative Localization Using Single-Frequency GPS.pdf (3.35 MB)
Balasubramanian, D., A. Dubey, W. R. Otte, W. Emfinger, P. Kumar, and G. Karsai, "A Rapid Testing Framework for a Mobile Cloud Infrastructure", IEEE International Symposium on Rapid System Prototyping (RSP): IEEE, 10/2014.  Download: RSP2014.pdf (874.05 KB)
Maroti, M., T. Kecskes, R. Kereskenyi, B. Broll, P. Volgyesi, L. Juracz, T. Levendovszky, and A. Ledeczi, "Next Generation (Meta)Modeling: Web- and Cloud-based Collaborative Tool Infrastructure", 8th Multi-Paradigm Modeling Workshop, Valencia, Spain, 09/2014.
Martins, G., A. Bhattacharjee, A. Dubey, and X. D. Koutsoukos, "Performance Evaluation of an Authentication Mechanism in Time-Triggered Networked Control Systems", 2nd International Symposium on Resilient Cyber Systems (ISRCS 2014), Denver, 08/2014. Abstract  Download: Performance Evaluation of an Authentication Mechanism in Time-Triggered Networked Control Systems.pdf (333.21 KB)
Honda, T., E. Saund, I. Matei, W. Janssen, B. Saha, D. G. Bobrow, J. de Kleer, T. Kurtoglu, and Z. Lattmann, "A Simulation and Modeling Based Reliability Requirement Assessment Methodology", 26th International Conference on Design Theory and Methodology (DTM), Buffalo, NY, USA, 08/2014. Abstract
Carl, J. D., G. Biswas, S. Neema, and T. Bapty, "An Approach to Parallelizing the Simulation of Complicated Modelica Models", SCS 2014 Summer Simulation Multi-Conference, Monterey, CA, SCS, 07/2014. Abstract  Download: SCSC_027.pdf (544.53 KB)
Saha, B., T. Honda, I. Matei, E. Saund, J. de Kleer, T. Kurtoglu, and Z. Lattmann, "A Model-Based Approach for an Optimal Maintenance Strategy", 2nd European Conference of the PHM Society - PHME'14, Nantes, France, 07/2014. Abstract
Varga, G., J. Sallai, A. Ledeczi, C. R. Iacovella, C. McCabe, and P. T. Cummings, "Enabling Cross-Domain Collaboration in Molecular Dynamics Workflows", The Fourth International Conference on Advanced Collaborative Networks, Systems and Applications (COLLA 2014), Seville, Spain, IARIA, 06/2014. Abstract  Download: colla_2014_2_40_60052.pdf (1009.97 KB)
Maroti, M., R. Kereskenyi, T. Kecskes, P. Volgyesi, and A. Ledeczi, "Online Collaborative Environment for Designing Complex Computational Systems", The International Conference on Computational Science (ICCS 2014), Cairns, Australia, Elsevier Procedia, 06/2014. Abstract  Download: WebGME-ICCS14.pdf (931.4 KB)
Sallai, J., G. Varga, S. Toth, C. R. Iacovella, C. Klein, C. McCabe, A. Ledeczi, and P. T. Cummings, "Web- and Cloud-based Software Infrastructure for Materials Design", The 14th International Conference on Computational Science (ICCS 2014), Cairns, Australia, Procedia Computer Science, 06/2014. Abstract
Szilvasi, S., "Advanced RF Techniques for Wireless Sensor Networks: The Software-Defined Radio Approach", Electrical Engineering, vol. Ph.D., Nashville, Vanderbilt University, pp. 149, 05/2014. Abstract  Download: SSzilvasi-Dissertation.pdf (6.74 MB)
Hedgecock, W., "Precise Real-Time Relative Localization Using Single-Frequency GPS", Electrical Engineering, vol. PhD, Nashville, Vanderbilt University, pp. 135, 05/2014. Abstract  Download: RHedgecock-Dissertation.pdf (4.29 MB)
Zhang, Z., E. Emeka, X. Koutsoukos, J. Porter, G. Karsai, and J. Sztipanovits, "A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems", Simulation Modelling Practice and Theory, vol. 43, 04/2014.
Neema, H., Z. Lattmann, P. Meijer, J. Klingler, S. Neema, T. Bapty, J. Sztipanovits, and G. Karsai, "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)
Neema, H., J. Gohl, Z. Lattmann, J. Sztipanovits, G. Karsai, S. Neema, T. Bapty, J. Batteh, H. Tummescheit, and C. Sureshkumar, "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)
Lattmann, Z., A. Pop, J. de Kleer, P. Fritzson, B. Janssen, S. Neema, T. Bapty, X. Koutsoukos, M. Klenk, D. Bobrow, et al., "Verification and Design Exploration through Meta Tool Integration with OpenModelica", 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. 353-362, 03/2014.  Download: Modelica2014_ecp14096037.pdf (1.51 MB)
Juracz, L., Z. Lattmann, T. Levendovszky, G. Hemingway, W. Gaggioli, T. Netterville, G. Pap, K. Smyth, and L. Howard, "VehicleFORGE: A Cloud-Based Infrastructure for Collaborative Model-Based Design", Proceedings of the 2nd International Workshop on Model-Driven Engineering for High Performance and Cloud computing co-located with 16th International Conference on Model Driven Engineering Languages and Systems (MODELS 2013), vol. Vol-1118, 01/2014. Abstract  Download: MDHPCL 2013 04-paper.pdf (1.08 MB)
Emfinger, W., G. Karsai, A. Dubey, and A. Gokhale, "Analysis, Verification, and Management Toolsuite for Cyber-physical Applications on Time-varying Networks", Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, New York, NY, USA, ACM, pp. 44–47, 2014.  Download: CyPhy14.pdf (583.29 KB)
Shekhar, S., F. Caglar, A. Dukeman, L. Hou, and A. Gokhale, "A Collaborative K-12 STEM Education Framework Using Traffic Flow as a Real-world Challenge Problem", 2014 ASEE Annual Conference: ASEE Conferences, pp. 24–28, 2014.
Kumar, P. S., A. Dubey, and G. Karsai, Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications, , pp. 79–88, 2014.  Download: MoDeVVa_2014_CPN.pdf (557.04 KB)
Levendovszky, T., A. Dubey, W. R. Otte, D. Balasubramanian, A. Coglio, S. Nyako, W. Emfinger, P. Kumar, A. Gokhale, and G. Karsai, "DREMS: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems", IEEE Software, vol. 99: IEEE Computer Society, 2014. Abstract  Download: f6paper.pdf (3.95 MB); Final.pdf (3.33 MB)
Pradhan, S., W. Emfinger, A. Dubey, W. Otte, A. Coglio, D. Balasubramanian, A. Gokhale, and G. Karsai, "Establishing secure interactions across distributed applications in satellite clusters", SMC-IT, 2014.  Download: smcit-2014.pdf (965.2 KB)
Abbas, W., S. Bhatia, Y. Vorobeychik, and X. Koutsoukos, "Immunization Against Infection Propagation In Heterogeneous Networks", 13th IEEE International Symposium on Network Computing & Applications, Cambridge, MA, pp. 296-300, 2014.