Home

ISIS Publications

Export 517 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R [S] T U V W X Y Z   [Show ALL]
C
Beccani, M., G. Aiello, N. Gkotsis, H. Tunc, A. Taddese, E. Susilo, P. Volgyesi, A. Ledeczi, E. De Momi, and P. Valdastri, "Component based design of a drug delivery capsule robot", Sensors and Actuators A: Physical, vol. 245: Elsevier, pp. 180–188, 2016.
Ledeczi, A., A. Bakay, M. Maroti, P. Volgyesi, G. Nordstrom, J. Sprinkle, and G. Karsai, "Composing domain-specific design environments", IEEE Computer, pp. 44--51, November, 2001.
Karsai, G., M. Maroti, A. Ledeczi, J. Gray, and J. Sztipanovits, "Composition and Cloning in Modeling and Meta-Modeling", IEEE Transactions on Control System Technology, December, 2003.
Chen, K., J. Sztipanovits, and S. Neema, Compositional Specification of Behavioral Semantics, : Institute for Software Integrated Systems, June, 2006.  Download: Chen_K_6_1_2006_Compositio.doc (629.5 KB)
Chen, K., J. Porter, J. Sztipanovits, and S. Neema, "Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages", International Journal of Semantic Computing, vol. 3, no. 1, pp. 31-56, 03/2009.
van Buskirk, C., B. Dawant, G. Karsai, J. Sprinkle, G. Szokoli, K. Suwanmongkol, and R. Currer, "Computer-aided Aircraft Maintenance Scheduling", ISIS-02-303: Institute for Software Integrated Systems, November, 2002.  Download: van_Buskir_CP_11_0_2002_Computer_a.pdf (313.15 KB)
Mosterman, P., J. Sztipanovits, and S. Engell, "Computer-Automated Multi-Paradigm Modeling in Control Systems technology", IEEE Transactions on Automatic Control, 2003.
Su, R., S. Abdelwahed, and S. Neema, "Computing Finitely Reachable Containable Region for Switching System", IEEE Proceedings on Control Theory and Applications, 2004.
Sztipanovits, J., "A Computing Model for Semantic Control", Applied Mathematics Letters, vol. 2, pp. 273--276, 1989.
Biegl, C., J. Sztipanovits, and C. Harrison, "Concepteur Cognitif D'Experimentation Pour L'Instrumentation", Innovation et Technologie en Biologie et Medicine, vol. 10, pp. 203--210, 1989.
Sallai, J., M. Maroti, and A. Ledeczi, "A Concurrency Abstraction for Reliable Sensor Network Applications", Reliable Systems on Unreliable Netowked Platforms, Monterey Workshop 2005, vol. LNCS 4322, pp. 143–160, 2005.  Download: monterey.pdf (350.85 KB)
Szilvasi, S., J. Sallai, I. Amundson, P. Volgyesi, and A. Ledeczi, "Configurable Hardware-based Radio Interferometric Node Localization", 2010 IEEE Aerospace Conference, Big Sky, Montana, USA, IEEE, 03/2010.  Download: aeroconf10_szilvasi.pdf (1006.26 KB)
LeBlanc, H. J., H. Zhang, S. Sundaram, and X. Koutsoukos, Consensus of Multi-Agent Networks in the Presence of Adversaries Using Only Local Information, : Institute for Software-Integrated Systems, 06/2012.  Download: HiCoNSISISTech.pdf (1005.39 KB)
Gray, J., and S. Schach, "Constraint Animation Using an Object-Oriented Declarative Language", Proceedings of the 38th Annual ACM SE Conference, Clemson, SC, pp. 1--10, April, 2000.  Download: Gray_J_4_0_2000_Constraint.doc (101 KB)
Neema, S., J. Sztipanovits, G. Karsai, and K. Butts, "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)
Jackson, E., and J. Sztipanovits, "Constructive Techniques for Meta- and Model-Level Reasoning", Models'07, Nashville, TN, 10/2007. Abstract  Download: jackson_MODELS07.pdf (256.29 KB)
Sztipanovits, J., G. Karsai, and C. Biegl, "Cooperative Systems for Real-Time Process Monitoring and Diagnostics", Proceeding of the AI-Japan, Osaka, Japan, 1987.
Kinnebrew, J. S., D. L. C. Mack, G. Biswas, and D. C. Schmidt, "Coordination of Planning and Scheduling Techniques for a Distributed, Multi-level, Multi-agent System", The International Conference on Agents and Artificial Intelligence (ICAART 2010), Valencia, Spain, 01/2010. Abstract  Download: Kinnebrew et al - 2010 - ICAART -- Coord Plan & Sched for Distrib Multi-level MAS.pdf (2.18 MB)
Jackson, E., and J. Sztipanovits, "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)
Ledeczi, A., A. Nadas, P. Volgyesi, G. Balogh, B. Kusy, J. Sallai, G. Pap, S. Dora, K. Molnar, M. Maroti, et al., "Countersniper System for Urban Warfare", ACM Transactions on Sensor Networks, vol. 1, pp. 153--177, November, 2005.
Szekely, P., M. Becker, S. Fitzpatrick, G. Gati, D. Hanak, J. Jin, G. Karsai, R. T. Maheswaran, B. Neches, C. M. Rogers, et al., "CSC: Criticality-Sensitive Coordination", Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, New York, NY, USA, ACM, pp. 1441–1442, 2006.
Zhang, Y., S. Eisele, A. Dubey, A. Laszka, and A. K. Srivastava, "Cyber-Physical Simulation Platform for Security Assessment of the Transactive Energy Systems", Modeling and Simulation of Cyber-Physical Energy Systems, Montreal, Canada, 2019. Abstract  Download: MSCPES_paper__Finished_.pdf (941.1 KB)
Roth, T., E. Song, M. Burns, H. Neema, W. Emfinger, and J. Szipanovits, "Cyber-Physical System Development Environment for Energy Applications", ASME Power and Energy Conference 2017, Charlotte, USA, 06/2017. 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)
D
Deng, G., J. Balasubramanian, W. R. Otte, D. C. Schmidt, and A. Gokhale, DAnCE: A QoS-Enabled Component Deployment and Configuration Engine, , vol. 3798, Berlin, Heidelberg, Springer, pp. 67 - 82, 2005.
Sun, F., A. Dubey, C. Kulkarni, N. Mahadevan, and A. G. Luna, "A Data Driven Health Monitoring Approach to Extending Small Sats Mission", ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY 2018, 09/2018. Abstract  Download: data-driven-health.pdf (2.29 MB)
Basak, S., F. Sun, S. Sengupta, and A. Dubey, "Data-Driven Optimization of Public Transit Schedule", Big Data Analytics (BDA 2019), Ahmedabad, Gujarat, India, Springer, Dec, 2019. Abstract  Download: bda_2019_optimization.pdf (2.23 MB)
Kinnebrew, J. S., A. Gupta, N. Shankaran, G. Biswas, and D. C. Schmidt, "A Decision-Theoretic Planner with Dynamic Component Reconfiguration for Distributed Real-Time Applications", The Eighth International Symposium on Autonomous Decentralized Systems (ISADS): Sedona, Arizona, pp. 461 -472, 03/2007. Abstract  Download: Kinnebrew et al - 2007 - ISADS -- Decision-Theoretic Planner w Dynamic Component Reconfig for Distrib RT Apps.pdf (343.84 KB)
Sogokon, A., K. Ghorbal, and T. T. Johnson, "Decoupling Abstractions of Non-linear Ordinary Differential Equations", FM 2016, 21st International Symposium on Formal Methods, vol. 9995 Lecture Notes in Computer Science, Limassol, Cyprus, Springer, pp. 628-644, 11/2016. Abstract  Download: decoupling-abstractions-fm-2016.pdf (366.46 KB)
Oruganti, A., F. Sun, H. Baroud, and A. Dubey, "DelayRadar: A Multivariate Predictive Model for Transit Systems", Big Data (Big Data), 2016 IEEE International Conference on, Dec, 2016. Abstract  Download: delayradar-multivariate-predictive.pdf (556.02 KB)
Emfinger, W., A. Dubey, S. Eisele, P. Volgyesi, J. Sallai, and G. Karsai, "Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing", The First IEEE/ACM Symposium on Edge Computing, 2016.  Download: PID4355117.pdf (1.85 MB)
Emfinger, W. A., A. Dubey, S. Eisele, P. Volgyesi, J. Sallai, and G. Karsai, "Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing", The First IEEE/ACM Symposium on Edge Computing, 2016.  Download: Emfinger et al. - Demo Abstract RIAPS - A Resilient Information Arc.pdf (1.85 MB)
Subramanian, V., G. Deng, C. Gill, J. Balasubramanian, L. SHEN, W. R. Otte, D. C. Schmidt, A. Gokhale, and N. Wang, "The design and performance of component middleware for QoS-enabled deployment and configuration of DRE systems☆", Journal of Systems and Software, vol. 80, issue 5, pp. 668 - 677, 05/2007.
An, K., A. Trewyn, A. Gokhale, and S. Sastry, "Design and Transformation of Domain-specific Language for Reconfigurable Conveyor Systems", Formal and Practical Aspects of Domain-Specific Languages: Recent Developments: IGI Global, 2012.
Agrawal, A., G. Karsai, S. Neema, F. Shi, and A. Vizhanyo, "The Design of a Language for Model Transformations", Journal on Software and System Modeling, vol. 5, pp. 261--288, September, 2006.  Download: Agrawal_A_0_0_2005_The_Design.pdf (2.09 MB)
Sztipanovits, J., and J. Bourne, "Design of Intelligent Instrumentation", First Conference on Artificial Intelligence Applications, Denver, CO, pp. 490--495, 1984.
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, S., J. Sztipanovits, and G. Karsai, "Design-Space Construction and Exploration in Platform-Based Design", ISIS-02-301: Institute for Software Integrated Systems, June, 2002.  Download: Neema_S_6_24_2002_Design_Spa.pdf (379.45 KB)
Balasubramanian, K., J. Balasubramanian, G. Karsai, J. Sztipanovits, and S. Neema, "Developing applications using model-driven design environments", IEEE Computer, vol. 39, pp. 33--40, March, 2006.
Biswas, G., K. Leelawong, K. Belynne, K. Viswanath, D. Schwartz, and J. Davis, "Developing learning by teaching environments that support self-regulated learning", Intelligent Tutoring Systems: Vol. 3220. Lecture Notes in Computer Science, Maceió, Brazil, Springer, pp. 730-740, 2004.
Neema, S., T. Bapty, and J. Scott, "Development Environment for Dynamically Reconfigurable Embedded Systems", Proceedings of the International Conference on Signal processing Applications and Technology, Orlando, FL, November, 1999.  Download: Neema_S_11_0_1999_Developmen.pdf (5.77 KB)
Misra, A., J. Sztipanovits, A. Underbrink, and R. Carnes, Diagnosability Analysis and Robust Diagnostics with Multiple Aspect Modeling, , Abstracts of the NASA Workshop on Model-Based Diagnosis and Monitoring; Pasadena, CA, Institute for Software Integrated Systems, January, 1992.
Misra, A., J. Sztipanovits, A. Underbrink, R. Carnes, and B. Purves, "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)
Biswas, G., M. - O. Cordier, J. Lunze, L. Trave-Massuyes, and M. Staroswiecki, "Diagnosis of Complex Systems: Bridging the Gap between the FDI and DX communities", IEEE Trans. on Systems, Man, and Cybernetics, Part B, vol. 34, pp. 2139--2142, October, 2004.  Download: Biswas__G_10_0_2004_Diagnosis_.pdf (627.75 KB)
Sztipanovits, J., and A. Misra, "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)
Ledeczi, A., J. Sallai, P. Volgyesi, and R. Thibodeaux, "Differential Bearing Estimation for RF Tags", EURASIP Journal of Embedded Systems, vol. (in press), xx/2009. Abstract
Kottenstette, N., J. Hall, X. Koutsoukos, P. J. Antsaklis, and J. Sztipanovits, "Digital Control of Multiple Discrete Passive Plants Over Networks", Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-16, 03/2009. Abstract  Download: tr_power_junction_revised_8_2009.pdf (1.12 MB)
Kottenstette, N., J. Hall, X. Koutsoukos, P. Antsaklis, and J. Sztipanovits, "Digital Control of Multiple Discrete Passive Plants Over Networks", International Journal of Systems, Control and Communications (IJSCC), no. Special Issue on Progress in Networked Control Systems, 2011. Abstract
Su, R., S. Abdelwahed, G. Karsai, and G. Biswas, "Discrete Abstraction and Supervisory Control of Switching Systems", IEEE Int. Conference on Systems, Man & Cybernetics, Washington, DC., October, 2003.  Download: ISIS_10_0_2003_Discrete_A.pdf (485.73 KB)
Kottenstette, N., J. Porter, G. Karsai, and J. Sztipanovits, "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)