Adi Sosnovich
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2013–2018
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ICSOC | A Model-Driven Framework for Automated Generation and Verification of Cloud Solutions from Requirements. | Hamid R. Motahari Nezhad, Taiga Nakamura, Adi Sosnovich, Peifeng Yin, Karen Yorav |
| 2015 | LPAR | Analyzing Internet Routing Security Using Model Checking. | Adi Sosnovich, Orna Grumberg, Gabi Nakibly |
| 2014 | ACSAC | OSPF vulnerability to persistent poisoning attacks: a systematic analysis. | Gabi Nakibly, Adi Sosnovich, Eitan Menahem, Ariel Waizel, Yuval Elovici |
| 2013 | CAV | Finding Security Vulnerabilities in a Network Protocol Using Parameterized Systems. | Adi Sosnovich, Orna Grumberg, Gabi Nakibly |