Просмотр новости
Найдите то, что Вас интересует
Спутники
РН
SpaceX
Роскосмос
NASA
СпутникиРНSpaceXРоскосмосNASAPosted: 23rd September 2014
The paper "Formal Modelling and Validation of Rate-Adaptive Pacemakers" was presented by Nicola Paoletti, and co-authored by Harriet Lea-Banks (who contributed to the project during a summer internship funded by VERIWARE), Alex Mereacre and Marta Kwiatkowska. VERIPACE is an ERC Proof of Concept project that aims to develop novel software tools for pacemaker design, and arises from the results obtained from the ERC Advanced Grant VERIWARE (www.veriware.org).
| # | Наименование новости | Тональность | Информативность | Дата публикации |
|---|---|---|---|---|
| 1 | Best Paper Award at the ACM Workshop on Information Hiding and Multimedia Security 2014 | 0 | 17.14 | 30-06-2014 |
| 2 | ICLR Deep Learning Conference - Best Paper Award | 0 | 10 | 21-04-2016 |
| 3 | Best paper win at International Colloquium on Automata, Languages and Programming | 0 | 10 | 10-05-2017 |
| 4 | Best Paper Award at ICALP'14 | 0 | 9.88 | 21-05-2014 |
| 5 | Best Application Paper Award at ICML2014 | 0 | 17.14 | 27-06-2014 |
| 6 | Distinguished paper award at PLDI'14 | 0 | 15.88 | 12-06-2014 |
| 7 | Best Paper win at the 2017 IEEE Security and Privacy Workshop | 0 | 19.09 | 24-05-2017 |
| 8 | Best paper award at ACM CCS International Workshop | 0 | 10 | 07-11-2016 |
| 9 | Distinguished Paper Award won at USENIX | 0 | 10 | 23-08-2023 |
| 10 | Double Best Paper Win at ICALP 2016 Conference | 0 | 22.5 | 04-05-2016 |