Andreas Lindner
Postdoktor vid Institutionen för elektroteknik; Teknik för integrerade smarta system
- E-post:
- andreas.lindner@angstrom.uu.se
- Besöksadress:
- Ångström, Lägerhyddsvägen 1
752 37 Uppsala - Postadress:
- Box 65
751 03 Uppsala
Publikationer
Senaste publikationer
-
Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
Ingår i Verification, Model Checking, And Abstract Interpretation, VMCAI 2026, s. 147-172, 2026
-
Effects on Power-plane Communications: Case Study on Textile and Spacecraft Media
Ingår i 2025 IEEE Sensors Applications Symposium (SAS), 2025
- DOI för Effects on Power-plane Communications: Case Study on Textile and Spacecraft Media
- Ladda ner fulltext (pdf) av Effects on Power-plane Communications: Case Study on Textile and Spacecraft Media
Alla publikationer
Konferensbidrag
-
Forward Symbolic Execution for Trustworthy Automation of Binary Code Verification
Ingår i Verification, Model Checking, And Abstract Interpretation, VMCAI 2026, s. 147-172, 2026
-
Effects on Power-plane Communications: Case Study on Textile and Spacecraft Media
Ingår i 2025 IEEE Sensors Applications Symposium (SAS), 2025
- DOI för Effects on Power-plane Communications: Case Study on Textile and Spacecraft Media
- Ladda ner fulltext (pdf) av Effects on Power-plane Communications: Case Study on Textile and Spacecraft Media