List of works - Partha S Roop

A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology

scientific article published on 11 March 2019

A NEW MODEL FOR HETEROGENEOUS EMBEDDED SYSTEMS — What Esterel and SyncCharts Need to Become a Suitable Specification Platform

scientific article

A Novel WCET Semantics of Synchronous Programs

A Parametric Computational Model of the Action Potential of Pacemaker Cells

scientific article published on 24 April 2017

A Synchronous Approach for IEC 61499 Function Block Implementation

A framework for the design of a closed-loop gastric pacemaker for treating conduction block

scientific article published on 22 January 2022

A hierarchical and concurrent approach for IEC 61499 function blocks

A new tool-kit for designing complex material handling systems using IEC61499 function blocks

article by Gareth Shaw et al published 2009 in IFAC postprint volumes IPPV / International Federation of Automatic Control

A novel approach for model-based design of gastric pacemakers

scientific article published on 05 December 2019

An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices

scientific article published in July 2017

Cardiac Electrical Modeling for Closed-Loop Validation of Implantable Devices

scientific article published on 16 May 2019

Closing the Loop: Validation of Implantable Cardiac Devices With Computational Heart Models

scientific article published on 11 October 2019

Compositional Cyber-Physical Epidemiology of COVID-19

scientific article published on 01 May 2020

Compositional cyber-physical epidemiology of COVID-19

scientific article published on 11 November 2020

Design of Distributed Heterogeneous Embedded Systems in DDFCharts

Efficient implementation of IEC 61499 function blocks

Evolving a Programming CS2 Course: A Decade-Long Experience Report

scientific article published on 03 March 2023

HiDRA—A reactive multiprocessor architecture for heterogeneous embedded systems

article by Zoran Salcic et al published March 2006 in Microprocessors and Microsystems

Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks

Implementing constrained cyber-physical systems with IEC 61499

article by Li Hsien Yoong et al published 1 December 2012 in ACM Transactions on Embedded Computing Systems

McCharts and Multiclock FSMs for modeling large scale systems

Now That's Smart!

REFLIX: a processor core with native support for control-dominated embedded applications

Reengineering of IEC 61131 into IEC 61499 Function Blocks

Resonant model-A new paradigm for modeling an action potential of biological cells.

scientific article published on 22 May 2019

Runtime Verified Neural Networks for Cyber-Physical Systems

scientific article published on 13 September 2024

STARPro — A new multithreaded direct execution platform for Esterel

SneakLeak+: Large-scale klepto apps analysis

scientific article published in 2020

Synchronous Execution of IEC 61499 Function Blocks Using Esterel

Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499

SystemJ compilation using the tandem virtual machine approach

SystemJ: A GALS language for system level design

article by Avinash Malik et al published December 2010 in Computer Languages, Systems and Structures

Tandem virtual machine — An efficient execution platform for GALS language SystemJ

Using Acoustic Speech Patterns From Smartphones to Investigate Mood Disorders: Scoping Review

publication published on 17 September 2021

List of works by Partha S Roop