Home

ISIS Publications

Export 539 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Last Name is K  [Clear All Filters]
Conference Paper
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.
Levendovszky, T., D. Balasubramanian, A. Narayanan, and G. Karsai, "A Novel Approach to Semi-Automated Evolution of DSML Model Transformation", Second International Conference on Software Language Engineering, SLE 2009, LNCS, vol. 5969, Denver, CO, Springer, pp. 23-41, 05/2010.
Kushwaha, M., I. Amundson, X. Koutsoukos, S. Neema, and J. Sztipanovits, "OASiS: A Programming Framework for Service-Oriented Sensor Networks", International Conference on COMmunication System softWAre and MiddlewaRE (COMSWARE 2006), Bangalore, India, 2007. Abstract  Download: comsware07.pdf (982.55 KB)
Ledeczi, A., G. Nordstrom, G. Karsai, P. Volgyesi, and M. Maroti, "On Metamodel Composition", IEEE CCA 2001, Mexico City, Mexico, September, 2001.  Download: Ledeczi_A_9_5_2001_On_Metamod.pdf (108.86 KB)
Amundson, I., M. Kushwaha, and X. Koutsoukos, "On the Feasibility of Determining Angular Separation in Mobile Wireless Sensor Networks", 2nd International Workshop on Mobile Entity Localization and Tracking in GPS-less Environments (MELT), Orlando, FL, USA, 09/2009. Abstract  Download: melt09_amundson.pdf (292.12 KB)
Karsai, G., A. Agrawal, F. Shi, and J. Sprinkle, "On the use of Graph Transformations in the Formal Specification of Computer-Based Systems", IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, Alabama, pp. 19--27, April, 2003.  Download: Karsai_G_4_9_2003_On_the_use.pdf (224.67 KB)
Suri, D., A. Howell, N. Shankaran, J. S. Kinnebrew, W. R. Otte, D. C. Schmidt, and G. Biswas, "Onboard Processing using the Adaptive Network Architecture", The Sixth Annual NASA Earth Science Technology Conference, College Park, Maryland, 06/2006. Abstract  Download: Suri et al - 2006 - NASA ESTC -- Onboard Processing using the Adaptive Network Architecture.pdf (302.24 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)
Abdelwahed, S., N. Kandasamy, and S. Neema, "Online control for resource management in computing systems", The 10th IEEE Real-Time and Embedded Technology and Applications Symposium, Toronto, Canada, May, 2004.  Download: Abdelwahed_S_5_0_2004_Online_con.pdf (245.72 KB)
Abdelwahed, S., G. Karsai, and G. Biswas, "Online Safety Control of a Class of Hybrid Systems", IEEE 2002 Conference on Decision and Control, Las Vegas, USA, pp. 1988--1990, December, 2002.  Download: Abdelwahed_S_12_0_2002_Online_Saf.pdf (96.96 KB)
Porter, J., G. Hemingway, N. Kottenstette, G. Karsai, and J. Sztipanovits, "Online Stability Validation Using Sector Analysis", International Conf. on Embedded Software (EMSoft), Scottsdale, AZ, ACM, pp. 29-38, 10/2010. Abstract
Tantawy, A., X. Kousoukos, and G. Biswas, "Optimal performance for detection systems in wireless passive sensor networks.", 17th Mediterranean Conference on Control and Automation, MED’09, Thessaloniki, Greece, 06/2009.
, "Optimal thresholds for anomaly-based intrusion detection in dynamical environments", 7th Conference on Decision and Game Theory for Security (GameSec 2016), 11/2016.  Download: paper.pdf (442.01 KB)
LeBlanc, H., E. Eyisi, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "A Passivity-Based Approach To Deployment In Multi-Agent Networks", Seventh International Conference on Informatics in Control, Automation and Robotics (ICINCO 2010), Funchal, Madeira - Portugal, SciTePress, pp. 53-62, 06/2010.  Download: ICINCO_2010_265_CR_press.pdf (581.69 KB)
LeBlanc, H., E. Eyisi, N. Kottenstette, X. Koutsoukos, and J. Sztipanovits, "A Passivity-Based Approach to Deployment in Multi-Agent Networks", 7th International Conference on Informatics in Control, Automation and Robotics, vol. 1, Funchal, Madeira - Portugal, SciTePress, pp. 53–62, 06/2010.  Download: ICINCO_2010_265_CR.pdf (555.39 KB)
Koutsoukos, X., N. Kottenstette, J. Hall, P. J. Antsaklis, and J. Sztipanovits, "Passivity-Based Control Design for Cyber-Physical Systems", International Workshop on Cyber-Physical Systems - Challenges and Applications (CPS-CA’08), Santorini Island, Greece, 06/2008. Abstract
Kottenstette, N., X. Koutsoukos, J. Hall, P. J. Antsaklis, and J. Sztipanovits, "Passivity-Based Design of Wireless Networked Control Systems for Robustness To Time-Varying Delays", 29th IEEE Real-Time Systems Symposium (RTSS 2008), Barcelona, Spain, IEEE, pp. 15-24, 12/2008. Abstract
Kottenstette, N., G. Karsai, and J. Sztipanovits, "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)
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)
Kousoukos, X., H. Neema, G. Martins, S. Bhatia, S. Janos, K. Stouffer, C. Y. Tang, and R. Candell, "Performance Evaluation of Secure Industrial Control System Design: A Railway Control System Case Study", 4th International Symposium on Resilient Cyber Systems, Chicago, IL, 08/2016. Abstract
Kulkarni, C., G. Biswas, X. Koutsoukos, G. Kai, and C. Jose, "Physics of Failure Models for Capacitor Degradation in DC-DC Converters", The Maintenance & Reliability Conference, MARCON 2010, Knoxville, TN, MARCON, 02/2010. Abstract  Download: KulkarniBiswasKoutsoukos_GoebelCelaya_MARCON2010.pdf (337.41 KB)
Szekely, P., R. Neches, M. Becker, S. Fitzpatrick, C. vanBuskirk, D. Fisher, and G. Karsai, "Plan Execution and Coordination", Proceedings of ICAPS Workshop: Plan Execution: A Reality Check, Monterey, California, June, 2005. Abstract
Balasubramanian, D., C. S. Pasareanu, M. W. Whalen, G. Karsai, and M. Lowry, "Polyglot: Modeling and Analysis for Multiple Statechart Formalisms", International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, 07/2011. Abstract  Download: ISSTA2011.pdf (1.53 MB)
Pradhan, S., A. Dubey, S. Khare, F. Sun, J. Sallai, A. Gokhale, D. Schmidt, M. Lehofer, and M. Sturm, "Poster Abstract: A Distributed and Resilient Platform for City-scale Smart Systems", The First IEEE/ACM Symposium on Edge Computing, Washington DC, 2016.  Download: poster-abstract-distributed.pdf (217.55 KB)
Chhokra, A., A. Dubey, N. Mahadevan, and G. Karsai, "Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems", 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, IEEE, pp. 1-1, April, 2016. Abstract
Zhang, Z., and X. Kousoukos, "Precise Multi-Level Inclusive Cache Analysis for WCET Estimation", 36th IEEE Real-Time Systems Symposium (RTSS), 12/2015.  Download: PID3875999.pdf (520.11 KB)
Durham, E., Y. Xue, M. Kantarcioglu, and B. Malin, "Private Medical Record Linkage with Approximate Matching", American Medical Informatics Association (AMIA) Annual Symposium, Washington D.C., 11/2010.
Kulkarni, C., G. Biswas, C. Jose, and G. Kai, "Prognostics Health Management and Failure Analysis Modeling techniques for Accelerated Life testing in Electrolytic Capacitors", IEEE 2011 Workshop on Accelerated Stress Testing & Reliability, San Francisco, CA, IEEE, 10/2011.
Sztipanovits, J., C. Krishnamurthy, and B. Purves, "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.
Sztipanovits, J., C. Biegl, and G. Karsai, "Programming Model for Distributed Intelligent Systems", Proceedings of the Conference on Artificial Intelligence for Space Applications, pp. 365--373, 1986.
Dutta, P., Y. - S. Kuo, A. Ledeczi, T. Schmid, and P. Volgyesi, "Putting the Software Radio on a Low-Calorie Diet", Ninth ACM Workshop on Hot Topics in Networks (HotNets-IX), Monterey CA, 10/2010. Abstract
Amundson, I., J. Sallai, X. Koutsoukos, and A. Ledeczi, "Radio Interferometric Angle of Arrival Estimation", 7th European Conference on Wireless Sensor Networks, Coimbra, Portugal, Springer, 02/2010. Abstract  Download: ewsn10_amundson.pdf (409.39 KB)
Maroti, M., B. Kusy, G. Balogh, P. Volgyesi, K. Molnar, A. Nadas, S. Dora, and A. Ledeczi, "Radio Interferometric Geolocation", ACM Third International Conference on Embedded Networked Sensor Systems (SenSys 05), San Diego, CA, pp. 1--12, November, 2005.  Download: Maroti_M_11_3_2005_Radio_Inte.pdf (422.8 KB)
Vajk, T., R. Kereskenyi, T. Levendovszky, and A. Ledeczi, "Raising the Abstraction of Domain-Specific Model Translator Development", Engineering of Computer Based Systems, San Francisco, USA, 04/2009. Abstract  Download: Raising the Abstraction of Domain-Specific Model Translator Development.pdf (281.79 KB)
Balasubramanian, D., G. Pap, H. Nine, G. Karsai, M. Lowry, C. Pasareanu, and T. Pressburger, "Rapid Property Specification and Checking for Model-Based Formalisms", IEEE International Symposium on Rapid System Prototyping, Karlsruhe, Germany, 05/2011. Abstract  Download: RSP2011.pdf (2.08 MB)
Neema, H., H. Nine, G. Hemingway, J. Sztipanovits, and G. Karsai, "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)
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)
Khare, S., K. An, A. Gokhale, S. Tambe, and A. Meena, "Reactive stream processing for data-centric publish/subscribe", 9th ACM International Conference on Distributed Event-Based Systems, Oslo, Norway, ACM, 06/2015. Abstract
Dubey, A., G. Karsai, R. Kereskenyi, and N. Mahadevan, "A Real-Time Component Framework: Experience with CCM and ARINC-653", IEEE International Symposium on Object-Oriented Real-Time Distributed Computing,, Spain, pp. 143--150, 2010. Abstract  Download: Paper.pdf (5.46 MB)
Padalkar, S., J. Sztipanovits, G. Karsai, N. Miyasaka, and K. Okuda, "Real-Time Fault Diagnostics with Multiple-Aspect Models", IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
Dubey, A., N. Mahadevan, and R. Kereskenyi, "Reflex and Healing Architecture for Software Health Management", International Workshop on Software Health Management, IEEE conference on Space Mission Challenges for Information Technology, 07/2009.  Download: Paper.pdf (189.19 KB)
Daigle, M., X. Koutsoukos, and G. Biswas, "Relative Measurement Orderings in Diagnosis of Distributed Physical Systems", 43rd Annual Allerton Conference on Communication, Control, and Computing, Monticello, IL, pp. 1707--1716, September, 2005.  Download: Daigle_MJ_9_0_2005_Relative_M.pdf (160.46 KB)
Dabholkar, A., A. Dubey, A. Gokhale, N. Mahadevan, and G. Karsai, "Reliable Distributed Real-time and Embedded Systems Through Safe Middleware Adaptation", 31st International Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, California, USA, IEEE, 10/2012.  Download: srds2012_submission_88.pdf (665.22 KB)
Dubey, A., G. Karsai, and S. Pradhan, "Resilience at the Edge in Cyber-Physical Systems", The 2nd International Conference on Fog and Mobile Edge Computing, Valencia, Spain, IEEE, 05/2017. Abstract  Download: main.pdf (1.06 MB)
Agrawal, A., A. Vizhanyo, Z. Kalmar, F. Shi, A. Narayanan, and G. Karsai, "Reusable Idioms and Patterns in Graph Transformation Languages", 2nd International Conference on Graph Transformation, Rome, Italy, September, 2004.  Download: Agrawal_A_9_28_2004_Reusable_I.pdf (254.95 KB)
Eisele, S., I. Madari, A. Dubey, and G. Karsai, "RIAPS:Resilient Information Architecture Platform for Decentralized Smart Systems", 20th IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING, Toronto, Canada, IEEE, 05/2017. Abstract  Download: paper.pdf (1.43 MB)
Abdelwahed, S., G. Karsai, and G. Biswas, "Robust Diagnosis of Switching Systems", 5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Washington, DC., June, 2003.  Download: Abdelwahed_S_6_0_2003_Robust_Dia.pdf (119.56 KB)
Tantawy, A., X. Koutsoukos, and G. Biswas, "Robust differential protection with intermittent cable faults for aircraft AC generators", Annual Conference of the Prognostics and Health Management Society, PHM09, San Diego, CA, 09/2009.
Biswas, G., G. Simon, N. Mahadevan, S. Narasimhan, J. W. Ramirez, and G. Karsai, "A robust method for hybrid diagnosis of complex systems", 5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Washington, DC, pp. 1125--1131, June, 2003.  Download: Biswas__G_6_0_2003_A_robust_m.pdf (522.4 KB)
Kusy, B., M. Maroti, G. Simon, and A. Ledeczi, "Robust Multi-Hop Time Synchronization in Sensor Networks", ICWN '04, Las Vegas, Nevada, USA, June, 2004.  Download: Kusy_B_6_21_2004_Robust_Mul.doc (214 KB)