Analytic Curve Detection from a Noisy Binary Edge Map Using Genetic Algorithm. - Samarjit Chakraborty; Kalyanmoy Deb (PPSN, 1998)

Model-Based Object Recognition from a Complex Binary Imagery Using Genetic Algorithm. - Samarjit Chakraborty; Sudipta Dey; Kalyanmoy Deb (EvoWorkshops, 1999)

Approximation Algorithms for 3-D Commom Substructure Identification in Drug and Protein Molecules. - Samarjit Chakraborty; Somenath Biswas (WADS, 1999)

Computing Largest Common Point Sets under Approximate Congruence. - Christoph Ambühl; Samarjit Chakraborty; Bernd Gärtner (ESA, 2000)

Real-time calculus for scheduling hard real-time systems. - Lothar Thiele; Samarjit Chakraborty; Martin Naedele (ISCAS, 2000)

Embedded Software in Network Processors - Models and Algorithms. - Lothar Thiele; Samarjit Chakraborty; Matthias Gries; Alexander Maxiaguine; Jonas Greutert (EMSOFT, 2001)

On the Complexity of Scheduling Conditional Real-Time Code. - Samarjit Chakraborty; Thomas Erlebach; Lothar Thiele (WADS, 2001)

Generating an action notation environment from Montages descriptions. - Matthias Anlauff; Samarjit Chakraborty; Philipp W. Kutter; Alfonso Pierantonio; Lothar Thiele (Int. J. Softw. Tools Technol. Transf., 2001)

Schedulability of event-driven code blocks in real-time embedded systems. - Samarjit Chakraborty; Thomas Erlebach; Simon Künzli 001; Lothar Thiele (DAC, 2002)

A framework for evaluating design tradeoffs in packet processing architectures. - Lothar Thiele; Samarjit Chakraborty; Matthias Gries; Simon Künzli 001 (DAC, 2002)

Supporting a Low Delay Best-Effort Class in the Presence of Real-Time Traffic. - Samarjit Chakraborty; Matthias Gries; Lothar Thiele (IEEE Real Time Technology and Applications Symposium, 2002)

Approximate Schedulability Analysis. - Samarjit Chakraborty; Simon Künzli 001; Lothar Thiele (RTSS, 2002)

A General Framework for Analysing System Properties in Platform-Based Embedded System Designs. - Samarjit Chakraborty; Simon Künzli 001; Lothar Thiele (DATE, 2003)

Performance evaluation of network processor architectures: combining simulation with analytical estimation. - Samarjit Chakraborty; Simon Künzli 001; Lothar Thiele; Andreas Herkersdorf; Patricia Sagmeister (Comput. Networks, 2003)

Rate analysis for streaming applications with on-chip buffer constraints. - Alexander Maxiaguine; Simon Künzli 001; Samarjit Chakraborty; Lothar Thiele (ASP-DAC, 2004)

Tuning SoC platforms for multimedia processing: identifying limits and tradeoffs. - Alexander Maxiaguine; Yongxin Zhu 001; Samarjit Chakraborty; Weng-Fai Wong (CODES+ISSS, 2004)

Identifying "representative" workloads in designing MpSoC platforms for media processing. - Alexander Maxiaguine; Samarjit Chakraborty; Wei Tsang Ooi (ESTIMedia, 2004)

Processor Frequency Selection for SoC Platforms for Multimedia Applications. - Yanhong Liu; Alexander Maxiaguine; Samarjit Chakraborty; Wei Tsang Ooi (RTSS, 2004)

Evaluating Schedulers for Multimedia Processing on Buffer-Constrained SoC Platforms. - Alexander Maxiaguine; Samarjit Chakraborty; Simon Künzli 001; Lothar Thiele (IEEE Des. Test Comput., 2004)

Towards a Framework for System-Level Design of Multiprocessor SoC Platforms for Media Processing. - Samarjit Chakraborty (ASAP, 2005)

DVS for buffer-constrained architectures with predictable QoS-energy tradeoffs. - Alexander Maxiaguine; Samarjit Chakraborty; Lothar Thiele (CODES+ISSS, 2005)

Approximate VCCs: a new characterization of multimedia workloads for system-level MpSoC design. - Yanhong Liu; Samarjit Chakraborty; Wei Tsang Ooi (DAC, 2005)

A New Task Model for Streaming Applications and Its Schedulability Analysis. - Samarjit Chakraborty; Lothar Thiele (DATE, 2005)

A Perception-Aware Low-Power Software Audio Decoder for Portable Devices. - Samarjit Chakraborty; Ye Wang 007; Wendong Huang (ESTIMedia, 2005)

Workload Characterization and Cost-Quality Tradeoffs in MPEG-4 Decoding on Resource-Constrained Devices. - Yanhong Liu; Samarjit Chakraborty; Wei Tsang Ooi; Ashish Gupta 010; Subramanian Mohan (ESTIMedia, 2005)

Using offline bitstream analysis for power-aware video decoding in portable devices. - Yicheng Huang; Samarjit Chakraborty; Ye Wang 007 (ACM Multimedia, 2005)

Power-aware bandwidth and stereo-image scalable audio decoding. - Wendong Huang; Ye Wang 007; Samarjit Chakraborty (ACM Multimedia, 2005)

Meeting CPU constraints by delaying playout of multimedia tasks. - Balaji Raman 001; Samarjit Chakraborty; Wei Tsang Ooi (NOSSDAV, 2005)

Event Count Automata: A State-Based Model for Stream Processing Systems. - Samarjit Chakraborty; Linh T. X. Phan; P. S. Thiagarajan (RTSS, 2005)

Performance analysis of multiprocessor DSPs: a stream-oriented component model. - Lothar Thiele; Ernesto Wandeler; Samarjit Chakraborty (IEEE Signal Process. Mag., 2005)

Games are up for DVFS. - Yan Gu 002; Samarjit Chakraborty; Wei Tsang Ooi (DAC, 2006)

Schedulability analysis of non-preemptive recurring real-time tasks. - Sanjoy K. Baruah; Samarjit Chakraborty (IPDPS, 2006)

Flexible modelling and performance debugging of real-time embedded multimedia systems. - Samarjit Chakraborty (ACM Multimedia, 2006)

Generalized Rate Analysis for Media-Processing Platforms. - Yanhong Liu; Samarjit Chakraborty; Radu Marculescu (RTCSA, 2006)

A Framework for Compositional and Hierarchical Real-Time Scheduling. - Shanmuga Priya Marimuthu; Samarjit Chakraborty (RTCSA, 2006)

Interface-Based Rate Analysis of Embedded Systems. - Samarjit Chakraborty; Yanhong Liu; Nikolay Stoimenov; Lothar Thiele; Ernesto Wandeler (RTSS, 2006)

Performance Analysis of FlexRay-based ECU Networks. - Andrei Hagiescu; Unmesh D. Bordoloi; Samarjit Chakraborty; Prahladavaradan Sampath; P. Vignesh V. Ganesan; S. Ramesh 002 (DAC, 2007)

Reducing Data-Memory Footprint of Multimedia Applications by Delay Redistribution. - Balaji Raman 001; Samarjit Chakraborty; Wei Tsang Ooi; Santanu Dutta (DAC, 2007)

Accounting for cache-related preemption delay in dynamic priority schedulability analysis. - Lei Ju 001; Samarjit Chakraborty; Abhik Roychoudhury (DATE, 2007)

Cache-Aware Timing Analysis of Streaming Applications. - Samarjit Chakraborty; Tulika Mitra; Abhik Roychoudhury; Lothar Thiele; Unmesh D. Bordoloi; Cem Derdiyok (ECRTS, 2007)

Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis. - Unmesh D. Bordoloi; Samarjit Chakraborty (IEEE Real-Time and Embedded Technology and Applications Symposium, 2007)

Fast Schedulability Analysis Using Commodity Graphics Hardware. - Jimin Feng; Samarjit Chakraborty; Bertil Schmidt; Weiguo Liu; Unmesh D. Bordoloi (RTCSA, 2007)

Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems. - Linh T. X. Phan; Samarjit Chakraborty; P. S. Thiagarajan; Lothar Thiele (RTSS, 2007)

Path-Constrained Relaxed Schedulability Analysis. - Stefan Andrei; Samarjit Chakraborty (SYNASC, 2007)

Tutorial T8B: Performance Debugging of Complex Embedded Systems. - Samarjit Chakraborty; Abhik Roychoudhury (VLSI Design, 2007)

Interactive schedulability analysis. - Unmesh D. Bordoloi; Samarjit Chakraborty (ACM Trans. Embed. Comput. Syst., 2007)

Editorial for the Special Issue on Field Programmable Technology. - Gordon J. Brebner; Samarjit Chakraborty; Weng-Fai Wong (J. VLSI Signal Process., 2007)

Intra- and inter-processor hybrid performance modeling for MPSoC architectures. - Frank E. B. Ophelders; Samarjit Chakraborty; Henk Corporaal (CODES+ISSS, 2008)

Control theory-based DVS for interactive 3D games. - Yan Gu 002; Samarjit Chakraborty (DAC, 2008)

Formal Methods in System and MpSoC Performance Analysis and Optimisation. - Rolf Ernst; Marek Jersak; Hans Sarnowski; Marco Bekooij; Samarjit Chakraborty (DATE, 2008)

Multimedia power management on a platter: from audio to video & games. - Samarjit Chakraborty; Ye Wang 007 (ACM Multimedia, 2008)

A Hybrid DVS Scheme for Interactive 3D Games. - Yan Gu 002; Samarjit Chakraborty (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

Schedulability Analysis of MSC-based System Models. - Lei Ju 001; Abhik Roychoudhury; Samarjit Chakraborty (IEEE Real-Time and Embedded Technology and Applications Symposium, 2008)

A Multi-mode Real-Time Calculus. - Linh T. X. Phan; Samarjit Chakraborty; P. S. Thiagarajan (RTSS, 2008)

Programming and Performance Modelling of Automotive ECU Networks. - Samarjit Chakraborty; S. Ramesh 002 (VLSI Design, 2008)

Power Management of Interactive 3D Games Using Frame Structures. - Yan Gu 002; Samarjit Chakraborty (VLSI Design, 2008)

Watermarking Video Clips with Workload Information for DVS. - Yicheng Huang; Samarjit Chakraborty; Ye Wang 007 (VLSI Design, 2008)

Application-specific workload shaping in multimedia-enabled personal mobile devices. - Balaji Raman 001; Samarjit Chakraborty (ACM Trans. Embed. Comput. Syst., 2008)

A DECOMSYS based tool-chain for analyzing FlexRay based automotive control applications. - Dip Goswami; Pradeep Seshadri; Unmesh D. Bordoloi; Samarjit Chakraborty (CASE, 2009)

Fast model-based test case classification for performance analysis of multimedia MPSoC platforms. - Deepak Gangadharan; Samarjit Chakraborty; Roger Zimmermann (CODES+ISSS, 2009)

Evaluating design trade-offs in customizable processors. - Unmesh D. Bordoloi; Huynh Phung Huynh; Samarjit Chakraborty; Tulika Mitra (DAC, 2009)

Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis. - Michael Glaß; Martin Lukasiewycz; Jürgen Teich; Unmesh D. Bordoloi; Samarjit Chakraborty (DAC, 2009)

Context-sensitive timing analysis of Esterel programs. - Lei Ju 001; Bach Khoa Huynh; Samarjit Chakraborty; Abhik Roychoudhury (DAC, 2009)

2009 IEEE/ACM/IFIP 7th workshop on embedded systems for Real-Time multimedia (ESTIMedia 2009). - Andy D. Pimentel; Naehyuck Chang; Petru Eles; Samarjit Chakraborty (ESTIMedia, 2009)

Lightweight Modeling of Complex State Dependencies in Stream Processing Systems. - Anne Bouillard; Linh T. X. Phan; Samarjit Chakraborty (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems. - Linh T. X. Phan; Samarjit Chakraborty; Insup Lee 001 (RTSS, 2009)

Accelerating System-Level Design Tasks Using Commodity Graphics Hardware: A Case Study. - Unmesh D. Bordoloi; Samarjit Chakraborty (VLSI Design, 2009)

Power Management for Mobile Multimedia: From Audio to Video & Games. - Samarjit Chakraborty; Ye Wang 007 (VLSI Design, 2009)

Cache-aware optimization of BAN applications. - Lei Ju 001; Yun Liang 001; Samarjit Chakraborty; Tulika Mitra; Abhik Roychoudhury (Des. Autom. Embed. Syst., 2009)

Cache-aware timing analysis of streaming applications. - Samarjit Chakraborty; Tulika Mitra; Abhik Roychoudhury; Lothar Thiele (Real Time Syst., 2009)

Tuning Machine-Learning Algorithms for Battery-Operated Portable Devices. - Ziheng Lin; Yan Gu 002; Samarjit Chakraborty (AIRS, 2010)

Comparing Bluetooth HDP and SPP for Mobile Health Devices. - Jad Noueihed; Robert Diemer; Samarjit Chakraborty; Stefanie Biala (BSN, 2010)

Timing analysis of esterel programs on general-purpose multiprocessors. - Lei Ju 001; Bach Khoa Huynh; Abhik Roychoudhury; Samarjit Chakraborty (DAC, 2010)

Constant-time admission control for Deadline Monotonic tasks. - Alejandro Masrur; Samarjit Chakraborty; Georg Färber (DATE, 2010)

Constant-Time Admission Control for Partitioned EDF. - Alejandro Masrur; Samarjit Chakraborty; Georg Färber (ECRTS, 2010)

Model-based analysis, synthesis and testing of automotive hardware/software architectures. - Samarjit Chakraborty; S. Ramesh 002; Jürgen Teich (EMSOFT, 2010)

Modeling buffers with data refresh semantics in automotive architectures. - Linh Thi Xuan Phan; Reinhard Schneider 001; Samarjit Chakraborty; Insup Lee 001 (EMSOFT, 2010)

Optimized Schedule Synthesis under Real-Time Constraints for the Dynamic Segment of FlexRay. - Reinhard Schneider 001; Unmesh D. Bordoloi; Dip Goswami; Samarjit Chakraborty (EUC, 2010)

APESER 2010 Keynote Speech: Samarjit Chakraborty. - Samarjit Chakraborty (GreenCom/CPSCom, 2010)

LMS-based low-complexity game workload prediction for DVFS. - Benedikt Dietrich; Swaroop Nunna; Dip Goswami; Samarjit Chakraborty; Matthias Gries (ICCD, 2010)

Driver Body-Height Prediction for an Ergonomically Optimized Ingress Using a Single Omnidirectional Camera. - Christian Scharfenberger; Samarjit Chakraborty; Georg Färber (ICPR, 2010)

Special Track on Worst Case Traversal Time (WCTT). - Anne Bouillard; Marc Boyer; Samarjit Chakraborty; Steven Martin; Jean-Luc Scharbarg; Giovanni Stea; Eric Thierry (ISoLA (1), 2010)

An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks. - Nikolay Stoimenov; Samarjit Chakraborty; Lothar Thiele (ISoLA (1), 2010)

Multiprocessor system and software design for distributed control applications. - Samarjit Chakraborty (SoC, 2010)

VM-Based Real-Time Services for Automotive Control Applications. - Alejandro Masrur; Sebastian Drössler; Thomas Pfeuffer; Samarjit Chakraborty (RTCSA, 2010)

Design space exploration of instruction set customizable MPSoCs for multimedia applications. - Unmesh D. Bordoloi; Huynh Phung Huynh; Tulika Mitra; Samarjit Chakraborty (ICSAMOS, 2010)

Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring. - Robert Diemer; Samarjit Chakraborty (SEUS, 2010)

Optimizing Hierarchical Schedules for Improved Control Performance. - Harald Voit; Reinhard Schneider 001; Dip Goswami; Anuradha Annaswamy; Samarjit Chakraborty (SIES, 2010)

High-level timing analysis of concurrent applications on MPSoC platforms using memory-aware trace-driven simulations. - Roman Plyaskin; Alejandro Masrur; Martin Geier 001; Samarjit Chakraborty; Andreas Herkersdorf (VLSI-SoC, 2010)

EMSOFT 2009 guest editors' introduction. - Samarjit Chakraborty; Nicolas Halbwachs (Des. Autom. Embed. Syst., 2010)

GPU-based Acceleration of System-level Design Tasks. - Unmesh D. Bordoloi; Samarjit Chakraborty (Int. J. Parallel Program., 2010)

Fast hybrid simulation for accurate decoded video quality assessment on MPSoC platforms with resource constraints. - Deepak Gangadharan; Samarjit Chakraborty; Roger Zimmermann (ASP-DAC, 2011)

Co-design of cyber-physical systems via controllers with flexible delay constraints. - Dip Goswami; Reinhard Schneider 001; Samarjit Chakraborty (ASP-DAC, 2011)

Design and architectures for dependable embedded systems. - Jörg Henkel; Lars Bauer; Joachim Becker; Oliver Bringmann 001; Uwe Brinkschulte; Samarjit Chakraborty; Michael Engel; Rolf Ernst; Hermann Härtig; Lars Hedrich; Andreas Herkersdorf; Rüdiger Kapitza; et al. (CODES+ISSS, 2011)

Designing VM schedulers for embedded real-time applications. - Alejandro Masrur; Thomas Pfeuffer; Martin Geier 001; Sebastian Drössler; Samarjit Chakraborty (CODES+ISSS, 2011)

On buffering with stochastic guarantees in resource-constrained media players. - Balaji Raman 001; Guillaume Quintin; Wei Tsang Ooi; Deepak Gangadharan; Jérôme Milan; Samarjit Chakraborty (CODES+ISSS, 2011)

Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems. - Reinhard Schneider 001; Dip Goswami; Sohaib Zafar; Martin Lukasiewycz; Samarjit Chakraborty (CODES+ISSS, 2011)

On the quantification of sustainability and extensibility of FlexRay schedules. - Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty; Unmesh D. Bordoloi; Petru Eles; Zebo Peng (DAC, 2011)

Re-engineering cyber-physical control applications for hybrid communication protocols. - Dip Goswami; Reinhard Schneider 001; Samarjit Chakraborty (DATE, 2011)

FlexRay switch scheduling - A networking concept for electric vehicles. - Martin Lukasiewycz; Samarjit Chakraborty; Paul Milbredt (DATE, 2011)

Cross-layer analysis, testing and verification of automotive control software. - Manfred Broy; Samarjit Chakraborty; Dip Goswami; S. Ramesh 002; Manoranjan Satpathy; Stefan Resmerita; Wolfgang Pree (EMSOFT, 2011)

Timing and schedulability analysis for distributed automotive control applications. - Samarjit Chakraborty; Marco Di Natale; Heiko Falk; Martin Lukasiewycz; Frank Slomka (EMSOFT, 2011)

Shadow-based vehicle model refinement and tracking in advanced automotive driver assistance systems. - Florian Rattei; Philipp H. Kindt; Alma Pröbstl; Samarjit Chakraborty (ESTIMedia, 2011)

Video quality-driven buffer dimensioning in MPSoC platforms via prioritized frame drops. - Deepak Gangadharan; Haiyang Ma; Samarjit Chakraborty; Roger Zimmermann (ICCD, 2011)

Automatic generation of topological indoor maps for real-time map-based localization and tracking. - Martin Schafer; Christian Knapp; Samarjit Chakraborty (IPIN, 2011)

Near-Optimal Constant-Time Admission Control for DM Tasks via Non-uniform Approximations. - Alejandro Masrur; Samarjit Chakraborty (IEEE Real-Time and Embedded Technology and Applications Symposium, 2011)

Video Quality Driven Buffer Sizing via Frame Drops. - Deepak Gangadharan; Linh T. X. Phan; Samarjit Chakraborty; Roger Zimmermann; Insup Lee 001 (RTCSA (1), 2011)

Resource Augmentation Bounds for Approximate Demand Bound Functions. - Jian-Jia Chen; Samarjit Chakraborty (RTSS, 2011)

Schedulability analysis of distributed cyber-physical applications on mixed time-/event-triggered bus architectures with retransmissions. - Alejandro Masrur; Dip Goswami; Reinhard Schneider 001; Harald Voit; Anuradha Annaswamy; Samarjit Chakraborty (SIES, 2011)

Multiprocessor extensions to real-time calculus. - Hennadiy Leontyev; Samarjit Chakraborty; James H. Anderson (Real Time Syst., 2011)

Adaptive switching controllers for systems with hybrid communication protocols. - Harald Voit; Anuradha M. Annaswamy; Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty (ACC, 2012)

Modular scheduling of distributed heterogeneous time-triggered automotive systems. - Martin Lukasiewycz; Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty (ASP-DAC, 2012)

Interface-Based Design of Real-Time Systems. - Nikolay Stoimenov; Samarjit Chakraborty; Lothar Thiele (Advances in Real-Time Systems, 2012)

Adaptive switching controllers for tracking with hybrid communication protocols. - Harald Voit; Anuradha Annaswamy; Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty (CDC, 2012)

Concurrent architecture and schedule optimization of time-triggered automotive systems. - Martin Lukasiewycz; Samarjit Chakraborty (CODES+ISSS, 2012)

A hybrid approach to cyber-physical systems verification. - Pratyush Kumar; Dip Goswami; Samarjit Chakraborty; Anuradha Annaswamy; Kai Lampka; Lothar Thiele (DAC, 2012)

Embedded systems and software challenges in electric vehicles. - Samarjit Chakraborty; Martin Lukasiewycz; Christian Buckl; Suhaib A. Fahmy; Naehyuck Chang; Sangyoung Park; Younghyun Kim 001; Patrick Leteinturier; Hans Adlkofer (DATE, 2012)

Time-triggered implementations of mixed-criticality automotive software. - Dip Goswami; Martin Lukasiewycz; Reinhard Schneider 001; Samarjit Chakraborty (DATE, 2012)

Timing analysis of cyber-physical applications for hybrid communication protocols. - Alejandro Masrur; Dip Goswami; Samarjit Chakraborty; Jian-Jia Chen; Anuradha Annaswamy; Ansuman Banerjee (DATE, 2012)

Cyber-Physical Systems Design for Electric Vehicles. - Martin Lukasiewycz; Sebastian Steinhorst; Florian Sagstetter; Wanli Chang 001; Peter Waszecki; Matthias Kauer; Samarjit Chakraborty (DSD, 2012)

Partitioned Packing and Scheduling for Sporadic Real-Time Tasks in Identical Multiprocessor Systems. - Jian-Jia Chen; Samarjit Chakraborty (ECRTS, 2012)

QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems. - Reinhard Schneider 001; Dip Goswami; Alejandro Masrur; Samarjit Chakraborty (FDL, 2012)

Motion stereo-based collision avoidance for an intelligent smart car door system. - Christian Scharfenberger; Samarjit Chakraborty; John S. Zelek; David A. Clausi (ITSC, 2012)

Anti-trap protection for an intelligent smart car door system. - Christian Scharfenberger; Samarjit Chakraborty; John S. Zelek; David A. Clausi (ITSC, 2012)

Managing power for closed-source android os games by lightweight graphics instrumentation. - Benedikt Dietrich; Samarjit Chakraborty (NetGames, 2012)

Reliability-Aware Instruction Set Customization for ASIPs with Hardened Logic. - Unmesh D. Bordoloi; Bogdan Tanasa; Mehdi Baradaran Tahoori; Petru Eles; Zebo Peng; Syed Zafar Shazli; Samarjit Chakraborty (RTCSA, 2012)

Schedulability Analysis for Processors with Aging-Aware Autonomic Frequency Scaling. - Alejandro Masrur; Philipp H. Kindt; Martin Becker 001; Samarjit Chakraborty; Veit Kleeberger; Martin Barke; Ulf Schlichtmann (RTCSA, 2012)

Challenges in automotive cyber-physical systems design. - Dip Goswami; Reinhard Schneider 001; Alejandro Masrur; Martin Lukasiewycz; Samarjit Chakraborty; Harald Voit; Anuradha Annaswamy (ICSAMOS, 2012)

Customizing Instruction Set Extensible Reconfigurable Processors Using GPUs. - Unmesh D. Bordoloi; Bharath Suri; Swaroop Nunna; Samarjit Chakraborty; Petru Eles; Zebo Peng (VLSI Design, 2012)

Keynote Talk: Challenges in Automotive Cyber-physical Systems Design. - Samarjit Chakraborty (VLSI Design, 2012)

Performance debugging of Esterel specifications. - Lei Ju 001; Bach Khoa Huynh; Abhik Roychoudhury; Samarjit Chakraborty (Real Time Syst., 2012)

Introduction to the Special Section on ESTIMedia'08. - Mladen Berekovic; Samarjit Chakraborty; Petru Eles; Andy D. Pimentel (ACM Trans. Embed. Comput. Syst., 2012)

Robust image processing for an omnidirectional camera-based smart car door. - Christian Scharfenberger; Samarjit Chakraborty; Georg Färber (ACM Trans. Embed. Comput. Syst., 2012)

Formal verification of distributed controllers using Time-Stamped Event Count Automata. - Matthias Kauer; Sebastian Steinhorst; Dip Goswami; Reinhard Schneider 001; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2013)

Schedule integration for time-triggered systems. - Florian Sagstetter; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2013)

Characterizing feedback signal drop patterns in formal verification of networked control systems. - Dip Goswami; Samarjit Chakraborty; Purandar Bhaduri; Sanjoy K. Mitter (CACSD, 2013)

Arbitrated Network Control Systems: A Co-Design of Control and Platform for Cyber-Physical Systems. - Anuradha M. Annaswamy; Damoon Soudbakhsh; Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty (CPSW@CISS, 2013)

Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization. - Wanli Chang 001; Martin Lukasiewycz; Sebastian Steinhorst; Samarjit Chakraborty (CODES+ISSS, 2013)

Let's put the car in your phone! - Martin Geier 001; Martin Becker 001; Daniel Yunge; Benedikt Dietrich; Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty (DAC, 2013)

Reliability challenges for electric vehicles: from devices to architecture and systems software. - Georg Georgakos; Ulf Schlichtmann; Reinhard Schneider 001; Samarjit Chakraborty (DAC, 2013)

Model-based development and verification of control software for electric vehicles. - Dip Goswami; Martin Lukasiewycz; Matthias Kauer; Sebastian Steinhorst; Alejandro Masrur; Samarjit Chakraborty; S. Ramesh 002 (DAC, 2013)

Modular system-level architecture for concurrent cell balancing. - Matthias Kauer; Swaminathan Naranayaswami; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty; Lars Hedrich (DAC, 2013)

System architecture and software design for electric vehicles. - Martin Lukasiewycz; Sebastian Steinhorst; Sidharta Andalam; Florian Sagstetter; Peter Waszecki; Wanli Chang 001; Matthias Kauer; Philipp Mundhenk; Shanker Shreejith; Suhaib A. Fahmy; Samarjit Chakraborty (DAC, 2013)

Quality-aware media scheduling on MPSoC platforms. - Deepak Gangadharan; Samarjit Chakraborty; Roger Zimmermann (DATE, 2013)

Multirate controller design for resource- and schedule-constrained automotive ECUs. - Dip Goswami; Alejandro Masrur; Reinhard Schneider 001; Chun Jason Xue; Samarjit Chakraborty (DATE, 2013)

Priority assignment for event-triggered systems using mathematical programming. - Martin Lukasiewycz; Sebastian Steinhorst; Samarjit Chakraborty (DATE, 2013)

Security challenges in automotive hardware/software architecture design. - Florian Sagstetter; Martin Lukasiewycz; Sebastian Steinhorst; Marko Wolf; Alexandre Bouard; William R. Harris; Somesh Jha; Thomas Peyrin; Axel Poschmann; Samarjit Chakraborty (DATE, 2013)

Compositional analysis of switched ethernet topologies. - Reinhard Schneider 001; Licong Zhang; Dip Goswami; Alejandro Masrur; Samarjit Chakraborty (DATE, 2013)

Power management using game state detection on android smartphones. - Benedikt Dietrich; Samarjit Chakraborty (MobiSys, 2013)

Stochastic modeling and performance analysis of multimedia SoCs. - Balaji Raman 001; Ayoub Nouri; Deepak Gangadharan; Marius Bozga; Ananda Basu; Mayur Maheshwari; Axel Legay; Saddek Bensalem; Samarjit Chakraborty (ICSAMOS, 2013)

Multi-layered scheduling of mixed-criticality cyber-physical systems. - Reinhard Schneider 001; Dip Goswami; Alejandro Masrur; Martin Becker 001; Samarjit Chakraborty (J. Syst. Archit., 2013)

Resource augmentation for uniprocessor and multiprocessor partitioned scheduling of sporadic real-time tasks. - Jian-Jia Chen; Samarjit Chakraborty (Real Time Syst., 2013)

How to engineer tool-chains for automotive E/E architectures? - Peter Waszecki; Martin Lukasiewycz; Alejandro Masrur; Samarjit Chakraborty (SIGBED Rev., 2013)

Exploration of Distributed Automotive Systems Using Compositional Timing Analysis. - Martin Lukasiewycz; Michael Glaß; Jürgen Teich; Samarjit Chakraborty (Embedded Systems Development, From Functional Models to Implementations, 2014)

Multi-Objective Diagnosis of Non-Permanent Faults in Many-Core Systems. - Peter Waszecki; Martin Lukasiewycz; Samarjit Chakraborty (ARCS Workshops, 2014)

Quality-aware video decoding on thermally-constrained MPSoC platforms. - Deepak Gangadharan; Jürgen Teich; Samarjit Chakraborty (ASAP, 2014)

Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification. - Matthias Kauer; Sebastian Steinhorst; Reinhard Schneider 001; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2014)

Implicit intermittent fault detection in distributed systems. - Peter Waszecki; Matthias Kauer; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2014)

Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems. - Licong Zhang; Dip Goswami; Reinhard Schneider 001; Samarjit Chakraborty (ASP-DAC, 2014)

The Medical Cyber-physical Systems Activity at EIT: A Look under the Hood. - Daniel Sonntag; Sonja Zillner; Samarjit Chakraborty; András Lörincz; Esko Strömmer; Luciano Serafini (CBMS, 2014)

Policy-based message scheduling using FlexRay. - Philipp Mundhenk; Florian Sagstetter; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (CODES+ISSS, 2014)

Smart Cells for Embedded Battery Management. - Sebastian Steinhorst; Martin Lukasiewycz; Swaminathan Narayanaswamy; Matthias Kauer; Samarjit Chakraborty (CPSNA, 2014)

Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges. - Jan-Hendrik Oetjens; Nico Bannow; Markus Becker 001; Oliver Bringmann 001; Andreas Burger; Moomen Chaari; Samarjit Chakraborty; Rolf Drechsler; Wolfgang Ecker; Kim Grüttner; Thomas Kruse; Christoph Kuznik; et al. (DAC, 2014)

Design Methods for Augmented Reality In-Vehicle Infotainment Systems. - Qing Rao; Christian Grünler; Markus Hammori; Samarjit Chakraborty (DAC, 2014)

Schedule Integration Framework for Time-Triggered Automotive Architectures. - Florian Sagstetter; Sidharta Andalam; Peter Waszecki; Martin Lukasiewycz; Hauke Stähle; Samarjit Chakraborty; Alois C. Knoll (DAC, 2014)

Fault-tolerant control synthesis and verification of distributed embedded systems. - Matthias Kauer; Damoon Soudbakhsh; Dip Goswami; Samarjit Chakraborty; Anuradha M. Annaswamy (DATE, 2014)

Optimal dimensioning of active cell balancing architectures. - Swaminathan Narayanaswamy; Sebastian Steinhorst; Martin Lukasiewycz; Matthias Kauer; Samarjit Chakraborty (DATE, 2014)

Forget the battery, let's play games! - Benedikt Dietrich; Samarjit Chakraborty (ESTIMedia, 2014)

Timing challenges in automotive software architectures. - Licong Zhang; Reinhard Schneider 001; Alejandro Masrur; Martin Becker 001; Martin Geier 001; Samarjit Chakraborty (ICSE Companion, 2014)

Fault-tolerant embedded control systems for unreliable hardware. - Dip Goswami; Daniel Mueller-Gritschneder; Twan Basten; Ulf Schlichtmann; Samarjit Chakraborty (ISIC, 2014)

Diagnosis-aware system design for automotive E/E architectures. - Peter Waszecki; Florian Sagstetter; Martin Lukasiewycz; Samarjit Chakraborty (ISIC, 2014)

Aging mitigation of power supply-connected batteries. - Jaemin Kim; Alma Pröbstl; Samarjit Chakraborty; Naehyuck Chang (ISLPED, 2014)

AR-IVI - Implementation of In-Vehicle Augmented Reality. - Qing Rao; Tobias Tropper; Christian Grünler; Markus Hammori; Samarjit Chakraborty (ISMAR, 2014)

Stixel on the Bus: An Efficient Lossless Compression Scheme for Depth Information in Traffic Scenarios. - Qing Rao; Christian Grünler; Markus Hammori; Samarjit Chakraborty (MMM (1), 2014)

Message from the Program and Track Chairs. - Richard West; James H. Anderson; Samarjit Chakraborty (RTAS, 2014)

Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles. - Wanli Chang 001; Alma Pröbstl; Dip Goswami; Majid Zamani 001; Samarjit Chakraborty (RTSS, 2014)

Precise Energy Modeling for the Bluetooth Low Energy Protocol. - Philipp H. Kindt; Daniel Yunge; Robert Diemer; Samarjit Chakraborty (CoRR, 2014)

Platform-Aware Design of Embedded Controllers. - Dip Goswami; Twan Basten; Samarjit Chakraborty (ERCIM News, 2014)

Lightweight graphics instrumentation for game state-specific power management in Android. - Benedikt Dietrich; Samarjit Chakraborty (Multim. Syst., 2014)

Relaxing Signal Delay Constraints in Distributed Embedded Controllers. - Dip Goswami; Reinhard Schneider 001; Samarjit Chakraborty (IEEE Trans. Control. Syst. Technol., 2014)

Quantifying Notions of Extensibility in FlexRay Schedule Synthesis. - Reinhard Schneider 001; Dip Goswami; Samarjit Chakraborty; Unmesh D. Bordoloi; Petru Eles; Zebo Peng (ACM Trans. Design Autom. Electr. Syst., 2014)

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow. - Martin Becker 001; Sajid Mohamed; Karsten Albers; P. P. Chakrabarti 001; Samarjit Chakraborty; Pallab Dasgupta; Soumyajit Dey; Ravindra Metta (APSEC, 2015)

Composing real-time applications from communicating black-box components. - Martin Becker 001; Alejandro Masrur; Samarjit Chakraborty (ASP-DAC, 2015)

Many-to-many active cell balancing strategy design. - Matthias Kauer; Swaminathan Narayanaswamy; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (ASP-DAC, 2015)

Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles. - Wanli Chang 001; Alma Pröbstl; Dip Goswami; Majid Zamani 001; Samarjit Chakraborty (CPSNA, 2015)

Security analysis of automotive architectures using probabilistic model checking. - Philipp Mundhenk; Sebastian Steinhorst; Martin Lukasiewycz; Suhaib A. Fahmy; Samarjit Chakraborty (DAC, 2015)

Inductor optimization for active cell balancing using geometric programming. - Matthias Kauer; Swaminathan Narayanaswamy; Martin Lukasiewycz; Sebastian Steinhorst; Samarjit Chakraborty (DATE, 2015)

Lightweight authentication for secure automotive networks. - Philipp Mundhenk; Sebastian Steinhorst; Martin Lukasiewycz; Suhaib A. Fahmy; Samarjit Chakraborty (DATE, 2015)

Hybrid Apps: Apps for the Internet of Things. - Daniel Yunge; Philipp H. Kindt; Michael Balszun; Samarjit Chakraborty (HPCC/CSS/ICESS, 2015)

ExPerio - Exploiting periodicity for opportunistic energy-efficient data transmission. - Philipp H. Kindt; Han Jing; Nadja Peters; Samarjit Chakraborty (INFOCOM, 2015)

Adaptive online power-management for Bluetooth Low Energy. - Philipp H. Kindt; Daniel Yunge; Mathias Gopp; Samarjit Chakraborty (INFOCOM, 2015)

Reconfigurable Communication Middleware for Flex Ray-Based Distributed Embedded Systems. - Diptesh Majumdar; Licong Zhang; Purandar Bhaduri; Samarjit Chakraborty (RTCSA, 2015)

Smart2: Smart Charging for Smart Phones. - Alma Pröbstl; Philipp H. Kindt; Emanuel Regnath; Samarjit Chakraborty (RTCSA, 2015)

Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles. - Martin Becker 001; Markus Neumair; Alexander Söhn; Samarjit Chakraborty (SAFECOMP Workshops, 2015)

Decentralized diagnosis of permanent faults in automotive E/E architectures. - Peter Waszecki; Martin Lukasiewycz; Samarjit Chakraborty (SAMOS, 2015)

Neighbor discovery latency in BLE-like duty-cycled protocols. - Philipp H. Kindt; Samarjit Chakraborty (CoRR, 2015)

Time Series Characterization of Gaming Workload for Runtime Power Management. - Benedikt Dietrich; Dip Goswami; Samarjit Chakraborty; Apratim Guha; Matthias Gries (IEEE Trans. Computers, 2015)

Guest Editorial Special Section on Automotive Embedded Systems and Software. - Samarjit Chakraborty; S. Ramesh 002 (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015)

Distributed reconfigurable Battery System Management Architectures. - Sebastian Steinhorst; Zili Shao; Samarjit Chakraborty; Matthias Kauer; Shuai Li 002; Martin Lukasiewycz; Swaminathan Narayanaswamy; Muhammad Usman Rafique; Qixin Wang (ASP-DAC, 2016)

Web browser workload characterization for power management on HMP platforms. - Nadja Peters; Sangyoung Park; Samarjit Chakraborty; Benedikt Meurer; Hannes Payer; Daniel Clifford (CODES+ISSS, 2016)

GigE Vision Data Acquisition for Visual Servoing using SG/DMA Proxying. - Martin Geier 001; Florian Pitzl; Samarjit Chakraborty (ESTIMedia, 2016)

Automated synthesis of cyber-physical systems from joint controller/architecture specifications. - Debayan Roy; Licong Zhang; Wanli Chang 001; Samarjit Chakraborty (FDL, 2016)

Dynamic service synthesis and switching for medical IoT and ambient assisted living. - Daniel Yunge; Sangyoung Park; Philipp H. Kindt; Graziano Pravadelli; Samarjit Chakraborty (HLDVT, 2016)

Model-based design of resource-efficient automotive control software. - Wanli Chang 001; Debayan Roy; Licong Zhang; Samarjit Chakraborty (ICCAD, 2016)

Design space exploration of drone infrastructure for large-scale delivery services. - Sangyoung Park; Licong Zhang; Samarjit Chakraborty (ICCAD, 2016)

Testing automotive embedded systems under X-in-the-loop setups. - Ghizlane Tibba; Christoph Malz; Christoph Stoermer; Natarajan Nagarajan; Licong Zhang; Samarjit Chakraborty (ICCAD, 2016)

Frame-based and thread-based power management for mobile games on HMP platforms. - Nadja Peters; Dominik Fuss; Sangyoung Park; Samarjit Chakraborty (ICCD, 2016)

TIC: a scalable model checking based approach to WCET estimation. - Ravindra Metta; Martin Becker 001; Prasad Bokil; Samarjit Chakraborty; R. Venkatesh 001 (LCTES, 2016)

Dynamic service switching for the medical IoT. - Philipp H. Kindt; Daniel Yunge; Andreas Tobola; Georg Fischer 001; Samarjit Chakraborty (PIMRC, 2016)

Multi-Objective Co-Optimization of FlexRay-Based Distributed Control Systems. - Debayan Roy; Licong Zhang; Wanli Chang 001; Dip Goswami; Samarjit Chakraborty (RTAS, 2016)

Schedule Management Framework for Cloud-Based Future Automotive Software Systems. - Licong Zhang; Debayan Roy; Philipp Mundhenk; Samarjit Chakraborty (RTCSA, 2016)

EG0N: Portable in-situ energy measurement for low-power sensor devices. - Nils Heitmann; Philipp H. Kindt; Samarjit Chakraborty (VDAT, 2016)

Trustworthy Cyber Physical Systems. - Anuradha Annaswamy; Samarjit Chakraborty; Dip Goswami; S. Ramesh 002; Marilyn Wolf (VLSID, 2016)

Technologies for Safe and Intelligent Transportation Systems. - Samarjit Chakraborty; S. Ramesh 002 (VLSID, 2016)

Slotless Protocols for Fast and Energy-Efficient Neighbor Discovery. - Philipp H. Kindt; Marco Saur; Samarjit Chakraborty (CoRR, 2016)

Automotive Cyber-Physical Systems: A Tutorial Introduction. - Samarjit Chakraborty; Mohammad Abdullah Al Faruque; Wanli Chang 001; Dip Goswami; Marilyn Wolf; Qi Zhu 002 (IEEE Des. Test, 2016)

Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems Approach. - Wanli Chang 001; Samarjit Chakraborty (Found. Trends Electron. Des. Autom., 2016)

Open source model and simulator for real-time performance analysis of automotive network security. - Philipp Mundhenk; Artur Mrowca; Sebastian Steinhorst; Martin Lukasiewycz; Suhaib A. Fahmy; Samarjit Chakraborty (SIGBED Rev., 2016)

State of the Journal. - Paolo Montuschi; Edward J. McCluskey; Samarjit Chakraborty; Jason Cong; Ramón M. Rodríguez-Dagnino; Fred Douglis; Lieven Eeckhout; Gernot Heiser; Sushil Jajodia; Ruby B. Lee; Dinesh Manocha; Tomás F. Pena; et al. (IEEE Trans. Computers, 2016)

Multischedule Synthesis for Variant Management in Automotive Time-Triggered Systems. - Florian Sagstetter; Peter Waszecki; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016)

Guest Editorial: Special Issue on Emerging Technologies in Embedded Software and Systems. - Dakai Zhu 001; Meikang Qiu; Samarjit Chakraborty (ACM Trans. Embed. Comput. Syst., 2016)

On Battery Recovery Effect in Wireless Sensor Nodes. - Swaminathan Narayanaswamy; Steffen Schlüter; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty; Harry Ernst Hoster (ACM Trans. Design Autom. Electr. Syst., 2016)

Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs. - Sebastian Steinhorst; Matthias Kauer; Arne Meeuw; Swaminathan Narayanaswamy; Martin Lukasiewycz; Samarjit Chakraborty (ACM Trans. Design Autom. Electr. Syst., 2016)

Dynamic Platforms for Uncertainty Management in Future Automotive E/E Architectures: Invited. - Philipp Mundhenk; Ghizlane Tibba; Licong Zhang; Felix Reimann; Debayan Roy; Samarjit Chakraborty (DAC, 2017)

Specification, Verification and Design of Evolving Automotive Software: Invited. - S. Ramesh 002; Birgit Vogel-Heuser; Wanli Chang 001; Debayan Roy; Licong Zhang; Samarjit Chakraborty (DAC, 2017)

Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited. - Qi Zhu 002; Hengyi Liang; Licong Zhang; Debayan Roy; Wenchao Li 001; Samarjit Chakraborty (DAC, 2017)

Sound4All: Towards affordable large-scale hearing screening. - Nils Heitmann; Philipp H. Kindt; Thomas Rosner; Kapil Sikka; Amit Chirom; Dinesh Kalyanasundaram; Samarjit Chakraborty (DTIS, 2017)

Estimating the Limits of CPU Power Management for Mobile Games. - Benedikt Dietrich; Nadja Peters; Sangyoung Park; Samarjit Chakraborty (ICCD, 2017)

Understanding slotless neighbor discovery: demo abstract. - Philipp H. Kindt; Nils Heitmann; Daniel Yunge; Samarjit Chakraborty (IPSN, 2017)

Griassdi: mutually assisted slotless neighbor discovery. - Philipp H. Kindt; Daniel Yunge; Gerhard Reinerth; Samarjit Chakraborty (IPSN, 2017)

EDA for cyber-physical systems. - Samarjit Chakraborty (ISED, 2017)

Battery assignment and scheduling for drone delivery businesses. - Sangyoung Park; Licong Zhang; Samarjit Chakraborty (ISLPED, 2017)

Hybrid Automotive In-Vehicle Networks. - Debayan Roy; Michael Balszun; Dip Goswami; Samarjit Chakraborty (NOCS, 2017)

Effectively utilizing elastic resources in networked control systems. - Michael Balszun; Debayan Roy; Licong Zhang; Wanli Chang 001; Samarjit Chakraborty (RTCSA, 2017)

Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014. - Martin Becker 001; Emanuel Regnath; Samarjit Chakraborty (SAFECOMP, 2017)

Stalwart: a Predictable Reliable Adaptive and Low-latency Real-time Wireless Protocol. - Romain Jacob; Jan Beutel; Lothar Thiele; Licong Zhang; Samarjit Chakraborty; Marco Zimmerling (SenSys, 2017)

TTW: A Time-Triggered-Wireless Design for CPS [ Extended version ]. - Romain Jacob; Licong Zhang; Marco Zimmerling; Jan Beutel; Samarjit Chakraborty; Lothar Thiele (CoRR, 2017)

Dynamic Alternation of Huffman Codebooks for Sensor Data Compression. - Daniel Yunge; Sangyoung Park; Philipp H. Kindt; Samarjit Chakraborty (IEEE Embed. Syst. Lett., 2017)

VEGa: A High Performance Vehicular Ethernet Gateway on Hybrid FPGA. - Shanker Shreejith; Philipp Mundhenk; Andreas Ettner; Suhaib A. Fahmy; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (IEEE Trans. Computers, 2017)

Memory-Aware Embedded Control Systems Design. - Wanli Chang 001; Dip Goswami; Samarjit Chakraborty; Lei Ju 001; Chun Jason Xue; Sidharta Andalam (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Rapid Analysis of Active Cell Balancing Circuits. - Matthias Kauer; Swaminathan Narayanaswamy; Sebastian Steinhorst; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Generalized Asynchronous Time-Triggered Scheduling for FlexRay. - Florian Sagstetter; Martin Lukasiewycz; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Automotive Electrical and Electronic Architecture Security via Distributed In-Vehicle Traffic Monitoring. - Peter Waszecki; Philipp Mundhenk; Sebastian Steinhorst; Martin Lukasiewycz; Ramesh Karri; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017)

Security in Automotive Networks: Lightweight Authentication and Authorization. - Philipp Mundhenk; Andrew Paverd; Artur Mrowca; Sebastian Steinhorst; Martin Lukasiewycz; Suhaib A. Fahmy; Samarjit Chakraborty (ACM Trans. Design Autom. Electr. Syst., 2017)

Modular Active Charge Balancing for Scalable Battery Packs. - Swaminathan Narayanaswamy; Matthias Kauer; Sebastian Steinhorst; Martin Lukasiewycz; Samarjit Chakraborty (IEEE Trans. Very Large Scale Integr. Syst., 2017)

Control/Architecture Codesign for Cyber-Physical Systems. - Wanli Chang 001; Licong Zhang; Debayan Roy; Samarjit Chakraborty (Handbook of Hardware/Software Codesign, 2017)

Cache-aware task scheduling for maximizing control performance. - Wanli Chang 001; Debayan Roy; Xiaobo Sharon Hu; Samarjit Chakraborty (DATE, 2018)

Design and validation of fault-tolerant embedded controllers. - Saurav Kumar Ghosh; Soumyajit Dey; Dip Goswami; Daniel Mueller-Gritschneder; Samarjit Chakraborty (DATE, 2018)

TTW: A Time-Triggered Wireless design for CPS. - Romain Jacob; Licong Zhang; Marco Zimmerling; Jan Beutel; Samarjit Chakraborty; Lothar Thiele (DATE, 2018)

Design optimization of photovoltaic arrays on curved surfaces. - Sangyoung Park; Samarjit Chakraborty (DATE, 2018)

SOH-aware active cell balancing strategy for high power battery packs. - Alma Pröbstl; Sangyoung Park; Swaminathan Narayanaswamy; Sebastian Steinhorst; Samarjit Chakraborty (DATE, 2018)

Hardware-accelerated data acquisition and authentication for high-speed video streams on future heterogeneous automotive processing platforms. - Martin Geier 001; Fabian Franzen; Samarjit Chakraborty (ICCAD, 2018)

Design automation for battery systems. - Swaminathan Narayanaswamy; Sangyoung Park; Sebastian Steinhorst; Samarjit Chakraborty (ICCAD, 2018)

Waterfall is too slow, let's go Agile: multi-domain coupling for synthesizing automotive cyber-physical systems. - Debayan Roy; Michael Balszun; Thomas Heurung; Samarjit Chakraborty; Amol Naik (ICCAD, 2018)

Phase-Aware Web Browser Power Management on HMP Platforms. - Nadja Peters; Sangyoung Park; Daniel Clifford; S. Kyostila; Ross McIlroy; Benedikt Meurer; Hannes Payer; Samarjit Chakraborty (ICS, 2018)

API for power-aware application design on mobile systems. - Nadja Peters; Sangyoung Park; Daniel Clifford; S. Kyostila; Ross McIlroy; Benedikt Meurer; Hannes Payer; Samarjit Chakraborty (MOBILESoft@ICSE, 2018)

Packing Sporadic Real-Time Tasks on Identical Multiprocessor Systems. - Jian-Jia Chen; Nikhil Bansal 001; Samarjit Chakraborty; Georg von der Brüggen (ISAAC, 2018)

Multi-Domain Coupling for Automated Synthesis of Distributed Cyber-Physical Systems. - Debayan Roy; Michael Balszun; Thomas Heurung; Samarjit Chakraborty (ISCAS, 2018)

Multi-Pattern Active Cell Balancing Architecture and Equalization Strategy for Battery Packs. - Swaminathan Narayanaswamy; Sangyoung Park; Sebastian Steinhorst; Samarjit Chakraborty (ISLPED, 2018)

Refining Task Specifications using Model Checking. - Anand Yeolekar; Ravindra Metta; R. Venkatesh 001; Samarjit Chakraborty (RTCSA, 2018)

Optimizing Worst-Case Execution Times Using Mainstream Compilers. - Martin Becker 001; Samarjit Chakraborty (SCOPES, 2018)

Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors. - Martin Becker 001; Ravindra Metta; R. Venkatesh 001; Samarjit Chakraborty (CoRR, 2018)

Fast Collision Simulation for Cyclic Wireless Protocols. - Philipp H. Kindt; Sangyoung Park; Samarjit Chakraborty (CoRR, 2018)

Measuring Software Performance on Linux. - Martin Becker 001; Samarjit Chakraborty (CoRR, 2018)

Semantics-Preserving Cosynthesis of Cyber-Physical Systems. - Debayan Roy; Licong Zhang; Wanli Chang 001; Sanjoy K. Mitter; Samarjit Chakraborty (Proc. IEEE, 2018)

OS-Aware Automotive Controller Design Using Non-Uniform Sampling. - Wanli Chang 001; Dip Goswami; Samarjit Chakraborty; Arne Hamann 001 (ACM Trans. Cyber Phys. Syst., 2018)

Neighbor Discovery Latency in BLE-Like Protocols. - Philipp H. Kindt; Marco Saur; Michael Balszun; Samarjit Chakraborty (IEEE Trans. Mob. Comput., 2018)

Tighter Dimensioning of Heterogeneous Multi-Resource Autonomous CPS with Control Performance Guarantees. - Debayan Roy; Wanli Chang 001; Sanjoy K. Mitter; Samarjit Chakraborty (DAC, 2019)

Cross-Layer Interactions in CPS for Performance and Certification. - Samarjit Chakraborty; James H. Anderson; Martin Becker 001; Helmut Graeb; Samiran Halder; Ravindra Metta; Lothar Thiele; Stavros Tripakis; Anand Yeolekar (DATE, 2019)

Exploiting System Dynamics for Resource-Efficient Automotive CPS Design. - Leslie Maldonado; Wanli Chang 001; Debayan Roy; Anuradha Annaswamy; Dip Goswami; Samarjit Chakraborty (DATE, 2019)

Cost/Privacy Co-optimization in Smart Energy Grids. - Alma Pröbstl; Sangyoung Park; Sebastian Steinhorst; Samarjit Chakraborty (DATE, 2019)

Cost-Effective Energy Monitoring of a Zynq-Based Real-Time System Including Dual Gigabit Ethernet. - Martin Geier 001; Dominik Faller; Marian Brändle; Samarjit Chakraborty (FCCM, 2019)

Multi-Stage Optimization for Energy-Efficient Active Cell Balancing in Battery Packs. - Debayan Roy; Swaminathan Narayanaswamy; Alma Pröbstl; Samarjit Chakraborty (ICCAD, 2019)

Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems. - Hengyi Liang; Zhilu Wang; Debayan Roy; Soumyajit Dey; Samarjit Chakraborty; Qi Zhu 002 (ICCD, 2019)

Power-aware Reliable Communication for the IoT. - Philipp H. Kindt; Samarjit Chakraborty (IOLTS, 2019)

Unsupervised and Supervised Learning with the Random Forest Algorithm for Traffic Scenario Clustering and Classification. - Friedrich Kruber; Jonas Wurst; Eduardo Sánchez Morales; Samarjit Chakraborty; Michael Botsch (IV, 2019)

Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper). - Martin Becker 001; Samarjit Chakraborty; Ravindra Metta; R. Venkatesh 001 (LCTES, 2019)

Optimal Scheduling for Active Cell Balancing. - Debayan Roy; Swaminathan Narayanaswamy; Alma Pröbstl; Samarjit Chakraborty (RTSS, 2019)

WCET Analysis meets Virtual Prototyping: Improving Source-Level Timing Annotations. - Martin Becker 001; Marius Pazaj; Samarjit Chakraborty (SCOPES, 2019)

On optimal neighbor discovery. - Philipp H. Kindt; Samarjit Chakraborty (SIGCOMM, 2019)

Challenges in IT Operations Management at a German University Chair - Ten Years in Retrospect. - Martin Geier 001; Samarjit Chakraborty (SIGUCCS, 2019)

In Situ Latency Monitoring for Heterogeneous Real-Time Systems. - Martin Geier 001; Tobias Burghart; Martin Hackl; Samarjit Chakraborty (VLSID, 2019)

A Valgrind Tool to Compute the Working Set of a Software Process. - Martin Becker 001; Samarjit Chakraborty (CoRR, 2019)

Efficient lossless compression for depth information in traffic scenarios. - Qing Rao; Samarjit Chakraborty (Multim. Syst., 2019)

Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking. - Martin Becker 001; Ravindra Metta; R. Venkatesh 001; Samarjit Chakraborty (Int. J. Softw. Tools Technol. Transf., 2019)

Optimal Dimensioning and Control of Active Cell Balancing Architectures. - Swaminathan Narayanaswamy; Sebastian Steinhorst; Martin Lukasiewycz; Matthias Kauer; Samarjit Chakraborty (IEEE Trans. Veh. Technol., 2019)

Late Breaking Results: Can You Hear Me? Towards an Ultra Low-Cost Hearing Screening Device. - Nils Heitmann; Philipp H. Kindt; Samarjit Chakraborty (DAC, 2020)

BrezeFlow: Unified Debugger for Android CPU Power Governors and Schedulers on Edge Devices. - Alexander Hoffman; Anuj Pathania; Philipp H. Kindt; Samarjit Chakraborty; Tulika Mitra (DAC, 2020)

CPS-oriented Modeling and Control of Traffic Signals Using Adaptive Back Pressure. - Wanli Chang 001; Debayan Roy; Shuai Zhao 004; Anuradha Annaswamy; Samarjit Chakraborty (DATE, 2020)

The Time-Triggered Wireless Architecture. - Romain Jacob; Licong Zhang; Marco Zimmerling; Jan Beutel; Samarjit Chakraborty; Lothar Thiele (ECRTS, 2020)

Designing a Single Speaker-based Ultra Low-Cost Otoacoustic Emission Hearing Screening Probe. - Nils Heitmann; Thomas Rosner; Samarjit Chakraborty (GHTC, 2020)

Design- Time Optimization of Reconfigurable PV Architectures for Irregular Surfaces. - Sangyoung Park; Swaminathan Narayanaswamy; Samarjit Chakraborty (ICCD, 2020)

Predictable Vision for Autonomous Systems. - Michael Balszun; Martin Geier 001; Samarjit Chakraborty (ISORC, 2020)

Vehicle Position Estimation with Aerial Imagery from Unmanned Aerial Vehicles. - Friedrich Kruber; Eduardo Sánchez Morales; Samarjit Chakraborty; Michael Botsch (IV, 2020)

Towards Building Better Mobile Web Browsers for Ad Blocking: The Energy Perspective (WiP Paper). - Nadja Heitmann; Benedikt Pirker; Sangyoung Park; Samarjit Chakraborty (LCTES, 2020)

Debugging FPGA-accelerated Real-time Systems. - Martin Geier 001; Marian Brändle; Dominik Faller; Samarjit Chakraborty (RTAS, 2020)

GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources. - Debayan Roy; Sumana Ghosh; Qi Zhu 002; Marco Caccamo; Samarjit Chakraborty (RTSS, 2020)

A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment. - Guoqi Xie; Haijie Gong; Yunbo Han; Samarjit Chakraborty; Wanli Chang 001 (RTSS, 2020)

Configuring loosely time-triggered wireless control software. - Philipp H. Kindt; Sumana Ghosh; Samarjit Chakraborty (SCOPES, 2020)

User-centric Resource Management for Embedded Multi-core Processors. - Elham Shamsa; Anil Kanduri; Nima Taherinejad; Alma Pröbstl; Samarjit Chakraborty; Amir M. Rahmani; Pasi Liljeberg (VLSID, 2020)

The Time-Triggered Wireless Architecture. - Romain Jacob; Licong Zhang; Marco Zimmerling; Samarjit Chakraborty; Lothar Thiele (CoRR, 2020)

The Time-Triggered Wireless Architecture (Artifact). - Romain Jacob; Licong Zhang; Marco Zimmerling; Jan Beutel; Samarjit Chakraborty; Lothar Thiele (Dagstuhl Artifacts Ser., 2020)

A Programmable Open Architecture Testbed for CPS Education. - Sumana Ghosh; Arnab Mondal; Philipp H. Kindt; Prateek Sharma; Yash Agarwal; Soumyajit Dey; Alok Kanti Deb; Samarjit Chakraborty (IEEE Des. Test, 2020)

Intelligent Chargers Will Make Mobile Devices Live Longer. - Alma Pröbstl; Bashima Islam; Shahriar Nirjon; Naehyuck Chang; Samarjit Chakraborty (IEEE Des. Test, 2020)

Introduction to the Special Issue on Transportation Cyber-Physical Systems. - Samarjit Chakraborty; Tian He 001 (ACM Trans. Cyber Phys. Syst., 2020)

Energy Modeling for the Bluetooth Low Energy Protocol. - Philipp H. Kindt; Daniel Yunge; Robert Diemer; Samarjit Chakraborty (ACM Trans. Embed. Comput. Syst., 2020)

Timing-Predictable Vision Processing for Autonomous Systems. - Tanya Amert; Michael Balszun; Martin Geier 001; F. Donelson Smith; James H. Anderson; Samarjit Chakraborty (DATE, 2021)

Perception Computing-Aware Controller Synthesis for Autonomous Systems. - Clara Hobbs; Debayan Roy; Parasara Sridhar Duggirala; F. Donelson Smith; Soheil Samii; James H. Anderson; Samarjit Chakraborty (DATE, 2021)

Timing Debugging for Cyber-Physical Systems. - Debayan Roy; Clara Hobbs; James H. Anderson; Marco Caccamo; Samarjit Chakraborty (DATE, 2021)

Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems. - Zhilu Wang; Chao Huang 015; Yixuan Wang 001; Clara Hobbs; Samarjit Chakraborty; Qi Zhu 002 (DATE, 2021)

Heterogeneous Communication Virtualization for Distributed Embedded Applications. - Thinh Hung Pham; Shanker Shreejith; Sebastian Steinhorst; Suhaib A. Fahmy; Samarjit Chakraborty (DSD, 2021)

Mass-deployable Smartphone-based Objective Hearing Screening with Otoacoustic Emissions. - Nils Heitmann; Thomas Rosner; Samarjit Chakraborty (ICMI, 2021)

Insert & Save: Energy Optimization in IP Core Integration for FPGA-based Real-time Systems. - Martin Geier 001; Marian Brändle; Samarjit Chakraborty (RTAS, 2021)

Work-in-Progress: Cooling by Core-Idling: Thermal-Aware Thread Scheduling for Mobile Multicore Processors. - Srijeeta Maity; Anirban Ghose; Soumyajit Dey; Sangyoung Park; Samarjit Chakraborty (RTSS, 2021)

Proactive feedback for networked CPS. - Sumana Ghosh; Arnab Mondal; Debayan Roy; Philipp H. Kindt; Soumyajit Dey; Samarjit Chakraborty (SAC, 2021)

Exploring planning and operations design space for EV charging stations. - Sangyoung Park; Alma Pröbstl; Wanli Chang 001; Anuradha Annaswamy; Samarjit Chakraborty (SAC, 2021)

Performance Limits of Neighbor Discovery in Wireless Networks. - Philipp H. Kindt; Samarjit Chakraborty (CoRR, 2021)

Guest Editors' Introduction: Cross-Layer Design of Cyber-Physical Systems. - Samarjit Chakraborty; Jian-Jia Chen; Anuradha Annaswamy; Devendra Rai (IEEE Des. Test, 2021)

Control Performance Optimization for Application Integration on Automotive Architectures. - Anna Minaeva; Debayan Roy; Benny Akesson; Zdenek Hanzálek; Samarjit Chakraborty (IEEE Trans. Computers, 2021)

UBAR: User- and Battery-aware Resource Management for Smartphones. - Elham Shamsa; Alma Pröbstl; Nima Taherinejad; Anil Kanduri; Samarjit Chakraborty; Amir M. Rahmani; Pasi Liljeberg (ACM Trans. Embed. Comput. Syst., 2021)

In-Vehicle Object-Level 3D Reconstruction of Traffic Scenes. - Qing Rao; Samarjit Chakraborty (IEEE Trans. Intell. Transp. Syst., 2021)

Checking Scheduling-Induced Violations of Control Safety Properties. - Anand Yeolekar; Ravindra Metta; Clara Hobbs; Samarjit Chakraborty (ATVA, 2022)

Process Dynamics-Aware Flexible Manufacturing for Industry 4.0. - Michael Balszun; Clara Hobbs; Enrico Fraccaroli; Debayan Roy; Franco Fummi; Samarjit Chakraborty (CASE, 2022)

BMC+Fuzz: Efficient and Effective Test Generation. - Ravindra Metta; Raveendra Kumar Medicherla; Samarjit Chakraborty (DATE, 2022)

Exploiting Process Dynamics in Multi-Stage Schedule Optimization for Flexible Manufacturing. - Michael Balszun; Clara Hobbs; Enrico Fraccaroli; Debayan Roy; Samarjit Chakraborty (ETFA, 2022)

Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties. - Bineet Ghosh; Clara Hobbs; Shengjie Xu; Parasara Sridhar Duggirala; James H. Anderson; P. S. Thiagarajan; Samarjit Chakraborty (RTCSA, 2022)

How reliable is smartphone-based electronic contact tracing for COVID-19? - Philipp H. Kindt; Trinad Chakraborty; Samarjit Chakraborty (Commun. ACM, 2022)

WiFiEye - Seeing over WiFi Made Accessible. - Philipp H. Kindt; Cristian Turetta; Florenc Demrozi; Alejandro Masrur; Graziano Pravadelli; Samarjit Chakraborty (CoRR, 2022)

Introduction to the Special Issue on Embedded Systems for Computer Vision. - Samarjit Chakraborty; Qing Rao (Leibniz Trans. Embed. Syst., 2022)

Micro- and Macroscopic Road Traffic Analysis using Drone Image Data. - Friedrich Kruber; Eduardo Sánchez Morales; Robin Egolf; Jonas Wurst; Samarjit Chakraborty; Michael Botsch (Leibniz Trans. Embed. Syst., 2022)

Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties. - Clara Hobbs; Bineet Ghosh; Shengjie Xu; Parasara Sridhar Duggirala; Samarjit Chakraborty (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

Tool Integration for Automated Synthesis of Distributed Embedded Controllers. - Debayan Roy; Licong Zhang; Wanli Chang 001; Dip Goswami; Birgit Vogel-Heuser; Samarjit Chakraborty (ACM Trans. Cyber Phys. Syst., 2022)

CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection. - Qingling Zhao; Mingqiang Chen; Zonghua Gu 001; Siyu Luan; Haibo Zeng 001; Samarjit Chakraborty (ACM Trans. Embed. Comput. Syst., 2022)

Optimizing BLE-Like Neighbor Discovery. - Philipp H. Kindt; Swaminathan Narayanaswamy; Marco Saur; Samarjit Chakraborty (IEEE Trans. Mob. Comput., 2022)

Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints. - Shengjie Xu; Bineet Ghosh; Clara Hobbs; P. S. Thiagarajan; Samarjit Chakraborty (ASP-DAC, 2023)

Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems. - Shengjie Xu; Bineet Ghosh; Clara Hobbs; Enrico Fraccaroli; Parasara Sridhar Duggirala; Samarjit Chakraborty (ATVA (1), 2023)

Autonomy-driven Emerging Directions in Software-defined Vehicles. - Unmesh D. Bordoloi; Samarjit Chakraborty; Markus Jochim; Prachi Joshi; Arvind Raghuraman; S. Ramesh 002 (DATE, 2023)

Timing Predictability for SOME/IP-based Service-Oriented Automotive In-Vehicle Networks. - Enrico Fraccaroli; Prachi Joshi; Shengjie Xu; Khaja Shazzad; Markus Jochim; Samarjit Chakraborty (DATE, 2023)

Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing. - Shengjie Xu; Bineet Ghosh; Clara Hobbs; P. S. Thiagarajan; Prachi Joshi; Samarjit Chakraborty (RTCSA, 2023)

Introduction to the Special Issue on Automotive CPS Safety & Security: Part 1. - Samarjit Chakraborty; Somesh Jha; Soheil Samii; Philipp Mundhenk (ACM Trans. Cyber Phys. Syst., 2023)

Special Session: Emerging Architecture Design, Control, and Security Challenges in Software Defined Vehicles. - Aya El-Fatyany; Xiaohang Wang 001; Parasara Sridhar Duggirala; Samarjit Chakraborty; Sudeep Pasricha; Amit Kumar Singh 002 (CODES+ISSS, 2024)

MTL-Split: Multi-Task Learning for Edge Devices using Split Computing. - Luigi Capogrosso; Enrico Fraccaroli; Samarjit Chakraborty; Franco Fummi; Marco Cristani (DAC, 2024)

Environmental Microchanges in WiFi Sensing. - Cristian Turetta; Philipp H. Kindt; Alejandro Masrur; Samarjit Chakraborty; Graziano Pravadelli; Florenc Demrozi (DATE, 2024)

Enhancing Split Computing and Early Exit Applications through Predefined Sparsity. - Luigi Capogrosso; Enrico Fraccaroli; Giulio Petrozziello; Francesco Setti; Samarjit Chakraborty; Franco Fummi; Marco Cristani (FDL, 2024)

GPU Partitioning & Neural Architecture Sizing for Safety-Driven Sensing in Autonomous Systems. - Shengjie Xu; Clara Hobbs; Yukai Song; Bineet Ghosh; Tingan Zhu; Sharmin Aktar; Lei Yang 018; Yi Sheng; Weiwen Jiang; Jingtong Hu; Parasara Sridhar Duggirala; Samarjit Chakraborty (ICAA, 2024)

Quantitative Safety-Driven Co-Synthesis of Cyber-Physical System Implementations. - Clara Hobbs; Shengjie Xu; Bineet Ghosh; Enrico Fraccaroli; Parasara Sridhar Duggirala; Samarjit Chakraborty (ICCPS, 2024)

Poster Abstract: Neural Architecture Sizing for Autonomous Systems. - Shengjie Xu; Clara Hobbs; Yukai Song; Bineet Ghosh; Sharmin Aktar; Lei Yang 018; Yi Sheng; Weiwen Jiang; Jingtong Hu; Parasara Sridhar Duggirala; Samarjit Chakraborty (ICCPS, 2024)

Artifact: WirelessEye - Seeing over WiFi Made Accessible. - Philipp H. Kindt; Cristian Turetta; Florenc Demrozi; Alejandro Masrur; Graziano Pravadelli; Samarjit Chakraborty (PerCom Workshops, 2024)

WirelessEye - Seeing over WiFi Made Accessible. - Philipp H. Kindt; Cristian Turetta; Florenc Demrozi; Alejandro Masrur; Graziano Pravadelli; Samarjit Chakraborty (PerCom Workshops, 2024)

Learning-Enabled CPS for Edge-Cloud Computing. - Luigi Capogrosso; Shengjie Xu; Enrico Fraccaroli; Marco Cristani; Franco Fummi; Samarjit Chakraborty (SIES, 2024)

Wear Leveling-Aware Active Battery Cell Balancing. - Enrico Fraccaroli; Seongik Jang; Logan Stach; Hoeseok Yang; Sangyoung Park; Samarjit Chakraborty (VLSID, 2024)

Certifiable and Efficient Autonomous Cyber-Physical Systems Design. - Shengjie Xu; Clara Hobbs; Bineet Ghosh; Parasara Sridhar Duggirala; Samarjit Chakraborty (VLSID, 2024)

SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties. - Anand Yeolekar; Ravindra Metta; Samarjit Chakraborty (VLSID, 2024)

To Balance or to Not? Battery Aging-Aware Active Cell Balancing for Electric Vehicles. - Enrico Fraccaroli; Seongik Jang; Logan Stach; Hoeseok Yang; Sangyoung Park; Samarjit Chakraborty (CoRR, 2024)

A shallow dive into the depths of non-termination checking for C programs. - Ravindra Metta; Hrishikesh Karmarkar; Kumar Madhukar; R. Venkatesh 001; Supratik Chakraborty; Samarjit Chakraborty (CoRR, 2024)

Statistical verification of autonomous system controllers under timing uncertainties. - Bineet Ghosh; Clara Hobbs; Shengjie Xu; F. Donelson Smith; James H. Anderson; P. S. Thiagarajan; Benjamin Berg; Parasara Sridhar Duggirala; Samarjit Chakraborty (Real Time Syst., 2024)

Introduction to the Special Issue on Automotive CPS Safety & Security: Part 2. - Samarjit Chakraborty; Somesh Jha; Soheil Samii; Philipp Mundhenk (ACM Trans. Cyber Phys. Syst., 2024)

Controllers for Edge-Cloud Cyber-Physical Systems. - Tingan Zhu; Prateek Ganguli; Arkaprava Gupta; Shengjie Xu; Luigi Capogrosso; Enrico Fraccaroli; Marco Cristani; Franco Fummi; Samarjit Chakraborty (COMSNETS, 2025)

SMT-Based Repairing Real-Time Task Specifications. - Anand Yeolekar; Ravindra Metta; Samarjit Chakraborty (DATE, 2025)

Repairing Control Safety Violations via Scheduler Patch Synthesis. - Anand Yeolekar; Supratik Chakraborty; R. Venkatesh 001; Samarjit Chakraborty (ICCPS, 2025)

Concurrent FFT Execution on GPUs in Real-Time. - Syed W. Ali; Joseph Goh; Joshua Bakita; Samarjit Chakraborty; James H. Anderson (PDP, 2025)

LO-SC: Local-Only Split Computing for Accurate Deep Learning on Edge Devices. - Luigi Capogrosso; Enrico Fraccaroli; Marco Cristani; Franco Fummi; Samarjit Chakraborty (VLSID, 2025)