Name Card

Full name Familienname, Vorname

Vardanega, Tullio

Contributing Publications Mitbeteiligte Publikationen

All

Conference Papers

Author

Subject

Date issued

3 2000 - 2024

Results 1-3 of 3 (Search time: 0.001 seconds).

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Huber, Benedikt ; Prokesch, Daniel ; Puschner, Peter	A Formal Framework for Precise Parametric WCET Formulas	Konferenzbeitrag Inproceedings	2012
	2		Mittermayr, Robert ; Blieberger, Johann	Timing Analysis of Concurrent Programs	Konferenzbeitrag Inproceedings	2012
	3		Fechete, Raul ; Kienesberger, Georg ; Blieberger, Johann	A Framework for CFG-Based Static Program Analysis of Ada Programs	Konferenzbeitrag Inproceedings	2008