Model based verification of spiking neural networks in cyber physical systems von Pradhan, Ankit, King, Jonathan, Pinisetty, Srinivas, Roop, Partha S.

Volltext

Development of closed-loop modelling framework for adaptive respiratory pacemakers von Ai, Weiwei, Suresh, Vinod, Roop, Partha S.

Volltext

Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems von Pearce, Hammond, Pinisetty, Srinivas, Roop, Partha S., Kuo, Matthew M. Y., Ukil, Abhisek

Volltext

Closing the Loop: Validation of Implantable Cardiac Devices With Computational Heart Models von Ai, Weiwei, Patel, Nitish D., Roop, Partha S., Malik, Avinash, Trew, Mark L.

Volltext

A framework for the design of a closed-loop gastric pacemaker for treating conduction block von Wang, Luman, Malik, Avinash, Roop, Partha S., Cheng, Leo K., Paskaranandavadivel, Niranchan

Volltext

A novel approach for model-based design of gastric pacemakers von Wang, Luman, Malik, Avinash, Roop, Partha S., Cheng, Leo K., Paskaranandavadivel, Niranchan, Ai, Weiwei

Volltext

Unified Functional Safety Assessment of Industrial Automation Systems von Bhatti, Zeeshan E., Roop, Partha S., Sinha, Roopak

Volltext

A Predictable Framework for Safety-Critical Embedded Systems von Andalam, Sidharta, Roop, Partha S, Girault, Alain, Traulsen, Claus

Volltext

Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks von Sinha, Roopak, Roop, Partha S., Shaw, Gareth, Salcic, Zoran, Kuo, Matthew M. Y.

Volltext

SystemJ: A GALS language for system level design von Malik, Avinash, Salcic, Zoran, Roop, Partha S., Girault, Alain

Volltext

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design von Sinha, Roopak, Girault, Alain, Goessler, Gregor, Roop, Partha S.

Volltext

Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499 von Li Hsien Yoong, Shaw, G. D., Roop, P. S., Salcic, Z.

Volltext

Towards the Emulation of the Cardiac Conduction System for Pacemaker Validation von Yip, Eugene, Andalam, Sidharta, Roop, Partha S., Malik, Avinash, Trew, Mark L., Ai, Weiwei, Patel, Nitish

Volltext

Virtual Traffic Lights: A Robust, Practical, and Functionally Safe Intelligent Transportation System von Sinha, Roopak, Roop, Partha S., Ranjitkar, Prakash

Volltext

A Formal Approach for Modeling and Simulation of Human Car-Following Behavior von Ro, Jin Woo, Roop, Partha S., Malik, Avinash, Ranjitkar, Prakash

Volltext

Deterministic, predictable and light-weight multithreading using PRET-C von Andalam, Sidharta, Roop, Partha S, Girault, Alain

Volltext

Verifying IEC 61499 Function Blocks Using Esterel von Li Hsien Yoong, Roop, Partha S

Volltext

Reengineering of IEC 61131 into IEC 61499 Function Blocks von Shaw, Gareth D, Roop, Partha S, Salcic, Zoran

Volltext

Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study von Malik, Robi, Roop, Partha S.

Volltext

Determining the worst-case reaction time of IEC 61499 function blocks von Kuo, Matthew M Y, Li Hsien Yoong, Andalam, Sidharta, Roop, Partha S

Volltext