TU Darmstadt / ULB / TUbiblio

Browsen nach Person

Ebene hoch
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Datum | Sprache
Anzahl der Einträge: 9.

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

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Albert, Elvira ; Sekerinski, Emil ; Zavattaro, Gianluigi (eds.) :

An interactive verification tool meets an IDE.
In: LNCS . Springer
[Konferenz- oder Workshop-Beitrag], (2014)

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

Hentschel, Martin ; Käsdorf, Stefan ; Hähnle, Reiner ; Bubel, Richard
Albert, Elvira ; Sekerinski, Emil (eds.) :

An Interactive Verification Tool Meets an IDE.
[Online-Edition: https://doi.org/10.1007/978-3-319-10181-1_4]
In: Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings. In: Lecture Notes in Computer Science , 8739 . Springer
[Konferenz- oder Workshop-Beitrag], (2014)

Albert, Elvira ; de Boer, Frank ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Babar, Ali ; Dumas, Marlon (eds.) :

Engineering Virtualized Services.
2nd Nordic Symposium on Cloud Computing and Internet Technologies (NordiCloud) ACM Press
[Konferenz- oder Workshop-Beitrag], (2013)

Albert, Elvira ; de Boer, Frank S. ; Hähnle, Reiner ; Johnsen, Einar Broch ; Laneve, Cosimo
Solberg, Arnor ; Babar, Muhammad Ali ; Dumas, Marlon ; Cuesta, Carlos E. (eds.) :

Engineering virtualized services.
[Online-Edition: http://doi.acm.org/10.1145/2513534.2513545]
In: Second Nordic Symposium on Cloud Computing & Internet Technologies, NordiCloud '13, Oslo, Norway, September 1-3, 2013. In: ACM International Conference Proceeding Series , 826 . ACM
[Konferenz- oder Workshop-Beitrag], (2013)

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Román-Díez, Guillermo :
Verified Resource Guarantees for Heap Manipulating Programs.
In: Lecture Notes in Computer Science , 7212 . Springer-Verlag
[Konferenz- oder Workshop-Beitrag], (2012)

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

Albert, Elvira ; Bubel, Richard ; Genaim, Samir ; Hähnle, Reiner ; Puebla, Germán ; Román-Díez, Guillermo :
Verified Resource Guarantees using COSTA and KeY.
Proc. ACM SIGPLAN 2011 Workshop on Partial Evaluation and Program Manipulation (PEPM'11), Austin, Texas, USA ACM Press
[Konferenz- oder Workshop-Beitrag], (2011)

Diese Liste wurde am Tue Sep 18 03:52:58 2018 CEST generiert.