PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Khamespanah, Ehsan"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Coordinated Actors for Reliable Self-adaptive Systems.

, , , , , , und . FACS, Volume 10231 von Lecture Notes in Computer Science, Seite 241-259. (2016)

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.

Ehsan Nemati University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Statistical model checking of Timed Rebeca models., , , , und . Computer Languages, Systems & Structures, (2016)Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking., , , und . SPIN, Volume 9641 von Lecture Notes in Computer Science, Seite 165-181. Springer, (2016)Coordinated Actors for Reliable Self-adaptive Systems., , , , , , und . FACS, Volume 10231 von Lecture Notes in Computer Science, Seite 241-259. (2016)A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime., , , und . CoRR, (2019)Analysing timed Rebeca using McErlang., , , , und . AGERE!@SPLASH, Seite 25-36. ACM, (2013)Efficient TCTL Model Checking Algorithm for Timed Actors., , und . AGERE!@SPLASH, Seite 55-66. ACM, (2014)Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules., , , und . SoMeT, Volume 318 von Frontiers in Artificial Intelligence and Applications, Seite 725-738. IOS Press, (2019)Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude., , , , und . Sci. Comput. Program., (2015)A compositional approach for modeling and timing analysis of wireless sensor and actuator networks., , , und . SIGBED Review, 14 (3): 49-56 (2017)State Distribution Policy for Distributed Model Checking of Actor Models., , , , und . ECEASST, (2015)