Automated Program Analysis for Bounds on Resource Consumption

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
Automated Bound Analysis
 
Project Title (de) Projekttitel (de)
Automated Program Analysis for Bounds on Resource Consumption
 
Project Title (en) Projekttitel (en)
Automated Program Analysis for Bounds on Resource Consumption
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds
Grant number Förderkennnummer
ICT12-059
 

Publications

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Kotek, Tomer ; imkus, Mantas ; Veith, Helmut ; Zuleger, Florian Extending ALCQIO with TreesKonferenzbeitrag Inproceedings 2015