Irene Lobo Valbuena

Doktorand vid Chalmers, Data- och informationsteknik, Informationssäkerhet

Visar 1 publikationer

2015

Conditional Lemma Discovery and Recursion Induction in Hipster.

Moa Johansson, Irene Lobo Valbuena
Proceedings of the International Workshop on Automated Verification of Critical Systems (AVoCS). Electronic Communications of the EASST.. Vol. 72
Paper i proceeding

Spara referenser

Om du har installerat Zotero eller Mendeley på din dator kan du direkt ta ut referenser från de publikationer du ser i listan.

Du laddar ner dessa pluginer här:
Zotero
Mendeley

Visar 2 forskningsprojekt

2015–2018

Verktyg för snabb analys av globala system med hjälp av språk för funktionell och villkors-programmering

Patrik Jansson Programvaruteknik
Maximilian Algehed Funktionell programmering
Irene Lobo Valbuena Programvaruteknik
Sólrún Einarsdóttir Funktionell programmering
Alex Gerdes Funktionell programmering
Europeiska kommissionen (Horisont 2020)

2014–2016

Matematikens domänspecifika språk (DSLsofMath)

Patrik Jansson Programvaruteknik
Cezar Ionescu Programvaruteknik
Irene Lobo Valbuena Programvaruteknik
Adam Sandberg Eriksson Programvaruteknik
Chalmers

Det kan finnas fler projekt där Irene Lobo Valbuena medverkar, men du måste vara inloggad som anställd på Chalmers för att kunna se dem.