Zobrazeno 1 - 10
of 16
pro vyhledávání: '"Pek, Edgar"'
Autor:
Pek, Edgar, Garg, Pranav, Rahman, Muntasir Raihan, Palmskog, Karl, Gupta, Indranil, Madhusudan, P.
Production distributed systems are challenging to formally verify, in particular when they are based on distributed protocols that are not rigorously described or fully understood. In this paper, we derive models and properties for two core distribut
Externí odkaz:
http://arxiv.org/abs/1712.10056
Autor:
Daian, Philip, Guth, Dwight, Hathhorn, Chris, Li, Yilong, Pek, Edgar, Saxena, Manasvi, Şerbănuţă, Traian Florin, Roșu, Grigore
Publikováno v:
Runtime Verification (9783319469812); 2016, p46-67, 22p
Autor:
Pek, Edgar, Bogunović, Nikola
The analysis of software artifacts is steadily advancing due to the increase in computational power and new verification methodologies. As a result there is a trend to approach the verification of the implementation level code and systems with unboun
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::8f6e82d3cde39b9660eea123b842be75
https://www.bib.irb.hr/248913
https://www.bib.irb.hr/248913
Autor:
Pek, Edgar
Protokoli predstavljaju ključni dio raspodijeljenih računalnih sustava. Osnovna karakteristika raspodijeljenih sustava je konkurentno neterminirajuće izvršavanje. Rasuđivanje o takvim sustavima je teško već zbog očitog nedostatka intuitivne s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::7982b06819f3d2c34af63b63aba3e71f
https://repozitorij.fer.unizg.hr/islandora/object/fer:5355
https://repozitorij.fer.unizg.hr/islandora/object/fer:5355
Autor:
Pek, Edgar, Bogunović, Nikola
In this work we present formal verification of two infinite state mutual exclusion protocols. Infinite state systems cannot be verified by automatic algorithmic verification techniques such as model checking. On the other hand, deductive verification
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::aaa0eb1bb1ae18a8fdec7268c4de5712
https://www.bib.irb.hr/198328
https://www.bib.irb.hr/198328
Autor:
Pek, Edgar, Bogunović, Nikola
Distributed systems protocols exhibit complex behavior due to concurrent and asynchronous computation in a decentralized environment. Verification of such protocols is known as notoriously difficult. Model checking is one of the techniques that have
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::2f01d8e3f5c587b6965677b7cf200dc2
https://www.bib.irb.hr/149173
https://www.bib.irb.hr/149173
Autor:
Pek, Edgar, Bogunović, Nikola
In distributed applications, software components embedded in the communication protocols collectively provide the interaction and functionality among various parts that run on the common pervasive platform. However, software components, as the target
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::a4f9c8f0db9b8a90d192ed07e96bee78
https://www.bib.irb.hr/112635
https://www.bib.irb.hr/112635
East Adriatic coast is characterized by a large number of islands that have always presented a challenging task in implementation of efficient health care in this part of Croatia. One of the most difficult problems is absence of medical specialists b
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=57a035e5b1ae::abc5f0fb231a8087dd8109ccf44bde19
https://www.bib.irb.hr/71712
https://www.bib.irb.hr/71712
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.