Partha Roop

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Logic meets algebra: compositional timing analysis for synchronous reactive multithreading Lecture Notes in Computer Science	2023-08-02	Paper
Compositional runtime enforcement revisited Formal Methods in System Design	2023-06-29	Paper
High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid Automata IEEE Transactions on Computers	2022-09-20	Paper
A dynamic quantized state system execution framework for hybrid automata Nonlinear Analysis. Hybrid Systems	2020-05-07	Paper
Deterministic concurrency: a clock-synchronised shared memory approach	2019-09-13	Paper
A novel WCET semantics of synchronous programs Lecture Notes in Computer Science	2018-02-16	Paper
A Predictable Framework for Safety-Critical Embedded Systems IEEE Transactions on Computers	2017-06-20	Paper
Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study Lecture Notes in Computer Science	2007-11-29	Paper
Precise specification matching for adaptive reuse in embedded systems Journal of Applied Logic	2007-07-25	Paper
scientific article; zbMATH DE number 1941147 (Why is no real title available?)	2003-06-29	Paper
scientific article; zbMATH DE number 1487628 (Why is no real title available?)	2001-01-30	Paper

Research outcomes over time

This page was built for person: Partha Roop