Hardware/Software-Codesign
The HW/SW codesign group at the Institute for Technical Informatics deals with embedded systems, HW/SW codesign, and power awareness. Design of embedded systems can be subject to many different types of constraints, including timing, size, weight, power consumption, reliability, and cost. Research on HW/SW codesign is done since the early 90s. With each new process technology systems with much higher complexity can be implemented on a single die. This requires new methodologies to abstract the system and to handle the design complexity. HW/SW codesign is a set of methodologies and techniques specifically created to support the codesign of hardware and software systems.
Staff member
Coordinator
Christian Steger
Ass.Prof. Dipl.-Ing. Dr.techn.
Participant
Martin Erb
Dipl.-Ing. BSc
Alexander Ess
Markus Feldbacher
Dipl.-Ing. BSc
Alexander Frewein
Lukas Alexander Greßl
Dipl.-Ing. BSc
Andreas Hechl
BSc
Maximilian Kammerer
Florian Krampl
Christian Josef Kreiner
Dipl.-Ing. Dr.techn.
Jakob Lindner
BSc
Philipp Maierl
BSc
Felix Jonathan Oppermann
Dipl.-Inform.
Thomas Wolfgang Pieber
Dipl.-Ing. BSc
Hannes Plank
Alexander Rech
Dipl.-Ing. BSc
Martin Schachner
Florian Scherr
Christian Seifert
Andreas Daniel Sinnhofer
Dipl.-Ing. BSc
Philipp Stelzer
Dipl.-Ing. BSc
Andreas Strasser
Dipl.-Ing. BSc
Martin Troyer
Thomas Ulz
BSc
Felix Warmer
Dipl.-Ing. BSc
Ralph Peter Weissnegger
Dipl.-Ing. BSc
Hannes Weissteiner

Research projects

Selected Publications

2020
Journal Article
Christian Steger and Martin Erb A Novel Automated Interoperability Test and Debug System for Near-Field Communication Show publication in PURE
Conference/Workshop Article
Christian Steger and Philipp Stelzer Fail-Operational Shock Detection and Correction of MEMS-based Micro-Scanning LiDAR Systems 2020 IEEE Sensors Applications Symposium, SAS 2020 - Proceedings Show publication in PURE
Christian Steger and Philipp Stelzer Towards Synchronisation of Multiple Independent MEMS-based Micro-Scanning LiDAR Systems 2020 IEEE Symposium on Intelligent Vehicle 1080-1085 Show publication in PURE
Christian Steger and Philipp Stelzer Monitor for Safety-Critical Mirror Drivers of MEMS Micro-Scanning LiDAR Systems PESARO 2020 7-12 Show publication in PURE
Christian Steger and Philipp Stelzer Enabling Live State-of-Health Monitoring for a Safety-Critical Automotive LiDAR System 2020 IEEE Sensors Applications Symposium, SAS 2020 - Proceedings Show publication in PURE
Christian Steger, Felix Warmer and Philipp Stelzer Enabling Fail-Operational Behavior and Degradation for Safety-Critical Automotive 3D Flash LiDAR Systems Proceedings - Euromicro Conference on Digital System Design, DSD 2020 463-468 Show publication in PURE
Christian Steger and Martin Erb Trigger Alarm: A Smart NFC Sniffer for High-Precision Measurements Testing Software and Systems - 32nd IFIP WG 6.1 International Conference, ICTSS 2020, Proceedings 186-200 Show publication in PURE
Christian Steger and Martin Erb Towards Fully Interoperable NFC Devices 2020 IEEE International Conference on RFID, RFID 2020 Show publication in PURE
Other Article
Christian Steger A Decentralized Service-Platform towards Cross-Domain Entitlement Handling Show publication in PURE
2019
Conference/Workshop Article
Christian Steger and Philipp Stelzer Live State-of-Health Safety Monitoring for Safety-Critical Automotive Systems Proceedings - Euromicro Conference on Digital System Design, DSD 2019 102-107 Show publication in PURE
Christian Steger and Fikret Basic Simulating a Network: An Approach for Connecting Multiple SystemC Simulations SENSORCOMM 2019, The Thirteenth International Conference on Sensor Technologies and Applications Show publication in PURE
Christian Steger Towards Continuous Sensor Operation: Modelling a Secured Smart Sensor in a Sparse Network Operated by Energy Harvesting Proceedings of the 9th International Conference on Pervasive and Embedded Computing and Communication Systemc 57-64 Show publication in PURE
Christian Steger and Martin Erb A Novel Automated NFC Interoperability Test and Debug System Smart SysTech 2019 27-34 Show publication in PURE
Other Article
Christian Steger A Novel Embedded Platform for Secure and Privacy-Concerned Cross-Domain Service Access Show publication in PURE
Christian Steger A Distributed Framework Towards Local and Online Service Access Show publication in PURE
Christian Steger and Martin Erb Advanced NFC Interoperability Test Automation System Show publication in PURE
Christian Steger and Philipp Stelzer Speed-Up of MEMS Mirror's Transient Start-Up Procedure Show publication in PURE
Christian Steger and Philipp Stelzer FITness Assessment - Hardware Algorithm Safety Validation Show publication in PURE
Christian Steger and Martin Erb An Automated NFC Measurement System for Modeling and Characterization of NFC Communication Systems Show publication in PURE
2018
Conference/Workshop Article
Christian Steger QSNFC: Quick and Secured Near Field Communication for the Internet of Things IEEE RFID Show publication in PURE
Christian Steger Secured Remote Configuration Approach for Industrial Cyber-Physical Systems IEEE ICPS 2018 Show publication in PURE
Christian Steger Automated Authentication Credential Derivation for the Secured Configuration of IoT Devices IEEE SIES 2018 Show publication in PURE
Christian Steger Design and Implementation of an HCI Based Peer to Peer APDU Protocol 2018 21st Euromicro Conference on Digital System Design (DSD) Show publication in PURE
Christian Steger Design of a low-level radar and time-of-flight sensor fusion framework Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018 268-275 Show publication in PURE
Christian Steger Virtual white cane featuring time-of-flight 3D imaging supporting visually impaired users Proceedings - 21st Euromicro Conference on Digital System Design, DSD 2018 450-457 Show publication in PURE
Other Article
Christian Steger Increasing Interoperability Between Heterogeneous Smart City Applications Show publication in PURE
2017
Book Chapter
Kay Uwe Römer and Christian Steger Generation and Verification of a Safety-Aware Virtual Prototype in the Automotive DomainSolutions for Cyber-Physical Systems Ubiquity195 Show publication in PURE
Christian Steger Where Do All My Keys Come From?Solutions for Cyber-Physical Systems Ubiquity278 Show publication in PURE
Christian Steger Cyber-Physical System and Internet of Things SecuritySolutions for Cyber-Physical Systems Ubiquity248-277 Show publication in PURE
Journal Article
Christian Steger Secured and Easy-to-Use NFC-Based Device Configuration for the Internet of Things Show publication in PURE
Conference/Workshop Article
Christian Steger Combined variability management of business processes and software architectures BMSD 2017 - Proceedings of the 7th International Symposium on Business Modeling and Software Design 36-45 Show publication in PURE
Christian Steger Software configuration based on order processes Business Modeling and Software Design - 6th International Symposium, BMSD 2016, Revised Selected Papers 200-220 Show publication in PURE
Christian Steger SystemC Test Case Generation with the Gazebo Simulator Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications 67-72 Show publication in PURE
Christian Steger Sneakernet on Wheels: Trustworthy NFC-based Robot to Machine Communication Proceedings of the 2017 IEEE International Conference on RFID Technology & Application (RFID-TA) 260-265 Show publication in PURE
Christian Steger Secured Offline Authentication on Industrial Mobile Robots using Biometric Data Proceedings of the RoboCup International Symposium 2017 1-12 Show publication in PURE
Christian Steger Bring Your Own Key for the Industrial Internet of Things Proceedings of the 2017 IEEE International Conference on Industrial Technology (ICIT) 1430-1435 Show publication in PURE
Christian Steger SECURECONFIG: NFC and QR-Code based Hybrid Approach for Smart Sensor Configuration Proceedings of the 2017 IEEE International Conference on Radio Frequency Identification (RFID) Show publication in PURE
Christian Steger Hardware-Secured Configuration and Two-Layer Attestation Architecture for Smart Sensors Proceedings of the 2017 Euromicro Conference on Digital System Design (DSD) 229-236 Show publication in PURE
Christian Steger Hardware Secured, Password-based Authentication for Smart Sensors for the Industrial Internet of Things Lecture Notes in Computer Science 632-642 Show publication in PURE
Christian Steger Towards Trustworthy Data in Networked Control Systems: A Hardware-Based Approach Proceedings of the 2017 IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) Show publication in PURE
Christian Steger A Secured Offline Authentication Approach for Industrial Mobile Robots Proceedings of the IEEE International Conference on Automation Science and Engineering Show publication in PURE
2016
Conference/Workshop Article
Kay Uwe Römer, Christian Steger and Markus Schuß A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud Proceedings Show publication in PURE
Christian Steger Patterns for Common Criteria Certification EuroPlop 2015: Proceedings of the 20th European Conference on Pattern Languages of Programs. 1 - 15 Show publication in PURE
Other Article
Kay Uwe Römer, Christian Steger and Markus Schuß A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud Show publication in PURE
A Novel Simulation-based Verification Pattern for Parallel Executions in the Cloud Show publication in PURE
2015
Journal Article
Christian Steger Balancing Product and Process Assurance for Evolving Security Systems Show publication in PURE
Conference/Workshop Article
varBPM - A Product Line for Creating Business Process Model Variants Fifth International Symposium on Business Modeling and Software Design 184-191 Show publication in PURE
Kay Uwe Römer and Christian Steger A Novel Design Method for Automotive Safety-Critical Systems based on UML/MARTE Proceedings of the 2015 Forum on specification & Design Languages 177-184 Show publication in PURE
Kay Uwe Römer and Christian Steger A Novel Method to Speed-Up the Evaluation of Cyber-Physical Systems (ISO 26262) Proceedings of 2015 12° International Workshop on Intelligent Solutions in Embedded Systems 109-114 Show publication in PURE
Kay Uwe Römer and Christian Steger A Novel Method for Fast Evaluation of Cyber-Physical Systems in Compliance with Functional Safety SEAA - Proceedings of the Work in Progress Session 24-25 Show publication in PURE
2014
Conference/Workshop Article
Christian Steger and Reinhold Weiß Embedding Research in the Industrial Field: A Case of a Transition to a Software Product Line WISE 2014 Proceedings 3-8 Show publication in PURE
Christian Steger and Reinhold Weiß Supporting Evolving Security Models for an Agile Security Evaluation Proceedings of the 1st International Workshop on Evolving Security & Privacy Requirements Engineering 31-36 Show publication in PURE
Christian Steger and Reinhold Weiß Patterns of Software Modeling On the Move to Meaningful Internet Systems: OTM 2014 Workshops 428-437 Show publication in PURE
Christian Steger and Reinhold Weiß A Fault Attack Emulation Environment to Evaluate Java Card Virtual-Machine Security EUROMICRO Symposium on Digital Systems Design Show publication in PURE
Christian Steger High Level Simulation of Cyber-Physical Systems SCEE 57-58 Show publication in PURE
Christian Steger and Reinhold Weiß Set of Power-Management Patterns for Mobile Embedded Systems Proceedings of VikingPloP 2014 Show publication in PURE
Christian Steger Memory-Efficient On-Card Byte Code Verification for Java Cards First Workshop on Cryptography and Security in Computing Systems 37-40 Show publication in PURE
Christian Steger and Reinhold Weiß A light-weight compression method for Java Card technology EWiLi'14, The 4th Embedded Operating Systems Workshop Show publication in PURE
Christian Steger and Reinhold Weiß Instruction Folding Compression for Java Card Runtime Environment Digital System Design (DSD), 2014 Euromicro Conference on 228-235 Show publication in PURE
Christian Steger and Reinhold Weiß Countering Type Confusion and Buffer Overflow Attacks on Java Smart Cards by Data Type Sensitive Obfuscation First Workshop on Cryptography and Security in Computing Systems 19-24 Show publication in PURE
Christian Steger and Reinhold Weiß A Flexible and Lightweight ECC-Based Authentication Solution for Resource Constrained Systems 17th Euromicro Conference on Digital System Design 372-378 Show publication in PURE
Christian Steger Hardware/Software Co-Design of Elliptic-Curve Cryptography for Resource-Constrained Applications Proceedings of the 51st Annual Design Automation Conference 1-6 Show publication in PURE
Christian Steger and Reinhold Weiß A High Performance Java Card Virtual Machine Interpreter based on an Application Specific Instruction-Set Processor Digital System Design (DSD), 2014 Euromicro Conference on 270-278 Show publication in PURE
2013
Journal Article
Christian Steger and Reinhold Weiß Case study on multiple fault dependability and security evaluations Show publication in PURE
Christian Steger and Reinhold Weiß Power And Fault Emulation For Software Verification and System Stability Testing in Safety Critical Environments Show publication in PURE
Conference/Workshop Article
Christian Steger Verifying Generic IEC 61508 CPU Self-Tests with Fault Injection Proceedings of the 8th International Design and Test Symposium 1-2 Show publication in PURE
Christian Steger and Reinhold Weiß Energy Efficiency by Using Field Strength Scaling for Multi-Transponder Applications Proceedings of the 12th International Conference on Telecommunications 263-269 Show publication in PURE
Christian Steger and Reinhold Weiß NFC-DynFS: A way to realize dynamic field strength scaling during communication 5th International Workshop on Near Field Communication (NFC 2013) 59-64 Show publication in PURE
Christian Steger Automatized High-Level Evaluation of Security Properties for RTL Hardware Designs Proceedings of the Workshop on Embedded Systems Security 1-8 Show publication in PURE
Christian Steger and Reinhold Weiß A Defensive Java Card Virtual Machine to Thwart Fault Attacks by Microarchitectural Support 8th International Conference on Risks and Security of Internet and Systems (CRiSIS'13) Show publication in PURE
Christian Steger and Reinhold Weiß A Defensive Virtual Machine Layer to Counteract Fault Attacks on Java Cards Workshop in Information Security Theory and Practice (WISTP'13) 82-97 Show publication in PURE
Christian Steger and Reinhold Weiß Emulation-Based Test and Verification of a Design’s Functional, Performance, Power, and Supply Voltage Behavior 21st Euromicro International Conference on Parallel, Distributed, and Network-Based Processing (PDP) 328-335 Show publication in PURE
Christian Steger and Reinhold Weiß Emulation-Based Design Evaluation of Reader / Smart Card Systems IEEE International Symposium on Rapid System Prototyping (RSP) 80-86 Show publication in PURE
Christian Steger and Reinhold Weiß Power and Thermal Fault Effect Exploration Framework for Reader / Smart Card Designs 16th Euromicro Conference on Digital System Design (DSD) 898-906 Show publication in PURE
Christian Steger and Reinhold Weiß PtNBridge - A Power-Aware and Trustworthy Near Field Communication Bridge to Embedded Systems Proceedings of the 16th Euromicro Conference on Digital System Design(DSD) 907-914 Show publication in PURE
Christian Steger and Reinhold Weiß Emulation-Based Fault Effect Analysis for Resource Constrained, Secure, and Dependable Systems 16th Euromicro Conference on Digital System Design (DSD) 337-344 Show publication in PURE
Christian Steger and Reinhold Weiß On the Dictionary Compression for Java Card Environment 16th International Workshop on Software and Compilers for Embedded Systems 68-76 Show publication in PURE
Christian Steger Integration of a Wireless Sensor Network Into a Reliable Data Flow Process for Slope Monitoring 2013 IFIP Wireless Days (WD) 1-4 Show publication in PURE
Christian Steger and Reinhold Weiß Introduction of design pattern(s) for power-management in embedded systems Proceeding of the 18th European Conference on Pattern Languages of Programs Show publication in PURE
2012
Journal Article
Christian Steger and Reinhold Weiß POWER-MODES - POWer EmulatoR and MOdel based Dependability and Security evaluations Show publication in PURE
Conference/Workshop Article
Christian Steger and Reinhold Weiß Acceleration of Fault Attack Emulation by Consideration of Fault Propagation 11th International Conference on Field-Programmable Technology (FPT) 239-242 Show publication in PURE
Christian Steger Real-Time Landslide Monitoring Using Single-Frequency PPP: Proof of Concept 6th ESA Workshop on Satellite Navigation Technologies and European Workshop on GNSS Signals and Signal Processing, (NAVITEC) 1-6 Show publication in PURE
Christian Steger and Reinhold Weiß Estimation Based Power and Supply Voltage Management for Future RF-Powered Multi-Core Smart Cards Design, Automation & Test in Europe Conference & Exhibition (DATE) 358-363 Show publication in PURE
Christian Steger and Reinhold Weiß System Side-Channel Leakage Emulation for HW/SW Security Coverification of MPSoCs 15th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) 139-144 Show publication in PURE
Christian Steger and Reinhold Weiß Efficient fault emulation based on post-injection fault effect analysis (PIFEA) 55th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS) 526-529 Show publication in PURE
Christian Steger and Reinhold Weiß Hardware-Accelerated Workload Characterization for Power Modeling and Fault Injection 21th IEEE Asian Test Symposium (ATS) 149-154 Show publication in PURE
Christian Steger and Reinhold Weiß NIZE - A Near Field Communication Interface Enabling Zero Energy Standby for Everyday Electronic Devices IEEE 8th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) 261-267 Show publication in PURE
Christian Steger and Reinhold Weiß Towards an On-Site Characterization of Energy Harvesting Devices for Wireless Sensor Networks 2012 IEEE International Conference on Pervasive Computing and Communications Workshops 421-424 Show publication in PURE
Christian Steger and Reinhold Weiß Towards the Hardware Accelerated Defensive Virtual Machine - Type and Bound Protection Eleventh Smart Card Research and Advanced Application Conference (CARDIS'12) 1-15 Show publication in PURE
Christian Steger and Reinhold Weiß PROCOMON - An Automatically Generated Predictive Control-Signal Monitor 15th Euromicro Conference on Digital System Design (DSD) 654-660 Show publication in PURE
Christian Steger Automatic and Optimal Allocation of Safety Integrity Levels Reliability and Maintainability Symposium (RAMS) Proceedings 258-263 Show publication in PURE
Christian Steger and Reinhold Weiß A Bridge from System to Software Development for Safety-Critical Automotive Embedded Systems 38th Euromicro Conference on Software Engineering and Advanced Applications (SEAA) Proceedings 75-79 Show publication in PURE
Christian Steger and Reinhold Weiß Efficient Fault Emulation using Automatic Pre-Injection Memory Access Analysis 25th IEEE International SOC Conference (SOCC) 277-282 Show publication in PURE
Christian Steger and Reinhold Weiß Adaptive Field Strength Scaling - A Power Optimization Technique for Contactless Reader / Smart Card Systems 15th Euromicro Conference on Digital System Design (DSD) 616-623 Show publication in PURE
Christian Steger and Reinhold Weiß A Hardware/Software Simulation Environment for Energy Harvesting Wireless Sensor Networks Proceedings of the 9th ACM symposium on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks 61-68 Show publication in PURE
Christian Steger and Reinhold Weiß The PTF-Determinator: A run-time method used to save energy in NFC-Systems Fourth International EURASIP Workshop on RFID Technology 92-98 Show publication in PURE
Other Article
Acceleration of Fault Attack Emulation by Consideration of Fault Propagation Show publication in PURE
2011
Conference/Workshop Article
Christian Steger and Reinhold Weiß Accelerating Early Design Phase Differential Power Analysis Using Power Emulation Techniques 4th Annual IEEE International Symposium on Hardware-Oriented Security and Trust (HOST) 81-86 Show publication in PURE
Christian Steger and Reinhold Weiß A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS) Proceedings 169-178 Show publication in PURE
Christian Steger and Reinhold Weiß Modular Fault Injector for Multiple Fault Dependability and Security Evaluations Euromicro Conference on Digital System Design (DSD) 550-557 Show publication in PURE
Christian Steger and Reinhold Weiß Towards multi-modeling for domain description Proceedings of the 15th International Software Product Line Conference 30-30 Show publication in PURE
Christian Steger and Reinhold Weiß A SystemC-AMS Simulation Environment for the Evaluation of Energy Harvesting Wireless Sensor Networks Proceedings of the 2011 International Symposium on Performance Evaluation of Computer and Telecommunication Systems 247-252 Show publication in PURE
Christian Steger and Reinhold Weiß Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems 30th International Conference on Computer Safety, Reliability and Security (SafeComp) Proceedings 113-127 Show publication in PURE
Christian Steger and Reinhold Weiß A Side Channel Attack Countermeasure using System-On-Chip Power Profile Scrambling 17th IEEE International On-Line Testing Symposium (IOLTS) 222-227 Show publication in PURE
Christian Steger and Reinhold Weiß Designing of Efficient Energy Harvesting Systems for Autonomous WSNs Using a Tier Model Telecommunications (ICT), 2011 IEEE 18th International Conference on 185-190 Show publication in PURE
Christian Steger and Reinhold Weiß Automatic Saboteur Placement for Emulation-Based Multi-Bit Fault Injection 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip ReCoSoC 2011 1-8 Show publication in PURE
Christian Steger and Reinhold Weiß Run-Time FPGA Health Monitoring using Power Emulation Techniques 54th IEEE International Midwest Symposium on Circuits and Systems (MWSCAS) 1-4 Show publication in PURE
Other Article
Run-Time FPGA Health Monitoring using Power Emulation Techniques Show publication in PURE
2010
Conference/Workshop Article
Christian Steger and Reinhold Weiß Automated Power Characterization for Run-Time Power Emulation of SoC Designs Proceedings of the 13th Euromicro Conference on Digital System Design (DSD) 2010 587-594 Show publication in PURE
Christian Steger and Reinhold Weiß Design and Implementation of Safety Functions on a Novel CPLD-based Fail-Safe System Architecture 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems (ECBS) Proceedings 206-212 Show publication in PURE
Christian Steger and Reinhold Weiß Heterogeneous Co-Simulation Platform for the Efficient Analysis of Automotive Distributed Embedded Systems Proceedings of the 8th IEEE International Workshop on Factory Communication Systems Show publication in PURE
Christian Steger and Reinhold Weiß Performance Improvement and Energy Saving Based on Increasing Locality of Persistent Data in Embedded Systems Systems (ICONS), 2010 Fifth International Conference on 175-180 Show publication in PURE
Christian Steger and Reinhold Weiß A Cross Domain Co-Simulation Platform for the Efficient Analysis of Mechatronic Systems SAE World Congress 1-14 Show publication in PURE
Christian Steger and Reinhold Weiß Power Emulation: Methodology and Applications for HW/SW Power Optimization 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE) 2010 Show publication in PURE
Christian Steger and Reinhold Weiß Exploration of the FlexRay Signal Integrity using a Combined Prototyping and Simulation Approach Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems 111-116 Show publication in PURE
Christian Steger and Reinhold Weiß Holistic Simulation of FlexRay Networks by Using Run-Time Model Switching Proceedings of the Design, Automation and Test in Europe 2010 544-549 Show publication in PURE
Christian Steger and Reinhold Weiß Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices 316-323 Show publication in PURE
Christian Steger and Reinhold Weiß A CPLD-based Safety Concept for Industrial Applications IEEE International Symposium on Industrial Electronics (ISIE) Proceedings 3027-3032 Show publication in PURE
Christian Steger and Reinhold Weiß An Automated Framework for Power-Critical Code Region Detection and Power Peak Optimization of Embedded Software Power and Timing Modeling, Optimization and Simulation, 20th International Workshop, PATMOS 2010 11-20 Show publication in PURE