Sidharta Andalam

Publication Activity (10 Years)

Years Active: 2009-2021
Publications (10 Years): 22

Top Topics

Formal Verification

Production System

Hybrid Automata

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

HeeJong Park, Arvind Easwaran, Sidharta Andalam
Challenges in Digital Twin Development for Cyber-Physical Production Systems. CoRR (2021)
Daniel Jun Xian Ng, Arvind Easwaran, Sidharta Andalam
Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems. CoRR (2020)
Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran, Karthik Thangamariappan
CLAIR: A Contract-based Framework for Developing Resilient CPS Architectures. CoRR (2020)
Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran, Karthik Thangamariappan
Contract-based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era. CoRR (2020)
HeeJong Park, Arvind Easwaran, Sidharta Andalam
TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems. CoRR (2020)
HeeJong Park, Arvind Easwaran, Sidharta Andalam
TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems. ICCD (2019)
Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran, Karthikeyan Thangamariappan
Contract-Based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era. IEEE Embed. Syst. Lett. 11 (1) (2019)
Daniel Jun Xian Ng, Arvind Easwaran, Sidharta Andalam
Contract-based hierarchical resilience framework for cyber-physical systems: demo abstract. ICCPS (2019)
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Sidharta Andalam, Eugene Yip, Nathan Allen, Mark L. Trew
A Parametric Computational Model of the Action Potential of Pacemaker Cells. IEEE Trans. Biomed. Eng. 65 (1) (2018)
Eugene Yip, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark L. Trew, Weiwei Ai, Nitish D. Patel
Towards the Emulation of the Cardiac Conduction System for Pacemaker Validation. ACM Trans. Cyber Phys. Syst. 2 (4) (2018)
Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew
Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study. ISORC (2018)
Sidharta Andalam, Daniel Jun Xian Ng, Arvind Easwaran, Karthikeyan Thangamariappan
CLAIR: A Contract-Based Framework for Developing Resilient CPS Architectures. ISORC (2018)
HeeJong Park, Arvind Easwaran, Sidharta Andalam
Challenges in Digital Twin Development for Cyber-Physical Production Systems. CyPhy/WESE (2018)
Avinash Malik, Partha S. Roop, Sidharta Andalam, Mark Trew, Michael Mendler
Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Sidharta Andalam, Nathan Allen, Avinash Malik, Partha S. Roop, Mark Trew
A Novel Emulation Model of the Cardiac Conduction System. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Wanli Chang, Dip Goswami, Samarjit Chakraborty, Lei Ju, Chun Jason Xue, Sidharta Andalam
Memory-Aware Embedded Control Systems Design. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (4) (2017)
Eugene Yip, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew, Weiwei Ai, Nitish D. Patel
Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing. CoRR (2016)
Sidharta Andalam, Avinash Malik, Partha S. Roop, Mark L. Trew
Hybrid Automata Model of the Heart for Formal Verification of Pacemakers. ARCH@CPSWeek (2016)
Nathan Allen, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew, Nitish D. Patel
Modular code generation for emulating the electrical conduction system of the human heart. DATE (2016)
Matthew M. Y. Kuo, Sidharta Andalam, Partha S. Roop
Precision timed industrial automation systems. DATE (2016)
Sidharta Andalam, Harshavardhan Ramanna, Avinash Malik, Partha S. Roop, Nitish D. Patel, Mark L. Trew
Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications. EMBC (2016)
Avinash Malik, Partha S. Roop, Sidharta Andalam, Eugene Yip, Mark Trew
A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC). CoRR (2015)
Sidharta Andalam, Partha S. Roop, Alain Girault, Claus Traulsen
A Predictable Framework for Safety-Critical Embedded Systems. IEEE Trans. Computers 63 (7) (2014)
Florian Sagstetter, Sidharta Andalam, Peter Waszecki, Martin Lukasiewycz, Hauke Stähle, Samarjit Chakraborty, Alois C. Knoll
Schedule Integration Framework for Time-Triggered Automotive Architectures. DAC (2014)
Martin Lukasiewycz, Sebastian Steinhorst, Sidharta Andalam, Florian Sagstetter, Peter Waszecki, Wanli Chang, Matthias Kauer, Philipp Mundhenk, Shanker Shreejith, Suhaib A. Fahmy, Samarjit Chakraborty
System architecture and software design for electric vehicles. DAC (2013)
Matthew M. Y. Kuo, Partha S. Roop, Sidharta Andalam, Nitish D. Patel
Precision Timed Embedded Systems Using TickPAD Memory. ACSD (2013)
Sidharta Andalam, Alain Girault, Roopak Sinha, Partha S. Roop, Jan Reineke
Precise timing analysis for direct-mapped caches. DAC (2013)
Jia Jie Wang, Partha S. Roop, Sidharta Andalam
ILPc: A novel approach for scalable timing analysis of synchronous programs. CASES (2013)
Sidharta Andalam, Partha S. Roop, Alain Girault
Pruning infeasible paths for tight WCRT analysis of synchronous programs. DATE (2011)
Sidharta Andalam, Roopak Sinha, Partha S. Roop
Environment Modelling for Tighter Timing Analysis of Synchronous Programs. DELTA (2011)
Sidharta Andalam, Partha S. Roop, Alain Girault
Predictable multithreading of embedded applications using PRET-C. MEMOCODE (2010)
Sidharta Andalam, Partha S. Roop, Alain Girault
Deterministic, predictable and light-weight multithreading using PRET-C. DATE (2010)
Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen
Tight WCRT analysis of synchronous C programs. CASES (2009)
Simon Yuan, Li Hsien Yoong, Sidharta Andalam, Partha S. Roop, Zoran Salcic
A New Multithreaded Architecture Supporting Direct Execution of Esterel. EURASIP J. Embed. Syst. 2009 (2009)
Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran A. Salcic
STARPro - A new multithreaded direct execution platform for Esterel. Electron. Notes Theor. Comput. Sci. 238 (1) (2009)