Markus Pistauer

According to our database1, Markus Pistauer authored at least 26 papers between 2005 and 2019.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2019
A Novel Embedded Platform for Secure and Privacy-Concerned Cross-Domain Service Access.
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019

Gamifying connected services patterns.
Proceedings of the 24th European Conference on Pattern Languages of Programs, 2019

A Distributed Framework Towards Local and Online Service Access.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

A Decentralized Service-Platform towards Cross-Domain Entitlement Handling.
Proceedings of the IEEE International Conference on Blockchain, 2019

2018
Increasing Interoperability Between Heterogeneous Smart City Applications.
Proceedings of the Internet and Distributed Computing Systems, 2018

2017
SaVeSoC: safety aware virtual prototype generation and evaluation of a system on chip.
Proceedings of the Symposium on Model-driven Approaches for Simulation Engineering, Mod4Sim 2017, Virginia Beach, VA, USA, April 23, 2017

SHARC - Simulation and Verification of Hierarchical Embedded Microelectronic Systems.
Proceedings of the 8th International Conference on Ambient Systems, 2017

2016
Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2016

Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML.
Proceedings of the 6th International Joint Conference on Pervasive and Embedded Computing and Communication Systems (PECCS 2016), 2016

A novel simulation-based verification pattern for parallel executions in the cloud.
Proceedings of the 21st European Conference on Pattern Languages of Programs, 2016

Simulation-based Verification of Automotive Safety-critical Systems Based on EAST-ADL.
Proceedings of the 7th International Conference on Ambient Systems, 2016

2015
A novel method to speed-up the evaluation of cyber-physical systems (ISO 26262).
Proceedings of the 12th International Workshop on Intelligent Solutions in Embedded Systems, 2015

2011
Searching Extended IP-XACT Components for SoC Design Based on Requirements Similarity.
IEEE Syst. J., 2011

2010
An IP-XACT Library extended with verification information for functionality-based component selection.
Elektrotech. Informationstechnik, 2010

Automated simulation-based verification of power requirements for Systems-on-Chips.
Proceedings of the 13th IEEE International Symposium on Design and Diagnostics of Electronic Circuits and Systems, 2010

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

TEODACS : A new vision for testing dependable automotive communication systems.
Proceedings of the IEEE Third International Symposium on Industrial Embedded Systems, 2008

Specification-based Verification of Embedded Systems by Automated Test Case Generation.
Proceedings of the Distributed Embedded Systems: Design, 2008

A software performance simulation methodology for rapid system architecture exploration.
Proceedings of the 15th IEEE International Conference on Electronics, Circuits and Systems, 2008

Rapid exploration of multimedia system-on-chips with automatically generated software performance models.
Proceedings of the 6th IEEE/ACM/IFIP Workshop on Embedded Systems for Real-Time Multimedia, 2008

2007
A UHF RFID measurement and evaluation test system.
Elektrotech. Informationstechnik, 2007

Simulation platform for UHF RFID.
Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

Lifetime Extension of Higher Class UHF RFID Tags using special Power Management Techniques and Energy Harvesting Devices.
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.
Proceedings of the 2007 IEEE Workshop on Automatic Identification Advanced Technologies, 2007

2005
Automatic Generation of a Verification Platform.
Proceedings of the Forum on specification and Design Languages, 2005

Architecture for model-based UHF RFID system design verification.
Proceedings of the 2005 European Conference on Circuit Theory and Design, 2005


  Loading...