Samarjit Chakraborty
Orcid: 0000-0002-0503-6235Affiliations:
- 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 353 papers
between 1998 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on zbmath.org
-
on scopus.com
-
on orcid.org
-
on id.loc.gov
-
on d-nb.info
-
on cs.unc.edu
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
ACM Trans. Cyber Phys. Syst., April, 2024
Statistical verification of autonomous system controllers under timing uncertainties.
Real Time Syst., March, 2024
CoRR, 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
Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024
Proceedings of the 37th International Conference on VLSI Design and 23rd International Conference on Embedded Systems, 2024
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2024
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2024
Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024
Proceedings of the 15th ACM/IEEE International Conference on Cyber-Physical Systems, 2024
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024
2023
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
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
CAN Bus Intrusion Detection Based on Auxiliary Classifier GAN and Out-of-distribution Detection.
ACM Trans. Embed. Comput. Syst., 2022
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
Leibniz Trans. Embed. Syst., 2022
Leibniz Trans. Embed. Syst., 2022
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
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
Proceedings of the 18th IEEE International Conference on Automation Science and Engineering, 2022
Proceedings of the Automated Technology for Verification and Analysis, 2022
2021
IEEE Trans. Intell. Transp. Syst., 2021
ACM Trans. Embed. Comput. Syst., 2021
Control Performance Optimization for Application Integration on Automotive Architectures.
IEEE Trans. Computers, 2021
IEEE Des. Test, 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
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
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
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
2020
ACM Trans. Embed. Comput. Syst., 2020
ACM Trans. Cyber Phys. Syst., 2020
Proceedings of the 33rd International Conference on VLSI Design and 19th International Conference on Embedded Systems, 2020
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
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020
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
Proceedings of the IEEE Intelligent Vehicles Symposium, 2020
Proceedings of the 23rd IEEE International Symposium on Real-Time Distributed Computing, 2020
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
Proceedings of the 32nd Euromicro Conference on Real-Time Systems, 2020
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
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
Multim. Syst., 2019
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
Proceedings of the ACM Special Interest Group on Data Communication, 2019
Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems, 2019
Proceedings of the IEEE Real-Time Systems Symposium, 2019
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
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
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
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
ACM Trans. Cyber Phys. Syst., 2018
Scalable and Precise Estimation and Debugging of the Worst-Case Execution Time for Analysis-Friendly Processors.
CoRR, 2018
Proceedings of the 21st International Workshop on Software and Compilers for Embedded Systems, 2018
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
Proceedings of the IEEE International Symposium on Circuits and Systems, 2018
Proceedings of the 29th International Symposium on Algorithms and Computation, 2018
Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27, 2018
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
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
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018
2017
Proceedings of the Handbook of Hardware/Software Codesign., 2017
IEEE Trans. Very Large Scale Integr. Syst., 2017
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
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2017
IEEE Trans. Computers, 2017
IEEE Embed. Syst. Lett., 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
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017
Proceedings of the Eleventh IEEE/ACM International Symposium on Networks-on-Chip, 2017
Proceedings of the 2017 IEEE/ACM International Symposium on Low Power Electronics and Design, 2017
Proceedings of the 7th International Symposium on Embedded Computing and System Design, 2017
Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2017
Proceedings of the 16th ACM/IEEE International Conference on Information Processing in Sensor Networks, 2017
Proceedings of the 2017 IEEE International Conference on Computer Design, 2017
Proceedings of the 12th International Conference on Design & Technology of Integrated Systems In Nanoscale Era, 2017
Proceedings of the 54th Annual Design Automation Conference, 2017
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
ACM Trans. Design Autom. Electr. Syst., 2016
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
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2016
Open source model and simulator for real-time performance analysis of automotive network security.
SIGBED Rev., 2016
Found. Trends Electron. Des. Autom., 2016
Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016
Proceedings of the 29th International Conference on VLSI Design and 15th International Conference on Embedded Systems, 2016
Proceedings of the 20th International Symposium on VLSI Design and Test, 2016
Proceedings of the 22nd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2016
Proceedings of the 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2016
Proceedings of the 27th IEEE Annual International Symposium on Personal, 2016
Proceedings of the 17th ACM SIGPLAN/SIGBED Conference on Languages, 2016
Proceedings of the 34th IEEE International Conference on Computer Design, 2016
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
Proceedings of the 35th International Conference on Computer-Aided Design, 2016
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
Proceedings of the 14th ACM/IEEE Symposium on Embedded Systems for Real-Time Multimedia, 2016
Proceedings of the Eleventh IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2016
Proceedings of the 21st Asia and South Pacific Design Automation Conference, 2016
2015
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2015
IEEE Trans. Computers, 2015
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
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
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
Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015
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
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015
Proceedings of the 20th Asia and South Pacific Design Automation Conference, 2015
Proceedings of the 2015 Asia-Pacific Software Engineering Conference, 2015
2014
ACM Trans. Design Autom. Electr. Syst., 2014
IEEE Trans. Control. Syst. Technol., 2014
Lightweight graphics instrumentation for game state-specific power management in Android.
Multim. Syst., 2014
Proceedings of the IEEE 35th IEEE Real-Time Systems Symposium, 2014
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
Proceedings of the IEEE International Symposium on Mixed and Augmented Reality, 2014
Proceedings of the International Symposium on Low Power Electronics and Design, 2014
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014
Proceedings of the 2014 International Symposium on Integrated Circuits (ISIC), 2014
Proceedings of the 36th International Conference on Software Engineering, 2014
Proceedings of the 12th IEEE Symposium on Embedded Systems for Real-time Multimedia, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Safety Evaluation of Automotive Electronics Using Virtual Prototypes: State of the Art and Research Challenges.
Proceedings of the 51st Annual Design Automation Conference 2014, 2014
Proceedings of the 2014 IEEE International Conference on Cyber-Physical Systems, 2014
Proceedings of the 2014 International Conference on Hardware/Software Codesign and System Synthesis, 2014
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
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
Proceedings of the IEEE 25th International Conference on Application-Specific Systems, 2014
Proceedings of the ARCS 2014, 2014
Proceedings of the Embedded Systems Development, From Functional Models to Implementations, 2014
2013
Resource augmentation for uniprocessor and multiprocessor partitioned scheduling of sporadic real-time tasks.
Real Time Syst., 2013
J. Syst. Archit., 2013
Proceedings of the 2013 International Conference on Embedded Computer Systems: Architectures, 2013
Proceedings of the 11th Annual International Conference on Mobile Systems, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the Design, Automation and Test in Europe, 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
Proceedings of the 50th Annual Design Automation Conference 2013, 2013
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
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
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
ACM Trans. Embed. Comput. Syst., 2012
ACM Trans. Embed. Comput. Syst., 2012
Proceedings of the 25th International Conference on VLSI Design, 2012
Proceedings of the 25th International Conference on VLSI Design, 2012
Proceedings of the 2012 International Conference on Embedded Computer Systems: Architectures, 2012
Proceedings of the 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2012
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
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012
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
Proceedings of the 15th Euromicro Conference on Digital System Design, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
Proceedings of the 2012 Design, Automation & Test in Europe Conference & Exhibition, 2012
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
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
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
Proceedings of the 17th Asia and South Pacific Design Automation Conference, 2012
Proceedings of the American Control Conference, 2012
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
Proceedings of the 32nd IEEE Real-Time Systems Symposium, 2011
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
Proceedings of the 11th International Conference on Embedded Software, 2011
Proceedings of the 11th International Conference on Embedded Software, 2011
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
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
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011
Proceedings of the 9th International Conference on Hardware/Software Codesign and System Synthesis, 2011
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
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
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
Proceedings of the 16th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2010
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
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
Proceedings of the 28th International Conference on Computer Design, 2010
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
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
Proceedings of the 22nd Euromicro Conference on Real-Time Systems, 2010
Proceedings of the Design, Automation and Test in Europe, 2010
Proceedings of the 47th Design Automation Conference, 2010
Proceedings of the International Conference on Body Sensor Networks, 2010
Proceedings of the Information Retrieval Technology, 2010
2009
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
Proceedings of the 30th IEEE Real-Time Systems Symposium, 2009
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
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
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
ACM Trans. Embed. Comput. Syst., 2008
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008
Proceedings of the 21st International Conference on VLSI Design (VLSI Design 2008), 2008
Proceedings of the 29th IEEE Real-Time Systems Symposium, 2008
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008
Proceedings of the 16th International Conference on Multimedia 2008, 2008
Proceedings of the Design, Automation and Test in Europe, 2008
Proceedings of the 45th Design Automation Conference, 2008
Proceedings of the 6th International Conference on Hardware/Software Codesign and System Synthesis, 2008
2007
J. VLSI Signal Process., 2007
Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007
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
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
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
Proceedings of the 44th Design Automation Conference, 2007
Proceedings of the 44th Design Automation Conference, 2007
2006
Proceedings of the 27th IEEE Real-Time Systems Symposium (RTSS 2006), 2006
Proceedings of the 12th IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2006), 2006
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
Proceedings of the 20th International Parallel and Distributed Processing Symposium (IPDPS 2006), 2006
2005
IEEE Signal Process. Mag., 2005
Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005
Proceedings of the Network and Operating System Support for Digital Audio and Video, 2005
Proceedings of the 13th ACM International Conference on Multimedia, 2005
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
Proceedings of the 2005 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005
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
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
IEEE Des. Test Comput., 2004
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
Proceedings of the 2nd IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis, 2004
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
Proceedings of the 23rd IEEE Real-Time Systems Symposium (RTSS'02), 2002
Proceedings of the 8th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2002), 2002
Proceedings of the 39th Design Automation Conference, 2002
Proceedings of the 39th Design Automation Conference, 2002
2001
Int. J. Softw. Tools Technol. Transf., 2001
Proceedings of the Algorithms and Data Structures, 7th International Workshop, 2001
Proceedings of the Embedded Software, First International Workshop, 2001
2000
Proceedings of the IEEE International Symposium on Circuits and Systems, 2000
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
Proceedings of the Parallel Problem Solving from Nature, 1998