Samarjit Chakraborty

According to our database1, Samarjit Chakraborty authored at least 291 papers between 1998 and 2019.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2019
Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking.
STTT, 2019

Efficient lossless compression for depth information in traffic scenarios.
Multimedia Syst., 2019

Challenges in IT Operations Management at a German University Chair - Ten Years in Retrospect.
CoRR, 2019

On Optimal Neighbor Discovery.
CoRR, 2019

Cost-effective Energy Monitoring of a Zynq-based Real-time System including dual Gigabit Ethernet.
CoRR, 2019

A Valgrind Tool to Compute the Working Set of a Software Process.
CoRR, 2019

In Situ Latency Monitoring for Heterogeneous Real-Time Systems.
Proceedings of the 32nd International Conference on VLSI Design and 2019 18th International Conference on Embedded Systems, 2019

On optimal neighbor discovery.
Proceedings of the ACM Special Interest Group on Data Communication, 2019

WCET Analysis meets Virtual Prototyping: Improving Source-Level Timing Annotations.
Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, 2019

Imprecision in WCET estimates due to library calls and how to reduce it (WIP paper).
Proceedings of the 20th ACM SIGPLAN/SIGBED International Conference on Languages, 2019

Unsupervised and Supervised Learning with the Random Forest Algorithm for Traffic Scenario Clustering and Classification.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Power-aware Reliable Communication for the IoT.
Proceedings of the 25th IEEE International Symposium on On-Line Testing and Robust System Design, 2019

Cost-Effective Energy Monitoring of a Zynq-Based Real-Time System Including Dual Gigabit Ethernet.
Proceedings of the 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2019

Cost/Privacy Co-optimization in Smart Energy Grids.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Exploiting System Dynamics for Resource-Efficient Automotive CPS Design.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Cross-Layer Interactions in CPS for Performance and Certification.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Tighter Dimensioning of Heterogeneous Multi-Resource Autonomous CPS with Control Performance Guarantees.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018
Neighbor Discovery Latency in BLE-Like Protocols.
IEEE Trans. Mob. Comput., 2018

OS-Aware Automotive Controller Design Using Non-Uniform Sampling.
TCPS, 2018

Semantics-Preserving Cosynthesis of Cyber-Physical Systems.
Proceedings of the IEEE, 2018

Measuring Software Performance on Linux.
CoRR, 2018

Packing Sporadic Real-Time Tasks on Identical Multiprocessor Systems.
CoRR, 2018

Fast Collision Simulation for Cyclic Wireless Protocols.
CoRR, 2018

Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors.
CoRR, 2018

Optimizing Worst-Case Execution Times Using Mainstream Compilers.
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018

Refining Task Specifications using Model Checking.
Proceedings of the 24th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2018

Multi-Pattern Active Cell Balancing Architecture and Equalization Strategy for Battery Packs.
Proceedings of the International Symposium on Low Power Electronics and Design, 2018

Multi-Domain Coupling for Automated Synthesis of Distributed Cyber-Physical Systems.
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018

Packing Sporadic Real-Time Tasks on Identical Multiprocessor Systems.
Proceedings of the 29th International Symposium on Algorithms and Computation, 2018

API for power-aware application design on mobile systems.
Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27, 2018

Phase-Aware Web Browser Power Management on HMP Platforms.
Proceedings of the 32nd International Conference on Supercomputing, 2018

Waterfall is too slow, let's go Agile: multi-domain coupling for synthesizing automotive cyber-physical systems.
Proceedings of the International Conference on Computer-Aided Design, 2018

Design automation for battery systems.
Proceedings of the International Conference on Computer-Aided Design, 2018

Hardware-accelerated data acquisition and authentication for high-speed video streams on future heterogeneous automotive processing platforms.
Proceedings of the International Conference on Computer-Aided Design, 2018

SOH-aware active cell balancing strategy for high power battery packs.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Design optimization of photovoltaic arrays on curved surfaces.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

TTW: A Time-Triggered Wireless design for CPS.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Design and validation of fault-tolerant embedded controllers.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Cache-aware task scheduling for maximizing control performance.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017
Control/Architecture Codesign for Cyber-Physical Systems.
Proceedings of the Handbook of Hardware/Software Codesign., 2017

Modular Active Charge Balancing for Scalable Battery Packs.
IEEE Trans. VLSI Syst., 2017

Security in Automotive Networks: Lightweight Authentication and Authorization.
ACM Trans. Design Autom. Electr. Syst., 2017

Automotive Electrical and Electronic Architecture Security via Distributed In-Vehicle Traffic Monitoring.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2017

Generalized Asynchronous Time-Triggered Scheduling for FlexRay.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2017

Rapid Analysis of Active Cell Balancing Circuits.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2017

Memory-Aware Embedded Control Systems Design.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2017

VEGa: A High Performance Vehicular Ethernet Gateway on Hybrid FPGA.
IEEE Trans. Computers, 2017

Dynamic Alternation of Huffman Codebooks for Sensor Data Compression.
Embedded Systems Letters, 2017

TTW: A Time-Triggered-Wireless Design for CPS [ Extended version ].
CoRR, 2017

Security in Automotive Networks: Lightweight Authentication and Authorization.
CoRR, 2017

Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014.
CoRR, 2017

Stalwart: a Predictable Reliable Adaptive and Low-latency Real-time Wireless Protocol.
Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017

Development and Verification of a Flight Stack for a High-Altitude Glider in Ada/SPARK 2014.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Effectively utilizing elastic resources in networked control systems.
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Hybrid Automotive In-Vehicle Networks.
Proceedings of the Eleventh IEEE/ACM International Symposium on Networks-on-Chip, 2017

Battery assignment and scheduling for drone delivery businesses.
Proceedings of the 2017 IEEE/ACM International Symposium on Low Power Electronics and Design, 2017

EDA for cyber-physical systems.
Proceedings of the 7th International Symposium on Embedded Computing and System Design, 2017

Griassdi: mutually assisted slotless neighbor discovery.
Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2017

Understanding slotless neighbor discovery: demo abstract.
Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2017

Estimating the Limits of CPU Power Management for Mobile Games.
Proceedings of the 2017 IEEE International Conference on Computer Design, 2017

Sound4All: Towards affordable large-scale hearing screening.
Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017

Extensibility-Driven Automotive In-Vehicle Architecture Design: Invited.
Proceedings of the 54th Annual Design Automation Conference, 2017

Specification, Verification and Design of Evolving Automotive Software: Invited.
Proceedings of the 54th Annual Design Automation Conference, 2017

Dynamic Platforms for Uncertainty Management in Future Automotive E/E Architectures: Invited.
Proceedings of the 54th Annual Design Automation Conference, 2017

2016
Cyber-Physical Co-Simulation Framework for Smart Cells in Scalable Battery Packs.
ACM Trans. Design Autom. Electr. Syst., 2016

On Battery Recovery Effect in Wireless Sensor Nodes.
ACM Trans. Design Autom. Electr. Syst., 2016

Guest Editorial: Special Issue on Emerging Technologies in Embedded Software and Systems.
ACM Trans. Embedded Comput. Syst., 2016

Multischedule Synthesis for Variant Management in Automotive Time-Triggered Systems.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2016

State of the Journal.
IEEE Trans. Computers, 2016

Open source model and simulator for real-time performance analysis of automotive network security.
SIGBED Review, 2016

Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems Approach.
Foundations and Trends in Electronic Design Automation, 2016

Automotive Cyber-Physical Systems: A Tutorial Introduction.
IEEE Design & Test, 2016

Slotless Protocols for Fast and Energy-Efficient Neighbor Discovery.
CoRR, 2016

Technologies for Safe and Intelligent Transportation Systems.
Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

Trustworthy Cyber Physical Systems.
Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016

EG0N: Portable in-situ energy measurement for low-power sensor devices.
Proceedings of the 20th International Symposium on VLSI Design and Test, 2016

Schedule Management Framework for Cloud-Based Future Automotive Software Systems.
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016

Multi-Objective Co-Optimization of FlexRay-Based Distributed Control Systems.
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016

Dynamic service switching for the medical IoT.
Proceedings of the 27th IEEE Annual International Symposium on Personal, 2016

TIC: a scalable model checking based approach to WCET estimation.
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016

Frame-based and thread-based power management for mobile games on HMP platforms.
Proceedings of the 34th IEEE International Conference on Computer Design, 2016

Testing automotive embedded systems under X-in-the-loop setups.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Design space exploration of drone infrastructure for large-scale delivery services.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Model-based design of resource-efficient automotive control software.
Proceedings of the 35th International Conference on Computer-Aided Design, 2016

Dynamic service synthesis and switching for medical IoT and ambient assisted living.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2016

Automated synthesis of cyber-physical systems from joint controller/architecture specifications.
Proceedings of the 2016 Forum on Specification and Design Languages, 2016

GigE Vision Data Acquisition for Visual Servoing using SG/DMA Proxying.
Proceedings of the 14th ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2016

Web browser workload characterization for power management on HMP platforms.
Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2016

Distributed reconfigurable Battery System Management Architectures.
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016

2015
Guest Editorial Special Section on Automotive Embedded Systems and Software.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2015

Time Series Characterization of Gaming Workload for Runtime Power Management.
IEEE Trans. Computers, 2015

Neighbor discovery latency in BLE-like duty-cycled protocols.
CoRR, 2015

Approaches for Software Verification of an Emergency Recovery System for Micro Air Vehicles.
CoRR, 2015

Decentralized diagnosis of permanent faults in automotive E/E architectures.
Proceedings of the 2015 International Conference on Embedded Computer Systems: Architectures, 2015

Approaches for Software Verification of An Emergency Recovery System for Micro Air Vehicles.
Proceedings of the Computer Safety, Reliability, and Security, 2015

Smart2: Smart Charging for Smart Phones.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015

Reconfigurable Communication Middleware for Flex Ray-Based Distributed Embedded Systems.
Proceedings of the 21st IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2015

Adaptive online power-management for Bluetooth Low Energy.
Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

ExPerio - Exploiting periodicity for opportunistic energy-efficient data transmission.
Proceedings of the 2015 IEEE Conference on Computer Communications, 2015

Hybrid Apps: Apps for the Internet of Things.
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

Lightweight authentication for secure automotive networks.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Inductor optimization for active cell balancing using geometric programming.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Security analysis of automotive architectures using probabilistic model checking.
Proceedings of the 52nd Annual Design Automation Conference, 2015

Reliable CPS Design for Mitigating Semiconductor and Battery Aging in Electric Vehicles.
Proceedings of the 2015 IEEE 3rd International Conference on Cyber-Physical Systems, 2015

Many-to-many active cell balancing strategy design.
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

Composing real-time applications from communicating black-box components.
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015

Timing Analysis of Safety-Critical Automotive Software: The AUTOSAFE Tool Flow.
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015

2014
Quantifying Notions of Extensibility in FlexRay Schedule Synthesis.
ACM Trans. Design Autom. Electr. Syst., 2014

Relaxing Signal Delay Constraints in Distributed Embedded Controllers.
IEEE Trans. Contr. Sys. Techn., 2014

Lightweight graphics instrumentation for game state-specific power management in Android.
Multimedia Syst., 2014

Platform-Aware Design of Embedded Controllers.
ERCIM News, 2014

Precise Energy Modeling for the Bluetooth Low Energy Protocol.
CoRR, 2014

Battery- and Aging-Aware Embedded Control Systems for Electric Vehicles.
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014

Message from the Program and Track Chairs.
Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium, 2014

Stixel on the Bus: An Efficient Lossless Compression Scheme for Depth Information in Traffic Scenarios.
Proceedings of the MultiMedia Modeling - 20th Anniversary International Conference, 2014

AR-IVI - Implementation of In-Vehicle Augmented Reality.
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality, 2014

Aging mitigation of power supply-connected batteries.
Proceedings of the International Symposium on Low Power Electronics and Design, 2014

Diagnosis-aware system design for automotive E/E architectures.
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

Fault-tolerant embedded control systems for unreliable hardware.
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014

Timing challenges in automotive software architectures.
Proceedings of the 36th International Conference on Software Engineering, 2014

Forget the battery, let's play games!
Proceedings of the 12th IEEE Symposium on Embedded Systems for Real-time Multimedia, 2014

Optimal dimensioning of active cell balancing architectures.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Fault-tolerant control synthesis and verification of distributed embedded systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

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

Design Methods for Augmented Reality In-Vehicle Infotainment Systems.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014


Smart Cells for Embedded Battery Management.
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014

Policy-based message scheduling using FlexRay.
Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014

The Medical Cyber-physical Systems Activity at EIT: A Look under the Hood.
Proceedings of the 2014 IEEE 27th International Symposium on Computer-Based Medical Systems, 2014

Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems.
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

Implicit intermittent fault detection in distributed systems.
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification.
Proceedings of the 19th Asia and South Pacific Design Automation Conference, 2014

Quality-aware video decoding on thermally-constrained MPSoC platforms.
Proceedings of the IEEE 25th International Conference on Application-Specific Systems, 2014

Multi-Objective Diagnosis of Non-Permanent Faults in Many-Core Systems.
Proceedings of the ARCS 2014, 2014

Exploration of Distributed Automotive Systems Using Compositional Timing Analysis.
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014

2013
How to engineer tool-chains for automotive E/E architectures?
SIGBED Review, 2013

Resource augmentation for uniprocessor and multiprocessor partitioned scheduling of sporadic real-time tasks.
Real-Time Systems, 2013

Multi-layered scheduling of mixed-criticality cyber-physical systems.
Journal of Systems Architecture - Embedded Systems Design, 2013

Stochastic modeling and performance analysis of multimedia SoCs.
Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013

Power management using game state detection on android smartphones.
Proceedings of the 11th Annual International Conference on Mobile Systems, 2013

Compositional analysis of switched ethernet topologies.
Proceedings of the Design, Automation and Test in Europe, 2013

Security challenges in automotive hardware/software architecture design.
Proceedings of the Design, Automation and Test in Europe, 2013

Priority assignment for event-triggered systems using mathematical programming.
Proceedings of the Design, Automation and Test in Europe, 2013

Multirate controller design for resource- and schedule-constrained automotive ECUs.
Proceedings of the Design, Automation and Test in Europe, 2013

Quality-aware media scheduling on MPSoC platforms.
Proceedings of the Design, Automation and Test in Europe, 2013

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

Modular system-level architecture for concurrent cell balancing.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Model-based development and verification of control software for electric vehicles.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Reliability challenges for electric vehicles: from devices to architecture and systems software.
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Let's put the car in your phone!
Proceedings of the 50th Annual Design Automation Conference 2013, 2013

Dimensioning and configuration of EES systems for electric vehicles with boundary-conditioned adaptive scalarization.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

Arbitrated Network Control Systems: A Co-Design of Control and Platform for Cyber-Physical Systems.
Proceedings of the Control of Cyber-Physical Systems, 2013

Characterizing feedback signal drop patterns in formal verification of networked control systems.
Proceedings of the 2013 IEEE International Symposium on Computer-Aided Control System Design, 2013

Schedule integration for time-triggered systems.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

Formal verification of distributed controllers using Time-Stamped Event Count Automata.
Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2012
Robust image processing for an omnidirectional camera-based smart car door.
ACM Trans. Embedded Comput. Syst., 2012

Introduction to the Special Section on ESTIMedia'08.
ACM Trans. Embedded Comput. Syst., 2012

Performance debugging of Esterel specifications.
Real-Time Systems, 2012

Keynote Talk: Challenges in Automotive Cyber-physical Systems Design.
Proceedings of the 25th International Conference on VLSI Design, 2012

Customizing Instruction Set Extensible Reconfigurable Processors Using GPUs.
Proceedings of the 25th International Conference on VLSI Design, 2012

Challenges in automotive cyber-physical systems design.
Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012

Schedulability Analysis for Processors with Aging-Aware Autonomic Frequency Scaling.
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Reliability-Aware Instruction Set Customization for ASIPs with Hardened Logic.
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012

Managing power for closed-source android os games by lightweight graphics instrumentation.
Proceedings of the 11th Annual Workshop on Network and Systems Support for Games, 2012

Anti-trap protection for an intelligent smart car door system.
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

Motion stereo-based collision avoidance for an intelligent smart car door system.
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012

QoC-oriented efficient schedule synthesis for mixed-criticality cyber-physical systems.
Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Partitioned Packing and Scheduling for Sporadic Real-Time Tasks in Identical Multiprocessor Systems.
Proceedings of the 24th Euromicro Conference on Real-Time Systems, 2012

Cyber-Physical Systems Design for Electric Vehicles.
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012

Timing analysis of cyber-physical applications for hybrid communication protocols.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Time-triggered implementations of mixed-criticality automotive software.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

Embedded systems and software challenges in electric vehicles.
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012

A hybrid approach to cyber-physical systems verification.
Proceedings of the 49th Annual Design Automation Conference 2012, 2012

Concurrent architecture and schedule optimization of time-triggered automotive systems.
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

Adaptive switching controllers for tracking with hybrid communication protocols.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Interface-Based Design of Real-Time Systems.
Proceedings of the Advances in Real-Time Systems (to Georg Färber on the occasion of his appointment as Professor Emeritus at TU München after leading the Lehrstuhl für Realzeit-Computersysteme for 34 illustrious years)., 2012

Modular scheduling of distributed heterogeneous time-triggered automotive systems.
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012

Adaptive switching controllers for systems with hybrid communication protocols.
Proceedings of the American Control Conference, 2012

2011
Multiprocessor extensions to real-time calculus.
Real-Time Systems, 2011

Schedulability analysis of distributed cyber-physical applications on mixed time-/event-triggered bus architectures with retransmissions.
Proceedings of the Industrial Embedded Systems (SIES), 2011

Resource Augmentation Bounds for Approximate Demand Bound Functions.
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011

Video Quality Driven Buffer Sizing via Frame Drops.
Proceedings of the 17th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2011

Near-Optimal Constant-Time Admission Control for DM Tasks via Non-uniform Approximations.
Proceedings of the 17th IEEE Real-Time and Embedded Technology and Applications Symposium, 2011

Automatic generation of topological indoor maps for real-time map-based localization and tracking.
Proceedings of the 2011 International Conference on Indoor Positioning and Indoor Navigation, 2011

Video quality-driven buffer dimensioning in MPSoC platforms via prioritized frame drops.
Proceedings of the IEEE 29th International Conference on Computer Design, 2011

Shadow-based vehicle model refinement and tracking in advanced automotive driver assistance systems.
Proceedings of the 9th IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2011

Timing and schedulability analysis for distributed automotive control applications.
Proceedings of the 11th International Conference on Embedded Software, 2011

Cross-layer analysis, testing and verification of automotive control software.
Proceedings of the 11th International Conference on Embedded Software, 2011

FlexRay switch scheduling - A networking concept for electric vehicles.
Proceedings of the Design, Automation and Test in Europe, 2011

Re-engineering cyber-physical control applications for hybrid communication protocols.
Proceedings of the Design, Automation and Test in Europe, 2011

On the quantification of sustainability and extensibility of FlexRay schedules.
Proceedings of the 48th Design Automation Conference, 2011

Constraint-driven synthesis and tool-support for FlexRay-based automotive control systems.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

On buffering with stochastic guarantees in resource-constrained media players.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011

Designing VM schedulers for embedded real-time applications.
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011


Co-design of cyber-physical systems via controllers with flexible delay constraints.
Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

Fast hybrid simulation for accurate decoded video quality assessment on MPSoC platforms with resource constraints.
Proceedings of the 16th Asia South Pacific Design Automation Conference, 2011

2010
GPU-based Acceleration of System-level Design Tasks.
International Journal of Parallel Programming, 2010

EMSOFT 2009 guest editors' introduction.
Design Autom. for Emb. Sys., 2010

High-level timing analysis of concurrent applications on MPSoC platforms using memory-aware trace-driven simulations.
Proceedings of the 18th IEEE/IFIP VLSI-SoC 2010, 2010

Optimizing Hierarchical Schedules for Improved Control Performance.
Proceedings of the IEEE Fifth International Symposium on Industrial Embedded Systems, 2010

Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2010

Design space exploration of instruction set customizable MPSoCs for multimedia applications.
Proceedings of the 2010 International Conference on Embedded Computer Systems: Architectures, 2010

VM-Based Real-Time Services for Automotive Control Applications.
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010

An Interface Algebra for Estimating Worst-Case Traversal Times in Component Networks.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Special Track on Worst Case Traversal Time (WCTT).
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Driver Body-Height Prediction for an Ergonomically Optimized Ingress Using a Single Omnidirectional Camera.
Proceedings of the 20th International Conference on Pattern Recognition, 2010

LMS-based low-complexity game workload prediction for DVFS.
Proceedings of the 28th International Conference on Computer Design, 2010

APESER 2010 Keynote Speech: Samarjit Chakraborty.
Proceedings of the 2010 IEEE/ACM Int'l Conference on Green Computing and Communications, 2010

Optimized Schedule Synthesis under Real-Time Constraints for the Dynamic Segment of FlexRay.
Proceedings of the IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, 2010

Modeling buffers with data refresh semantics in automotive architectures.
Proceedings of the 10th International conference on Embedded software, 2010

Model-based analysis, synthesis and testing of automotive hardware/software architectures.
Proceedings of the 10th International conference on Embedded software, 2010

Constant-Time Admission Control for Partitioned EDF.
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010

Constant-time admission control for Deadline Monotonic tasks.
Proceedings of the Design, Automation and Test in Europe, 2010

Timing analysis of esterel programs on general-purpose multiprocessors.
Proceedings of the 47th Design Automation Conference, 2010

Comparing Bluetooth HDP and SPP for Mobile Health Devices.
Proceedings of the International Conference on Body Sensor Networks, 2010

Tuning Machine-Learning Algorithms for Battery-Operated Portable Devices.
Proceedings of the Information Retrieval Technology, 2010

2009
Cache-aware timing analysis of streaming applications.
Real-Time Systems, 2009

Cache-aware optimization of BAN applications.
Design Autom. for Emb. Sys., 2009

Power Management for Mobile Multimedia: From Audio to Video & Games.
Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009

Accelerating System-Level Design Tasks Using Commodity Graphics Hardware: A Case Study.
Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009

Timing Analysis of Mixed Time/Event-Triggered Multi-Mode Systems.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Multiprocessor Extensions to Real-Time Calculus.
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009

Lightweight Modeling of Complex State Dependencies in Stream Processing Systems.
Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

Robust image processing for an omnidirectional camera-based smart car door.
Proceedings of the 7th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2009

2009 IEEE/ACM/IFIP 7th workshop on embedded systems for Real-Time multimedia (ESTIMedia 2009).
Proceedings of the 7th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2009

Context-sensitive timing analysis of Esterel programs.
Proceedings of the 46th Design Automation Conference, 2009

Designing heterogeneous ECU networks via compact architecture encoding and hybrid timing analysis.
Proceedings of the 46th Design Automation Conference, 2009

Evaluating design trade-offs in customizable processors.
Proceedings of the 46th Design Automation Conference, 2009

Fast model-based test case classification for performance analysis of multimedia MPSoC platforms.
Proceedings of the 7th International Conference on Hardware/Software Codesign and System Synthesis, 2009

A DECOMSYS based tool-chain for analyzing FlexRay based automotive control applications.
Proceedings of the IEEE Conference on Automation Science and Engineering, 2009

2008
Application-specific workload shaping in multimedia-enabled personal mobile devices.
ACM Trans. Embedded Comput. Syst., 2008

Watermarking Video Clips with Workload Information for DVS.
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

Power Management of Interactive 3D Games Using Frame Structures.
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

Programming and Performance Modelling of Automotive ECU Networks.
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008

A Multi-mode Real-Time Calculus.
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008

Schedulability Analysis of MSC-based System Models.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

A Hybrid DVS Scheme for Interactive 3D Games.
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008

Multimedia power management on a platter: from audio to video & games.
Proceedings of the 16th International Conference on Multimedia 2008, 2008

Formal Methods in System and MpSoC Performance Analysis and Optimisation.
Proceedings of the Design, Automation and Test in Europe, 2008

Control theory-based DVS for interactive 3D games.
Proceedings of the 45th Design Automation Conference, 2008

Intra- and inter-processor hybrid performance modeling for MPSoC architectures.
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

Cache-aware optimization of BAN applications.
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

Performance debugging of Esterel specifications.
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008

2007
Editorial for the Special Issue on Field Programmable Technology.
VLSI Signal Processing, 2007

Interactive schedulability analysis.
ACM Trans. Embedded Comput. Syst., 2007

Tutorial T8B: Performance Debugging of Complex Embedded Systems.
Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007

Path-Constrained Relaxed Schedulability Analysis.
Proceedings of the Ninth International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2007

Composing Functional and State-Based Performance Models for Analyzing Heterogeneous Real-Time Systems.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007

Fast Schedulability Analysis Using Commodity Graphics Hardware.
Proceedings of the 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2007), 2007

Performance Debugging of Real-Time Systems Using Multicriteria Schedulability Analysis.
Proceedings of the 13th IEEE Real-Time and Embedded Technology and Applications Symposium, 2007

Cache-Aware Timing Analysis of Streaming Applications.
Proceedings of the 19th Euromicro Conference on Real-Time Systems, 2007

Accounting for cache-related preemption delay in dynamic priority schedulability analysis.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Reducing Data-Memory Footprint of Multimedia Applications by Delay Redistribution.
Proceedings of the 44th Design Automation Conference, 2007

Performance Analysis of FlexRay-based ECU Networks.
Proceedings of the 44th Design Automation Conference, 2007

2006
Interface-Based Rate Analysis of Embedded Systems.
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006

A Framework for Compositional and Hierarchical Real-Time Scheduling.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Generalized Rate Analysis for Media-Processing Platforms.
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006

Interactive Schedulability Analysis.
Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2006), 2006

Flexible modelling and performance debugging of real-time embedded multimedia systems.
Proceedings of the 14th ACM International Conference on Multimedia, 2006

Schedulability analysis of non-preemptive recurring real-time tasks.
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006

Games are up for DVFS.
Proceedings of the 43rd Design Automation Conference, 2006

Application-specific workload shaping in multimedia-enabled personal mobile devices.
Proceedings of the 4th International Conference on Hardware/Software Codesign and System Synthesis, 2006

2005
Event Count Automata: A State-Based Model for Stream Processing Systems.
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Meeting CPU constraints by delaying playout of multimedia tasks.
Proceedings of the Network and Operating System Support for Digital Audio and Video, 2005

Power-aware bandwidth and stereo-image scalable audio decoding.
Proceedings of the 13th ACM International Conference on Multimedia, 2005

Using offline bitstream analysis for power-aware video decoding in portable devices.
Proceedings of the 13th ACM International Conference on Multimedia, 2005

Workload Characterization and Cost-Quality Tradeoffs in MPEG-4 Decoding on Resource-Constrained Devices.
Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005

A Perception-Aware Low-Power Software Audio Decoder for Portable Devices.
Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005

A New Task Model for Streaming Applications and Its Schedulability Analysis.
Proceedings of the 2005 Design, 2005

Approximate VCCs: a new characterization of multimedia workloads for system-level MpSoC design.
Proceedings of the 42nd Design Automation Conference, 2005

DVS for buffer-constrained architectures with predictable QoS-energy tradeoffs.
Proceedings of the 3rd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2005

Towards a Framework for System-Level Design of Multiprocessor SoC Platforms for Media Processing.
Proceedings of the 16th IEEE International Conference on Application-Specific Systems, 2005

2004
Evaluating Schedulers for Multimedia Processing on Buffer-Constrained SoC Platforms.
IEEE Design & Test of Computers, 2004

Processor Frequency Selection for SoC Platforms for Multimedia Applications.
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004

Identifying "representative" workloads in designing MpSoC platforms for media processing.
Proceedings of the 2nd Workshop on Embedded Systems for Real-Time Multimedia, 2004

Tuning SoC platforms for multimedia processing: identifying limits and tradeoffs.
Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2004

Rate analysis for streaming applications with on-chip buffer constraints.
Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004

2003
Performance evaluation of network processor architectures: combining simulation with analytical estimation.
Computer Networks, 2003

A General Framework for Analysing System Properties in Platform-Based Embedded System Designs.
Proceedings of the 2003 Design, 2003

2002
Approximate Schedulability Analysis.
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002

Supporting a Low Delay Best-Effort Class in the Presence of Real-Time Traffic.
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002

A framework for evaluating design tradeoffs in packet processing architectures.
Proceedings of the 39th Design Automation Conference, 2002

Schedulability of event-driven code blocks in real-time embedded systems.
Proceedings of the 39th Design Automation Conference, 2002

2001
Generating an action notation environment from Montages descriptions.
STTT, 2001

On the Complexity of Scheduling Conditional Real-Time Code.
Proceedings of the Algorithms and Data Structures, 7th International Workshop, 2001

Embedded Software in Network Processors - Models and Algorithms.
Proceedings of the Embedded Software, First International Workshop, 2001

2000
Computing Largest Common Point Sets under Approximate Congruence.
Proceedings of the Algorithms, 2000

1999
Approximation Algorithms for 3-D Commom Substructure Identification in Drug and Protein Molecules.
Proceedings of the Algorithms and Data Structures, 6th International Workshop, 1999

Model-Based Object Recognition from a Complex Binary Imagery Using Genetic Algorithm.
Proceedings of the Evolutionary Image Analysis, 1999

1998
Analytic Curve Detection from a Noisy Binary Edge Map Using Genetic Algorithm.
Proceedings of the Parallel Problem Solving from Nature, 1998


  Loading...