( en | de | ru )

 

Disambiguierung von "Roop, Partha S."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Runtime enforcement of reactive systems using synchronous enforcers.

, , , , und . SPIN, Seite 80-89. ACM, (2017)

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.

Partha Sampathkumaran

Artur Rööp

Partha Sampathkumaran

Partha Niyogi

Partha Lal

 

Weitere Publikationen von Autoren mit dem selben Namen

Scalable Security Enforcement for Cyber Physical Systems., , , , und . IEEE Access, (2024)Emulation of Cyber-Physical Systems Using IEC-61499., , , und . IEEE Trans. Ind. Informatics, 14 (1): 380-389 (2018)Compositional runtime enforcement revisited., , , und . Formal Methods Syst. Des., 59 (1): 205-252 (2021)A novel approach for model-based design of gastric pacemakers., , , , , und . Comput. Biol. Medicine, (2020)Implementing constrained cyber-physical systems with IEC 61499., , und . ACM Trans. Embed. Comput. Syst., 11 (4): 78:1-78:22 (2012)Design of Distributed Heterogeneous Embedded Systems in DDFCharts., , und . IEEE Trans. Parallel Distributed Syst., 22 (2): 296-308 (2011)A Parametric Computational Model of the Action Potential of Pacemaker Cells., , , , , , , und . IEEE Trans. Biomed. Eng., 65 (1): 123-130 (2018)Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure., , , , , und . MEMOCODE, Seite 1-11. IEEE, (2020)A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC)., , , , und . CoRR, (2015)Forced simulation: A technique for automating component reuse in embedded systems., , und . ACM Trans. Design Autom. Electr. Syst., 6 (4): 602-628 (2001)