ROOP, PARTHA: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

51

SoC Design Approach Using Convertibility Verification

Sinha, Roopak, Roop, ParthaS, Basu, Samik

Journal:

EURASIP Journal on Embedded Systems

Year:

2007

Language:

english

File:

PDF, 585 KB

english, 2007

52

A New Multithreaded Architecture Supporting Direct Execution of Esterel

Yuan, Simon, Yoong, LiHsien, Andalam, Sidharta, Roop, ParthaS, Salcic, Zoran

Journal:

EURASIP Journal on Embedded Systems

Year:

2008

Language:

english

File:

PDF, 651 KB

english, 2008

53

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

Shaw, Gareth, Yoong, Li Hsien, Roop, Partha S, Salcic, Zoran

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 1.15 MB

english, 2009

54

[IEEE 2015 IEEE 18th International Symposium on Real-Time Distributed Computing (ISORC) - Auckland, New Zealand (2015.4.13-2015.4.17)] 2015 IEEE 18th International Symposium on Real-Time Distributed Computing - Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions

Ro, Jin Woo, Roop, Partha, Malik, Avinash

Year:

2015

Language:

english

File:

PDF, 1.83 MB

english, 2015

55

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

RADOJEVIC, IVAN, SALCIC, ZORAN, ROOP, PARTHA

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2005

Language:

english

File:

PDF, 365 KB

english, 2005

56

[IEEE 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC) - York, United Kingdom (2016.5.17-2016.5.20)] 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC) - RunSync: A Predictable Runtime for Precision Timed Automation Systems

Pearce, Hammond A., Kuo, Matthew M.Y., Roop, Partha S., Biglari-Abhari, Morteza

Year:

2016

Language:

english

File:

PDF, 773 KB

english, 2016

57

Virtual Traffic Lights+

Sinha, Roopak, Roop, Partha, Ranjitkar, Prakash

Journal:

Transportation Research Record Journal of the Transportation Research Board

Year:

2013

Language:

english

File:

PDF, 2.36 MB

english, 2013

58

A Parametric Computational Model of the Action Potential of Pacemaker Cells

Ai, Weiwei, Patel, Nitish, Roop, Partha, Malik, Avinash, Andalam, Sidharta, Yip, Eugene, Allen, Nathan, Trew, Mark

Journal:

IEEE Transactions on Biomedical Engineering

Year:

2017

Language:

english

File:

PDF, 3.71 MB

english, 2017

59

[ACM Press the 2017 ACM - Abu Dhabi, United Arab Emirates (2017.04.02-2017.04.06)] Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security - ASIA CCS '17 - POSTER

Bhandari, Shweta, Herbreteau, Frederic, Laxmi, Vijay, Zemmari, Akka, Roop, Partha S., Gaur, Manoj Singh

Year:

2017

Language:

english

File:

PDF, 674 KB

english, 2017

60

[IEEE 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC) - York, United Kingdom (2016.5.17-2016.5.20)] 2016 IEEE 19th International Symposium on Real-Time Distributed Computing (ISORC) - Mixed-Criticality Systems as a Service for Non-critical Tasks

Hikmet, Mahmood, Kuo, Matthew My, Roop, Partha S., Ranjitkar, Prakash

Year:

2016

Language:

english

File:

PDF, 1.33 MB

english, 2016

61

Emulation of cyber-physical systems using IEC-61499

Malik, Avinash, Roop, Partha S, Allen, Nathan, Steger, Theo

Journal:

IEEE Transactions on Industrial Informatics

Year:

2017

Language:

english

File:

PDF, 2.71 MB

english, 2017

62

[IEEE 2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC) - Toronto, ON, Canada (2017.5.16-2017.5.18)] 2017 IEEE 20th International Symposium on Real-Time Distributed Computing (ISORC) - A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor

Allen, Nathan, Pearce, Hammond, Roop, Partha, Hanxleden, Reinhard von

Year:

2017

Language:

english

File:

PDF, 401 KB

english, 2017

63

Application of Cfsmcharts for Modelling Real-Time and Industrial Embedded Systems

Roop, Partha S., Sowmya, A., Mormanis, G.C., Baldwin, S.S.

Journal:

IFAC Proceedings Volumes

Year:

1998

Language:

english

File:

PDF, 2.04 MB

english, 1998

64

[ACM Press the 24th ACM SIGSOFT International SPIN Symposium - Santa Barbara, CA, USA (2017.07.13-2017.07.14)] Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 - Runtime enforcement of reactive systems using synchronous enforcers

Pinisetty, Srinivas, Roop, Partha S., Smyth, Steven, Tripakis, Stavros, Hanxleden, Reinhard von

Year:

2017

Language:

english

File:

PDF, 1.12 MB

english, 2017

65

[ACM Press the 2009 international conference - Grenoble, France (2009.10.11-2009.10.16)] Proceedings of the 2009 international conference on Compilers, architecture, and synthesis for embedded systems - CASES '09 - Tight WCRT analysis of synchronous C programs

Roop, Partha S., Andalam, Sidharta, von Hanxleden, Reinhard, Yuan, Simon, Traulsen, Claus

Year:

2009

Language:

english

File:

PDF, 744 KB

english, 2009

66

A Formal Approach for Modeling and Simulation of Human Car-Following Behavior

Ro, Jin Woo, Roop, Partha S., Malik, Avinash, Ranjitkar, Prakash

Journal:

IEEE Transactions on Intelligent Transportation Systems

Year:

2017

Language:

english

File:

PDF, 1.77 MB

english, 2017

67

Timing Analysis of Synchronous Programs using WCRT Algebra

Wang, Jiajie, Mendler, Michael, Roop, Partha, Bodin, Bruno

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 825 KB

english, 2017

68

Runtime Enforcement of Cyber-Physical Systems

Pinisetty, Srinivas, Roop, Partha S., Smyth, Steven, Allen, Nathan, Tripakis, Stavros, Hanxleden, Reinhard Von

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 784 KB

english, 2017

69

[IEEE 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) - Jeju Island, South Korea (2017.7.11-2017.7.15)] 2017 39th Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) - An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices

Ai, Weiwei, Patel, Nitish, Roop, Partha, Malik, Avinash, Allen, Nathan, Trew, Mark L.

Year:

2017

Language:

english

File:

PDF, 1.40 MB

english, 2017

70

A Novel Emulation Model of the Cardiac Conduction System

Andalam, Sidharta, Allen, Nathan, Malik, Avinash, Roop, Partha S., Trew, Mark

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 1.20 MB

english, 2017

71

Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation

Malik, Avinash, Roop, Partha S., Andalam, Sidharta, Trew, Mark, Mendler, Michael

Journal:

ACM Transactions on Embedded Computing Systems

Year:

2017

Language:

english

File:

PDF, 1.71 MB

english, 2017

72

[IEEE 2017 Forum on Specification and Design Languages (FDL) - Verona (2017.9.18-2017.9.20)] 2017 Forum on Specification and Design Languages (FDL) - Compositional timing-aware semantics for synchronous programming

Aguado, Joaquin, Mendler, Michael, Wang, Jia Jie, Bodin, Bruno, Roop, Partha

Year:

2017

Language:

english

File:

PDF, 404 KB

english, 2017

73

[ACM Press the 15th ACM-IEEE International Conference - Vienna, Austria (2017.09.29-2017.10.02)] Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '17 - Simulation of cyber-physical systems using IEC61499

Pearce, Hammond A., Kuo, Matthew M. Y., Allen, Nathan, Roop, Partha S., Malik, Avinash

Year:

2017

Language:

english

File:

PDF, 217 KB

english, 2017

74

SneakLeak+ : Large-scale klepto apps analysis

Bhandari, Shweta, Herbreteau, Frederic, Laxmi, Vijay, Zemmari, Akka, Gaur, Manoj Singh, Roop, Partha S.

Journal:

Future Generation Computer Systems

Year:

2018

Language:

english

File:

PDF, 605 KB

english, 2018

75

Towards the Emulation of the Cardiac Conduction System for Pacemaker Validation

Yip, Eugene, Andalam, Sidharta, Roop, Partha S., Malik, Avinash, Trew, Mark L., Ai, Weiwei, Patel, Nitish

Journal:

ACM Transactions on Cyber-Physical Systems

Year:

2018

Language:

english

File:

PDF, 3.83 MB

english, 2018

76

Formal Modeling and Verification of Controllers for a Family of DRAM Caches

Sahoo, Debiprasanna, Sha, Swaraj, Satpathy, Manoranjan, Mutyam, Madhu, Ramesh, S., Roop, Partha

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2018

Language:

english

File:

PDF, 2.44 MB

english, 2018

77

[IEEE 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Beijing, China (2018.10.15-2018.10.18)] 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Synchronous neural networks for cyber-physical systems

Roop, Partha S, Pearce, Hammond, Monadjem, Keyan

Year:

2018

Language:

english

File:

PDF, 458 KB

english, 2018

78

[IEEE 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Beijing, China (2018.10.15-2018.10.18)] 2018 16th ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) - Security of Pacemakers using Runtime Verification

Pinisetty, Srinivas, Roop, Partha S, Sawant, Vidula, Schneider, Gerardo

Year:

2018

Language:

english

File:

PDF, 1.37 MB

english, 2018

79

Formal Modeling and Verification of a Victim DRAM Cache

Sahoo, Debiprasanna, Sha, Swaraj, Satpathy, Manoranjan, Mutyam, Madhu, Ramesh, S., Roop, Partha

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2019

File:

PDF, 4.35 MB

2019

80

A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology

Wang, Luman, Malik, Avinash, Roop, Partha, Cheng, Leo K., Paskaranandavadivel, Niranchan

Journal:

IEEE Transactions on Biomedical Engineering

Year:

2019

Language:

english

File:

PDF, 2.58 MB

english, 2019

81

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

Sehgal, Sucheta, Patel, Nitish D., Malik, Avinash, Roop, Partha S., Trew, Mark L., Alber, Mark

Journal:

Year:

2019

Language:

english

File:

PDF, 4.17 MB

english, 2019

82

Smart I/O modules for mitigating cyber-physical attacks on industrial control systems

Pearce, Hammond, Pinisetty, Srinivas, Roop, Partha S., Kuo, Matthew M. Y., Ukil, Abhisek

Journal:

IEEE Transactions on Industrial Informatics

Year:

2019

Language:

english

File:

PDF, 3.48 MB

english, 2019

83

Smart I/O modules for mitigating cyber-physical attacks on industrial control systems

Pearce, Hammond, Pinisetty, Srinivas, Roop, Partha S., Kuo, Matthew M. Y., Ukil, Abhisek

Journal:

IEEE Transactions on Industrial Informatics

Year:

2019

File:

PDF, 3.48 MB

2019

84

[ACM Press the 17th ACM-IEEE International Conference - La Jolla, California (2019.10.09-2019.10.11)] Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design - MEMOCODE '19 - A compositional approach for real-time machine learning

Allen, Nathan, Raje, Yash, Ro, Jin Woo, Roop, Partha

Year:

2019

File:

PDF, 556 KB

2019

85

A dynamic Quantized State System execution framework for Hybrid Automata

Malik, Avinash, Roop, Partha

Journal:

Nonlinear Analysis Hybrid Systems

Year:

2020

Language:

english

File:

PDF, 713 KB

english, 2020

86

[IEEE 2019 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) - Auckland, New Zealand (2019.5.20-2019.5.23)] 2019 IEEE International Instrumentation and Measurement Technology Conference (I2MTC) - A formal analysis approach for verifying the design of respiratory pacing devices

Eichler, Chad E., Suresh, Vinod, Roop, Partha S.

Year:

2019

File:

PDF, 536 KB

2019

87

[IEEE 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - Grenoble, France (2020.3.9-2020.3.13)] 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE) - A compositional approach using Keras for neural networks in real-time systems

Yang, Xin, Roop, Partha, Pearce, Hammond, Ro, Jin Woo

Year:

2020

File:

PDF, 357 KB

2020

88

Designing Neural Networks for Real-Time Systems

Pearce, Hammond, Yang, Xin, Roop, Partha S., Katzef, Marc, Strom, Torur Biskopsto

Journal:

IEEE Embedded Systems Letters

Year:

2020

File:

PDF, 174 KB

2020

89

[IEEE 2019 International Conference on Electronics, Information, and Communication (ICEIC) - Auckland, New Zealand (2019.1.22-2019.1.25)] 2019 International Conference on Electronics, Information, and Communication (ICEIC) - Synthesizing IEC 61499 Function Blocks to hardware

Pearce, Hammond, Roop, Partha

Year:

2019

File:

PDF, 205 KB

2019

90

Compositional cyber-physical epidemiology of COVID-19

Ro, Jin Woo, Allen, Nathan, Ai, Weiwei, Prasad, Debi, Roop, Partha S.

Journal:

Scientific Reports

Year:

2020

File:

PDF, 1.77 MB

2020