E-LIB Suche - Ergebnisse für: Schumi, J.

1

ETESIAN: A phase 2B study of the efficacy, safety and toler..:

Hofherr, A. ; Schumi, J. ; Rekić, D....
Atherosclerosis. 355 (2022) - p. 28 , 2022

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

2

Semantic-Based Neural Network Repair:

, In: Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis,

Schumi, Richard ; Sun, Jun - p. 150-162 , 2023

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

3

ExAIS : executable AI semantics:

, In: Proceedings of the 44th International Conference on Software Engineering,

Schumi, Richard ; Sun, Jun - p. 859-870 , 2022

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

4

Hepatic patatin‐like phospholipase domain‐containing 3 leve..:

Ericson, Elke ; Bergenholm, Linnéa ; Andréasson, Anne‐Christine...
Hepatology Communications. 6 (2022) 10 - p. 2689-2701 , 2022

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

5

ExAIS: Executable AI Semantics:

, In: 2022 IEEE/ACM 44th International Conference on Software Engineering (ICSE),

Schumi, Richard ; Sun, Jun - p. 859-870 , 2022

Link: https://doi.org/10.1145/..

6

The Security Reference Architecture for Blockchains: Toward..:

Homoliak, Ivan ; Venugopalan, Sarad ; Reijsbergen, Daniel...
IEEE Communications Surveys & Tutorials. 23 (2021) 1 - p. 341-390 , 2021

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

7

Simultaneous Determinations of Effective Porosity and Dispe..:

Guibert, Romain ; Horgue, Pierre ; Schumi, Bettina..
Transport in Porous Media. 140 (2021) 3 - p. 837-850 , 2021

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

8

SpecTest: Specification-Based Compiler Testing:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,

Schumi, Richard ; Sun, Jun - p. 269-291 , 2021

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

9

Disease Modification in Alzheimer's Disease: Current Thinki..:

Liu-Seifert, Hong ; Schumi, Jennifer ; Miao, Xiaopeng...
Therapeutic Innovation & Regulatory Science. 54 (2020) 2 - p. 396-403 , 2020

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

10

Mutation Testing of Smart Contracts at Scale:

, In: Tests and Proofs; Lecture Notes in Computer Science,

Hartel, Pieter ; Schumi, Richard - p. 23-42 , 2020

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

11

Solid-state safety switch for fault-tolerant automotive pow..:

, In: Elektrik/Elektronik in Hybrid- und Elektrofahrzeugen und elektrisches Energiemanagement IX / Dr.-Ing. Carsten Hoff, Dipl.-Ing. (Univ.) Ottmar Sirch (Hrsg.) und 71 Mitautoren

Schipperges, Fabian ; Schumi, Stefan ; Hörtling, Stefan.. (2019) - p. 302-315

Exemplar: TB BHV: ver 60/44-IX

12

Predicting and Testing Latencies with Deep Learning: An IoT..:

, In: Tests and Proofs; Lecture Notes in Computer Science,

Aichernig, Bernhard K. ; Pernkopf, Franz ; Schumi, Richard. - p. 93-111 , 2019

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

13

Trends in vehicle motion control for automated driving on p..:

Klomp, Matthijs ; Jonasson, Mats ; Laine, Leo...
Vehicle System Dynamics. 57 (2019) 7 - p. 1028-1061 , 2019

Link: https://doi.org/10.1080/..

14

Learning and statistical model checking of system response ..:

Aichernig, Bernhard K. ; Bauerstätter, Priska ; Jöbstl, Elisabeth...
Software Quality Journal. 27 (2019) 2 - p. 757-795 , 2019

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

15

Disease Modification in Alzheimer's Disease: Current Thinki..:

Liu-Seifert, Hong ; Schumi, Jennifer ; Miao, Xiaopeng...
Therapeutic Innovation & Regulatory Science. , 2019

Link: https://doi.org/10.1177/..