Research output per year
Research output per year
Search results
-
2022
Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation
Manjunath, V., Diwold, K. & Baunach, M. C., 17 Mar 2022.Research output: Contribution to conference › Abstract › peer-review
-
2020
Privacy-Preserving Machine Learning for Time Series Data: PhD forum abstract
Papst, F., 16 Nov 2020, p. 813-814. 2 p.Research output: Contribution to conference › Abstract › peer-review
Open Access -
2017
Automotive SPICE and Cyber Security
Macher, G., Much, A., Riel, A., Messnarz, R. & Kreiner, C. J., 27 Jun 2017.Research output: Contribution to conference › Abstract › peer-review
-
Temperature Induced Effects on Laser Speckle in a Laser Measurement Device
Mentin, C., Brenner, E. & Priewald, R., 22 Nov 2017.Research output: Contribution to conference › Abstract › peer-review
-
2016
Methods for Edge Detection on CCD or CMOS Linear Sensor Arrays enabling Subpixel Resolution
Mentin, C. & Brenner, E., 28 Jun 2016.Research output: Contribution to conference › Abstract › peer-review
-
Simulation-based Verification of Automotive Safety-Critical Systems based on UML
Weissnegger, R. P., Pistauer, M., Römer, K. U. & Steger, C., 29 Apr 2016, (Accepted/In press) p. 32.Research output: Contribution to conference › Abstract › peer-review
-
1997
Quantitative imaging of chemical phases by energy-filtered transmission electron microscopy
Grogger, W., Hofer, F. & Kothleitner, G., 1997, In: European Journal of Cell Biology. 74, p. 21-21 1 p.Research output: Contribution to journal › Abstract › peer-review