dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Gabor Karsai Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
115Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChunming Hu, Gabor Karsai, Jie Xu, Andreas Polze, Ji Wang, Andy J. Wellings: 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012 IEEE 2012
114Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai: Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode. ISORC 2012: 79-86
113Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen: Integrating Statechart Components in Polyglot. NASA Formal Methods 2012: 267-272
112Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanos Sztipanovits, Xenofon D. Koutsoukos, Gabor Karsai, Nicholas Kottenstette, Panos J. Antsaklis, Vijay Gupta, Bill Goodwine, John S. Baras, Shige Wang: Toward a Science of Cyber-Physical System Integration. Proceedings of the IEEE 100(1): 29-44 (2012)
111Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraham Hemingway, Himanshu Neema, Harmon Nine, Janos Sztipanovits, Gabor Karsai: Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. Simulation 88(2): 217-232 (2012)
2011
110Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz: Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers Springer 2011
109Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTripti Saxena, Gabor Karsai: A Meta-Framework for Design Space Exploration. ECBS 2011: 71-80
108Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry: Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA 2011: 45-55
107Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger: Rapid property specification and checking for model-based formalisms. International Symposium on Rapid System Prototyping 2011: 121-127
106Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmogh Kavimandan, Aniruddha S. Gokhale, Gabor Karsai, Jeff Gray: Managing the quality of software product line architectures through reusable model transformations. QoSA/ISARCS 2011: 13-22
105Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai: Application of software health management techniques. SEAMS 2011: 1-10
104Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBarrett R. Bryant, Jeff Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, Gabor Karsai: Challenges and directions in formalizing the semantics of modeling languages. Comput. Sci. Inf. Syst. 8(2): 225-253 (2011)
103Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan: A component model for hard real-time systems: CCM with ARINC-653. Softw., Pract. Exper. 41(12): 1517-1550 (2011)
2010
102Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTripti Saxena, Gabor Karsai: Towards a Generic Design Space Exploration Framework. CIT 2010: 1940-1947
101Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHimanshu Neema, Anand Kashyap, Róbert Kereskényi, Yuan Xue, Gabor Karsai: SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-Hoc Networks. DS-RT 2010: 179-188
100Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai: A transformation instance-based approach to traceability. ECMFA-TW 2010: 55-60
99Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits: Online stability validation using sector analysis. EMSOFT 2010: 29-38
98Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEthan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai: Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58
97Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai: Lessons Learned from Building a Graph Transformation System. Graph Transformations and Model-Driven Engineering 2010: 202-223
96Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhishek Dubey, Gabor Karsai, Róbert Kereskényi, Nagabhushan Mahadevan: A Real-Time Component Framework: Experience with CCM and ARINC-653. ISORC 2010: 143-150
95Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGraham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits: Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis. International Symposium on Rapid System Prototyping 2010: 1-7
94Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTripti Saxena, Gabor Karsai: MDE-Based Approach for Generalizing Design Space Exploration. MoDELS (1) 2010: 46-60
93Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTihamer Levendovszky, Gabor Karsai: An Active Pattern Infrastructure for Domain-Specific Languages. ECEASST 25: (2010)
92Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Fabio Massacci, Leon J. Osterweil, Ina Schieferdecker: Evolving Embedded Systems. IEEE Computer 43(5): 34-40 (2010)
2009
91Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Porter, Gabor Karsai, Janos Sztipanovits: Towards a time-triggered schedule calculation tool to support model-based embedded software design. EMSOFT 2009: 167-176
90Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Porter, Péter Völgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits: An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. IEEE International Workshop on Rapid System Prototyping 2009: 3-10
89Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhishek Dubey, Gabor Karsai, Sherif Abdelwahed: Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems. ISORC 2009: 55-62
88Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai: Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS 2009: 706-711
87Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasco Amaral, Cécile Hardebolle, Gabor Karsai, László Lengyel, Tihamer Levendovszky: Recent Advances in Multi-paradigm Modeling. MoDELS Workshops 2009: 220-224
86Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai: A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE 2009: 23-41
85Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBetty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle: Software Engineering for Self-Adaptive Systems: A Research Roadmap. Software Engineering for Self-Adaptive Systems 2009: 1-26
84Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle: Preface. ECEASST 21: (2009)
83Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSherif Abdelwahed, Gabor Karsai, Nagabhushan Mahadevan, Stanley C. Ofsthun: Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models. IEEE T. Instrumentation and Measurement 58(2): 240-247 (2009)
2008
82Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBenjamin Ness, Gabor Karsai: High precision automatic scheduling of periodic task sets for microcontrollers. ACM Southeast Regional Conference 2008: 1-6
81Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Gabriele Taentzer: Third international workshop on graph and model transformations. ICSE Companion 2008: 1055-1056
80Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmogh Kavimandan, Anantha Narayanan, Aniruddha S. Gokhale, Gabor Karsai: Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-Time and Embedded Systems. ISORC 2008: 100-107
79Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJoseph Porter, Gabor Karsai, Péter Völgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits: Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. MoDELS Workshops 2008: 20-34
78Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen: DSLs: the good, the bad, and the ugly. OOPSLA Companion 2008: 791-794
77Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Janos Sztipanovits: Model-Integrated Development of Cyber-Physical Systems. SEUS 2008: 46-54
76Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnantha Narayanan, Gabor Karsai: Verifying Model Transformations by Structural Correspondence. ECEASST 10: (2008)
75Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnantha Narayanan, Gabor Karsai: Towards Verifying Model Transformations. Electr. Notes Theor. Comput. Sci. 211: 191-200 (2008)
74Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Sandeep Neema, David Sharp: Model-driven architecture for embedded software: A synopsis and an example. Sci. Comput. Program. 73(1): 26-38 (2008)
2007
73no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz: Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
72Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai: Applying a Grouping Operator in Model Transformations. AGTIVE 2007: 410-425
71Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi: Integrating Security Modeling into Embedded System Design. ECBS 2007: 221-228
70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz: 07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems 2007
69Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHolger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz: 07451 Summary - Model-Based Engineering of Embedded Real-Time Systems. Model-Based Engineering of Embedded Real-Time Systems 2007
68Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty: The Model-Integrated Computing Tool Suite. Model-Based Engineering of Embedded Real-Time Systems 2007: 369-376
67Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai: Metamodelling - State of the Art and Research Challenges. Model-Based Engineering of Embedded Real-Time Systems 2007: 57-76
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai: A Subgraph Operator for Graph Transformation Languages. ECEASST 6: (2007)
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhishek Dubey, Steven Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, Gabor Karsai: Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. ISSE 3(1): 33-52 (2007)
2006
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro A. Szekely, Rajiv T. Maheswaran, Robert Neches, Craig Milo Rogers, Romeo Sanchez, Marcel Becker, Stephen Fitzpatrick, Gergely Gati, Dávid Hanák, Gabor Karsai, Christopher P. van Buskirk: An Examination of Criticality-Sensitive Approaches to Coordination. AAAI Spring Symposium: Distributed Plan and Schedule Management 2006: 136-142
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPedro A. Szekely, Marcel Becker, Stephen Fitzpatrick, Gergely Gati, Dávid Hanák, Jing Jin, Gabor Karsai, Rajiv T. Maheswaran, Robert Neches, Craig Milo Rogers, Romeo Sanchez, Christopher P. van Buskirk: CSC: Criticality-Sensitive Coordination. AAMAS 2006: 1441-1442
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Anantha Narayanan: Towards Verification of Model Transformations Via Goal-Directed Certification. ASWSD 2006: 67-83
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTivadar Szemethy, Gabor Karsai, Daniel Balasubramanian: Model Transformations in the Model-Based Development of Real-time Systems. ECBS 2006: 177-186
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEric-Jan Manders, Gautam Biswas, Nagabhushan Mahadevan, Gabor Karsai: Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment. MDB/MOMPES 2006: 159-168
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Anantha Narayanan: On the Correctness of Model Transformations in the Development of Embedded Systems. Monterey Workshop 2006: 1-18
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDaniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, Gabor Karsai: The Graph Rewriting and Transformation Language: GReAT. ECEASST 1: (2006)
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTivadar Szemethy, Gabor Karsai: PML: a Transformation Language for Platform Modeling. ECEASST 4: (2006)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Gabriele Taentzer: Preface to GraMoT 2006 Workshop Proceedings. ECEASST 4: (2006)
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAnantha Narayanan, Gabor Karsai: Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations. ECEASST 4: (2006)
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Gabriele Taentzer: Preface. Electr. Notes Theor. Comput. Sci. 152: 1-2 (2006)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai: Applying a Model Transformation Taxonomy to Graph Transformation Technology. Electr. Notes Theor. Comput. Sci. 152: 143-159 (2006)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAttila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai: Improving the Usability of a Graph Transformation Language. Electr. Notes Theor. Comput. Sci. 152: 207-222 (2006)
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKrishnakumar Balasubramanian, Aniruddha S. Gokhale, Gabor Karsai, Janos Sztipanovits, Sandeep Neema: Developing Applications Using Model-Driven Design Environments. IEEE Computer 39(2): 33-40 (2006)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo: The design of a language for model transformations. Software and System Modeling 5(3): 261-288 (2006)
2005
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai: A Visually-Specified Code Generator for Simulink/Stateflow. VL/HCC 2005: 275-277
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha S. Gokhale, Larry Howard, Gabor Karsai, Tak-John Koo, Xenofon D. Koutsoukos, Douglas C. Schmidt: Introducing embedded software and systems education and advanced learning technology in an engineering curriculum. ACM Trans. Embedded Comput. Syst. 4(3): 549-568 (2005)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan, Gabor Karsai: Reusable Idioms and Patterns in Graph Transformation Languages. Electr. Notes Theor. Comput. Sci. 127(1): 181-192 (2005)
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Andras Lang, Sandeep Neema: Design patterns for open tool integration. Software and System Modeling 4(2): 157-170 (2005)
2004
45no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Eelco Visser: Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings Springer 2004
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai: Automotive Software: A Challenge and Opportunity for Model-Based Software Development. ASWSD 2004: 103-115
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandeep Neema, Gabor Karsai: Software for Automotive Systems: Model-Integrated Computing. ASWSD 2004: 116-136
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Madl, Sherif Abdelwahed, Gabor Karsai: Automatic Verification of Component-Based Real-Time CORBA Applications. RTSS 2004: 231-240
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNagarajan Kandasamy, Dávid Hanák, Christopher P. van Buskirk, Himanshu Neema, Gabor Karsai: Synthesis of robust task schedules for minimum disruption repair. SMC (6) 2004: 5056-5061
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAditya Agrawal, Gyula Simon, Gabor Karsai: Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. Electr. Notes Theor. Comput. Sci. 109: 43-56 (2004)
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTivadar Szemethy, Gabor Karsai: Platform Modeling and Model Transformations for Analysis. J. UCS 10(10): 1383-1407 (2004)
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Sprinkle, Gabor Karsai: A domain-specific visual language for domain model evolution. J. Vis. Lang. Comput. 15(3-4): 291-307 (2004)
2003
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Aditya Agrawal: Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk). AGTIVE 2003: 243-259
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai: Domain Model Translation Using Graph Transformations. ECBS 2003: 159-167
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts: Constraint-Based Design-Space Exploration and Model Synthesis. EMSOFT 2003: 290-305
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJeff Gray, Gabor Karsai: An Examination of DSLs for Concisely Representing Model Traversals and Transformations. HICSS 2003: 325
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAditya Agrawal, Gabor Karsai, Ákos Lédeczi: An end-to-end domain-driven software development framework. OOPSLA Companion 2003: 8-15
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle: On the Use of Graph Transformation in the Formal Specification of Model Interpreters. J. UCS 9(11): 1296-1321 (2003)
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Ted Bapty: Model-integrated development of embedded software. Proceedings of the IEEE 91(1): 145-164 (2003)
2002
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanos Sztipanovits, Gabor Karsai: Generative Programming for Embedded Systems. GPCE 2002: 32-49
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf: Model Reuse with Metamodel-Based Transformations. ICSR 2002: 166-178
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanos Sztipanovits, Gabor Karsai: Generative programming for embedded systems. PPDP 2002: 180-180
2001
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Gautam Biswas, Tal Pasternak, Sriram Narasimhan, Gábor Péceli, Gyula Simon, Tamás Kovácsházy: Fault-Adaptive Control: A CBS Application. ECBS 2001: 205-
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJonathan Sprinkle, Ákos Lédeczi, Gabor Karsai, Greg Nordstrom: The New Metamodeling Generation. ECBS 2001: 275-
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanos Sztipanovits, Gabor Karsai: Embedded Software: Challenges and Opportunities. EMSOFT 2001: 403-415
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor 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. IWSAS 2001: 24-38
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁkos Lédeczi, Arpad Bakay, Miklos Maroti, Péter Völgyesi, Greg Nordstrom, Jonathan Sprinkle, Gabor Karsai: Composing Domain-Specific Design Environments. IEEE Computer 34(11): 44-51 (2001)
2000
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai: Design Tool Integration: An Exercise in Semantic Interoperability. ECBS 2000: 272-278
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Greg Nordstrom, Ákos Lédeczi, Janos Sztipanovits: Towards Two-Level Formal Modeling of Computer-Based Systems. J. UCS 6(11): 1131-1144 (2000)
1999
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit 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. ECBS 1999: 225-231
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁkos Lédeczi, Miklos Maroti, Gabor Karsai, Greg Nordstrom: Metaprogrammable Toolkit for Model-Integrated Computing. ECBS 1999: 311-
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGreg Nordstrom, Janos Sztipanovits, Gabor Karsai, Ákos Lédeczi: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments. ECBS 1999: 68-74
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai: Structured Specification of Model Interpreters. ECBS 1999: 84-
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi: Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing. ICEIS 1999: 485-492
1998
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanos Sztipanovits, Gabor Karsai, Ted Bapty: Self-Adaptive Software for Signal Processing. Commun. ACM 41(5): 66-73 (1998)
1997
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore: Model-integrated system development: models, architecture, and process. COMPSAC 1997: 176-181
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmit Misra, Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Michael Moore, Earl Long: A model-integrated information system for increasing throughput in discrete manufacturing. ECBS 1997: 203-210
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHubertus Franke, Janos Sztipanovits, Gabor Karsai: Model-Integrated Programming. HICSS (1) 1997: 415-422
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanos Sztipanovits, Gabor Karsai: Model-Integrated Computing. IEEE Computer 30(4): 110-111 (1997)
1996
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanos Sztipanovits, Gabor Karsai, Hubertus Franke: Model-Integrated Program Synthesis Environment. ECBS 1996: 348-355
1995
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria: Model-embedded on-line problem solving environment for chemical engineering. ICECCS 1995: 227-233
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra: MULTIGRAPH: an architecture for model-integrated computing. ICECCS 1995: 361-368
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLÁkos Lédeczi, Ted Bapty, Gabor Karsai, Janos Sztipanovits: Modeling Paradigm for Parallel Signal Processing. Australian Computer Journal 27(3): 92-102 (1995)
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai: A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming. IEEE Computer 28(3): 36-44 (1995)
1994
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichael S. Moore, Gabor Karsai, Janos Sztipanovits: Model-Based Programming for Parallel Image Processing. ICIP (3) 1994: 811-815
1993
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBen Abbott, Ted Bapty, Csaba Biegl, Gabor Karsai, Janos Sztipanovits: Model-Based Software Synthesis. IEEE Software 10(3): 42-52 (1993)
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJanos Sztipanovits, D. Mitchell Wilkes, Gabor Karsai, Csaba Biegl, Lester E. Lynd Jr.: The multigraph and structural adaptivity. IEEE Transactions on Signal Processing 41(8): 2695-2716 (1993)
1992
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Karsai, Janos Sztipanovits, Samir Padalkar, Csaba Biegl: Model-Based Intelligent Process Control for Cogenerator Plants. J. Parallel Distrib. Comput. 15(2): 90-102 (1992)
1991
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSamir Padalkar, Gabor Karsai, Csaba Biegl, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka: Real-Time Fault Diagnostics. IEEE Expert 6(3): 75-85 (1991)

Coauthor Index

1Ben Abbott [4]
2Sherif Abdelwahed [42] [83] [89]
3Aditya Agrawal [32] [33] [36] [37] [40] [47] [50]
4Vasco Amaral [87]
5Jesper Andersson [85]
6Panos J. Antsaklis [112]
7Arpad Bakay [23]
8Daniel Balasubramanian [52] [58] [61] [66] [72] [86] [88] [98] [100] [107] [108] [113]
9Krishnakumar Balasubramanian [51]
10Ted Bapty [4] [7] [8] [15] [31] [65] [68]
11John S. Baras [112]
12Basil Becker [85]
13Marcel Becker [63] [64]
14Nelly Bencomo [85]
15Jason Biatek [113]
16Csaba Biegl [1] [2] [3] [4] [8]
17Gautam Biswas [27] [48] [60]
18Yuriy Brun [85]
19Barrett R. Bryant [104]
20Christopher P. van Buskirk [41] [58] [63] [64] [95]
21Ken Butts [35]
22Hassan Charaf [29]
23Betty H. C. Cheng [85]
24Peter J. Clarke [104]
25Charles Consel [78]
26Bojan Cukic [85]
27Frank DeCaria [9]
28Abhishek Dubey [65] [89] [96] [103] [105] [114]
29Schahram Dustdar [85]
30Matthew Eby [71]
31Anthony Finkelstein [85]
32Kathleen Fisher [78]
33Stephen Fitzpatrick [63] [64]
34Ken Frampton [48]
35Robert B. France [104]
36Hubertus Franke [9] [10] [12]
37Cristina Gacek [85]
38Gergely Gati [63] [64]
39Kurt Geihs [85]
40Holger Giese [69] [70] [73] [85] [110]
41Aniruddha S. Gokhale [48] [51] [80] [106]
42Bill Goodwine [112]
43Pieter Van Gorp [53]
44Vincenzo Grassi [85]
45Jeffrey G. Gray (Jeff Gray) [34] [78] [104] [106]
46Vijay Gupta [112]
47Dávid Hanák [41] [63] [64]
48Cécile Hardebolle [84] [87]
49Graham Hemingway [79] [95] [99] [111]
50Larry Howard [48]
51Chunming Hu [115]
52Peter Humke [79]
53Paola Inverardi [85]
54Ethan K. Jackson [98]
55Jing Jin [63]
56Zsolt Kalmar [47] [49]
57Nagarajan Kandasamy [41]
58Anand Kashyap [101]
59Amogh Kavimandan [80] [106]
60Róbert Kereskényi [96] [101]
61Turker Keskinpala [65]
62Holger M. Kienle [85]
63Tak-John Koo [48]
64Nicholas Kottenstette [90] [95] [99] [112]
65Xenofon D. Koutsoukos [48] [112]
66Tamás Kovácsházy [24] [27]
67Jeff Kramer (Jeffrey Kramer) [85]
68Andras Lang [46]
69Ákos Lédeczi [7] [8] [13] [14] [16] [18] [19] [20] [21] [23] [24] [26] [29] [31] [33] [71]
70Edward Lee [69] [70] [73] [110]
71Rogério de Lemos [85]
72László Lengyel [84] [87]
73Tihamer Levendovszky [29] [36] [84] [86] [87] [88] [93] [100]
74Marin Litoiu [85]
75Earl Long [13] [20]
76Michael R. Lowry [107] [108] [113]
77Lester E. Lynd Jr. [3]
78Gabor Madl [42]
79Jeff Magee (Jeff N. Magee) [85]
80Nagabhushan Mahadevan [60] [83] [96] [103] [105] [114]
81Rajiv T. Maheswaran [63] [64]
82Sam Malek [85]
83Eric-Jan Manders [60]
84Miklós Maróti (Miklos Maroti) [19] [23] [29]
85Fabio Massacci [92]
86Tom Mens [53]
87Marjan Mernik [78] [104]
88Raffaela Mirandola [85]
89Amit Misra [8] [13] [14] [16] [20]
90Nobuji Miyasaka [1]
91Michael Moore [13] [14] [16] [20]
92Michael S. Moore [5]
93Hausi A. Müller [85]
94Sriram Narasimhan [27]
95Anantha Narayanan [47] [55] [58] [59] [62] [66] [72] [75] [76] [80] [86] [88]
96Robert Neches [63] [64]
97Himanshu Neema [41] [101] [111]
98Sandeep Neema [35] [43] [46] [49] [50] [51] [52] [65] [66] [68] [72] [74]
99Benjamin Ness [72] [82]
100Harmon Nine [79] [90] [95] [107] [111]
101Greg Nordstrom [18] [19] [21] [23] [26]
102Steven Nordstrom [65]
103Stanley C. Ofsthun [83]
104Koji Okuda [1]
105Leon J. Osterweil [92]
106Samir Padalkar [1] [2] [9]
107Gábor Pap [107]
108Sooyong Park [85]
109Corina S. Pasareanu [107] [108] [113]
110Tal Pasternak [27]
111Gábor Péceli [24] [27]
112Andreas Polze [115]
113Joseph Porter [79] [90] [91] [95] [99]
114Thomas Pressburger [107] [113]
115Craig Milo Rogers [63] [64]
116Bernhard Rumpe [67] [69] [70] [73] [110]
117Romeo Sanchez [63] [64]
118Tripti Saxena [94] [102] [109]
119Bernhard Schätz [69] [70] [73] [110]
120Ina Schieferdecker [92]
121Douglas C. Schmidt [48]
122Wolfram Schulte [98]
123Giovanna Di Marzo Serugendo [85]
124David Sharp [74]
125Mary Shaw [85]
126Feng Shi [32] [36] [47] [49] [50] [52] [66] [72] [100]
127Gyula Simon [24] [27] [40]
128Kevin Smyth [100]
129Jonathan Sprinkle [23] [26] [32] [36] [38] [67]
130Pedro A. Szekely [63] [64]
131Tivadar Szemethy [39] [57] [61]
132Janos Sztipanovits [1] [2] [3] [4] [5] [7] [8] [9] [10] [11] [12] [13] [14] [15] [16] [18] [20] [21] [24] [25] [28] [30] [31] [35] [48] [51] [68] [77] [79] [90] [91] [95] [99] [111] [112]
133Gabriele Taentzer [54] [56] [81]
134Ryan Thibodeaux [66] [72] [79]
135Matthias Tichy [85]
136Massimo Tivoli [85]
137Juha-Pekka Tolvanen [78]
138Hans Vangheluwe [67]
139Dániel Varró [53]
140Eelco Visser [45]
141Attila Vizhanyo [47] [49] [50] [52]
142Péter Völgyesi [23] [79] [90]
143Ji Wang [115]
144Shige Wang [112]
145Andy J. Wellings [115]
146Jan Werner [71]
147Danny Weyns [85]
148Michael W. Whalen [108] [113]
149Jon Whittle (Jonathan Whittle) [85]
150D. Mitchell Wilkes [3]
151Jie Xu [115]
152Yuan Xue [101]

Colors in the list of coauthors

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri Jun 1 15:44:53 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page