Name Card

Full name Familienname, Vorname

Margaria, Tiziana

Contributing Publications Mitbeteiligte Publikationen

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

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	1		Lukina, Anna ; Esterle, Lukas ; Hirsch, Christian ; Bartocci, Ezio ; Yang, Junxing ; Tiwari, Ashish ; Smolka, Scott A. ; Grosu, Radu	ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans	Konferenzbeitrag Inproceedings	2017
	2		de Haan, Ronald ; Szeider, Stefan	Machine Characterizations for Parameterized Complexity Classes Beyond Para-NP	Konferenzbeitrag Inproceedings	2015
	3		Haberl, Wolfgang ; Herrmannsdoerfer, Markus ; Kugele, Stefan ; Tautschnig, Michael ; Wechs, Martin	Seamless Model-Driven Development Put into Practice	Konferenzbeitrag Inproceedings	2010
	4		Holzer, Andreas ; Januzaj, Visar ; Kugele, Stefan ; Tautschnig, Michael	Timely Time Estimates	Konferenzbeitrag Inproceedings	2010
	5		Knoop, Jens ; Zimmermann, Wolf	On the Role of Non-Functional Properties in Compiler Verification	Konferenzbeitrag Inproceedings	2010
	6		Lisper, Björn ; Ermedahl, Andreas ; Schreiner, Dietmar ; Knoop, Jens ; Gliwa, Peter	Practical Experiences of Applying Source-Level WCET Flow Analysis on Industrial Code	Konferenzbeitrag Inproceedings	2010
	7		Kühn, Eva ; Mordinyi, Richard ; Schreiber, Christian	An Extensible Space-Based Coordination Approach for Modeling Complex Patterns in Large Systems,	Konferenzbeitrag Inproceedings	2008