publications: - title: "Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation" author: - name: "Joseph Porter" link: "https://researchr.org/alias/joseph-porter" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Péter Völgyesi" link: "https://researchr.org/alias/p%C3%A9ter-v%C3%B6lgyesi" - name: "Harmon Nine" link: "https://researchr.org/alias/harmon-nine" - name: "Peter Humke" link: "https://researchr.org/alias/peter-humke" - name: "Graham Hemingway" link: "https://researchr.org/alias/graham-hemingway" - name: "Ryan Thibodeaux" link: "https://researchr.org/alias/ryan-thibodeaux" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_3" links: doi: "http://dx.doi.org/10.1007/978-3-642-01648-6_3" tags: - "control systems" - "design" researchr: "https://researchr.org/publication/PorterKVNHHTS08" cites: 0 citedby: 0 pages: "20-34" booktitle: "Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28 - October 3, 2008. Reports and Revised Selected Papers" editor: - name: "Michel R. V. Chaudron" link: "http://www.win.tue.nl/~mchaudro/" volume: "5421" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-642-01647-9" kind: "inproceedings" key: "PorterKVNHHTS08" - title: "Real-Time Fault Diagnostics" author: - name: "Samir Padalkar" link: "https://researchr.org/alias/samir-padalkar" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Csaba Biegl" link: "https://researchr.org/alias/csaba-biegl" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Koji Okuda" link: "https://researchr.org/alias/koji-okuda" - name: "Nobuji Miyasaka" link: "https://researchr.org/alias/nobuji-miyasaka" year: "1991" doi: "http://csdl.computer.org/comp/mags/ex/1991/03/x3075abs.htm" links: doi: "http://csdl.computer.org/comp/mags/ex/1991/03/x3075abs.htm" tags: - "diagnostics" researchr: "https://researchr.org/publication/PadalkarKBSOM91" cites: 0 citedby: 0 journal: "IEEE Intelligent Systems" volume: "6" number: "3" pages: "75-85" kind: "article" key: "PadalkarKBSOM91" - title: "Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges" author: - name: "Amit Misra" link: "https://researchr.org/alias/amit-misra" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Michael Moore" link: "https://researchr.org/alias/michael-moore" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Earl Long" link: "https://researchr.org/alias/earl-long" year: "1999" doi: "http://csdl.computer.org/comp/proceedings/ecbs/1999/0028/00/00280225abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/ecbs/1999/0028/00/00280225abs.htm" researchr: "https://researchr.org/publication/MisraSKMLL99" cites: 0 citedby: 0 pages: "225-231" booktitle: "6th Symposium on Engineering of Computer-Based Systems (ECBS 99), 7-12 March 1999, Nashville, TN, USA. IEEE Computer Society, 1999" publisher: "IEEE Computer Society" isbn: "0-7695-0028-5" kind: "inproceedings" key: "MisraSKMLL99" - title: "Modeling Paradigm for Parallel Signal Processing" author: - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Ted Bapty" link: "https://researchr.org/alias/ted-bapty" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" year: "1995" tags: - "modeling" - "process modeling" researchr: "https://researchr.org/publication/LedecziBKS95" cites: 0 citedby: 0 journal: "Australian Computer Journal" volume: "27" number: "3" pages: "92-102" kind: "article" key: "LedecziBKS95" - title: "MULTIGRAPH: an architecture for model-integrated computing" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Csaba Biegl" link: "https://researchr.org/alias/csaba-biegl" - name: "Ted Bapty" link: "https://researchr.org/alias/ted-bapty" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Amit Misra" link: "https://researchr.org/alias/amit-misra" year: "1995" doi: "http://csdl.computer.org/comp/proceedings/iceccs/1995/7123/00/71230361abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/iceccs/1995/7123/00/71230361abs.htm" tags: - "architecture" researchr: "https://researchr.org/publication/SztipanovitsKBBLM95" cites: 0 citedby: 0 pages: "361-368" booktitle: "1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 95), November 6-10, 1995, Fort Lauderdale, Florida, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "SztipanovitsKBBLM95" - title: "Self-Adaptive Software for Signal Processing" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Ted Bapty" link: "https://researchr.org/alias/ted-bapty" year: "1998" researchr: "https://researchr.org/publication/SztipanovitsKB98" cites: 0 citedby: 0 journal: "Communications of the ACM" volume: "41" number: "5" pages: "66-73" kind: "article" key: "SztipanovitsKB98" - title: "Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments" author: - name: "Greg Nordstrom" link: "https://researchr.org/alias/greg-nordstrom" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" year: "1999" doi: "http://csdl.computer.org/comp/proceedings/ecbs/1999/0028/00/00280068abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/ecbs/1999/0028/00/00280068abs.htm" tags: - "modeling" - "Meta-Environment" - "design" researchr: "https://researchr.org/publication/NordstromSKL99" cites: 0 citedby: 0 pages: "68-74" booktitle: "6th Symposium on Engineering of Computer-Based Systems (ECBS 99), 7-12 March 1999, Nashville, TN, USA. IEEE Computer Society, 1999" publisher: "IEEE Computer Society" isbn: "0-7695-0028-5" kind: "inproceedings" key: "NordstromSKL99" - title: "Model-Based Intelligent Process Control for Cogenerator Plants" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Samir Padalkar" link: "https://researchr.org/alias/samir-padalkar" - name: "Csaba Biegl" link: "https://researchr.org/alias/csaba-biegl" year: "1992" tags: - "rule-based" - "process modeling" researchr: "https://researchr.org/publication/KarsaiSPB92" cites: 0 citedby: 0 journal: "J. Parallel Distrib. Comput." volume: "15" number: "2" pages: "90-102" kind: "article" key: "KarsaiSPB92" - title: "Embedded Software: Challenges and Opportunities" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2001" doi: "http://link.springer.de/link/service/series/0558/bibs/2211/22110403.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2211/22110403.htm" tags: - "embedded software" researchr: "https://researchr.org/publication/SztipanovitsK01" cites: 0 citedby: 0 pages: "403-415" booktitle: "Embedded Software, First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October, 8-10, 2001, Proceedings" editor: - name: "Thomas A. Henzinger" link: "https://researchr.org/alias/thomas-a.-henzinger" - name: "Christoph M. Kirsch" link: "https://researchr.org/alias/christoph-m.-kirsch" volume: "2211" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-42673-6" kind: "inproceedings" key: "SztipanovitsK01" - title: "Model-Integrated Programming" author: - name: "Hubertus Franke" link: "https://researchr.org/alias/hubertus-franke" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "1997" doi: "http://csdl.computer.org/comp/proceedings/hicss/1997/7734/01/7734010415abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/hicss/1997/7734/01/7734010415abs.htm" tags: - "meta programming" - "meta-model" - "programming" - "Meta-Environment" researchr: "https://researchr.org/publication/FrankeSK97" cites: 0 citedby: 0 pages: "415-422" booktitle: "HICSS (3)" kind: "inproceedings" key: "FrankeSK97" - title: "Model-integrated system development: models, architecture, and process" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Amit Misra" link: "https://researchr.org/alias/amit-misra" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Michael Moore" link: "https://researchr.org/alias/michael-moore" year: "1997" doi: "http://computer.org/proceedings/compsac/8105/81050176abs.htm" links: doi: "http://computer.org/proceedings/compsac/8105/81050176abs.htm" tags: - "meta-model" - "architecture" - "model-driven development" - "Meta-Environment" - "process modeling" researchr: "https://researchr.org/publication/KarsaiMSLM97" cites: 0 citedby: 0 pages: "176-181" booktitle: "21st International Computer Software and Applications Conference (COMPSAC 97), 11-15 August 1997, Washington, DC, USA" publisher: "IEEE Computer Society" isbn: "0-8186-8105-5" kind: "inproceedings" key: "KarsaiMSLM97" - title: "Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing" author: - name: "Amit Misra" link: "https://researchr.org/alias/amit-misra" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Michael Moore" link: "https://researchr.org/alias/michael-moore" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" year: "1999" tags: - "information models" researchr: "https://researchr.org/publication/MisraSKML99" cites: 0 citedby: 0 pages: "485-492" booktitle: "ICEIS" kind: "inproceedings" key: "MisraSKML99" - title: "Model-Integrated Development of Cyber-Physical Systems" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" year: "2008" doi: "http://dx.doi.org/10.1007/978-3-540-87785-1_5" links: doi: "http://dx.doi.org/10.1007/978-3-540-87785-1_5" tags: - "meta-model" - "model-driven development" - "Meta-Environment" researchr: "https://researchr.org/publication/KarsaiS08" cites: 0 citedby: 0 pages: "46-54" booktitle: "Software Technologies for Embedded and Ubiquitous Systems, 6th IFIP WG 10.2 International Workshop, SEUS 2008, Anacarpi, Capri Island, Italy, October 1-3, 2008, Proceedings" editor: - name: "Uwe Brinkschulte" link: "https://researchr.org/alias/uwe-brinkschulte" - name: "Tony Givargis" link: "https://researchr.org/alias/tony-givargis" - name: "Stefano Russo" link: "https://researchr.org/alias/stefano-russo" volume: "5287" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "978-3-540-87784-4" kind: "inproceedings" key: "KarsaiS08" - title: "Model-Integrated Computing" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "1997" tags: - "meta-model" - "Meta-Environment" researchr: "https://researchr.org/publication/SztipanovitsK97" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "30" number: "4" pages: "110-111" kind: "article" key: "SztipanovitsK97" - title: "A model-integrated information system for increasing throughput in discrete manufacturing" author: - name: "Amit Misra" link: "https://researchr.org/alias/amit-misra" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Michael Moore" link: "https://researchr.org/alias/michael-moore" - name: "Earl Long" link: "https://researchr.org/alias/earl-long" year: "1997" doi: "http://csdl.computer.org/comp/proceedings/ecbs/1997/7889/00/78890203abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/ecbs/1997/7889/00/78890203abs.htm" tags: - "information models" researchr: "https://researchr.org/publication/MisraKSLML97" cites: 0 citedby: 0 pages: "203-210" booktitle: "1997 Workshop on Engineering of Computer-Based Systems (ECBS 97), March 24-28, 1997, Monterey, CA, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "MisraKSLML97" - title: "An Approach to Self-adaptive Software Based on Supervisory Control" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gábor Péceli" link: "https://researchr.org/alias/g%C3%A1bor-p%C3%A9celi" - name: "Gyula Simon" link: "https://researchr.org/alias/gyula-simon" - name: "Tamás Kovácsházy" link: "https://researchr.org/alias/tam%C3%A1s-kov%C3%A1csh%C3%A1zy" year: "2001" doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2614&spage=24" links: doi: "http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2614&spage=24" tags: - "rule-based" - "systematic-approach" researchr: "https://researchr.org/publication/KarsaiLSPSK01" cites: 0 citedby: 0 pages: "24-38" booktitle: "Self-Adaptive Software, Second International Workshop, IWSAS 2001, Balatonfüred, Hungary, May 17-19, 2001 Revised Papers" editor: - name: "Robert Laddaga" link: "https://researchr.org/alias/robert-laddaga" - name: "Paul Robertson" link: "https://researchr.org/alias/paul-robertson" - name: "Howard E. Shrobe" link: "https://researchr.org/alias/howard-e.-shrobe" volume: "2614" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-00731-8" kind: "inproceedings" key: "KarsaiLSPSK01" - title: "Developing Applications Using Model-Driven Design Environments" author: - name: "Krishnakumar Balasubramanian" link: "https://researchr.org/alias/krishnakumar-balasubramanian" - name: "Aniruddha S. Gokhale" link: "https://researchr.org/alias/aniruddha-s.-gokhale" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Sandeep Neema" link: "https://researchr.org/alias/sandeep-neema" year: "2006" doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2006.54" links: doi: "http://doi.ieeecomputersociety.org/10.1109/MC.2006.54" tags: - "Meta-Environment" - "design" researchr: "https://researchr.org/publication/BalasubramanianGKSN06" cites: 0 citedby: 0 journal: "IEEE Computer" volume: "39" number: "2" pages: "33-40" kind: "article" key: "BalasubramanianGKSN06" - title: "Towards Two-Level Formal Modeling of Computer-Based Systems" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Greg Nordstrom" link: "https://researchr.org/alias/greg-nordstrom" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" year: "2000" doi: "http://www.jucs.org/jucs_6_11/towards_two_level_formal" links: doi: "http://www.jucs.org/jucs_6_11/towards_two_level_formal" tags: - "rule-based" - "modeling" researchr: "https://researchr.org/publication/KarsaiNLS00" cites: 0 citedby: 0 journal: "J. UCS" volume: "6" number: "11" pages: "1131-1144" kind: "article" key: "KarsaiNLS00" - title: "Model-Based Software Synthesis" author: - name: "Ben Abbott" link: "https://researchr.org/alias/ben-abbott" - name: "Ted Bapty" link: "https://researchr.org/alias/ted-bapty" - name: "Csaba Biegl" link: "https://researchr.org/alias/csaba-biegl" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" year: "1993" tags: - "rule-based" - "meta-model" - "Meta-Environment" researchr: "https://researchr.org/publication/AbbottBBKS93" cites: 0 citedby: 0 journal: "IEEE Software" volume: "10" number: "3" pages: "42-52" kind: "article" key: "AbbottBBKS93" - title: "Generative programming for embedded systems" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2002" doi: "http://doi.acm.org/10.1145/571157.571175" links: doi: "http://doi.acm.org/10.1145/571157.571175" tags: - "generative programming" - "programming" researchr: "https://researchr.org/publication/SztipanovitsK02%3A0" cites: 0 citedby: 0 pages: "180" booktitle: "Proceedings of the 4th international ACM SIGPLAN conference on Principles and practice of declarative programming, October 6-8, 2002, Pittsburgh, PA, USA (Affiliated with PLI 2002)" publisher: "ACM" kind: "inproceedings" key: "SztipanovitsK02:0" - title: "Generative Programming for Embedded Systems" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" year: "2002" doi: "http://link.springer.de/link/service/series/0558/bibs/2487/24870032.htm" links: doi: "http://link.springer.de/link/service/series/0558/bibs/2487/24870032.htm" tags: - "generative programming" - "programming" researchr: "https://researchr.org/publication/SztipanovitsK02" cites: 0 citedby: 0 pages: "32-49" booktitle: "Generative Programming and Component Engineering, ACM SIGPLAN/SIGSOFT Conference, GPCE 2002, Pittsburgh, PA, USA, October 6-8, 2002, Proceedings" editor: - name: "Don S. Batory" link: "http://www.cs.utexas.edu/~dsb/" - name: "Charles Consel" link: "https://researchr.org/alias/charles-consel" - name: "Walid Taha" link: "http://www.cs.rice.edu/~taha/" volume: "2487" series: "Lecture Notes in Computer Science" publisher: "Springer" isbn: "3-540-44284-7" kind: "inproceedings" key: "SztipanovitsK02" - title: "Introducing embedded software and systems education and advanced learning technology in an engineering curriculum" author: - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Gautam Biswas" link: "https://researchr.org/alias/gautam-biswas" - name: "Ken Frampton" link: "https://researchr.org/alias/ken-frampton" - name: "Aniruddha S. Gokhale" link: "https://researchr.org/alias/aniruddha-s.-gokhale" - name: "Larry Howard" link: "https://researchr.org/alias/larry-howard" - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Tak-John Koo" link: "https://researchr.org/alias/tak-john-koo" - name: "Xenofon D. Koutsoukos" link: "https://researchr.org/alias/xenofon-d.-koutsoukos" - name: "Douglas C. Schmidt" link: "https://researchr.org/alias/douglas-c.-schmidt" year: "2005" doi: "http://doi.acm.org/10.1145/1086519.1086524" links: doi: "http://doi.acm.org/10.1145/1086519.1086524" tags: - "embedded software" - "software engineering" - "C++" researchr: "https://researchr.org/publication/SztipanovitsBFGHKKKS05" cites: 0 citedby: 0 journal: "ACM Trans. Embedded Comput. Syst." volume: "4" number: "3" pages: "549-568" kind: "article" key: "SztipanovitsBFGHKKKS05" - title: "Model-embedded on-line problem solving environment for chemical engineering" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Hubertus Franke" link: "https://researchr.org/alias/hubertus-franke" - name: "Samir Padalkar" link: "https://researchr.org/alias/samir-padalkar" - name: "Frank DeCaria" link: "https://researchr.org/alias/frank-decaria" year: "1995" doi: "http://csdl.computer.org/comp/proceedings/iceccs/1995/7123/00/71230227abs.htm" links: doi: "http://csdl.computer.org/comp/proceedings/iceccs/1995/7123/00/71230227abs.htm" tags: - "meta-model" - "model-driven engineering" - "Meta-Environment" researchr: "https://researchr.org/publication/KarsaiSFPD95" cites: 0 citedby: 0 pages: "227-233" booktitle: "1st IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 95), November 6-10, 1995, Fort Lauderdale, Florida, USA" publisher: "IEEE Computer Society" kind: "inproceedings" key: "KarsaiSFPD95" - title: "Model-integrated development of embedded software" author: - name: "Gabor Karsai" link: "http://w3.isis.vanderbilt.edu/gabor/" - name: "Janos Sztipanovits" link: "www.isis.vanderbilt.edu" - name: "Ákos Lédeczi" link: "https://researchr.org/alias/%C3%A1kos-l%C3%A9deczi" - name: "Ted Bapty" link: "https://researchr.org/alias/ted-bapty" year: "2003" tags: - "meta-model" - "embedded software" - "model-driven development" - "Meta-Environment" researchr: "https://researchr.org/publication/KarsaiSLB03" cites: 0 citedby: 0 journal: "Proceedings of the IEEE" volume: "91" number: "1" pages: "145-164" kind: "article" key: "KarsaiSLB03"