The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gabor Karsai: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gabor Karsai, Aditya Agrawal
    Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk). [Citation Graph (0, 0)][DBLP]
    AGTIVE, 2003, pp:243-259 [Conf]
  2. Pedro A. Szekely, Marcel Becker, Stephen Fitzpatrick, Gergely Gati, David Hanak, Jing Jin, Gabor Karsai, Rajiv T. Maheswaran, Robert Neches, Craig Milo Rogers, Romeo Sanchez, Christopher P. van Buskirk
    CSC: Criticality-Sensitive Coordination. [Citation Graph (0, 0)][DBLP]
    AAMAS, 2006, pp:1441-1442 [Conf]
  3. Gabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore
    Model-integrated system development: models, architecture, and process. [Citation Graph (0, 0)][DBLP]
    COMPSAC, 1997, pp:176-181 [Conf]
  4. Gabor Karsai
    Design Tool Integration: An Exercise in Semantic Interoperability. [Citation Graph (0, 0)][DBLP]
    ECBS, 2000, pp:272-278 [Conf]
  5. Gabor Karsai
    Structured Specification of Model Interpreters. [Citation Graph (0, 0)][DBLP]
    ECBS, 1999, pp:84-0 [Conf]
  6. Gabor Karsai, Gautam Biswas, Tal Pasternak, Sriram Narasimhan, Gábor Péceli, Gyula Simon, Tamás Kovácsházy
    Fault-Adaptive Control: A CBS Application. [Citation Graph (0, 0)][DBLP]
    ECBS, 2001, pp:205-0 [Conf]
  7. Ákos Lédeczi, Miklos Maroti, Gabor Karsai, Greg Nordstrom
    Metaprogrammable Toolkit for Model-Integrated Computing. [Citation Graph (0, 0)][DBLP]
    ECBS, 1999, pp:311-0 [Conf]
  8. Amit Misra, Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Michael Moore, Earl Long
    A model-integrated information system for increasing throughput in discrete manufacturing. [Citation Graph (0, 0)][DBLP]
    ECBS, 1997, pp:203-210 [Conf]
  9. Amit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi, Earl Long
    Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges. [Citation Graph (0, 0)][DBLP]
    ECBS, 1999, pp:225-231 [Conf]
  10. Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, Ákos Lédeczi
    Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments. [Citation Graph (0, 0)][DBLP]
    ECBS, 1999, pp:68-74 [Conf]
  11. Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai
    Domain Model Translation Using Graph Transformations. [Citation Graph (0, 0)][DBLP]
    ECBS, 2003, pp:159-167 [Conf]
  12. Jonathan Sprinkle, Ákos Lédeczi, Gabor Karsai, Greg Nordstrom
    The New Metamodeling Generation. [Citation Graph (0, 0)][DBLP]
    ECBS, 2001, pp:275-0 [Conf]
  13. Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian
    Model Transformations in the Model-Based Development of Real-time Systems. [Citation Graph (0, 0)][DBLP]
    ECBS, 2006, pp:177-186 [Conf]
  14. Janos Sztipanovits, Gabor Karsai, Hubertus Franke
    Model-Integrated Program Synthesis Environment. [Citation Graph (0, 0)][DBLP]
    ECBS, 1996, pp:348-355 [Conf]
  15. Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts
    Constraint-Based Design-Space Exploration and Model Synthesis. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2003, pp:290-305 [Conf]
  16. Janos Sztipanovits, Gabor Karsai
    Embedded Software: Challenges and Opportunities. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2001, pp:403-415 [Conf]
  17. Janos Sztipanovits, Gabor Karsai
    Generative Programming for Embedded Systems. [Citation Graph (0, 0)][DBLP]
    GPCE, 2002, pp:32-49 [Conf]
  18. Hubertus Franke, Janos Sztipanovits, Gabor Karsai
    Model-Integrated Programming. [Citation Graph (0, 0)][DBLP]
    HICSS (1), 1997, pp:415-422 [Conf]
  19. Jeff Gray, Gabor Karsai
    An Examination of DSLs for Concisely Representing Model Traversals and Transformations. [Citation Graph (0, 0)][DBLP]
    HICSS, 2003, pp:325- [Conf]
  20. Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria
    Model-embedded on-line problem solving environment for chemical engineering. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:227-233 [Conf]
  21. Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra
    MULTIGRAPH: an architecture for model-integrated computing. [Citation Graph (0, 0)][DBLP]
    ICECCS, 1995, pp:361-368 [Conf]
  22. Amit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi
    Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing. [Citation Graph (0, 0)][DBLP]
    ICEIS, 1999, pp:485-492 [Conf]
  23. Michael S. Moore, Gabor Karsai, Janos Sztipanovits
    Model-Based Programming for Parallel Image Processing. [Citation Graph (0, 0)][DBLP]
    ICIP (3), 1994, pp:811-815 [Conf]
  24. Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf
    Model Reuse with Metamodel-Based Transformations. [Citation Graph (0, 0)][DBLP]
    ICSR, 2002, pp:166-178 [Conf]
  25. Gabor Karsai, Ákos Lédeczi, Janos Sztipanovits, Gábor Péceli, Gyula Simon, Tamás Kovácsházy
    An Approach to Self-adaptive Software Based on Supervisory Control. [Citation Graph (0, 0)][DBLP]
    IWSAS, 2001, pp:24-38 [Conf]
  26. Aditya Agrawal, Gabor Karsai, Ákos Lédeczi
    An end-to-end domain-driven software development framework. [Citation Graph (0, 0)][DBLP]
    OOPSLA Companion, 2003, pp:8-15 [Conf]
  27. Janos Sztipanovits, Gabor Karsai
    Generative programming for embedded systems. [Citation Graph (0, 0)][DBLP]
    PPDP, 2002, pp:180-180 [Conf]
  28. Gabor Madl, Sherif Abdelwahed, Gabor Karsai
    Automatic Verification of Component-Based Real-Time CORBA Applications. [Citation Graph (0, 0)][DBLP]
    RTSS, 2004, pp:231-240 [Conf]
  29. Nagarajan Kandasamy, David Hanak, Christopher P. van Buskirk, Himanshu Neema, Gabor Karsai
    Synthesis of robust task schedules for minimum disruption repair. [Citation Graph (0, 0)][DBLP]
    SMC (6), 2004, pp:5056-5061 [Conf]
  30. Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai
    A Visually-Specified Code Generator for Simulink/Stateflow. [Citation Graph (0, 0)][DBLP]
    VL/HCC, 2005, pp:275-277 [Conf]
  31. Gabor Karsai
    Automotive Software: A Challenge and Opportunity for Model-Based Software Development. [Citation Graph (0, 0)][DBLP]
    ASWSD, 2004, pp:103-115 [Conf]
  32. Sandeep Neema, Gabor Karsai
    Software for Automotive Systems: Model-Integrated Computing. [Citation Graph (0, 0)][DBLP]
    ASWSD, 2004, pp:116-136 [Conf]
  33. Ákos Lédeczi, Ted Bapty, Gabor Karsai, Janos Sztipanovits
    Modeling Paradigm for Parallel Signal Processing. [Citation Graph (0, 0)][DBLP]
    Australian Computer Journal, 1995, v:27, n:3, pp:92-102 [Journal]
  34. Janos Sztipanovits, Gabor Karsai, Ted Bapty
    Self-Adaptive Software for Signal Processing. [Citation Graph (0, 0)][DBLP]
    Commun. ACM, 1998, v:41, n:5, pp:66-73 [Journal]
  35. Krishnakumar Balasubramanian, Aniruddha S. Gokhale, Gabor Karsai, Janos Sztipanovits, Sandeep Neema
    Developing Applications Using Model-Driven Design Environments. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2006, v:39, n:2, pp:33-40 [Journal]
  36. Gabor Karsai
    A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1995, v:28, n:3, pp:36-44 [Journal]
  37. Ákos Lédeczi, Arpad Bakay, Miklos Maroti, Péter Völgyesi, Greg Nordstrom, Jonathan Sprinkle, Gabor Karsai
    Composing Domain-Specific Design Environments. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 2001, v:34, n:11, pp:44-51 [Journal]
  38. Janos Sztipanovits, Gabor Karsai
    Model-Integrated Computing. [Citation Graph (0, 0)][DBLP]
    IEEE Computer, 1997, v:30, n:4, pp:110-111 [Journal]
  39. Aditya Agrawal, Gyula Simon, Gabor Karsai
    Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:109, n:, pp:43-56 [Journal]
  40. Gabor Karsai, Gabriele Taentzer
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:152, n:, pp:1-2 [Journal]
  41. Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai
    Applying a Model Transformation Taxonomy to Graph Transformation Technology. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:152, n:, pp:143-159 [Journal]
  42. Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai
    Improving the Usability of a Graph Transformation Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:152, n:, pp:207-222 [Journal]
  43. Samir Padalkar, Gabor Karsai, Csaba Biegl, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka
    Real-Time Fault Diagnostics. [Citation Graph (0, 0)][DBLP]
    IEEE Expert, 1991, v:6, n:3, pp:75-85 [Journal]
  44. Gabor Karsai, Janos Sztipanovits, Samir Padalkar, Csaba Biegl
    Model-Based Intelligent Process Control for Cogenerator Plants. [Citation Graph (0, 0)][DBLP]
    J. Parallel Distrib. Comput., 1992, v:15, n:2, pp:90-102 [Journal]
  45. Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle
    On the Use of Graph Transformation in the Formal Specification of Model Interpreters. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2003, v:9, n:11, pp:1296-1321 [Journal]
  46. Gabor Karsai, Greg Nordstrom, Ákos Lédeczi, Janos Sztipanovits
    Towards Two-Level Formal Modeling of Computer-Based Systems. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:11, pp:1131-1144 [Journal]
  47. Tivadar Szemethy, Gabor Karsai
    Platform Modeling and Model Transformations for Analysis. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2004, v:10, n:10, pp:1383-1407 [Journal]
  48. Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Ted Bapty
    Model-integrated development of embedded software. [Citation Graph (0, 0)][DBLP]
    Proceedings of the IEEE, 2003, v:91, n:1, pp:145-164 [Journal]
  49. Ben Abbott, Ted Bapty, Csaba Biegl, Gabor Karsai, Janos Sztipanovits
    Model-Based Software Synthesis. [Citation Graph (0, 0)][DBLP]
    IEEE Software, 1993, v:10, n:3, pp:42-52 [Journal]
  50. Gabor Karsai, Andras Lang, Sandeep Neema
    Design patterns for open tool integration. [Citation Graph (0, 0)][DBLP]
    Software and System Modeling, 2005, v:4, n:2, pp:157-170 [Journal]
  51. Janos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha S. Gokhale, Larry Howard, Gabor Karsai, Tak-John Koo, Xenofon Koutsoukos, Douglas C. Schmidt
    Introducing embedded software and systems education and advanced learning technology in an engineering curriculum. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Embedded Comput. Syst., 2005, v:4, n:3, pp:549-568 [Journal]
  52. Jonathan Sprinkle, Gabor Karsai
    A domain-specific visual language for domain model evolution. [Citation Graph (0, 0)][DBLP]
    J. Vis. Lang. Comput., 2004, v:15, n:3-4, pp:291-307 [Journal]

  53. High precision automatic scheduling of periodic task sets for microcontrollers. [Citation Graph (, )][DBLP]


  54. Towards a Generic Design Space Exploration Framework. [Citation Graph (, )][DBLP]


  55. Applying a Grouping Operator in Model Transformations. [Citation Graph (, )][DBLP]


  56. 07451 Summary - Model-Based Engineering of Embedded Real-Time Systems. [Citation Graph (, )][DBLP]


  57. 07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems. [Citation Graph (, )][DBLP]


  58. Software Engineering for Self-Adaptive Systems: A Research Roadmap. [Citation Graph (, )][DBLP]


  59. Integrating Security Modeling into Embedded System Design. [Citation Graph (, )][DBLP]


  60. Towards a time-triggered schedule calculation tool to support model-based embedded software design. [Citation Graph (, )][DBLP]


  61. Reusing Model Transformations While Preserving Properties. [Citation Graph (, )][DBLP]


  62. Third international workshop on graph and model transformations. [Citation Graph (, )][DBLP]


  63. Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-Time and Embedded Systems. [Citation Graph (, )][DBLP]


  64. Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems. [Citation Graph (, )][DBLP]


  65. Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. [Citation Graph (, )][DBLP]


  66. Automatic Domain Model Migration to Manage Metamodel Evolution. [Citation Graph (, )][DBLP]


  67. MDE-Based Approach for Generalizing Design Space Exploration. [Citation Graph (, )][DBLP]


  68. Recent Advances in Multi-paradigm Modeling. [Citation Graph (, )][DBLP]


  69. DSLs: the good, the bad, and the ugly. [Citation Graph (, )][DBLP]


  70. An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. [Citation Graph (, )][DBLP]


  71. Model-Integrated Development of Cyber-Physical Systems. [Citation Graph (, )][DBLP]


  72. Towards Verification of Model Transformations Via Goal-Directed Certification. [Citation Graph (, )][DBLP]


  73. Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment. [Citation Graph (, )][DBLP]


  74. On the Correctness of Model Transformations in the Development of Embedded Systems. [Citation Graph (, )][DBLP]


  75. A Novel Approach to Semi-automated Evolution of DSML Model Transformation. [Citation Graph (, )][DBLP]


  76. Evolving Embedded Systems. [Citation Graph (, )][DBLP]


  77. Towards Verifying Model Transformations. [Citation Graph (, )][DBLP]


Search in 0.054secs, Finished in 0.058secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002