Loading…
Loading…
Loading…
A Certified Proof Checker for Deep Neural Network Verification in Imandra
Desmartin, Remi, Isac, Omri, Passmore, Grant, Komendantskaya, Ekaterina, Stark, Kathrin, Katz, Guy
Year of Publication 24.06.2025
Year of Publication 24.06.2025
Get full text
Journal Article
Loading…
A Certified Proof Checker for Deep Neural Network Verification
Desmartin, Remi, Isac, Omri, Komendantskaya, Ekaterina, Stark, Kathrin, Passmore, Grant, Katz, Guy
Published in arXiv.org (17.05.2024)
Get full text
Published in arXiv.org (17.05.2024)
Paper
Loading…
BEHAVIORAL FINGERPRINTING VIA SOCIAL NETWORK VERIFICATION
DYOR MATTHEW G, HUANG XUEDONG, LORD RICHARD T, LORD ROBERT W, MALAMUD MARK A, DAVIS MARC E, HYDE RODERICK A, LEVIEN ROYCE A, GERRITY DANIEL A, MYHRVOLD NATHAN P, TEGREENE CLARENCE T
Year of Publication 13.06.2013
Get full text
Year of Publication 13.06.2013
Patent
Loading…
BEHAVIORAL FINGERPRINTING VIA SOCIAL NETWORK VERIFICATION
Year of Publication 09.11.2012
Get full text
Patent
Loading…
Loading…
A Data-Driven Damage Identification Framework Based on Transmissibility Function Datasets and One-Dimensional Convolutional Neural Networks: Verification on a Structural Health Monitoring Benchmark Structure
Liu, Tongwei, Xu, Hao, Ragulskis, Minvydas, Cao, Maosen, Ostachowicz, Wiesław
Published in Sensors (Basel, Switzerland) (15.02.2020)
Published in Sensors (Basel, Switzerland) (15.02.2020)
Get full text
Journal Article
Loading…
Enhancing Deep Reinforcement Learning with Executable Specifications
Yerushalmi, Raz
Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (01.05.2023)
Published in Proceedings (IEEE/ACM International Conference on Software Engineering Companion. Online) (01.05.2023)
Get full text
Conference Proceeding
Loading…
Dynamic Property Enforcement in Programmable Data Planes
Neves, Miguel, Huffaker, Bradley, Levchenko, Kirill, Barcellos, Marinho
Published in IEEE/ACM transactions on networking (01.08.2021)
Published in IEEE/ACM transactions on networking (01.08.2021)
Get full text
Journal Article
Loading…
Dynamic property enforcement in programmable data planes
Neves, Miguel, Huffaker, Bradley, Levchenko, Kirill, Barcellos, Marinho
Published in IFIP Networking Conference (20.05.2019)
Published in IFIP Networking Conference (20.05.2019)
Get full text
Conference Proceeding
Loading…
Dynamic Property Enforcement in Programmable Data Planes
Neves, Miguel, Huffaker, Bradley, Levchenko, Kirill, Barcellos, Marinho
Published in IFIP Networking Conference (20.05.2019)
Published in IFIP Networking Conference (20.05.2019)
Get full text
Conference Proceeding
Loading…
Loading…
Certifying Strategyproof Auction Networks
Curry, Michael J, Ping-Yeh, Chiang, Goldstein, Tom, Dickerson, John
Published in arXiv.org (15.06.2020)
Get full text
Published in arXiv.org (15.06.2020)
Paper