UB Paderborn / Katalog / Suche / in CDI

Sortiert nach

Einfacher Volltextzugriff von (fast) überall

Installieren Sie die LibKey Nomad-Browsererweiterung und erhalten Sie von vielen Webseiten einfachen Zugriff auf lizenzierte Volltexte oder Open Access Publikationen. Mehr erfahren...

Robust Online Monitoring of Signal Temporal Logic

Runtime Verification, p.55-70

Volltextzugriff (PDF)

Retinal Blood Vessel Segmentation Based on Modified CNN and Analyze the Perceptional Quality of Segmented Images

Advanced Network Technologies and Intelligent Computing, p.609-625

Volltextzugriff (PDF)

Potential Role and Utilization of Piriformospora indica: Fungal Endophytes in Commercial Plant Tissue Culture

Commercial Scale Tissue Culture for Horticulture and Plantation Crops, 2022, p.85-120

2022

Volltextzugriff (PDF)

Clairvoyant Monitoring for Signal Temporal Logic

Formal Modeling and Analysis of Timed Systems, 2020, Vol.12288, p.178-195

2020

Volltextzugriff (PDF)

A RS and GIS Approaches for the Estimation of Runoff and Soil Erosion in SA-13 Watershed

Hydrologic Modeling, p.307-330

Volltextzugriff (PDF)

The Prusti Project: Formal Verification for Rust

NASA Formal Methods, p.88-108

Volltextzugriff (PDF)

DiffRNN: Differential Verification of Recurrent Neural Networks

Formal Modeling and Analysis of Timed Systems, 2021, Vol.12860, p.117-134

2021

Volltextzugriff (PDF)

Automatic Verification of Parameterized Data Structures

Lecture notes in computer science, 2006, p.27-41

2006

Volltextzugriff (PDF)

Hierarchical Contract-Based Synthesis for Assurance Cases

NASA Formal Methods, p.175-192

Volltextzugriff (PDF)

Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems

Automated Technology for Verification and Analysis, p.91-107

Volltextzugriff (PDF)

Hypercontracts

NASA Formal Methods, p.674-692

Volltextzugriff (PDF)

Reachability Analysis for Cyber-Physical Systems: Are We There Yet?

NASA Formal Methods, p.109-130

Volltextzugriff (PDF)

Verified Probabilistic Policies for Deep Reinforcement Learning

NASA Formal Methods, p.193-212

Volltextzugriff (PDF)

Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning

NASA Formal Methods, p.373-392

Volltextzugriff (PDF)

On the Termination of Borrow Checking in Featherweight Rust

NASA Formal Methods, p.411-430

Volltextzugriff (PDF)

Asynchronous Composition of Local Interface LTL Properties

NASA Formal Methods, p.508-526

Volltextzugriff (PDF)

Proof Mate: An Interactive Proof Helper for PVS (Tool Paper)

NASA Formal Methods, p.809-815

Volltextzugriff (PDF)

From Verified Scala to STIX File System Embedded Code Using Stainless

NASA Formal Methods, p.393-410

Volltextzugriff (PDF)

Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I

NASA Formal Methods, p.816-825

Volltextzugriff (PDF)

The Power of Disjoint Support Decompositions in Decision Diagrams

NASA Formal Methods, p.790-799

Volltextzugriff (PDF)

Automating Program Transformation with Coccinelle

NASA Formal Methods, p.71-87

Volltextzugriff (PDF)

Monitorability of Expressive Verdicts

NASA Formal Methods, p.693-712

Volltextzugriff (PDF)

Configurable Benchmarks for C Model Checkers

NASA Formal Methods, p.338-354

Volltextzugriff (PDF)

Incremental Transitive Closure for Zonal Abstract Domain

NASA Formal Methods, p.800-808

Volltextzugriff (PDF)

Quantification of Battery Depletion Risk Made Efficient

NASA Formal Methods, p.156-174

Volltextzugriff (PDF)

1 – 25 von 344

Suche als RSS-Feed

Aktive Filter

PublikationsformBuchkapitel

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(33)
Mit Volltextzugriff
(333)

Sprache

Englisch
(343)
Japanisch
(2)
Deutsch
(1)

Erscheinungsjahr

n.n

Thema

Science & Technology
(42)
Technology
(38)
Computer Science
(30)
Computer Science, Theory & Methods
(29)
Engineering
(21)
Computer Science, Interdisciplinary Applications
(20)
Engineering, Aerospace
(18)
Fungi
(11)
Computer Science, Software Engineering
(6)
Diversity
(6)
Physical Sciences
(6)
Applications
(5)
Bioremediation
(5)
Biotechnology
(5)
Mycelium
(5)
Additive Manufacturing
(4)
Agriculture
(4)
Antifungal
(4)
Mushrooms
(4)
Nanoparticles
(4)

15 weitere anzeigen...

Weniger anzeigen...

Neu hinzugefügt

... seit 90 Tagen
(2)

Menü

Weitere Dienste

Einstellungen

Robust Online Monitoring of Signal Temporal Logic

Retinal Blood Vessel Segmentation Based on Modified CNN and Analyze the Perceptional Quality of Segmented Images

Potential Role and Utilization of Piriformospora indica: Fungal Endophytes in Commercial Plant Tissue Culture

Clairvoyant Monitoring for Signal Temporal Logic

A RS and GIS Approaches for the Estimation of Runoff and Soil Erosion in SA-13 Watershed

The Prusti Project: Formal Verification for Rust

DiffRNN: Differential Verification of Recurrent Neural Networks

Automatic Verification of Parameterized Data Structures

Hierarchical Contract-Based Synthesis for Assurance Cases

Mining Interpretable Spatio-Temporal Logic Properties for Spatially Distributed Systems

Hypercontracts

Reachability Analysis for Cyber-Physical Systems: Are We There Yet?

Verified Probabilistic Policies for Deep Reinforcement Learning

Stateful Black-Box Fuzzing of Bluetooth Devices Using Automata Learning

On the Termination of Borrow Checking in Featherweight Rust

Asynchronous Composition of Local Interface LTL Properties

Proof Mate: An Interactive Proof Helper for PVS (Tool Paper)

From Verified Scala to STIX File System Embedded Code Using Stainless

Runtime Verification Triggers Real-Time, Autonomous Fault Recovery on the CySat-I

The Power of Disjoint Support Decompositions in Decision Diagrams

Automating Program Transformation with Coccinelle

Monitorability of Expressive Verdicts

Configurable Benchmarks for C Model Checkers

Incremental Transitive Closure for Zonal Abstract Domain

Quantification of Battery Depletion Risk Made Efficient

Aktive Filter

Suchergebnisse filtern