Cristin-person-ID: 22356
Person

Peter Csaba Ølveczky

  • Stilling:
    Professor
    ved Institutt for informatikk ved Universitetet i Oslo

Klassifisering

Emneord

Teoretisk databehandling

Resultater Resultater

HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL.

Lee, Jaehun; Kim, Sharon; Bae, Kyungmin; Ølveczky, Peter Csaba. 2021, Lecture Notes in Computer Science (LNCS). PUoSaT, UIOVitenskapelig artikkel

HybridSynchAADL: Modeling and Formal Analysis of Virtually Synchronous CPSs in AADL. Publication at "33rd International Conference on Computer Aided Verification (CAV’21)”. .

Lee, Jaehun; Kim, Sharon; Bae, Kyungmin; Ölveczky, Peter Csaba. 2008, Springer. PUoSaT, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Computer Aided Verification: 33rd International Conference, CAV 2021 .

Lee, Jaehun; Kim, Sharon; Bae, Kyungmin; Ølveczky, Peter Csaba. 2008, PUoSaT, UIOVitenskapelig Kapittel/Artikkel/Konferanseartikkel

Formal Techniques for Safety-Critical Systems (FTSCS 2018) .

Artho, Cyrillo; Ølveczky, Peter Csaba. 2021, Science of Computer Programming. UIO, KThLeder

Software engineering and formal methods: SEFM 2019 special section I tidsskriftet "Software and Systems Modeling” (.

Ølveczky, Peter Csaba; Salaün, Gwen. 2021, Software and Systems Modeling (SoSyM). UIO, UGALeder
1 - 5 av 151 | Neste | Siste »

Utmerkelser

  • 2011 - Best Paper Award, IEEE CSSE 2011