PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Zurowska, Karolina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus.

, , , , und . BM-FA, Seite 1. ACM, (2010)

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.

Karolina Kanik University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A Customizable Execution Engine for Models of Embedded Systems., und . BM-FA (Revised Selected Papers), Volume 6368 von Lecture Notes in Computer Science, Seite 82-110. Springer, (2014)Domain Specific Analysis of Statemachine Models of Reactive Systems.. MoDELS (Demos/Posters/StudentResearch), Volume 1115 von CEUR Workshop Proceedings, Seite 81-86. CEUR-WS.org, (2013)Language-specific model checking of UML-RT models., und . Software and Systems Modeling, 16 (2): 393-415 (2017)Model Aware Execution of Composite Web Services., und . IEEE SCC, Seite 227-234. IEEE Computer Society, (2009)Definition and implementation of a semantic mapping for UML-RT using a timed pi-calculus., , , , und . BM-FA, Seite 1. ACM, (2010)Model Checking of UML-RT Models Using Lazy Composition., und . MoDELS, Volume 8107 von Lecture Notes in Computer Science, Seite 304-319. Springer, (2013)Symbolic execution of UML-RT State Machines., und . SAC, Seite 1292-1299. ACM, (2012)SAUML: A tool for symbolic analysis of UML-RT models., und . ASE, Seite 604-607. IEEE Computer Society, (2011)Load management in model-aware execution of composite web services., und . SAC, Seite 2134-2139. ACM, (2009)Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines., und . NASA Formal Methods, Volume 7226 von Lecture Notes in Computer Science, Seite 39-53. Springer, (2012)