Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Rayadurgam, Sanjai"'
Autor:
Katis, Andreas, Fedyukovich, Grigory, Chen, Jeffrey, Greve, David, Rayadurgam, Sanjai, Whalen, Michael W.
Diversity in the exhibited behavior of a given system is a desirable characteristic in a variety of application contexts. Synthesis of conformant implementations often proceeds by discovering witnessing Skolem functions, which are traditionally deter
Externí odkaz:
http://arxiv.org/abs/2009.12330
Neural networks used for image classification tasks in critical applications must be tested with sufficient realistic data to assure their correctness. To effectively test an image classification neural network, one must obtain realistic test data ad
Externí odkaz:
http://arxiv.org/abs/2002.06337
Autor:
Byun, Taejoon, Rayadurgam, Sanjai
The increasing use of machine-learning (ML) enabled systems in critical tasks fuels the quest for novel verification and validation techniques yet grounded in accepted system assurance principles. In traditional system development, model-based techni
Externí odkaz:
http://arxiv.org/abs/2002.03147
Deep neural networks (DNNs) are increasingly being adopted for sensing and control functions in a variety of safety and mission-critical systems such as self-driving cars, autonomous air vehicles, medical diagnostics, and industrial robotics. Failure
Externí odkaz:
http://arxiv.org/abs/1901.03768
Publikováno v:
NASA Formal Methods: 8th International Symposium, NFM 2016, Minneapolis, MN, USA, June 7-9, 2016, Proceedings, 255-271
STARTPAGE=255;ENDPAGE=271;TITLE=NASA Formal Methods
Lecture Notes in Computer Science ISBN: 9783319406473
NFM
STARTPAGE=255;ENDPAGE=271;TITLE=NASA Formal Methods
Lecture Notes in Computer Science ISBN: 9783319406473
NFM
We investigate the use of bandwidth and wavefront reduction algorithms to determine a static BDD variable ordering. The aim is to reduce the size of BDDs arising in symbolic reachability. Previous work showed that minimizing the (weighted) event span
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::38be30ab939489ffdf9142301491acf3
https://doi.org/10.1007/978-3-319-40648-0_20
https://doi.org/10.1007/978-3-319-40648-0_20
This report documents the program and the outcomes of Dagstuhl Seminar 15162 on "Software and Systems Traceability for Safety-Critical Projects". The event brought together researchers and industrial practitioners working in the field of safety criti
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d93b4e7ef761142a9f83802245849479
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
ACM International Conference Proceeding Series; 7/5/2017, p95-99, 5p
Publikováno v:
2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE); 2016, p86-93, 8p