4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010)

Event name
4th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2010)
 
Event type
Event for scientific audience
 
Start date
18-10-2010
End date
20-10-2010
 
Location
Heraklion, Crete
Country
Greece
 
Event format Veranstaltungsformat
On Site

Publications Publikationen

Results 1-6 of 6 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Zolda, Michael ; Bünte, Sven ; Kirner, Raimund Context-Sensitivity in IPET for Measurement-Based Timing AnalysisKonferenzbeitrag Inproceedings 2010
2Knoop, Jens ; Zimmermann, Wolf On the Role of Non-Functional Properties in Compiler VerificationKonferenzbeitrag Inproceedings 2010
3Haberl, Wolfgang ; Herrmannsdoerfer, Markus ; Kugele, Stefan ; Tautschnig, Michael ; Wechs, Martin Seamless Model-Driven Development Put into PracticeKonferenzbeitrag Inproceedings2010
4Barany, Gergö ; Prantl, Adrian Source-Level Support for Timing AnalysisKonferenzbeitrag Inproceedings 2010
5Holzer, Andreas ; Januzaj, Visar ; Kugele, Stefan ; Tautschnig, Michael Timely Time EstimatesKonferenzbeitrag Inproceedings2010
6Puffitsch, Wolfgang ; Huber, Benedikt ; Schoeberl, Martin Worst-Case Analysis of Heap AllocationsKonferenzbeitrag Inproceedings 2010