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)
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., 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
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
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)
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
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.
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)
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)
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.
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)
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)
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)