( en | de | ru )

 

Disambiguation of "Pistauer, Markus"

Author of the publication

copydeleteadd this publication to your clipboard
Seamless Integrated Simulation in Design and Verification Flow for Safety-Critical Systems.

, , , , , and . SAFECOMP Workshops, volume 9923 of Lecture Notes in Computer Science, page 359-370. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Markus Markus

Markus Kurscheidt

Ökonomische Analyse von Sportgroßveranstaltungen: ein integrierter Evaluierungs- und Management-Ansatz am Beispiel von Fußball-Weltmeisterschaften. Uni Paderborn, (2007)

Markus Ugele

Synthese verschiedener Naturstoffe mit vicinalen Stereozentren. Uni Tübingen, (2009)

Markus Perling

Cohomology vanishing and exceptional sequences. Uni Bochum, habilitation, (2009)

Markus Knauer

Struktur-Reaktivitäts-Korrelation von Dieselruß und Charakterisierung von PAHs und Carbonylen im Abgas von Biokraftstoffen. TU München, (2010)
 

Other publications of authors with the same name

Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML., , , , , and . PECCS, page 70-75. SciTePress, (2016)Lifetime Extension of Higher Class UHF RFID Tags using special Power Management Techniques and Energy Harvesting Devices., , , and . Power-aware Computing Systems, volume 07041 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)A Novel Embedded Platform for Secure and Privacy-Concerned Cross-Domain Service Access., , and . IV, page 1961-1967. IEEE, (2019)Specification-based Verification of Embedded Systems by Automated Test Case Generation., , , , and . DIPES, volume 271 of IFIP, page 35-44. Springer, (2008)SaVeSoC: safety aware virtual prototype generation and evaluation of a system on chip., , , , , and . SpringSim (Mod4Sim), page 7:1-7:12. ACM, (2017)Automatic Generation of a Verification Platform., , , and . FDL, page 153-165. ECSI, (2005)A software performance simulation methodology for rapid system architecture exploration., , , , , and . ICECS, page 494-497. IEEE, (2008)Searching Extended IP-XACT Components for SoC Design Based on Requirements Similarity., , , , , , and . IEEE Syst. J., 5 (1): 70-79 (2011)Automated simulation-based verification of power requirements for Systems-on-Chips., , , , , and . DDECS, page 8-11. IEEE Computer Society, (2010)A Decentralized Service-Platform towards Cross-Domain Entitlement Handling., , and . Blockchain, page 455-462. IEEE, (2019)