Wolfgang Haberl
According to our database1,
Wolfgang Haberl
authored at least 12 papers
between 2008 and 2011.
Collaborative distances:
Collaborative distances:
Timeline
2008
2009
2010
2011
0
1
2
3
4
5
6
3
3
5
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2011
PhD thesis, 2011
2010
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010
Model-Based Generation of Fault-Tolerant Embedded Systems.
Proceedings of the 2010 International Conference on Embedded Systems & Applications, 2010
Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010
2009
Proceedings of the ICSE 2009 Workshop on Model-Based Methodologies for Pervasive and Embedded Software, 2009
Proceedings of the ICSE Workshop on Modeling in Software Engineering, 2009
Proceedings of the 46th Design Automation Conference, 2009
2008
Automatic generation of systemc models from component-based designs for early design validation and performance analysis.
Proceedings of the 7th International Workshop on Software and Performance, 2008
Mapping Data-Flow Dependencies onto Distributed Embedded Systems.
Proceedings of the 2008 International Conference on Software Engineering Research & Practice, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
Proceedings of the Leveraging Applications of Formal Methods, 2008
A Middleware for Model-Based Embedded Systems.
Proceedings of the 2008 International Conference on Embedded Systems & Applications, 2008