|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 12 publication records. Showing 12 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Remi Desmartin, Grant O. Passmore, Ekaterina Komendantskaya |
Neural Networks in Imandra: Matrix Representation as a Verification Choice. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, pp. 78-95, 2022, Springer, 978-3-031-21221-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang 0001, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled |
Formal Specification for Learning-Enabled Autonomous Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, pp. 131-143, 2022, Springer, 978-3-031-21221-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Gokul Hariharan, Brian Kempa, Tichakorn Wongpiromsarn, Phillip H. Jones, Kristin Y. Rozier |
MLTL Multi-type (MLTLM): A Logic for Reasoning About Signals of Different Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, pp. 187-204, 2022, Springer, 978-3-031-21221-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Omri Isac, Radoslav Ivanov, Guy Katz, Nina Narodytska, Laura Nenzi (eds.) |
Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![Springer, 978-3-031-21221-5 The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ariel E. Kellison, Andrew W. Appel |
Verified Numerical Methods for Ordinary Differential Equations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, pp. 147-163, 2022, Springer, 978-3-031-21221-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | João Batista Pereira Matos Jr., Iury Bessa, Edoardo Manino, Xidan Song, Lucas C. Cordeiro |
CEG4N: Counter-Example Guided Neural Network Quantization Refinement. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, pp. 29-45, 2022, Springer, 978-3-031-21221-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart 0001 |
Differentiable Logics for Neural Network Training and Verification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, pp. 67-77, 2022, Springer, 978-3-031-21221-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Youcheng Sun, Muhammad Usman 0024, Divya Gopinath, Corina S. Pasareanu |
VPN: Verification of Poisoning in Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, pp. 3-14, 2022, Springer, 978-3-031-21221-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Klas Leino, Aymeric Fromherz, Ravi Mangal, Matt Fredrikson, Bryan Parno, Corina S. Pasareanu |
Self-correcting Neural Networks for Safe Classification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, pp. 96-130, 2022, Springer, 978-3-031-21221-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Idan Refaeli, Guy Katz |
Minimal Multi-Layer Modifications of Deep Neural Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, pp. 46-66, 2022, Springer, 978-3-031-21221-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Quentin Ferro, Stef Graillat, Thibault Hilaire, Fabienne Jézéquel, Basile Lewandowski |
Neural Network Precision Tuning Using Stochastic Arithmetic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, pp. 164-186, 2022, Springer, 978-3-031-21221-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
1 | Ravi Mangal, Corina S. Pasareanu |
A Cascade of Checkers for Run-time Certification of Local Robustness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
NSV/FoMLAS@CAV ![In: Software Verification and Formal Methods for ML-Enabled Autonomous Systems - 5th International Workshop, FoMLAS 2022, and 15th International Workshop, NSV 2022, Haifa, Israel, July 31 - August 1, and August 11, 2022, Proceedings, pp. 15-28, 2022, Springer, 978-3-031-21221-5. The full citation details ...](Pics/full.jpeg) |
2022 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #12 of 12 (100 per page; Change: )
|
|