PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Rosenstiel, Wolfgang"

Author of the publication

copydeleteadd this publication to your clipboard
State-based Analysis and UML-driven Equivalence Checking for C++ State Machines.

, , , , , and . FM+AM, volume P-179 of LNI, page 49-62. GI, (2010)

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.

apl. Prof. Dr. Wolfgang Hauber University of Stuttgart

Enhanced Risky Choice in Male Rats Elicited by the Acute Pharmacological Stressor Yohimbine Involves Prefrontal Dopamine D1 Receptor Activation, , , , , and . The international journal of neuropsychopharmacology, 27 (2): pyae006 (2024)

Wolfgang Ehlers University of Stuttgart

A Contribution to the Medication-Induced Treatment of Brain-Tumor Metastases, , and . Solid (Bio)mechanics : Challenges of the Next Decade, 24, chapter 15, Springer, Cham, (2022)

Dr. Wolfgang Frey University of Stuttgart

Chirality Transfer of Stereogenic Boron Centers Enabled by a SN2-Type Mechanism, , , , , , , , , and 1 other author(s). Organometallics, 43 (3): 330-340 (2024)

Univ. -Prof. Dr. -Ing. Wolfgang Nowak University of Stuttgart

Optimized Predictive Coverage by Averaging Time-Windowed Bayesian Distributions, , , and . Water resources research, 60 (5): e2022WR033280 (2024)

Prof. Dr. Wolfgang Osten University of Stuttgart

CW thin-disk laser emitting kW-class beams with radial polarization, , , , , , and . 2017 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC), IEEE, (2017)
CW thin-disk laser emitting kW-class beams with radial polarization, , , , , , and . 2017 Conference on Lasers and Electro-Optics Europe & European Quantum Electronics Conference (CLEO/Europe-EQEC), IEEE, (2017)Nanofabrication results of a novel cascaded plasmonic superlens : lessons learned, , , and . Modeling Aspects in Optical Metrology VI, 10330, page 103300Y. Bellingham, SPIE, (2017)A cascaded plasmonic superlens for near field imaging with magnification, , , and . Modeling Aspects in Optical Metrology V, 9526, page 95260Z. Bellingham, SPIE, (2015)
 

Other publications of authors with the same name

Error Classification and Yield Prediction of Chips in Semiconductor Industry Applications., , , and . Neural Computing and Applications, 9 (3): 202-210 (2000)Editorial.. Design Autom. for Emb. Sys., 2 (3-4): 265-266 (1997)Model-based platform design and evaluation of cloud-based cyber-physical systems (CCPS)., , and . INDIN, page 376-381. IEEE, (2014)Case Study: SystemC-Based Design of an Industrial Exposure Control Unit1., , , , , and . FDL, page 627-636. ECSI, (2003)Enabling Automated Code Transformation and Variable Tracing., , and . FDL, page 209-214. IEEE, (2008)Grid Based Fast Falsification For Bounded Property Checking., , , , , and . FDL, page 299-304. ECSI, (2007)Performance Analysis and Automated C++ Modularization Using Module-Adapters for SystemC., , and . FDL, page 416-428. ECSI, (2004)TPO++: An Object-Oriented Message-Passing Library in C++., , and . ICPP, page 43-50. IEEE Computer Society, (2000)Resilience Articulation Point (RAP): Cross-layer dependability modeling for nanometer system-on-chip resilience., , , , , , , , , and 10 other author(s). Microelectronics Reliability, 54 (6-7): 1066-1074 (2014)Optimized hybrid verification of embedded software., , , , , , and . LATW, page 1-6. IEEE, (2014)