Sidharta Andalam

Orcid: 0000-0001-6660-8172

According to our database1, Sidharta Andalam authored at least 31 papers between 2008 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Demo Abstract: Contract-based Hierarchical Resilience Framework for Cyber-Physical Systems.
CoRR, 2020

2019
Contract-Based Methodology for Developing Resilient Cyber-Infrastructure in the Industry 4.0 Era.
IEEE Embed. Syst. Lett., 2019

Contract-based hierarchical resilience framework for cyber-physical systems: demo abstract.
Proceedings of the 10th ACM/IEEE International Conference on Cyber-Physical Systems, 2019

TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

2018
Towards the Emulation of the Cardiac Conduction System for Pacemaker Validation.
ACM Trans. Cyber Phys. Syst., 2018

A Parametric Computational Model of the Action Potential of Pacemaker Cells.
IEEE Trans. Biomed. Eng., 2018

Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

CLAIR: A Contract-Based Framework for Developing Resilient CPS Architectures.
Proceedings of the 21st IEEE International Symposium on Real-Time Distributed Computing, 2018

Challenges in Digital Twin Development for Cyber-Physical Production Systems.
Proceedings of the Cyber Physical Systems. Model-Based Design - 8th International Workshop, 2018

2017
Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation.
ACM Trans. Embed. Comput. Syst., 2017

A Novel Emulation Model of the Cardiac Conduction System.
ACM Trans. Embed. Comput. Syst., 2017

Memory-Aware Embedded Control Systems Design.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

2016
Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing.
CoRR, 2016

Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications.
Proceedings of the 38th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2016

Precision timed industrial automation systems.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Modular code generation for emulating the electrical conduction system of the human heart.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Hybrid Automata Model of the Heart for Formal Verification of Pacemakers.
Proceedings of the ARCH@CPSWeek 2016, 2016

2015
A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC).
CoRR, 2015

2014
A Predictable Framework for Safety-Critical Embedded Systems.
IEEE Trans. Computers, 2014

Schedule Integration Framework for Time-Triggered Automotive Architectures.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013
System architecture and software design for electric vehicles.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Precise timing analysis for direct-mapped caches.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

ILPc: A novel approach for scalable timing analysis of synchronous programs.
Proceedings of the International Conference on Compilers, 2013

Precision Timed Embedded Systems Using TickPAD Memory.
Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2011
Environment Modelling for Tighter Timing Analysis of Synchronous Programs.
Proceedings of the Sixth IEEE International Symposium on Electronic Design, 2011

Pruning infeasible paths for tight WCRT analysis of synchronous programs.
Proceedings of the Design, Automation and Test in Europe, 2011

2010
Predictable multithreading of embedded applications using PRET-C.
Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Deterministic, predictable and light-weight multithreading using PRET-C.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
A New Multithreaded Architecture Supporting Direct Execution of Esterel.
EURASIP J. Embed. Syst., 2009

Tight WCRT analysis of synchronous C programs.
Proceedings of the 2009 International Conference on Compilers, 2009

2008
STARPro - A new multithreaded direct execution platform for Esterel.
Proceedings of the Third International Workshop on Model-driven High-level Programming of Embedded Systems, 2008


  Loading...