] Filters: Author is Karsai, Gabor [Clear All Filters]
"A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems",
Simulation Modelling Practice and Theory, vol. 43, 04/2014.
A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems,
, pp. 39, 08/2013.
Download: TR-13-104.pdf (3.02 MB)
"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)
A Model-Based Integration of Network Emulation with HLA-based Heterogeneous Simulation Environments,
, no. ISIS-10-107, 2010.
Download: milcom10-xue.docx (132.74 KB)
"The Multigraph Approach to Parallel, Distributed, Structurally Adaptive Signal Processing",
IEEE International Conference on Acousitc and Signal Processing, pp. 2037--2040, 1990.
"Integrating Security Modeling in Embedded System Design",
12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, April, 2006.
Abstract
Download: Werner_J_4_4_2006_Integratin.pdf (132.39 KB)
"Time Synchronization Services for Low-cost Fog Computing Applications",
Rapid Systems Prototyping (RSP): IEEE, 10/2017.
Abstract
Download: main.pdf (4.27 MB)
"Improving the Usability of a Graph Transformation Language",
Electronic Notes in Theoretical Computer Science, vol. 152, pp. 207--222, March, 2006.
Abstract
Download: improve_gtl.pdf (262.32 KB)
"Model-Based Approach for Intelligent Control",
Fourth SPIE Conference on Space Station Automation, Cambridge, MA, pp. 46--65, 1988.
Download: ModelBasedApproachforIntelligentControl.pdf (1.71 MB)
"Knowledge-Based Techniques in Instrumentation",
IEEE EMBS Magazine, vol. 7, pp. 13--17, 1988.
"Introducing Embedded Software and Systems Education and Advanced Learning Technology in an Engineering Curriculum",
ACM Transactions on Embedded Systems, 2005.
"Programming Model for Distributed Intelligent Systems",
Proceedings of the Conference on Artificial Intelligence for Space Applications, pp. 365--373, 1986.
"MULTIGRAPH: An Architecture for Model-Integrated Computing",
Proceedings of the International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, FL, pp. 361--368, November, 1995.
Download: Sztipanovi_J_11_6_1995_MULTIGRAPH.pdf (146.05 KB)
"Knowledge-Based Experiment Builder for Magnetic Resonance Imaging (MRI) Systems",
Proceedings of the 3rd IEEE Conference on Artificial Intelligence Applications, pp. 126--133, 1987.
"Generative Programming for Embedded Systems",
Generative Programming and Component Engineering, (LNCD 2787), pp. 32--49, 2002.
"Automated Testing and Integration of Heterogeneous Systems",
Proceedings of the Intersociety Energy Conversion Engineering Conference, Philadelphia, PA, pp. 145--154, 1987.
"Model-Integrated Computing Environment",
ACM SIGSOFT Software Engineering Notes, vol. 22, pp. 72--73, September, 1997.
"Graph Model-Based Approach to the Representation, Interpretation and Execution of Real-Time Signal Processing Systems",
International Journal of Intelligent Systems, vol. 3, pp. 269--280, 1988.
"Model-Integrated Program Synthesis Environment",
Proceedings of the IEEE Symposium on Engineering of Computer Based Systems, Friedrichshafen, Germany, pp. 348--355, March, 2000.
Download: Sztipanovi_J_0_0_2000_Model_Inte.pdf (218.64 KB)
"Embedded Software: Challenges and Opportunities",
Lecture Notes in Computer Science, vol. 2211: Springer Verlag, pp. 403--408, 2000.
"Self-Adaptive Software for Signal Processing",
Communications of the ACM, vol. 41, pp. 55--65, March, 1998.
Download: Sztipanovi_J_0_0_1998_Self_Adapt.pdf (66.17 KB)
"Intelligent Monitoring and Diagnostics for Plant Automation",
IEEE International Conference on Robotics and Automation, Cincinnati, OH, pp. 1390--1397, 1990.
"Cooperative Systems for Real-Time Process Monitoring and Diagnostics",
Proceeding of the AI-Japan, Osaka, Japan, 1987.
"Modeling, Model Interpretation and Intelligent Control",
3rd IEEE International Symposium on Intelligent Control, Arlington , VA, pp. 46--50, 1988.
"Model-Integrated Computing",
IEEE Computer, vol. 30, pp. 110--112, April, 1997.
Download: Sztipanovi_J_4_0_1997_Model_Inte.pdf (53.27 KB)
"The Multigraph and Structural Adaptivity",
IEEE Transactions on Signal Processing, vol. 41, pp. 2695--2717, August, 1993.
"Model Transformations in the Model-Based Development of Real-time Systems",
ECBS, pp. 177-186, 2006.
Abstract
Download: 060105_Final.pdf (553.02 KB)
"PML: a Language for Platform Modeling",
Electronic Communications of the EASST, vol. 4, 2006.
"Platform Modeling and Model Transformations for Analysis",
Journal of Universal Computer Science, vol. 10, pp. 1383--1406, October, 2004.
Download: Szemethy_T_11_23_2004_Platform_M.pdf (328.35 KB)
"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.
"An Examination of CriticalitySensitive Approaches to Coordination",
In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
"Plan Execution and Coordination",
Proceedings of ICAPS Workshop: Plan Execution: A Reality Check, Monterey, California, June, 2005.
Abstract
"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)
"Modeling Agent Negotiation",
IEEE International Conference on Systems, Man, and Cybernetics, Proceedings, Nashville, TN, October, 2000.
Download: Sprinkle_JM_10_8_2000_Modeling_A.pdf (181.58 KB)
"Model Migration through Visual Modeling",
OOPSLA - 3rd OOPSLA Workshop on Domain-Specific Modeling, Anaheim, CA, October, 2003.
Download: Sprinkle_J_10_26_2003_Model_Migr.pdf (75.79 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)
"Domain Translation Using Graph Transformations",
Tenth IEEE International Conference and Workshop on the Engineering of Computer-Based Systems, Huntsville, AL, pp. 159--168, April, 2003.
Download: Sprinkle_JM_4_7_2003_Domain_Tra.pdf (255.82 KB)
"Analysis and Representation of Clauses in Satisfiability of Constraints",
ISIS-01-205: Institute for Software Integrated Systems, August, 2001.
Download: Sprinkle_JM_8_6_2001_Analysis_a.pdf (171.11 KB)
"A Domain-Specific Visual Language for Domain Model Evolution",
Journal of Visual Languages and Computing, vol. 15, April, 2004.
Download: Sprinkle_JM_4_0_2004_A_Domain_S.pdf (328.86 KB)
"The New Metamodeling Generation",
IEEE Engineering of Computer Based Systems, Proceedings, Washington, D.C., USA, pp. 275, April, 2001.
Download: Sprinkle_JM_4_0_2001_The_New_Me.doc (103.5 KB)
"Model-Based Fault-Adaptive Control of Complex Dynamic Systems",
IMTC 2003, Vail, CO, May, 2003.
Download: Simon_G_5_20_2003_Model_Base.pdf (385.87 KB)
"Implementation of Reconfiguration Management in Fault-Adaptive Control Systems",
IMTC 2002, Anchorage, AK, pp. 123--128, May, 2002.
Download: Simon_G_5_21_2002_Implementa.pdf (1.42 MB)
"Enabling Self-Management by Using Model-Based Design Space Exploration",
AUTONOMIC & AUTONOMOUS SPACE EXPLORATION SYSTEMS, 2010, 2009.
Abstract
Download: PID1113091.pdf (7.01 MB)
"Generalizing Design Space Exploration using MDE-based Approach",
MODELS 2010, pp. 46-60, 2010.
"The GDSE Framework: A Meta-Tool for Automated Design Space Exploration",
Domain-Specific Modeling , SPLASH 2010, 2010.
"Key Considerations for a Resilient and Autonomous Deployment and Configuration Infrastructure for Cyber-Physical Systems",
11th IEEE International Conference and Workshops on the Engineering of Autonomic and Autonomous Systems (EASe-2014), Laurel, MD, USE, IEEE, 2014.
Download: Pradhan_EASe-2014.pdf (1.46 MB)
Towards a Resilient Deployment and Configuration Infrastructure for Fractionated Spacecraft,
, APRES 2013, ACM SIGBED, 04/2013.
Abstract
Download: apres13.pdf (162.07 KB)
"Establishing secure interactions across distributed applications in satellite clusters",
SMC-IT, 2014.
Download: smcit-2014.pdf (965.2 KB)
"Achieving resilience in distributed software systems via self-reconfiguration",
Journal of Systems and Software, pp. -, 2016.
Abstract
Real-time Fault Tolerant Deployment and Configuration Framework for Cyber Physical Systems,
, RTSS-WiP, ACM SIGBED, 12/2012.
Abstract
Download: main.pdf (79.96 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering