Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Gabor Karsai
2010 – today
- 2013
[j45]Subhav Pradhan, Aniruddha S. Gokhale, William Otte, Gabor Karsai: Real-time fault tolerant deployment and configuration framework for cyber physical systems. SIGBED Review 10(2): 32 (2013)- [j44]Tony Clark, Gabor Karsai, Roel Wieringa, Robert B. France, Bernhard Rumpe: A newly introduced Industry Voice Column. Software and System Modeling 12(3): 441-442 (2013)
- [c79]Zhenkai Zhang, Joseph Porter, Emeka Eyisi, Gabor Karsai, Xenofon D. Koutsoukos, Janos Sztipanovits: Co-simulation framework for design of time-triggered cyber physical systems. ICCPS 2013: 119-128
- [c78]Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry: Polyglot: Systematic Analysis for Multiple Statechart Formalisms. TACAS 2013: 523-529
- 2012
- [j43]Janos 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)
- [j42]Graham 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)
- [c77]Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai: Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode. ISORC 2012: 79-86
- [c76]Daniel 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
- [c75]Akshay Dabholkar, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai, Nagabhushan Mahadevan: Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation. SRDS 2012: 362-371
- [e4]Chunming Hu, Gabor Karsai, Jie Xu, Andreas Polze, Ji Wang, Andy J. Wellings (Eds.): 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012. IEEE 2012, ISBN 978-1-4673-0499-3
- 2011
- [j41]Barrett 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)
- [j40]Abhishek 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)
- [c74]
- [c73]Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai: Application of software health management techniques. SEAMS 2011: 1-10
- [c72]Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry: Polyglot: modeling and analysis for multiple Statechart formalisms. ISSTA 2011: 45-55
- [c71]Amogh 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
- [c70]Daniel 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
- [e3]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (Eds.): Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers. Lecture Notes in Computer Science 6100, Springer 2011, ISBN 978-3-642-16276-3
- 2010
- [j39]Gabor Karsai, Fabio Massacci, Leon J. Osterweil, Ina Schieferdecker: Evolving Embedded Systems. IEEE Computer 43(5): 34-40 (2010)
- [j38]Tihamer Levendovszky, Gabor Karsai: An Active Pattern Infrastructure for Domain-Specific Languages. ECEASST 25 (2010)
- [c69]Tripti Saxena, Gabor Karsai: Towards a Generic Design Space Exploration Framework. CIT 2010: 1940-1947
- [c68]Gabor Karsai: Lessons Learned from Building a Graph Transformation System. Graph Transformations and Model-Driven Engineering 2010: 202-223
- [c67]Rogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke: Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Software Engineering for Self-Adaptive Systems 2010: 1-32
- [c66]Gabriel Tamura, Norha M. Villegas, Hausi A. Müller, João Pedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovski, Mauro Pezzè, Wilhelm Schäfer, Ladan Tahvildari, Kenny Wong: Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems. Software Engineering for Self-Adaptive Systems 2010: 108-132
- [c65]Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan: Fault-Adaptivity in Hard Real-Time Component-Based Software Systems. Software Engineering for Self-Adaptive Systems 2010: 294-323
- [c64]Himanshu 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
- [c63]Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai: A transformation instance-based approach to traceability. ECMFA-TW 2010: 55-60
- [c62]Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits: Online stability validation using sector analysis. EMSOFT 2010: 29-38
- [c61]Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai: Reusing Model Transformations While Preserving Properties. FASE 2010: 44-58
- [c60]Abhishek Dubey, Gabor Karsai, Róbert Kereskényi, Nagabhushan Mahadevan: A Real-Time Component Framework: Experience with CCM and ARINC-653. ISORC 2010: 143-150
- [c59]Tripti Saxena, Gabor Karsai: MDE-Based Approach for Generalizing Design Space Exploration. MoDELS (1) 2010: 46-60
- [c58]Graham 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
2000 – 2009
- 2009
- [j37]
- [j36]Sherif 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)
- [c57]Betty 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
- [c56]Joseph Porter, Gabor Karsai, Janos Sztipanovits: Towards a time-triggered schedule calculation tool to support model-based embedded software design. EMSOFT 2009: 167-176
- [c55]Sandeep Neema, Ted Bapty, Xenofon D. Koutsoukos, Himanshu Neema, Janos Sztipanovits, Gabor Karsai: Model based integration and experimentation of Information Fusion and C2 Systems. FUSION 2009: 1958-1965
- [c54]Abhishek Dubey, Gabor Karsai, Sherif Abdelwahed: Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems. ISORC 2009: 55-62
- [c53]Vasco Amaral, Cécile Hardebolle, Gabor Karsai, László Lengyel, Tihamer Levendovszky: Recent Advances in Multi-paradigm Modeling. MoDELS Workshops 2009: 220-224
- [c52]Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai: Automatic Domain Model Migration to Manage Metamodel Evolution. MoDELS 2009: 706-711
- [c51]Joseph 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
- [c50]Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai: A Novel Approach to Semi-automated Evolution of DSML Model Transformation. SLE 2009: 23-41
- 2008
- [j35]Anantha Narayanan, Gabor Karsai: Verifying Model Transformations by Structural Correspondence. ECEASST 10 (2008)
- [j34]Anantha Narayanan, Gabor Karsai: Towards Verifying Model Transformations. Electr. Notes Theor. Comput. Sci. 211: 191-200 (2008)
- [j33]Gabor Karsai, Sandeep Neema, David Sharp: Model-driven architecture for embedded software: A synopsis and an example. Sci. Comput. Program. 73(1): 26-38 (2008)
- [j32]Annarita Giani, Gabor Karsai, Tanya Roosta, Aakash Shah, Bruno Sinopoli, Jon Wiley: A testbed for secure and robust SCADA systems. SIGBED Review 5(2): 4 (2008)
- [c49]Benjamin Ness, Gabor Karsai: High precision automatic scheduling of periodic task sets for microcontrollers. ACM Southeast Regional Conference 2008: 1-6
- [c48]Gabor Karsai, Gabriele Taentzer: Third international workshop on graph and model transformations. ICSE Companion 2008: 1055-1056
- [c47]Amogh 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
- [c46]Joseph 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
- [c45]Jeff 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
- [c44]Gabor Karsai, Janos Sztipanovits: Model-Integrated Development of Cyber-Physical Systems. SEUS 2008: 46-54
- 2007
- [j31]Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai: A Subgraph Operator for Graph Transformation Languages. ECEASST 6 (2007)
- [j30]Abhishek 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)
- [j29]Matthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi: Embedded systems security co-design. SIGBED Review 4(2): 1-4 (2007)
- [c43]Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai: Applying a Grouping Operator in Model Transformations. AGTIVE 2007: 410-425
- [c42]Holger 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
- [c41]Holger 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
- [c40]Jonathan 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
- [c39]Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty: The Model-Integrated Computing Tool Suite. Model-Based Engineering of Embedded Real-Time Systems 2007: 369-376
- [c38]Matthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi: Integrating Security Modeling into Embedded System Design. ECBS 2007: 221-228
- [e2]Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz (Eds.): Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007. Dagstuhl Seminar Proceedings 07451, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2007
- 2006
- [j28]Krishnakumar Balasubramanian, Aniruddha S. Gokhale, Gabor Karsai, Janos Sztipanovits, Sandeep Neema: Developing Applications Using Model-Driven Design Environments. IEEE Computer 39(2): 33-40 (2006)
- [j27]Daniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, Gabor Karsai: The Graph Rewriting and Transformation Language: GReAT. ECEASST 1 (2006)
- [j26]
- [j25]Anantha Narayanan, Gabor Karsai: Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations. ECEASST 4 (2006)
- [j24]Tivadar Szemethy, Gabor Karsai: PML: a Transformation Language for Platform Modeling. ECEASST 4 (2006)
- [j23]
- [j22]Tom 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)
- [j21]Attila 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)
- [j20]Aditya 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)
- [c37]Pedro 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
- [c36]Gabor Karsai, Anantha Narayanan: Towards Verification of Model Transformations Via Goal-Directed Certification. ASWSD 2006: 67-83
- [c35]Pedro 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
- [c34]Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian: Model Transformations in the Model-Based Development of Real-time Systems. ECBS 2006: 177-186
- [c33]Eric-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
- [c32]Gabor Karsai, Anantha Narayanan: On the Correctness of Model Transformations in the Development of Embedded Systems. Monterey Workshop 2006: 1-18
- 2005
- [j19]Aditya 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)
- [j18]Gabor Karsai, Andras Lang, Sandeep Neema: Design patterns for open tool integration. Software and System Modeling 4(2): 157-170 (2005)
- [j17]Janos 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)
- [c31]Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai: A Visually-Specified Code Generator for Simulink/Stateflow. VL/HCC 2005: 275-277
- 2004
- [j16]Aditya 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)
- [j15]Tivadar Szemethy, Gabor Karsai: Platform Modeling and Model Transformations for Analysis. J. UCS 10(10): 1383-1407 (2004)
- [j14]Jonathan Sprinkle, Gabor Karsai: A domain-specific visual language for domain model evolution. J. Vis. Lang. Comput. 15(3-4): 291-307 (2004)
- [c30]Gabor Karsai: Automotive Software: A Challenge and Opportunity for Model-Based Software Development. ASWSD 2004: 103-115
- [c29]Sandeep Neema, Gabor Karsai: Software for Automotive Systems: Model-Integrated Computing. ASWSD 2004: 116-136
- [c28]Gabor Madl, Sherif Abdelwahed, Gabor Karsai: Automatic Verification of Component-Based Real-Time CORBA Applications. RTSS 2004: 231-240
- [c27]Nagarajan 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
- [e1]Gabor Karsai, Eelco Visser (Eds.): Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings. Lecture Notes in Computer Science 3286, Springer 2004, ISBN 3-540-23580-9
- 2003
- [j13]Gabor 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)
- [j12]Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Ted Bapty: Model-integrated development of embedded software. Proceedings of the IEEE 91(1): 145-164 (2003)
- [c26]Gabor Karsai, Aditya Agrawal: Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk). AGTIVE 2003: 243-259
- [c25]Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai: Domain Model Translation Using Graph Transformations. ECBS 2003: 159-167
- [c24]Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts: Constraint-Based Design-Space Exploration and Model Synthesis. EMSOFT 2003: 290-305
- [c23]Jeff Gray, Gabor Karsai: An Examination of DSLs for Concisely Representing Model Traversals and Transformations. HICSS 2003: 325
- [c22]Aditya Agrawal, Gabor Karsai, Ákos Lédeczi: An end-to-end domain-driven software development framework. OOPSLA Companion 2003: 8-15
- [c21]Rong Su, Sherif Abdelwahed, Gabor Karsai, Gautam Biswas: Discrete abstraction and supervisory control of switching systems. SMC 2003: 415-421
- 2002
- [c20]
- [c19]Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf: Model Reuse with Metamodel-Based Transformations. ICSR 2002: 166-178
- [c18]
- 2001
- [j11]Á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)
- [c17]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. ECBS 2001: 205-
- [c16]Jonathan Sprinkle, Ákos Lédeczi, Gabor Karsai, Greg Nordstrom: The New Metamodeling Generation. ECBS 2001: 275-
- [c15]Janos Sztipanovits, Gabor Karsai: Embedded Software: Challenges and Opportunities. EMSOFT 2001: 403-415
- [c14]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. IWSAS 2001: 24-38
- 2000
- [j10]Gabor Karsai, Greg Nordstrom, Ákos Lédeczi, Janos Sztipanovits: Towards Two-Level Formal Modeling of Computer-Based Systems. J. UCS 6(11): 1131-1144 (2000)
- [j9]Gabor Karsai: Model integrated computing (MIC). ACM SIGSOFT Software Engineering Notes 25(1): 105 (2000)
- [c13]
1990 – 1999
- 1999
- [c12]Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, Ákos Lédeczi: Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments. ECBS 1999: 68-74
- [c11]
- [c10]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. ECBS 1999: 225-231
- [c9]Ákos Lédeczi, Miklos Maroti, Gabor Karsai, Greg Nordstrom: Metaprogrammable Toolkit for Model-Integrated Computing. ECBS 1999: 311-
- [c8]Amit 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
- [j8]Janos Sztipanovits, Gabor Karsai, Ted Bapty: Self-Adaptive Software for Signal Processing. Commun. ACM 41(5): 66-73 (1998)
- 1997
- [j7]
- [c7]Gabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore: Model-integrated system development: models, architecture, and process. COMPSAC 1997: 176-181
- [c6]Amit 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
- [c5]Hubertus Franke, Janos Sztipanovits, Gabor Karsai: Model-Integrated Programming. HICSS (1) 1997: 415-422
- 1996
- [c4]Janos Sztipanovits, Gabor Karsai, Hubertus Franke: Model-Integrated Program Synthesis Environment. ECBS 1996: 348-355
- 1995
- [j6]Ákos Lédeczi, Ted Bapty, Gabor Karsai, Janos Sztipanovits: Modeling Paradigm for Parallel Signal Processing. Australian Computer Journal 27(3): 92-102 (1995)
- [j5]Gabor Karsai: A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming. IEEE Computer 28(3): 36-44 (1995)
- [c3]Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria: Model-embedded on-line problem solving environment for chemical engineering. ICECCS 1995: 227-233
- [c2]Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra: MULTIGRAPH: an architecture for model-integrated computing. ICECCS 1995: 361-368
- 1994
- [c1]Michael S. Moore, Gabor Karsai, Janos Sztipanovits: Model-Based Programming for Parallel Image Processing. ICIP (3) 1994: 811-815
- 1993
- [j4]Ben Abbott, Ted Bapty, Csaba Biegl, Gabor Karsai, Janos Sztipanovits: Model-Based Software Synthesis. IEEE Software 10(3): 42-52 (1993)
- [j3]Janos 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
- [j2]Gabor 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
- [j1]Samir Padalkar, Gabor Karsai, Csaba Biegl, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka: Real-Time Fault Diagnostics. IEEE Expert 6(3): 75-85 (1991)
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:03 CEST by the dblp team