Portal:Sources - Revision history

Arinajed at 12:29, 4 October 2022

2022-10-04T12:29:22Z

← Older revision		Revision as of 12:29, 4 October 2022
Line 8:		Line 8:

	== Books on verification ==		== Books on verification ==
	* Model checking ~~book.~~ E. Clarke		* Model checking, E. Clarke et al [https://mitpress.mit.edu/9780262038836/model-checking/]
	* ~~Other~~ model checking ~~book by Peter~~ Katoen		* Principles of model checking, P. Katoen et al [https://mitpress.mit.edu/9780262026499/principles-of-model-checking/]
	* Book on software testing/model-based testing		* Book on software testing/model-based testing
	* Artificial Intelligence and Software Testing - Building systems you can trust (2022). Rex Black, James Davenport, Joanna Olszewska, Jeremias Rößler, Adam Leon Smith, Jonathon Wright. Edited by Adam Leon Smith [https://shop.bcs.org/store/221/detail/workgroup?id=3-221-9781780175768 link]		* Artificial Intelligence and Software Testing - Building systems you can trust (2022). Rex Black, James Davenport, Joanna Olszewska, Jeremias Rößler, Adam Leon Smith, Jonathon Wright. Edited by Adam Leon Smith [https://shop.bcs.org/store/221/detail/workgroup?id=3-221-9781780175768 link]
			* 25 Years of Model Checking, O. Grumberg et al [https://link.springer.com/book/10.1007/978-3-540-69850-0]

	== Special issues on VAS ==		== Special issues on VAS ==

Arinajed at 12:23, 4 October 2022

2022-10-04T12:23:19Z

← Older revision		Revision as of 12:23, 4 October 2022
Line 3:		Line 3:
	== Standards ==		== Standards ==
	* 1012-2016 - IEEE Standard for System, Software, and Hardware Verification and Validation [https://ieeexplore.ieee.org/document/8055462]		* 1012-2016 - IEEE Standard for System, Software, and Hardware Verification and Validation [https://ieeexplore.ieee.org/document/8055462]
			* P2817 - IEEE Guide for Verification of Autonomous Systems [https://standards.ieee.org/ieee/2817/7644/]

	== Best practices ==		== Best practices ==

Arinajed at 12:13, 4 October 2022

2022-10-04T12:13:24Z

← Older revision		Revision as of 12:13, 4 October 2022
Line 58:		Line 58:
	== Conferences ==		== Conferences ==
	*		*

			== Patents ==

	== Most recent relevant papers ==		== Most recent relevant papers ==

Arinajed at 04:29, 20 September 2022

2022-09-20T04:29:52Z

← Older revision		Revision as of 04:29, 20 September 2022
Line 79:		Line 79:
	* Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust, U Topcu, N Bliss, N Cooke, M Cummings, A Llorens, H Shrobe, L Zuck, arXiv preprint 2020 [https://arxiv.org/abs/2010.14443 link]		* Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust, U Topcu, N Bliss, N Cooke, M Cummings, A Llorens, H Shrobe, L Zuck, arXiv preprint 2020 [https://arxiv.org/abs/2010.14443 link]
	* Guidance on the assurance of machine learning in autonomous systems (AMLAS), R Hawkins, C Paterson, C Picardi, Y Jia, R Calinescu, I Habli, arXiv prepring 2021 [https://arxiv.org/abs/2102.01564 link]		* Guidance on the assurance of machine learning in autonomous systems (AMLAS), R Hawkins, C Paterson, C Picardi, Y Jia, R Calinescu, I Habli, arXiv prepring 2021 [https://arxiv.org/abs/2102.01564 link]
			* Assured Autonomy Survey, C Rouff, L Watkins - Foundations and Trends in Privacy and Security 2022 [https://www.nowpublishers.com/article/Details/SEC-027 link]
			* Autonomous Systems Design: Charting a New Discipline, S Saidi, J Deshmukh, D Ziegenbein, R Ernst - IEEE Design & Test 2021 [https://ieeexplore.ieee.org/abstract/document/9615198 link]
			* A Scenario Approach to Risk-Aware Safety-Critical System Verification, P Akella, M Ahmadi, A Ames - ArXiv preprint 2022 [https://arxiv.org/abs/2203.02595 link]

Arinajed at 15:11, 19 September 2022

2022-09-19T15:11:32Z

← Older revision		Revision as of 15:11, 19 September 2022
Line 75:		Line 75:
	* Autonomics: In search of a foundation for next-generation autonomous systems, D Harel, A Marron, J Sifakis - Proceedings of the National Academy of Sciences 2020 [https://www.pnas.org/doi/abs/10.1073/pnas.2003162117 link]		* Autonomics: In search of a foundation for next-generation autonomous systems, D Harel, A Marron, J Sifakis - Proceedings of the National Academy of Sciences 2020 [https://www.pnas.org/doi/abs/10.1073/pnas.2003162117 link]
	* DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems, T Abera, R Bahmani, F Brasser, A Ibrahim, AR Sadeghi, M Schunter - NDSS 2019 [https://www.ndss-symposium.org/wp-content/uploads/2019/02/ndss2019_07A-4_Abera_paper.pdf link]		* DIAT: Data Integrity Attestation for Resilient Collaboration of Autonomous Systems, T Abera, R Bahmani, F Brasser, A Ibrahim, AR Sadeghi, M Schunter - NDSS 2019 [https://www.ndss-symposium.org/wp-content/uploads/2019/02/ndss2019_07A-4_Abera_paper.pdf link]
	* Neural bridge sampling for evaluating safety-critical autonomous systems		* Neural bridge sampling for evaluating safety-critical autonomous systems, A Sinha, M O'Kelly, R Tedrake, JC Duchi - NeurIPS 2020 [https://proceedings.neurips.cc/paper/2020/hash/475d66314dc56a0df8fb8f7c5dbbaf78-Abstract.html link]
	A Sinha, M O'Kelly, R Tedrake, JC Duchi - NeurIPS 2020 [https://proceedings.neurips.cc/paper/2020/hash/475d66314dc56a0df8fb8f7c5dbbaf78-Abstract.html link]
	* Security in autonomous systems, S Katzenbeisser, I Polian, F Regazzoni, M Stottinger - IEEE European Test Symposium 2019 [https://ieeexplore.ieee.org/abstract/document/8791552 link]		* Security in autonomous systems, S Katzenbeisser, I Polian, F Regazzoni, M Stottinger - IEEE European Test Symposium 2019 [https://ieeexplore.ieee.org/abstract/document/8791552 link]
	* Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust, U Topcu, N Bliss, N Cooke, M Cummings, A Llorens, H Shrobe, L Zuck, arXiv preprint 2020 [https://arxiv.org/abs/2010.14443 link]		* Assured Autonomy: Path Toward Living With Autonomous Systems We Can Trust, U Topcu, N Bliss, N Cooke, M Cummings, A Llorens, H Shrobe, L Zuck, arXiv preprint 2020 [https://arxiv.org/abs/2010.14443 link]
	* Guidance on the assurance of machine learning in autonomous systems (AMLAS), R Hawkins, C Paterson, C Picardi, Y Jia, R Calinescu, I Habli, arXiv prepring 2021 [https://arxiv.org/abs/2102.01564 link]		* Guidance on the assurance of machine learning in autonomous systems (AMLAS), R Hawkins, C Paterson, C Picardi, Y Jia, R Calinescu, I Habli, arXiv prepring 2021 [https://arxiv.org/abs/2102.01564 link]

Arinajed at 15:11, 19 September 2022

2022-09-19T15:11:09Z

@@ Line 67: / Line 67: @@
 * A Review of Verification and Validation for Space Autonomous Systems, RC Cardoso, G Kourtis, LA Dennis, C Dixon, M Farrell, M Fisher, M Webster - Current Robotics Reports 2021 [https://link.springer.com/article/10.1007/s43154-021-00058-1 link]
 * Formal verification of colreg-based navigation of maritime autonomous systems, F Shokri-Manninen, J Vain, M Waldén - Proceedings of SEFM 2020 [https://link.springer.com/chapter/10.1007/978-3-030-58768-0_3 link]
 * Compositional verification for autonomous systems with deep learning components, CS Păsăreanu, D Gopinath, H Yu - Safe, Autonomous and Intelligent Vehicles 2019 [https://link.springer.com/chapter/10.1007/978-3-319-97301-2_10 link]
 * Recent trends in formal validation and verification of autonomous robots software, F Ingrand - IEEE International Conference on Robotic Computing, 2019 [https://ieeexplore.ieee.org/abstract/document/8675610/ link]
 * On-line testing for autonomous systems driven by RISC-V processor design verification, A Ruospo, R Cantoro, E Sanchez, PD Schiavone, A Garofalo, L Benini - IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems 2019 [https://ieeexplore.ieee.org/abstract/document/8875345 link]

Arinajed at 14:55, 19 September 2022

2022-09-19T14:55:42Z

← Older revision		Revision as of 14:55, 19 September 2022
Line 59:		Line 59:
	*		*

	== Most recent papers ==		== Most recent relevant papers ==
	~~Ordered by number of citations~~

	* Formal verification of neural network controlled autonomous systems, X Sun, H Khedr, Y Shoukry - Proceedings HSCC 2019 [https://dl.acm.org/doi/abs/10.1145/3302504.3311802 link]		* Formal verification of neural network controlled autonomous systems, X Sun, H Khedr, Y Shoukry - Proceedings HSCC 2019 [https://dl.acm.org/doi/abs/10.1145/3302504.3311802 link]

Arinajed at 14:54, 19 September 2022

2022-09-19T14:54:34Z

← Older revision		Revision as of 14:54, 19 September 2022
Line 58:		Line 58:
	== Conferences ==		== Conferences ==
	*		*

			== Most recent papers ==
			Ordered by number of citations

			* Formal verification of neural network controlled autonomous systems, X Sun, H Khedr, Y Shoukry - Proceedings HSCC 2019 [https://dl.acm.org/doi/abs/10.1145/3302504.3311802 link]
			* Towards a framework for certification of reliable autonomous systems, M Fisher, V Mascardi, KY Rozier, BH Schlinglof, M Winikoff, N Yorke-Smith - Autonomous Agents and Multi-Agent Systems 2021 [https://link.springer.com/article/10.1007/s10458-020-09487-2 link]
			* Verifying the safety of autonomous systems with neural network controllers, R Ivanov, TJ Carpenter, J Weimer, R Alur, GJ Pappas, I Lee - ACM Transactions on Embedded Computing Systems 2020 [https://dl.acm.org/doi/abs/10.1145/3419742 link]
			* A Review of Verification and Validation for Space Autonomous Systems, RC Cardoso, G Kourtis, LA Dennis, C Dixon, M Farrell, M Fisher, M Webster - Current Robotics Reports 2021 [https://link.springer.com/article/10.1007/s43154-021-00058-1 link]
			* Formal verification of colreg-based navigation of maritime autonomous systems, F Shokri-Manninen, J Vain, M Waldén - Proceedings of SEFM 2020 [https://link.springer.com/chapter/10.1007/978-3-030-58768-0_3 link]
			* Reaching Out Towards Fully Verified Autonomous Systems, S Sankaranarayanan, S Dutta, S Mover - Proceedings of RP 2019 [https://link.springer.com/chapter/10.1007/978-3-030-30806-3_3 link]
			* Compositional verification for autonomous systems with deep learning components, CS Păsăreanu, D Gopinath, H Yu - Safe, Autonomous and Intelligent Vehicles 2019 [https://link.springer.com/chapter/10.1007/978-3-319-97301-2_10 link]
			* Recent trends in formal validation and verification of autonomous robots software, F Ingrand - IEEE International Conference on Robotic Computing, 2019 [https://ieeexplore.ieee.org/abstract/document/8675610/ link]
			* Safety Verification of Autonomous Systems: A Multi-Fidelity Reinforcement Learning Approach, JJ Beard, A Baheri - arXiv preprint 2022 [https://arxiv.org/abs/2203.03451 link]
			* On-line testing for autonomous systems driven by RISC-V processor design verification, A Ruospo, R Cantoro, E Sanchez, PD Schiavone, A Garofalo, L Benini - IEEE International Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems 2019 [https://ieeexplore.ieee.org/abstract/document/8875345 link]

Signe at 12:33, 3 May 2022

2022-05-03T12:33:18Z

← Older revision		Revision as of 12:33, 3 May 2022
Line 1:		Line 1:
	Notes for improvement: organize and structure to better differentiate between documentation, resources (e.g. test ranges and tools), and collaborative activities (e.g. conferences)		;Notes for improvement: organize and structure to better differentiate between documentation, resources (e.g. test ranges and tools), and collaborative activities (e.g. conferences)

	== Standards ==		== Standards ==

Signe at 12:32, 3 May 2022

2022-05-03T12:32:59Z

← Older revision		Revision as of 12:32, 3 May 2022
Line 1:		Line 1:
			Notes for improvement: organize and structure to better differentiate between documentation, resources (e.g. test ranges and tools), and collaborative activities (e.g. conferences)

	== Standards ==		== Standards ==
	* 1012-2016 - IEEE Standard for System, Software, and Hardware Verification and Validation [https://ieeexplore.ieee.org/document/8055462]		* 1012-2016 - IEEE Standard for System, Software, and Hardware Verification and Validation [https://ieeexplore.ieee.org/document/8055462]