|
|
English
version
For å registrere i Cristin må du være vitenskapelig eller administrativt ansatt.
|
|
|
|
|
|
|
|
|
2018
|
1. |
Artho, Cyrille; Ölveczky, Peter Csaba. Formal Techniques for Safety-Critical Systems (FTSCS 2015). Science of Computer Programming 2018 ;Volum 154. s. 1-2 UiO
Untitled
|
|
2. |
Bae, Kyungmin; Ölveczky, Peter Csaba. Formal Aspects of Component Software - 15th International Conference, FACS 2018. Springer Nature 2018 (ISBN 978-3-030-02145-0) ;Volum 11222.297 s. Lecture Notes in Computer Science(1) UiO
Untitled
|
|
3. |
Bobba, Rakesh; Grov, Jon; Gupta, Indranil; Liu, Si; Meseguer, Jose; Ölveczky, Peter Csaba; Skeirik, Stephen. Survivability: Design, Formal Modeling, and Validation of Cloud Storage Systems Using Maude. I: Assured Cloud Computing. : Wiley-IEEE Computer Society Press 2018 ISBN 978-1-119-42863-3. s. 10-48 UiO
Untitled
|
|
4. |
Broccia, Giovanna; Milazzo, Paolo; Ölveczky, Peter Csaba. An Algorithm for Simulating Human Selective Attention. Lecture Notes in Computer Science (LNCS) 2018 ;Volum LNCS 10729. s. 48-55 UiO
Untitled
|
|
5. |
Broccia, Giovanna; Milazzo, Paolo; Ölveczky, Peter Csaba. An executable formal framework for safety-critical human multitasking. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 10811 LNCS. s. 54-69 UiO
Untitled
|
|
6. |
Liu, Si; Ölveczky, Peter Csaba; Santhanam, Keshav; Wang, Qi; Gupta, Indranil; Meseguer, José. ROLA: A new distributed transaction protocol and its formal analysis. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 10802 LNCS. s. 77-93 UiO
Untitled
|
|
7. |
Liu, Si; Ölveczky, Peter Csaba; Wang, Qi; Meseguer, José. Formal modeling and analysis of the walter transactional data store. Lecture Notes in Computer Science (LNCS) 2018 ;Volum 11152 LNCS. s. 136-152 UiO
Untitled
|
|
8. |
Ölveczky, Peter Csaba. Designing Reliable Distributed Systems: A Formal Methods Approach Based on Executable Modeling in Maude. London: Springer 2018 (ISBN 978-1-4471-6686-3) 330 s. UiO
Untitled
|
|