] Filters: Author is Karsai, Gabor [Clear All Filters]
"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.
"Model-Based Approach for Software Synthesis",
IEEE Software, vol. 10, pp. 42--52, May, 1993.
System Diagnosis using Hybrid Failure Propagation Graphs,
: Institute for Software Integrated Systems, December, 2003.
Download: Abdelwahed_S_12_0_2003_System_Dia.pdf (385.08 KB)
"Robust State-based Supervisory Control of Discrete Event Systems",
IEEE Conference on Control Application, Toronto, Canada, August, 2005.
"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)
"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)
"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.
"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)
"System Diagnosis using Hybrid Failure Propagation Graphs",
The 15th International Workshop on Principles of Diagnosis, Carcassonne, France, June, 2004.
Download: Abdelwahed_S_6_0_2004_System_Dia.pdf (200.89 KB)
"Reusable Idioms and Patterns in Graph Transformation Languages",
Electronic Notes in Theoretical Computer Science, vol. 127, pp. 181--192, March, 2005.
"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)
"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)
Graph Transformations on Domain-Specific Models,
: Institute for Software Integrated Systems, November, 2003.
Download: Agrawal_A_11_0_2003_Graph_Tran.pdf (926.08 KB)
"The Design of a Language for Model Transformations",
Journal on Software and System Modeling, vol. 5, pp. 261--288, September, 2006.
Download: Agrawal_A_0_0_2005_The_Design.pdf (2.09 MB)
"Semantic Translation of Simulink/Stateflow models to Hybrid Automata using Graph Transformations",
Electronic Notes in Theoretical Computer Science, vol. 109, pp. 43--56, 2004.
Download: Agrawal_A_3_27_2004_Semantic_T.pdf (1.58 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)
Interpreter Writing using Graph Transformations,
: Institute for Software Integrated Systems, 2003.
Download: Agrawal_A_0_0_2003_Interprete.pdf (1.42 MB)
Recent Advances in Multi-paradigm Modeling,
, Berlin, Heidelberg, Springer, pp. 220-224, 2010.
Abstract
"Artificial Neural Networks Applied to Arc Welding Process Modeling and Control",
IEEE - IAS Transactions, vol. 26, pp. 824--830, September, 1990.
"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)
"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)
"A Rapid Testing Framework for a Mobile Cloud Infrastructure",
IEEE International Symposium on Rapid System Prototyping (RSP): IEEE, 10/2014.
Download: RSP2014.pdf (874.05 KB)
"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)
"The Graph Rewriting and Transformation Language: GReAT",
Electronic Communications of the EASST, vol. 1, 2006.
Abstract
Download: great_easst.pdf (274.21 KB)
"Developing applications using model-driven design environments",
IEEE Computer, vol. 39, pp. 33--40, March, 2006.
"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)
"Integrating Statechart Components in Polyglot",
NASA Formal Methods, vol. 7226, Norfolk, VA, Springer, 04/2012.
Abstract
"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)
Component Models for Vehicle Software Platforms: Two Case Studies,
, no. ISIS-15-101, Nashville, Institute for Software Integrated Systems, 01/2015.
Abstract
Download: ISIS-15-101.pdf (2.52 MB)
Janalyzer: A Static Analysis Tool for Java Bytecode,
, Nashville, Institute for Software Integrated Systems, 08/2017.
Download: main.pdf (261.01 KB)
"An application development and deployment platform for satellite clusters",
Workshop on Spacecraft Flight Software, 2013.
Download: FSW.pdf (45.92 KB)
"A Subgraph Operator for Graph Transformation Languages",
Electronic Communications of the EASST, vol. 6, 2007.
Abstract
Download: A_Subgraph_Operator_for_Graph_Transformation_Languages.pdf (233.92 KB)
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)
"Execution Environment for Intelligent Real-Time Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 807--811, 1986.
"Experiment Design Language for Intelligent MRI Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 803--807, 1986.
"Self-Adaptive Software for Fault-Adaptive Control",
Third Intl. Workshop on Self-Adaptive Software, Washington, D.C., June, 2003.
"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)
"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)
"Computer-aided Aircraft Maintenance Scheduling",
ISIS-02-303: Institute for Software Integrated Systems, November, 2002.
Download: van_Buskir_CP_11_0_2002_Computer_a.pdf (313.15 KB)
"Integrated Modeling for Planning, Simulation and Diagnosis",
IEEE Conference on AI Simulation {\&} Planning in High Autonomy Systems, Cocoa Beach, FL, pp. 273--282, April, 1991.
"Simulation of Network Attacks on SCADA Systems",
First Workshop on Secure Control Systems, Cyber Physical Systems Week 2010, 04/2010.
Abstract
Download: ScadaSystemsSimulationsUsingC2WT.pdf (124.34 KB)
"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
"WiP Abstract: Diagnostics and Prognostics using Temporal Causal Models for Cyber-Physical Energy Systems",
ACM/IEEE 8th International Conference on Cyber-Physical Systems, 2017.
"A Systematic Approach Of Identifying Optimal Load Control Actions For Arresting Cascading Failures In Power Systems",
2nd Workshop on Cyber-Physical Security and Resilience in Smart Grids (CPSR-SG 2017), Pittsburgh, Pennsylvania, USA, ACM, 04/2017.
"Hierarchical Reasoning about Faults in Cyber-Physical Energy Systems using Temporal Causal Diagrams",
International Journal of Prognostics and Health Management, vol. 9, no. 1, 02/2018.
Abstract
Download: ijphm_18_001.pdf (3.8 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)
"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
"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)
"An Integrated Multi-Domain Analysis Environment for High Consequence Systems",
Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.
Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 KB)
"Integrated Analysis Environment for High Impact Systems",
Proceedings of the Engineering of Computer Based Systems, Jerusalem, Israel, pp. 218--225, April, 1998.
Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering