Gabor Karsai

MaRDI QIDQ1953739zbMATH OpenORCIDWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards verifying model transformations Electronic Notes in Theoretical Computer Science	2014-03-21	Paper
Semantic translation of Simulink/Stateflow models to hybrid automata using graph transformations	2013-09-11	Paper
Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study Journal of Control Science and Engineering	2013-06-10	Paper
Lessons Learned from Building a Graph Transformation System Lecture Notes in Computer Science	2010-11-26	Paper
scientific article; zbMATH DE number 2087589 (Why is no real title available?)	2004-08-11	Paper
scientific article; zbMATH DE number 2080774 (Why is no real title available?)	2004-08-04	Paper
scientific article; zbMATH DE number 2018579 (Why is no real title available?)	2003-12-16	Paper
scientific article; zbMATH DE number 1958165 (Why is no real title available?)	2003-07-31	Paper
Towards two-level formal modeling of computer-based systems Journal of Universal Computer Science	2001-05-10	Paper
scientific article; zbMATH DE number 1218790 (Why is no real title available?)	1999-03-02	Paper
Graph model-based approach to the representation, interpretation, and execution of signal processing systems International Journal of Intelligent Systems	1988-01-01	Paper

Research outcomes over time

This page was built for person: Gabor Karsai