] Filters: Author is Karsai, Gabor [Clear All Filters]
"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)
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications,
, pp. 79–88, 2014.
Download: MoDeVVa_2014_CPN.pdf (557.04 KB)
"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)
"TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids",
The 24th International Conference on Parallel and Distributed Systems, Singapore, IEEE, 12/2018.
Abstract
Download: TRANSAX-2018.pdf (479.27 KB)
"Component-based Modeling of Dynamic Systems using Heterogeneous Composition",
6th International Workshop on Multi-Paradigm Modeling, Innsbruck, Austria, 10/2012.
Download: MPM12_paper 20.pdf (260.56 KB)
"Abstractions for Modeling Complex Systems",
ISoLA 2016: 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Corfu, Greece, 2016.
Abstract
Download: AbstractionsForModelingComplexSystems.pdf (697.83 KB)
"Composing domain-specific design environments",
IEEE Computer, pp. 44--51, November, 2001.
"Parallel DSP System Integration",
Microprocessors and Microsystems, vol. 17, pp. 460--470, 1993.
"Modeling Paradigm for Parallel Signal Processing",
The Australian Computer Journal, vol. 27, pp. 92--102, August, 1995.
"The Generic Modeling Environment",
Workshop on Intelligent Signal Processing, Budapest, Hungary, May, 2001.
Download: Ledeczi_A_5_17_2001_The_Generi.pdf (116.09 KB)
"On Metamodel Composition",
IEEE CCA 2001, Mexico City, Mexico, September, 2001.
Download: Ledeczi_A_9_5_2001_On_Metamod.pdf (108.86 KB)
"Synthesis of Self-Adaptive Software",
IEEE Aerospace 2000, Big Sky, MT, March, 2000.
Download: Ledeczi_A_3_0_2000_Synthesis_.pdf (161.28 KB)
"Metaprogrammable Toolkit for Model-Integrated Computing",
Engineering of Computer Based Systems (ECBS), Nashville, TN, pp. 311--317, March, 1999.
Download: Ledeczi_A_3_0_1999_Metaprogra.pdf (70.05 KB)
"Modeling Parallel Hardware Architectures",
International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 274--281, January, 1992.
"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)
"Model reuse with metamodel based-transformations",
ICSR, LNCS, Austin, TX, April, 2002.
Download: ISIS_4_18_2002_Model_reus.pdf (1.02 MB)
"An Active Pattern Infrastructure for Domain-Specific Languages",
Electronic Communications of the EASST, vol. 25, pp. 1-10, 05/07, 2010.
"Model Evolution and Management",
Model-Based Engineering of Embedded Real-Time Systems, Lecture Notes in Computer Science 6100: Springer, pp. 241-270, 2011.
Abstract
"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.
"A Transformation Instance-Based Approach to Traceability",
6th ECMFA Traceability Workshop (ECMFA-TW), Paris, France, ACM Digital Library, pp. 55-60, 2010.
Abstract
"Automatic Verification of Component-Based Real-Time CORBA Applications",
the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.
Download: ISIS_12_0_2004_Automatic_.pdf (1.56 MB)
"UDM: An Infrastructure for Implementing Domain-Specific Modeling Languages",
The 3rd OOPSLA Workshop on Domain-Specific Modeling, OOPSLA 2003, Anahiem, California, October, 2003.
Download: Magyari_E_10_26_2003_UDM__An_In.pdf (285.3 KB)
"Deliberative Reasoning in Software Health Management",
ISIS Technical Report, no. ISIS-13-101: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37212, 04/2013.
Download: TechReport2013.pdf (1.29 MB)
"A Case Study On The Application of Software Health Management Techniques",
ISIS Technical Report, no. ISIS-11-101, Nashville, Institute For Software Integrated Systems, 01/2011.
Abstract
Download: ADIRUTechReport.pdf (1.53 MB)
"Distributed diagnosis of complex systems using timed failure propagation graph models",
AUTOTESTCON, 2010 IEEE, pp. 1 -6, 2010.
Abstract
"Deliberative, search-based mitigation strategies for model-based software health management",
Innovations in Systems and Software Engineering: Springer London, pp. 1-26, 2013.
Download: Paper.pdf (16.09 MB)
"Application of Software Health Management Techniques",
To appear in the Proceedings of the 2011 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, New York, NY, USA, ACM, 2011.
Abstract
Download: Paper.pdf (5.15 MB)
"Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Model",
The 15th IEEE International Symposium on Object/component/service-oriented Real-time distributed computing, Shenzhen, China, IEEE, 04/2012.
Abstract
Download: Paper.pdf (336.83 KB)
"Distributed Middleware Services Composition and Synthesis Technology",
IEEE Aerospace, Big Sky, MT, March, 2003.
Download: Maroti_M_3_8_2003_Distribute.pdf (251.28 KB)
"Applying a Model Transformation Taxonomy to Graph Transformation Technology",
Electronic Notes in Theoretical Computer Science, vol. 152, pp. 143--159, March, 2006.
"Model-Integrated Development of Complex Applications",
Fifth International Symposium on Assessment of Software Tools, Pittsburgh, PA, pp. 14--23, June, 1997.
Download: Misra_A_6_0_1997_Model_Inte.pdf (235.84 KB)
"A Model-Integrated Information System for Increasing Throughput in Discrete Manufacturing",
International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, pp. 203--210, March, 1997.
Download: Misra_A_3_24_1997_A_Model_In.pdf (170.66 KB)
"A Generic and Symbolic Model-Based Diagnostic Reasoner with Highly Scalable Properties",
IEEE International Conference on Systems, Man and Cybernetics, San Diego, CA, October, 1998.
Download: Misra_A_10_0_1998_A_Generic_.pdf (102.01 KB)
"A Model-Integrated Program Synthesis Environment for Parallel/Real-Time Image Processing",
SPIE Conference on Parallel and Distributed Methods for Image Processing, San Diego, CA, pp. 31--45, June, 1997.
Download: Moore_MS_6_0_1997_A_Model_In.pdf (265.03 KB)
"Model-Based Programming for Parallel Image Processing",
IEEE International Conference on Image Processing, Austin, TX, pp. 811--815, January, 1994.
"An integrated approach to diagnosis of complex hybrid systems.",
15th Annual Intl. Symposium on AeroSense (Component and Systems Diagnostics, Prognosis, and Health Management) (SPIE 2001), Orlando, Florida, April, 2001.
Download: ISIS_4_0_2001_An_integra.pdf (902.42 KB)
"Building observers to address fault isolation and control problems in hybrid dynamic systems",
IEEE SMC 2000, Nashville, TN, July, 2000.
Download: Narasimhan_S_7_0_2000_Building_o.pdf (251.26 KB)
"Hybrid Modeling and Diagnosis in the Real World: A Case Study",
Intl. Workshop on Principles of Diagnosis, Simmering, Austria, May, 2002.
"Towards Verifying Model Transformations",
Electronic Notes in Theoretical Computer Science, vol. 211, pp. p.191-200, 2008.
"Automatic Domain Model Migration to Manage Metamodel Evolution",
12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, Denver, CO, Springer, 2009.
"Specifying the Correctness Properties of Model Transformations",
3rd International Workshop on Graph and Model Transformation (GraMoT), 05/2008.
"Continuous Migration Support for Domain-Specific Languages",
The 9th OOPSLA Workshop on Domain-Specific Modeling, Orlando, FL, 10/2009.
"Verifying Model Transformations by Structural Correspondence",
Electronic Communications of the EASST, vol. 10, 2008.
Download: 25_AN_GK.pdf (394.52 KB)
"Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations",
Electronic Communications of the EASST, vol. 4, 2006.
"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)
"SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-hoc Networks",
The 14th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2010), Fairfax, VA, pp. 179-188, 10/2010.
Abstract
Download: Paper.pdf (1013.92 KB)
"Model Based Integration and Experimentation of Information Fusion and C2 Systems",
FUSION '09. 12th International Conference on Information Fusion, Seattle, WA, 07/2009.
Abstract
Download: Paper.pdf (556.87 KB)
"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)
"Integrated Simulation Testbed for Security and Resilience of CPS",
The 33rd ACM Symposium on Applied Computing - Cyber-Physical Systems Track, Pau, France, ACM, 04/2018.
Abstract
"SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience",
7th International Conference on Cyber-Physical Systems (ICCPS) , Vienna, Austria, 04/2016.
Abstract
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering