Samarjit Chakraborty

Orcid: 0000-0002-0503-6235

Affiliations:
  • University of North Carolina at Chapel Hill, USA
  • Technical University Munich, Germany (2008-2019)
  • National University of Singapore (2003-2008)
  • ETH Zurich, Switzerland (PhD 2003)
  • IIT Kanpur, India (pre PhD)


According to our database1, Samarjit Chakraborty authored at least 344 papers between 1998 and 2024.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
To Balance or to Not? Battery Aging-Aware Active Cell Balancing for Electric Vehicles.
CoRR, 2024

SMT-based Control Safety Property Checking in Cyber-Physical Systems under Timing Uncertainties.
Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

Certifiable and Efficient Autonomous Cyber-Physical Systems Design.
Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

Wear Leveling-Aware Active Battery Cell Balancing.
Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024

2023
Introduction to the Special Issue on Automotive CPS Safety & Security: Part 1.
ACM Trans. Cyber Phys. Syst., January, 2023

Safety-Aware Implementation of Control Tasks via Scheduling with Period Boosting and Compressing.
Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

Timing Predictability for SOME/IP-based Service-Oriented Automotive In-Vehicle Networks.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Autonomy-driven Emerging Directions in Software-defined Vehicles.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

Statistical Approach to Efficient and Deterministic Schedule Synthesis for Cyber-Physical Systems.
Proceedings of the Automated Technology for Verification and Analysis, 2023

Safety-Aware Flexible Schedule Synthesis for Cyber-Physical Systems Using Weakly-Hard Constraints.
Proceedings of the 28th Asia and South Pacific Design Automation Conference, 2023

2022
Optimizing BLE-Like Neighbor Discovery.
IEEE Trans. Mob. Comput., 2022

CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection.
ACM Trans. Embed. Comput. Syst., 2022

Tool Integration for Automated Synthesis of Distributed Embedded Controllers.
ACM Trans. Cyber Phys. Syst., 2022

Safety Analysis of Embedded Controllers Under Implementation Platform Timing Uncertainties.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

Micro- and Macroscopic Road Traffic Analysis using Drone Image Data.
Leibniz Trans. Embed. Syst., 2022

Introduction to the Special Issue on Embedded Systems for Computer Vision.
Leibniz Trans. Embed. Syst., 2022

WiFiEye - Seeing over WiFi Made Accessible.
CoRR, 2022

How reliable is smartphone-based electronic contact tracing for COVID-19?
Commun. ACM, 2022

Statistical Hypothesis Testing of Controller Implementations Under Timing Uncertainties.
Proceedings of the 28th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2022

Exploiting Process Dynamics in Multi-Stage Schedule Optimization for Flexible Manufacturing.
Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

BMC+Fuzz: Efficient and Effective Test Generation.
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022

Process Dynamics-Aware Flexible Manufacturing for Industry 4.0.
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022

Checking Scheduling-Induced Violations of Control Safety Properties.
Proceedings of the Automated Technology for Verification and Analysis, 2022

2021
In-Vehicle Object-Level 3D Reconstruction of Traffic Scenes.
IEEE Trans. Intell. Transp. Syst., 2021

UBAR: User- and Battery-aware Resource Management for Smartphones.
ACM Trans. Embed. Comput. Syst., 2021

Control Performance Optimization for Application Integration on Automotive Architectures.
IEEE Trans. Computers, 2021

Guest Editors' Introduction: Cross-Layer Design of Cyber-Physical Systems.
IEEE Des. Test, 2021

Performance Limits of Neighbor Discovery in Wireless Networks.
CoRR, 2021

Exploring planning and operations design space for EV charging stations.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Proactive feedback for networked CPS.
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Work-in-Progress: Cooling by Core-Idling: Thermal-Aware Thread Scheduling for Mobile Multicore Processors.
Proceedings of the 42nd IEEE Real-Time Systems Symposium, 2021

Insert & Save: Energy Optimization in IP Core Integration for FPGA-based Real-time Systems.
Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 2021

Mass-deployable Smartphone-based Objective Hearing Screening with Otoacoustic Emissions.
Proceedings of the ICMI '21: International Conference on Multimodal Interaction, 2021

Heterogeneous Communication Virtualization for Distributed Embedded Applications.
Proceedings of the 24th Euromicro Conference on Digital System Design, 2021

Bounding Perception Neural Network Uncertainty for Safe Control of Autonomous Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Timing Debugging for Cyber-Physical Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Perception Computing-Aware Controller Synthesis for Autonomous Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Timing-Predictable Vision Processing for Autonomous Systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2020
Energy Modeling for the Bluetooth Low Energy Protocol.
ACM Trans. Embed. Comput. Syst., 2020

Introduction to the Special Issue on Transportation Cyber-Physical Systems.
ACM Trans. Cyber Phys. Syst., 2020

Intelligent Chargers Will Make Mobile Devices Live Longer.
IEEE Des. Test, 2020

A Programmable Open Architecture Testbed for CPS Education.
IEEE Des. Test, 2020

The Time-Triggered Wireless Architecture (Artifact).
Dagstuhl Artifacts Ser., 2020

The Time-Triggered Wireless Architecture.
CoRR, 2020

User-centric Resource Management for Embedded Multi-core Processors.
Proceedings of the 33rd International Conference on VLSI Design and 19th International Conference on Embedded Systems, 2020

Configuring loosely time-triggered wireless control software.
Proceedings of the SCOPES '20: 23rd International Workshop on Software and Compilers for Embedded Systems, 2020

A Real-Time CAN-CAN Gateway with Tight Latency Analysis and Targeted Priority Assignment.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

GoodSpread: Criticality-Aware Static Scheduling of CPS with Multi-QoS Resources.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Debugging FPGA-accelerated Real-time Systems.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

Towards Building Better Mobile Web Browsers for Ad Blocking: The Energy Perspective (WiP Paper).
Proceedings of the 21st ACM SIGPLAN/SIGBED International Conference on Languages, 2020

Vehicle Position Estimation with Aerial Imagery from Unmanned Aerial Vehicles.
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

Predictable Vision for Autonomous Systems.
Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020

Design- Time Optimization of Reconfigurable PV Architectures for Irregular Surfaces.
Proceedings of the 38th IEEE International Conference on Computer Design, 2020

Designing a Single Speaker-based Ultra Low-Cost Otoacoustic Emission Hearing Screening Probe.
Proceedings of the IEEE Global Humanitarian Technology Conference, 2020

The Time-Triggered Wireless Architecture.
Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020

CPS-oriented Modeling and Control of Traffic Signals Using Adaptive Back Pressure.
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020

BrezeFlow: Unified Debugger for Android CPU Power Governors and Schedulers on Edge Devices.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

Late Breaking Results: Can You Hear Me? Towards an Ultra Low-Cost Hearing Screening Device.
Proceedings of the 57th ACM/IEEE Design Automation Conference, 2020

2019
Optimal Dimensioning and Control of Active Cell Balancing Architectures.
IEEE Trans. Veh. Technol., 2019

Scalable and precise estimation and debugging of the worst-case execution time for analysis-friendly processors: a comeback of model checking.
Int. J. Softw. Tools Technol. Transf., 2019

Efficient lossless compression for depth information in traffic scenarios.
Multim. Syst., 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 18th International Conference on Embedded Systems, 2019

Challenges in IT Operations Management at a German University Chair - Ten Years in Retrospect.
Proceedings of the 2019 ACM SIGUCCS Annual Conference, 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

Optimal Scheduling for Active Cell Balancing.
Proceedings of the IEEE Real-Time Systems Symposium, 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

Security-Driven Codesign with Weakly-Hard Constraints for Real-Time Embedded Systems.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Multi-Stage Optimization for Energy-Efficient Active Cell Balancing in Battery Packs.
Proceedings of the International Conference on Computer-Aided 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.
ACM Trans. Cyber Phys. Syst., 2018

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

Measuring Software Performance on Linux.
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. Very Large Scale Integr. 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. Comput. Aided Des. Integr. Circuits Syst., 2017

Generalized Asynchronous Time-Triggered Scheduling for FlexRay.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

Rapid Analysis of Active Cell Balancing Circuits.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017

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

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

Dynamic Alternation of Huffman Codebooks for Sensor Data Compression.
IEEE Embed. Syst. Lett., 2017

TTW: A Time-Triggered-Wireless Design for CPS [ Extended version ].
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. Embed. Comput. Syst., 2016

Multischedule Synthesis for Variant Management in Automotive Time-Triggered Systems.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016

State of the Journal.
IEEE Trans. Computers, 2016

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

Resource-aware Automotive Control Systems Design: A Cyber-Physical Systems Approach.
Found. Trends Electron. Des. Autom., 2016

Automotive Cyber-Physical Systems: A Tutorial Introduction.
IEEE Des. 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. Comput. Aided Des. Integr. Circuits Syst., 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

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. Control. Syst. Technol., 2014

Lightweight graphics instrumentation for game state-specific power management in Android.
Multim. 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 Rev., 2013

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

Multi-layered scheduling of mixed-criticality cyber-physical systems.
J. Syst. Archit., 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. Embed. Comput. Syst., 2012

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

Performance debugging of Esterel specifications.
Real Time Syst., 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 Syst., 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.
Int. J. Parallel Program., 2010

EMSOFT 2009 guest editors' introduction.
Des. Autom. Embed. Syst., 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

Multiprocessor system and software design for distributed control applications.
Proceedings of the 2010 International Symposium on System on Chip, SoC 2010, Tampere, 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 Syst., 2009

Cache-aware optimization of BAN applications.
Des. Autom. Embed. Syst., 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

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

2009 IEEE/ACM/IFIP 7<sup>th</sup> 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. Embed. 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

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

Interactive schedulability analysis.
ACM Trans. Embed. 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

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

2005
Performance analysis of multiprocessor DSPs: a stream-oriented component model.
IEEE Signal Process. Mag., 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 Des. Test Comput., 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.
Comput. 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.
Int. J. Softw. Tools Technol. Transf., 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
Real-time calculus for scheduling hard real-time systems.
Proceedings of the IEEE International Symposium on Circuits and Systems, 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...