( en | de | ru )

 

Disambiguierung von "Karsai, Gabor"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems.

, , , , , und . SEAMS@ICSE, Seite 118-129. IEEE, (2021)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Syrus Karsai

Julian Justin Gabor

Annemarie Gabor

Dennis Gabor

Ruth Gabor

 

Weitere Publikationen von Autoren mit dem selben Namen

Applying a Model Transformation Taxonomy to Graph Transformation Technology, , , und . Proc. Int'l Workshop on Graph and Model Transformation (GraMoT), (September 2005)Design Guidelines for Domain Specific Languages, , , , , und . Proceedings of the 9th OOPSLA Workshop on Domain-Specific Modeling (DSM'09), Seite 7-13. (2009)A co-simulation framework for design of time-triggered automotive cyber physical systems., , , , , und . Simul. Model. Pract. Theory, (2014)Model-integrated development of embedded software., , , und . Proc. IEEE, 91 (1): 145-164 (2003)Applying a Model Transformation Taxonomy to Graph Transformation Technology., , , und . GRaMoT@GPCE, Volume 152 von Electronic Notes in Theoretical Computer Science, Seite 143-159. Elsevier, (2005)Metamodelling - State of the Art and Research Challenges., , , und . Model-Based Engineering of Embedded Real-Time Systems, Volume 6100 von Lecture Notes in Computer Science, Seite 57-76. Springer, (2007)Online safety control of a class of hybrid systems., , und . CDC, Seite 1988-1990. IEEE, (2002)Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems., , , , und . ICAA, Seite 107-116. IEEE, (2022)Polyglot: modeling and analysis for multiple Statechart formalisms., , , , und . ISSTA, Seite 45-55. ACM, (2011)Diagnostics and prognostics using temporal causal models for cyber physical energy systems., , , , und . ICCPS, Seite 87. ACM, (2017)