Partha Roop

From MaRDI portal
Person:2178225

Available identifiers

zbMath Open roop.partha-sMaRDI QIDQ2178225

List of research outcomes





PublicationDate of PublicationType
Logic meets algebra: compositional timing analysis for synchronous reactive multithreading2023-08-02Paper
Compositional runtime enforcement revisited2023-06-29Paper
High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid Automata2022-09-20Paper
A dynamic quantized state system execution framework for hybrid automata2020-05-07Paper
Deterministic concurrency: a clock-synchronised shared memory approach2019-09-13Paper
A novel WCET semantics of synchronous programs2018-02-16Paper
A Predictable Framework for Safety-Critical Embedded Systems2017-06-20Paper
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study2007-11-29Paper
Precise specification matching for adaptive reuse in embedded systems2007-07-25Paper
https://portal.mardi4nfdi.de/entity/Q44082322003-06-29Paper
https://portal.mardi4nfdi.de/entity/Q44941092001-01-30Paper

Research outcomes over time

This page was built for person: Partha Roop

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2178225&oldid=7292141"
Powered by MediaWiki