] Filters: Author is Karsai, Gabor [Clear All Filters]
"Design Patterns for Open Tool Integration",
Journal of Software and System Modeling, vol. 4, 2004.
"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)
"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)
"Developing applications using model-driven design environments",
IEEE Computer, vol. 39, pp. 33--40, March, 2006.
"Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid",
Embedded System Letters, 05/2018.
Download: ESL_Paper.pdf (566 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)
"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)
"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)
"DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems",
Space Mission Challenges for Information Technology (SMC-IT), 2017.
Abstract
Download: paper.pdf (1.42 MB)
"DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems",
International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2017, 09/2017.
Abstract
Download: main.pdf (951.36 KB)
"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)
"DREMS: A Toolchain and Platform for the Rapid Application Development, Integration and Deployment of Managed Distributed Real-time Embedded Systems",
Real-time Systems Symposium, 2013.
Download: RTSS.pdf (8.55 MB)
Embedded Control Systems Language for Distributed Processing,
: Institute for Software Integrated Systems, May, 2004.
Download: Neema_S_5_12_2004_Embedded_C.pdf (439.52 KB)
"Embedded Software: Challenges and Opportunities",
Lecture Notes in Computer Science, vol. 2211: Springer Verlag, pp. 403--408, 2000.
"Enabling Self-Management by Using Model-Based Design Space Exploration",
AUTONOMIC & AUTONOMOUS SPACE EXPLORATION SYSTEMS, 2010, 2009.
Abstract
Download: PID1113091.pdf (7.01 MB)
"Enabling Strong Isolation for Distributed Real-time Applications in Edge Computing Scenarios",
IEEE Aerospace and Electronic Systems Magazine, 2019.
Abstract
Download: SYSAES-preprint.pdf (4.21 MB)
"An End-to-End Domain-Driven Software Development Framework",
18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Domain-Driven Development Track, Anaheim, CA, October, 2003.
Download: Agrawal_A_10_0_2003_An_End_to_.pdf (662.27 KB)
The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis,
, Nashville, TN, Vanderbilt University, 09/2010.
Download: ESMoL_TR.pdf (3.99 MB)
"The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems",
15th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, 04/2009.
Abstract
Download: rtas_demo_2009.pdf (491.24 KB)
"Establishing secure interactions across distributed applications in satellite clusters",
SMC-IT, 2014.
Download: smcit-2014.pdf (965.2 KB)
"Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-time and Embedded Systems",
The Eleventh IEEE International Symposium on Object-oriented Real-time distributed Computing (ISORC 2008), Orlando, FL, 2008.
"An Evolvable Tri-Reasoner IVHM System",
2001 IEEE Aerospace Conference, 11.0307, Big Sky, Montana, USA, March, 2001.
Download: ISIS_3_13_2001_An_Evolvab.pdf (293.67 KB)
"Evolving Embedded Systems",
Computer, vol. 43, no. May, pp. 34-40, 05/2010.
Evolving Paradigms and Models in Multi-Paradigm Modeling,
, no. ISIS-08-91, Nashville, Institute for Software Integrated Systems, 11/2008.
Download: ISIS-08-912.pdf (651.03 KB)
"An Examination of CriticalitySensitive Approaches to Coordination",
In AAAI Spring Symposium on Distributed Plan and Schedule Management: AAAI Press, pp. 136–142, 2006.
"An Examination of DSLs for Concisely Representing Model Traversals and Transformations",
HICSS-36, Big Island, Hawaii, January, 2003.
Download: Gray_J_1_0_2003_An_Examina.pdf (245.28 KB)
"Execution Environment for Intelligent Real-Time Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 807--811, 1986.
"Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System",
Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
"Experiment Design Language for Intelligent MRI Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 803--807, 1986.
"An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software",
20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP'09), Paris, France, 06/2009.
Abstract
"F6COM: A Component Model for Resource-constrained and Dynamic Space-based Computing Environments",
16th IEEE International Symposium on Object/Component/Service-oriented Real-time Distributed Computing, 2013.
Download: F6COM-ISORC2013.pdf (1.05 MB)
"Fault adaptive control: towards robust operation of autonomous systems",
Fourth International Conference on Intelligent Systems Design and Applications, Budapest, Hungary, August, 2004.
Download: Biswas_G_8_0_2004_Fault_adap.pdf (358.48 KB)
"Fault-Adaptive Control: A CBS Application",
ECBS-2001, Washington, DC, February, 2001.
Download: Karsai_G_2_0_2001_Fault_Adap.pdf (79 KB)
"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)
"Formalization of a Component Model for Real-time Systems",
ISIS Technical Report, 04/2012.
Abstract
Download: ISIS-12-102-TechReport.pdf (1.3 MB)
"From System Modeling to Formal Verification",
The 2015 Electronic System Level Synthesis Conference, San Francisco, ECSI, 07/01/2015.
Abstract
Download: Session3_Paper3.pdf (1.04 MB)
"A game-theoretic approach for power systems defense against dynamic cyber-attacks",
International Journal of Electrical Power & Energy Systems, vol. 115, pp. 105432, 2019.
Abstract
Download: hasan2019.pdf (519.26 KB)
"The GDSE Framework: A Meta-Tool for Automated Design Space Exploration",
Domain-Specific Modeling , SPLASH 2010, 2010.
"Generalizing Design Space Exploration using MDE-based Approach",
MODELS 2010, pp. 46-60, 2010.
"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.
"Generative Programming via Graph Transformations in the Model-Driven Architecture",
OOPSLA, Workshop on Generative Techniques in the Context of Model Driven Architecture, Seattle, WA, November, 2002.
Download: Agrawal_A_11_5_2002_Generative.pdf (351.64 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)
"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)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering