Christian Steger

Josef Haid

J. Low Power Electron., 2011

A development methodology for variant-rich automotive software architectures.

[BibT_eX]

[DOI]

Elektrotech. Informationstechnik, 2011

Evaluation of component-aware dynamic voltage scaling for mobile devices and wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Symposium on a World of Wireless, 2011

Designing sustainable Wireless sensor networks with efficient energy harvesting systems.

[BibT_eX]

[DOI]

Proceedings of the 2011 IEEE Wireless Communications and Networking Conference, 2011

Towards multi-modeling for domain description.

[BibT_eX]

[DOI]

Proceedings of the Software Product Lines - 15th International Conference, 2011

Computer-Aided PHA, FTA and FMEA for Automotive Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2011

Automatic saboteur placement for emulation-based multi-bit fault injection.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Reconfigurable Communication-centric Systems-on-Chip, 2011

Measuring the state-of-charge - Analysis and impact on wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011

Supply voltage emulation platform for DVFS voltage drop compensation explorations.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2011

A side channel attack countermeasure using system-on-chip power profile scrambling.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International On-Line Testing Symposium (IOLTS 2011), 2011

Designing of efficient energy harvesting systems for autonomous WSNs using a tier model.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Telecommunications, 2011

HANS: Harvesting aware networking service for energy management in wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Telecommunications, 2011

Implementing autonomous network coding for wireless sensor network applications.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Telecommunications, 2011

MAMA: Multi-applicationmiddleware for efficient wireless sensor networks.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Telecommunications, 2011

Accelerating early design phase differential power analysis using power emulation techniques.

[BibT_eX]

[DOI]

Proceedings of the HOST 2011, 2011

Energy Efficient Supply of WSN Nodes using Component-Aware Dynamic Voltage Scaling.

[BibT_eX]

[DOI]

Proceedings of the European Wireless 2011, April 27-29, 2011, Vienna, Austria., 2011

Low-Cost Reliable Blackout Sustainability of Wireless Sensor Networks with Energy Harvesting Systems.

[BibT_eX]

[DOI]

Proceedings of the European Wireless 2011, April 27-29, 2011, Vienna, Austria., 2011

Idea: Simulation Based Security Requirement Verification for Transaction Level Models.

[BibT_eX]

[DOI]

Proceedings of the Engineering Secure Software and Systems - Third International Symposium, 2011

A Computer-Aided Approach to Preliminary Hazard Analysis for Automotive Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2011

Modular Fault Injector for Multiple Fault Dependability and Security Evaluations.

[BibT_eX]

[DOI]

Proceedings of the 14th Euromicro Conference on Digital System Design, 2011

Opportunistic Network Coding for Energy Conservation in Wireless Sensor Networks.

[BibT_eX]

[DOI]

Proceedings of the Ninth Annual Communication Networks and Services Research Conference, 2011

2010

Tool for Automated Instruction Set Characterization for Software Power Estimation.

[BibT_eX]

[DOI]

IEEE Trans. Instrum. Meas., 2010

Power-aware hardware/software codesign of mobile devices.

[BibT_eX]

[DOI]

Elektrotech. Informationstechnik, 2010

An IP-XACT Library extended with verification information for functionality-based component selection.

[BibT_eX]

[DOI]

Christoph Ruggenthaler

Elektrotech. Informationstechnik, 2010

Identification and Verification of Security Relevant Functions in Embedded Systems Based on Source Code Annotations and Assertions.

[BibT_eX]

[DOI]

Proceedings of the Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices, 2010

Towards formal system-level verification of security requirements during hardware/software codesign.

[BibT_eX]

[DOI]

Proceedings of the Annual IEEE International SoC Conference, SoCC 2010, 2010

A system for accurate characterization of wireless sensor networks with power states and energy harvesting system efficiency.

[BibT_eX]

[DOI]

Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010

An Automated Framework for Power-Critical Code Region Detection and Power Peak Optimization of Embedded Software.

[BibT_eX]

[DOI]

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, Optimization, and Simulation, 2010

Design, simulation and measurement of an accurate wireless sensor network localization system.

[BibT_eX]

[DOI]

Philipp Maria Glatz

Proceedings of the 5th ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks, 2010

Power emulation: Methodology and applications for HW/SW power optimization.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010

Power emulation based DVFS efficiency investigations for embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 2010 International Symposium on System on Chip, SoC 2010, Tampere, 2010

TOSPIE2: tiny operating system plug-in for energy estimation.

[BibT_eX]

[DOI]

Philipp M. Glatz

Proceedings of the 9th International Conference on Information Processing in Sensor Networks, 2010

Fast simulation based testing of anti-tearing mechanisms for small embedded systems.

[BibT_eX]

[DOI]

Proceedings of the 15th European Test Symposium, 2010

Design and Implementation of Safety Functions on a Novel CPLD-Based Fail-Safe System Architecture.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, 2010

Automated Power Characterization for Run-Time Power Emulation of SoC Designs.

[BibT_eX]

[DOI]

Proceedings of the 13th Euromicro Conference on Digital System Design, 2010

Automated simulation-based verification of power requirements for Systems-on-Chips.

[BibT_eX]

[DOI]

Christoph Trummer

Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

Exploration of the FlexRay signal integrity using a combined prototyping and simulation approach.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

Holistic simulation of FlexRay networks by using run-time model switching.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2010

Estimation-based run-time power profile flattening for RF-powered smart card systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Asia Pacific Conference on Circuits and Systems, 2010

2009

Power profile estimation and compiler-based software optimization for mobile devices.

[BibT_eX]

[DOI]

J. Embed. Comput., 2009

Automotive software architecture: Migration challenges from an event-triggered to a time-triggered communication scheme.

[BibT_eX]

[DOI]

Proceedings of the Seventh Workshop on Intelligent solutions in Embedded Systems, 2009

Java Card Performance Optimization of Secure Transaction Atomicity Based on Increasing the Class Field Locality.

[BibT_eX]

[DOI]

Proceedings of the Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009

An emulation-based real-time power profiling unit for embedded software.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference on Embedded Computer Systems: Architectures, 2009

SlimVM: a small footprint Java virtual machine for connected embedded systems.

[BibT_eX]

[DOI]

Christoph Kerschbaumer

Proceedings of the 7th International Conference on Principles and Practice of Programming in Java, 2009

Accelerating Embedded Software Power Profiling Using Run-Time Power Emulation.

[BibT_eX]

[DOI]

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2009

Optimizing HW/SW Co-simulation based on run-time model switching.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2009

Moving Beyond the Component Boundaries for Efficient Test and Diagnosis of Automotive Communication Architectures.

[BibT_eX]

[DOI]

Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, 2009

Fault insertion testing of a novel CPLD-based fail-safe system.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

A low-power ASIP for IEEE 802.15.4a ultra-wideband impulse radio baseband processing.

[BibT_eX]

[DOI]

Proceedings of the Design, Automation and Test in Europe, 2009

Low-Power ASIP Architecture Exploration and Optimization for Reed-Solomon Processing.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Application-Specific Systems, 2009

2008

Simulation based verification of energy storage architectures for higher class tags supported by energy harvesting devices.

[BibT_eX]

[DOI]

Microprocess. Microsystems, 2008

A measurement platform for energy harvesting and software characterization in WSNs.

[BibT_eX]

[DOI]

Proceedings of the 1st IFIP Wireless Days, 2008

TEODACS : A new vision for testing dependable automotive communication systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

System level power profile analysis and optimization for smart cards and mobile devices.

[BibT_eX]

[DOI]

Proceedings of the 2008 ACM Symposium on Applied Computing (SAC), 2008

Specification-based Verification of Embedded Systems by Automated Test Case Generation.

[BibT_eX]

[DOI]

Proceedings of the Distributed Embedded Systems: Design, 2008

A software performance simulation methodology for rapid system architecture exploration.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Electronics, Circuits and Systems, 2008

Verification and analysis of dependable automotive communication systems based on HW/SW co-simulation.

[BibT_eX]

[DOI]

Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, 2008

Rapid exploration of multimedia system-on-chips with automatically generated software performance models.

[BibT_eX]

[DOI]

Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008

2007

Horizontal and vertical HW/SW co-design flows for power aware smart card designs.

[BibT_eX]

[DOI]

Int. J. Embed. Syst., 2007

A UHF RFID measurement and evaluation test system.

[BibT_eX]

[DOI]

Vojtech Derbek

Josef Preishuber-Pflügl

Elektrotech. Informationstechnik, 2007

Automated Instruction Set Characterization and Power Profile Driven Software Optimization for Mobile Devices.

[BibT_eX]

[DOI]

Proceedings of the Integrated Circuit and System Design. Power and Timing Modeling, 2007

Software Power Peak Reduction on Smart Card Systems Based on Iterative Compiling.

[BibT_eX]

[DOI]

Proceedings of the Emerging Directions in Embedded and Ubiquitous Computing, 2007

Simulation platform for UHF RFID.

[BibT_eX]

[DOI]

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Automist - A Tool for Automated Instruction Set Characterization of Embedded Processors.

[BibT_eX]

[DOI]

Proceedings of the Power-aware Computing Systems, 21.01. - 26.01.2007, 2007

Lifetime Extension of Higher Class UHF RFID Tags using special Power Management Techniques and Energy Harvesting Devices.

[BibT_eX]

[DOI]

Alex Janek

Proceedings of the Power-aware Computing Systems, 21.01. - 26.01.2007, 2007

Compiler-based Software Power Peak Elimination on Smart Card Systems.

[BibT_eX]

[DOI]

Proceedings of the Power-aware Computing Systems, 21.01. - 26.01.2007, 2007

07041 Working Group - Towards Interfaces for Integrated Performance and Power Analysis and Simulation.

[BibT_eX]

[DOI]

Phillip Stanley-Marbell

Vasanth Venkatachalam

Manuel Wendt

Proceedings of the Power-aware Computing Systems, 21.01. - 26.01.2007, 2007

Power Management Strategies for Battery-driven Higher Class UHF RFID Tags Supported by Energy Harvesting Devices.

[BibT_eX]

[DOI]

Alex Janek

Josef Preishuber-Pflügl

Proceedings of the 2007 IEEE Workshop on Automatic Identification Advanced Technologies, 2007

Automated Software Power Optimization for Smart Card Systems with Focus on Peak Reduction.

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE/ACS International Conference on Computer Systems and Applications (AICCSA 2007), 2007

2005

Extended abstract: an environment for design verification of smart card systems using attack simulation in SystemC.

[BibT_eX]

[DOI]

Proceedings of the 3rd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2005), 2005

Reducing the Communication Bottleneck via On-Chip Cosimulation of Gate-Level HDL and C-Models on a Hardware Accelerator.

[BibT_eX]

[DOI]

Proceedings of the 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), 2005

Parallel Simulation with a Generic Simulation Framework Featuring Loose Coupling.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Parallel Processing Workshops (ICPP 2005 Workshops), 2005

Automatic Generation of a Verification Platform.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2005

Power consumption profile analysis for security attack simulation in smart cards at high abstraction level.

[BibT_eX]

[DOI]

Proceedings of the EMSOFT 2005, 2005

Architecture for model-based UHF RFID system design verification.

[BibT_eX]

[DOI]

Vojtech Derbek

Proceedings of the 2005 European Conference on Circuit Theory and Design, 2005

Methodologies for Designing Power-Aware Smart Card Systems.

[BibT_eX]

[DOI]

Proceedings of the Power-aware Computing Systems, 3.-8. April 2005, 2005

An Abstraction and Optimization Approach using HW/SW Co-design Techniques to get Power Aware Smart Card Solutions.

[BibT_eX]

Proceedings of The 2005 International Conference on Embedded Systems and Applications, 2005

2004

A Flexible and Accurate Energy Model of an Instruction-Set Simulator for Secure Smart Card Software Design.

[BibT_eX]

[DOI]

Proceedings of the Integrated Circuit and System Design, 2004

A Generic Timing Mechanism for Using the APPLES Gate-Level Simulator in a Mixed-Level Simulation Environment.

[BibT_eX]

[DOI]

Alexander Maili

Damian Dalton

Proceedings of the Integrated Circuit and System Design, 2004

A Generic Simulation Framework for Multiprocessor Architectures.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2004

SystemC Based Design Space Exploration for Power Aware Smart Cards.

[BibT_eX]

[DOI]

Proceedings of the Forum on specification and Design Languages, 2004

Energy Estimation Based on Hierarchical Bus Models for Power-Aware Smart Cards.

[BibT_eX]

[DOI]

Proceedings of the 2004 Design, 2004

High Level Fault Injection for Attack Simulation in Smart Cards.

[BibT_eX]

[DOI]

Proceedings of the 13th Asian Test Symposium (ATS 2004), 2004

2003

Run-time energy estimation in system-on-a-chip designs.

[BibT_eX]

[DOI]

Proceedings of the 2003 Asia and South Pacific Design Automation Conference, 2003

2002

A novel codesign approach based on distributed virtual machines.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Symposium on Hardware/Software Codesign, 2002

2001

A HW/SW Codesign Framework Based on Distributed DSP Virtual Machines.

[BibT_eX]

[DOI]

Proceedings of the Euromicro Symposium on Digital Systems Design 2001 (Euro-DSD 2001), 2001

2000

WATIS2: Design and Application of an Environment Simulation System for Test Improvement of Control Software for Automatic Logistic Systems.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Distributed Simulation and Real-Time Applications (DS-RT 2000), 2000

1999

Applied Probabilistic AI for Online Diagnosis of a Safety-Critical System Based on a Quality Assurance Program.

[BibT_eX]

[DOI]

Johannes Lauber

Proceedings of the 1999 ACM Symposium on Applied Computing, 1999

Combining Different Models of Computation for Cosimulation of Heterogeneous Systems.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Autonomous Agents for Online Diagnosis of a Safety-critical System based on Probabilistic Causal Reasoning.

[BibT_eX]

[DOI]

Johannes Lauber

Proceedings of the Fourth International Symposium on Autonomous Decentralized Systems, 1999

A Hardware/Software Cosimulation Environment for DSP Applications.

[BibT_eX]

[DOI]

Proceedings of the 25th EUROMICRO '99 Conference, 1999

1998

Improvement of Control Software for Automatic Logistic Systems Using Executable Environment Models.

[BibT_eX]

[DOI]

Proceedings of the 24th EUROMICRO '98 Conference, 1998

1995

A Hybrid Parallel Simulation System for Transputers.

[BibT_eX]

M. Ruplitsch