E-LIB Suche - Ergebnisse für: Shriver, David A.

1

DeepManeuver: Adversarial Test Generation for Trajectory Ma..:

von Stein, Meriel ; Shriver, David ; Elbaum, Sebastian
IEEE Transactions on Software Engineering. 49 (2023) 10 - p. 4496-4509 , 2023

Link: https://doi.org/10.1109/..

2

Deeper Notions of Correctness in Image-Based DNNs: Lifting ..:

, In: Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering,

Toledo, Felipe ; Shriver, David ; Elbaum, Sebastian. - p. 2122-2126 , 2023

Link: https://dl.acm.org/doi/1..

3

DNNV: A Framework for Deep Neural Network Verification:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Shriver, David ; Elbaum, Sebastian ; Dwyer, Matthew B. - p. 137-150 , 2021

Link: https://doi.org/10.1007/..

4

Distribution models for falsification and verification of D..:

, In: Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering,

Toledo, Felipe ; Shriver, David ; Elbaum, Sebastian. - p. 317-329 , 2021

Link: https://dl.acm.org/doi/1..

5

Artifact : reducing DNN properties to enable falsificati..:

, In: Proceedings of the 43rd International Conference on Software Engineering: Companion Proceedings,

Shriver, David ; Elbaum, Sebastian ; Dwyer, Matthew B. - p. 162-163 , 2021

Link: https://dl.acm.org/doi/1..

6

Reducing DNN Properties to Enable Falsification with Advers..:

, In: Proceedings of the 43rd International Conference on Software Engineering,

Shriver, David ; Elbaum, Sebastian ; Dwyer, Matthew B. - p. 275-287 , 2021

Link: https://dl.acm.org/doi/1..

7

Systematic Generation of Diverse Benchmarks for DNN Verific..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Xu, Dong ; Shriver, David ; Dwyer, Matthew B.. - p. 97-121 , 2020

Link: https://doi.org/10.1007/..

8

Toward the development of richer properties for recommender..:

, In: Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings,

Shriver, David - p. 173-174 , 2018

Link: https://dl.acm.org/doi/1..

9

At the end of synthesis : narrowing program candidates:

, In: Proceedings of the 39th International Conference on Software Engineering: New Ideas and Emerging Results Track,

Shriver, David ; Elbaum, Sebastian ; Stolee, Kathryn T. - p. 19-22 , 2017

Link: https://dl.acm.org/doi/1..

10

A genetic reporter of thermal stress defines physiologic zo..:

O'connell‐Rodwell, Caitlin E. ; Shriver, David ; Simanovskii, Dmitri M....
The FASEB Journal. 18 (2004) 2 - p. 264-271 , 2004

Link: https://doi.org/10.1096/..

11

U.S. drug and biologic approvals in 1996:

Beary, John F. ; Robillard, Lara E. ; Woollett, Gillian R....
Drug Development Research. 40 (1997) 4 - p. 275-291 , 1997

Link: https://doi.org/10.1002/..

12

Pharmacological profile of RWJ 20085: A new, potent, long‐a..:

Dubinsky, Barry ; Shriver, David A. ; Sanfilippo, Pauline J....
Drug Development Research. 21 (1990) 4 - p. 277-289 , 1990

Link: https://doi.org/10.1002/..

13

Slow release delivery of rioprostil by an osmotic pump inhi..:

Katz, Laurence B. ; Shriver, David A.
Toxicology and Applied Pharmacology. 101 (1989) 1 - p. 36-46 , 1989

Link: https://doi.org/10.1016/..

14

Use of a five-day test to predict the long-term effects of ..:

Katz, Laurence B. ; Schoof, Rosalind A. ; Shriver, David A.
Journal of Pharmacological Methods. 18 (1987) 4 - p. 275-282 , 1987

Link: https://doi.org/10.1016/..

15

Antisecretory and antigastrin effects of rioprostil in gast..:

Katz, Laurence B. ; Genna, Thomas ; Greeley Jr, George H..
Digestive Diseases and Sciences. 32 (1987) 11 - p. 1268-1274 , 1987

Link: https://doi.org/10.1007/..