Deutsch

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, German ; Roman-Diez, Guillermo (2016)
A formal verification framework for static analysis - As well as its instantiation to the resource analyzer COSTA and formal verification tool KeY.
In: Software and System Modeling, 15 (4)
doi: 10.1007/s10270-015-0476-y
Artikel, Bibliographie

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (2014)
An interactive verification tool meets an IDE.
Konferenzveröffentlichung, Bibliographie

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Schlatte, Rudolf ; Tarifa, Silvia Lizeth Tapia ; Wong, Peter Y. H. (2014)
Formal modeling and analysis of resource management for cloud architectures: an industrial case study using Real-Time ABS.
In: Service Oriented Computing and Applications, 8 (4)
doi: 10.1007/s11761-013-0148-0
Artikel, Bibliographie

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Hrsg.: Albert, Elvira ; Sekerinski, Emil (2014)
An Interactive Verification Tool Meets an IDE.
Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings.
doi: 10.1007/978-3-319-10181-1_4
Konferenzveröffentlichung, Bibliographie

Albert, Elvira ; de Boer, Frank ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Hrsg.: Babar, Ali ; Dumas, Marlon (2013)
Engineering Virtualized Services.
Konferenzveröffentlichung, Bibliographie

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Hrsg.: Solberg, Arnor ; Babar, Muhammad Ali ; Dumas, Marlon ; Cuesta, Carlos E. (2013)
Engineering virtualized services.
Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, Oslo, Norway, September 1-3, 2013.
doi: 10.1145/2513534.2513545
Konferenzveröffentlichung, Bibliographie

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Román-Díez, Guillermo (2012)
Verified Resource Guarantees for Heap Manipulating Programs.
doi: 10.1007/978-3-642-28872-2
Konferenzveröffentlichung, Bibliographie

Wong, Peter Y. H. ; Albert, Elvira ; Muschevici, Radu ; Proenca, Jose ; Schäfer, Jan ; Schlatte, Rudolf (2012)
The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems.
In: STTT, 14 (5)
doi: 10.1007/s10009-012-0250-1
Artikel, Bibliographie

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo (2011)
Verified Resource Guarantees using COSTA and KeY.
Konferenzveröffentlichung, Bibliographie

Englisch

Albert, Elvira ; Hähnle, Reiner ; Merayo, Alicia ; Steinhöfel, Dominic
Hrsg.: Guerra, Esther ; Stoelinga, Marielle (2021)
Certified Abstract Cost Analysis.
24th International Conference of the European Joint Conferences on Theory and Practice of Software. virtual Conference (27.03.2021-01.04.2021)
doi: 10.1007/978-3-030-71500-7_2
Konferenzveröffentlichung, Bibliographie