Current Research Information SysTem In Norway
 
 

 English version


 
Hovedside
Forskningsresultater/NVI
Forskere
Prosjekter
Forskningsenheter
Logg inn
Om Cristin
 
 
   
Eksporter til


Viser treff 1-8 av 8

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