1![Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1 Conflict-Directed Graph Coverage Daniel Schwartz-Narbonne1 , Martin Sch¨af2 , Dejan Jovanovi´c2 , Philipp R¨ ummer3 , and Thomas Wies1 1](https://www.pdfsearch.io/img/fce10f9a9e6ed29a85645217e4740ccc.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2015-02-14 13:21:39
|
---|
2![OpenSky Report 2018: Assessing the Integrity of Crowdsourced Mode S and ADS-B Data Matthias Sch¨afer¶‡∗ , Martin Strohmeier¶† , Matthew Smith¶† , Markus Fuchs¶‡ , Vincent Lenders¶§ , Ivan Martinovic¶† OpenSky Report 2018: Assessing the Integrity of Crowdsourced Mode S and ADS-B Data Matthias Sch¨afer¶‡∗ , Martin Strohmeier¶† , Matthew Smith¶† , Markus Fuchs¶‡ , Vincent Lenders¶§ , Ivan Martinovic¶†](https://www.pdfsearch.io/img/e8791a734e8b8de030e97e5911489bf7.jpg) | Add to Reading ListSource URL: www.lenders.chLanguage: English - Date: 2018-08-23 02:40:40
|
---|
3![Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2](https://www.pdfsearch.io/img/959333a62af525ebfec4a7f2c5e291e2.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
4![OpenSky Report 2017: Mode S and ADS-B Usage of Military and other State Aircraft Matthias Sch¨afer∗ , Martin Strohmeier† , Matthew Smith† , Markus Fuchs‡ , Vincent Lenders§ , Marc Liechti¶ , Ivan Martinovic† OpenSky Report 2017: Mode S and ADS-B Usage of Military and other State Aircraft Matthias Sch¨afer∗ , Martin Strohmeier† , Matthew Smith† , Markus Fuchs‡ , Vincent Lenders§ , Marc Liechti¶ , Ivan Martinovic†](https://www.pdfsearch.io/img/789c0bcb022a7184d4fa4b03856fa1d9.jpg) | Add to Reading ListSource URL: www.lenders.chLanguage: English - Date: 2017-10-20 08:53:16
|
---|
5![Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2](https://www.pdfsearch.io/img/5aa93f1425c466a05454d93634e27b69.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2015-09-28 14:39:27
|
---|
6![Abduction by Non-Experts Nikolaj Bjørner2 , Dejan Jovanovi´c1 , Tancr`ede Lepoint1 , Philipp R¨ ummer3 , and 1 Martin Sch¨af 1 Abduction by Non-Experts Nikolaj Bjørner2 , Dejan Jovanovi´c1 , Tancr`ede Lepoint1 , Philipp R¨ ummer3 , and 1 Martin Sch¨af 1](https://www.pdfsearch.io/img/30681f77f1c857415c446197b25f47da.jpg) | Add to Reading ListSource URL: csl.sri.comLanguage: English - Date: 2018-04-25 11:34:43
|
---|
7![Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2](https://www.pdfsearch.io/img/5a002f08eb675b79014a5d20236999c8.jpg) | Add to Reading ListSource URL: jorgenavas.github.ioLanguage: English - Date: 2018-10-25 12:43:22
|
---|
8![On Using Results of Code-level Bounded Model Checking in Assurance Cases Carmen Cˆ arlan, Daniel Ratiu, and Bernhard Sch¨atz fortiss GmbH, Munich, email: Siemens CT, Munich, email: daniel.ratiu@sieme On Using Results of Code-level Bounded Model Checking in Assurance Cases Carmen Cˆ arlan, Daniel Ratiu, and Bernhard Sch¨atz fortiss GmbH, Munich, email: Siemens CT, Munich, email: daniel.ratiu@sieme](https://www.pdfsearch.io/img/b26c348b6078e946df5a69910d715b91.jpg) | Add to Reading ListSource URL: mbeddr.comLanguage: English - Date: 2018-08-02 04:06:51
|
---|
9![Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2 Finding Inconsistencies in Programs with Loops? Temesghen Kahsai1 , Jorge A. Navas2 , Dejan Jovanovi´c3 , Martin Sch¨af3 1 2](https://www.pdfsearch.io/img/be19ae07e8e483cb8ed885222a3612ab.jpg) | Add to Reading ListSource URL: seahorn.github.ioLanguage: English - Date: 2018-08-03 20:31:21
|
---|
10![Crowd-GPS-Sec: Leveraging Crowdsourcing to Detect and Localize GPS Spoofing Attacks Kai Jansen∗ , Matthias Sch¨afer† , Daniel Moser‡ , Vincent Lenders§ , Christina P¨opper¶ and Jens Schmitt† ∗ Ruhr-Universi Crowd-GPS-Sec: Leveraging Crowdsourcing to Detect and Localize GPS Spoofing Attacks Kai Jansen∗ , Matthias Sch¨afer† , Daniel Moser‡ , Vincent Lenders§ , Christina P¨opper¶ and Jens Schmitt† ∗ Ruhr-Universi](https://www.pdfsearch.io/img/317d283c9528b07cf66bb156869ecac5.jpg) | Add to Reading ListSource URL: www.lenders.chLanguage: English - Date: 2018-01-11 04:46:53
|
---|