] Filters: Author is Karsai, Gabor [Clear All Filters]
"Model-Based Engineering of Embedded Real-Time Systems",
Lecture Notes in Computer Science, vol. 6100: Springer, 2011.
"Application of Knowledge-Based Techniques in Fourier-Infrared Spectroscopy",
Artificial Intelligence in Engineering: Robotics and Processes: Elsevier, pp. 387--402, 1988.
"Applying a Grouping Operator in Model Transformations",
Applications of Graph Transformations with Industrial Relevance, pp. 410 - 425, 2008///.
Abstract
Download: applying_group_operator_in_model_trans.pdf (1.08 MB)
"An Approach to Self-Adaptive Software based on Supervisory Control",
Self-Adaptive Software, Lecture Notes in Computer Science, 2002.
Download: Karsai_G_5_0_2001_An_Approac.pdf (97.4 KB)
"Automotive Software: A Challenge and Opportunity for Model-Based Software Development",
Lecture Notes in Computer Science, vol. 4147: Springer, 2006.
"Embedded Software: Challenges and Opportunities",
Lecture Notes in Computer Science, vol. 2211: Springer Verlag, pp. 403--408, 2000.
"Fault-Adaptivity in Hard Real-Time Component-Based Software Systems",
Software Engineering for Self-Adaptive Systems, vol. 2, 2012.
Download: BookChapter.pdf (1.83 MB)
"Generative Programming and Component Engineering, Third International Conference",
Lecture Notes in Computer Science, vol. 3286: Springer, 2004.
"Generative Programming for Embedded Systems",
Generative Programming and Component Engineering, (LNCD 2787), pp. 32--49, 2002.
"Graph Transformations in OMG's Model-Driven Architecture",
Lecture Notes in Computer Science, vol. 2062: Springer, pp. 243--259, 2003.
Download: Karsai_G_12_0_2003_Graph_Tran.pdf (820.41 KB)
"Lessons Learned from Building a Graph Transformation System",
Graph Transformations and Model-Driven Engineering, vol. 5765: Springer Berlin / Heidelberg, pp. 202-223, 2010.
"Model Based Techniques for Intelligent Process Control",
Artificial Intelligence in Engineering, vol. 2: Elsevier, pp. 79--94, 1990.
"Model Evolution and Management",
Model-Based Engineering of Embedded Real-Time Systems, Lecture Notes in Computer Science 6100: Springer, pp. 241-270, 2011.
Abstract
"Model-based Tools and Techniques for Real-Time System and Software Health Management",
Data Mining in Systems Health Management: Detection, Diagnostics, and Prognostics: CRC Press, to be published, 2011.
"On the Correctness of Model Transformations in the Development of Embedded Systems",
Lecture Notes in Computer Science, vol. 4888: Springer, 2007.
Recent Advances in Multi-paradigm Modeling,
, Berlin, Heidelberg, Springer, pp. 220-224, 2010.
Abstract
"Simulation-Based Analysis of Cyber Resilience in Cyber-Physical Systems",
Cyber Resilience of Networks and Systems: Springer, 2018.
"Towards Fault-Adaptive Control of Complex Dynamic Systems",
Software-Enabled Control: IEEE Press, 2003.
"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)
"Activity Modeling",
Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
"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)
"Applying a Grouping Operator in Model Transformations",
The Third International Workshop and Symposium on Applications of Graph Transformation with Industrial Relevance (AGTIVE), Kassel, Germany, 10/2007.
Abstract
Download: applying_group_operator_in_model_trans.pdf (1.08 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)
"Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis",
Rapid System Prototyping, Fairfax, VA, IEEE, pp. 1-7, 10/2010.
Abstract
Download: RSP10.pdf (349.64 KB)
"Automated Testing and Integration of Heterogeneous Systems",
Proceedings of the Intersociety Energy Conversion Engineering Conference, Philadelphia, PA, pp. 145--154, 1987.
"Automatic Domain Model Migration to Manage Metamodel Evolution",
12th International Conference on Model Driven Engineering Languages and Systems, MODELS 2009, Denver, CO, Springer, 2009.
"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)
"Automating Human Based Negotiation Processes for Autonomic Logistics",
Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.
Download: Karsai_G_3_0_2000_Automating.pdf (676.12 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)
"Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems",
ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, ACM, pp. 119-128, 04/2013.
Abstract
Download: iccps'13.pdf (1.29 MB)
"Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems",
ISORC, Tokyo, Japan, 2009.
Abstract
Download: Isorc.pdf (487.35 KB)
"Component Generation Technology for Semantic Tool Integration",
Proceedings of the IEEE Aerospace 2000, Big Sky, MT, March, 2000.
Download: Karsai_G_3_0_2000_Component_.pdf (4.64 MB)
"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
"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)
"A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems",
16th International Workshop on Principles of Diagnosis (DX '05), Monterey, CA, June, 2005.
Download: Abdelwahed_S_6_0_2005_A_Consiste.pdf (106.38 KB)
"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)
"Continuous Migration Support for Domain-Specific Languages",
The 9th OOPSLA Workshop on Domain-Specific Modeling, Orlando, FL, 10/2009.
"Cooperative Systems for Real-Time Process Monitoring and Diagnostics",
Proceeding of the AI-Japan, Osaka, Japan, 1987.
"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.
"A Deliberative Reasoner for Model-Based Software Health Management",
The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012.
Abstract
Download: Paper.pdf (369.11 KB)
"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)
"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)
"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)
"Design Tool Integration: An Exercise in Semantic Interoperability",
Proceedings of the IEEE Engineering of Computer Based Systems, Edinburg, UK, March, 2000.
Download: Karsai_G_3_0_2000_Design_Too.pdf (84.04 KB)
"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)
"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)
"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)
"Distributed diagnosis of complex systems using timed failure propagation graph models",
AUTOTESTCON, 2010 IEEE, pp. 1 -6, 2010.
Abstract
"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)
"Domain Evolution in Visual Languages Using Graph Transformations",
OOPSLA, 2nd Workshop on Domain-Specific Languages, Seattle, WA, November, 2002.
Download: Sprinkle_JM_11_4_2002_Domain_Evo.doc (216 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering