UB Paderborn / Katalog / Suche / in CDI

ERROR: Record not found

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...

Stream runtime verification of real-time event streams with the Striver language

International journal on software tools for technology transfer, 2021-04, Vol.23 (2), p.157-183

2021

Volltextzugriff (PDF)

Runtime verification of real-time event streams using the tool HStriver

Formal methods in system design, 2022-08, Vol.61 (1), p.3-34

2022

Volltextzugriff (PDF)

Physical distance characterization using pedestrian dynamics simulation

Papers in physics, 2022-01, Vol.14, p.140001-14

2022

Volltextzugriff (PDF)

A formal approach for the verification of the permission-based security model of Android

CLEI electronic journal, 2018-08, Vol.21 (2)

2018

Volltextzugriff (PDF)

General monitorability of totally ordered verdict domains

Innovations in systems and software engineering, 2024-04

2024

Volltextzugriff (PDF)

HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams

Formal Methods, p.563-580

Volltextzugriff (PDF)

Nested Monitors: Monitors as Expressions to Build Monitors

Runtime Verification, p.164-183

Volltextzugriff (PDF)

Striver: Stream Runtime Verification for Real-Time Event-Streams

Runtime Verification, p.282-298

Volltextzugriff (PDF)

Declarative Stream Runtime Verification (hLola)

Programming Languages and Systems, p.25-43

Volltextzugriff (PDF)

Assumption Monitoring ofTemporal Task Planning Using Stream Runtime Verification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022

2022

Volltextzugriff (PDF)

A Stream Runtime Verification Tool with Nested and Retroactive Parametrization

Runtime Verification, p.351-362

Volltextzugriff (PDF)

Monitorability of Expressive Verdicts

NASA Formal Methods, p.693-712

Volltextzugriff (PDF)

A Certified Reference Validation Mechanism for the Permission Model of Android

Logic-Based Program Synthesis and Transformation, p.271-288

Volltextzugriff (PDF)

Unifying the Time-Event Spectrum for Stream Runtime Verification

Runtime Verification, p.462-481

Volltextzugriff (PDF)

Physical distance characterization using pedestrian dynamics simulation

Papers in physics, 2022-01, Vol.14

2022

Volltextzugriff (PDF)

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions

2021 IEEE International Conference on Robotics and Automation (ICRA), 2021, p.6824-6830

2021

Volltextzugriff (PDF)

Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications

2018 IEEE International Conference on Web Services (ICWS), 2018, p.379-382

2018

Volltextzugriff (PDF)

Towards formal model-based analysis and testing of Android's security mechanisms

2017 XLIII Latin American Computer Conference (CLEI), 2017, p.1-10

2017

Volltextzugriff (PDF)

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification

Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, p.397-414

Volltextzugriff (PDF)

i2kit\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\textit{i2kit}$$\end{document}: A Deployment Tool with the Simplicity of Containers and the Security of Virtual Machines

Web Information Systems Engineering – WISE 2018, p.81-95

Volltextzugriff (PDF)

Concentrated solar energy applications in materials science and metallurgy

Solar energy, 2018-08, Vol.170, p.520-540

2018

Volltextzugriff (PDF)

Anodic Lodes and Scrapings as a Source of Electrolytic Manganese

Metals (Basel ), 2018-03, Vol.8 (3), p.162

2018

Volltextzugriff (PDF)

Manufacture of a High Temperature Structural Insulator (HTSI) Using Electrofilter Powders Generated in the Bayer Process

Transactions of the Indian Ceramic Society, 2021-07, Vol.80 (3), p.163-173

2021

Volltextzugriff (PDF)

Cold Agglomeration of Ultrafine Oxidized Dust (UOD) from Ferromanganese and Silicomanganese Industrial Process

Metals (Basel ), 2016-09, Vol.6 (9), p.203-203

2016

Volltextzugriff (PDF)

Study of copper fixation mechanisms on Bayer Process Electrostatic precipitator Microparticles (BPEM) using 1H and 27Al NMR spectroscopy

Journal of water process engineering, 2021-02, Vol.39, p.101872, Article 101872

2021

Volltextzugriff (PDF)

1 – 25 von 26

Suche als RSS-Feed

Suchergebnisse filtern

Filter anzeigen

Nur zeigen

Geprüft (Peer-Review)
(18)
Mit Volltextzugriff
(25)

Publikationsform

Sprache

Englisch
(25)
Spanisch
(1)

Erscheinungsjahr

n.n

Thema

Science & Technology
(17)
Technology
(16)
Computer Science
(12)
Computer Science, Theory & Methods
(7)
Computer Science, Software Engineering
(6)
Materials Science
(4)
Aluminum
(3)
Computer Science, Interdisciplinary Applications
(3)
Engineering
(3)
Monitoring
(3)
Runtime Verification
(3)
Verification
(3)
Alumina
(2)
Bayer Process
(2)
Covid-19
(2)
High Temperature
(2)
Manganese
(2)
Materials Science, Multidisciplinary
(2)
Metallurgy
(2)
Metallurgy & Metallurgical Engineering
(2)

15 weitere anzeigen...

Weniger anzeigen...

Menü

Weitere Dienste

Einstellungen

Stream runtime verification of real-time event streams with the Striver language

Runtime verification of real-time event streams using the tool HStriver

Physical distance characterization using pedestrian dynamics simulation

A formal approach for the verification of the permission-based security model of Android

General monitorability of totally ordered verdict domains

HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event Streams

Nested Monitors: Monitors as Expressions to Build Monitors

Striver: Stream Runtime Verification for Real-Time Event-Streams

Declarative Stream Runtime Verification (hLola)

Assumption Monitoring ofTemporal Task Planning Using Stream Runtime Verification

A Stream Runtime Verification Tool with Nested and Retroactive Parametrization

Monitorability of Expressive Verdicts

A Certified Reference Validation Mechanism for the Permission Model of Android

Unifying the Time-Event Spectrum for Stream Runtime Verification

Physical distance characterization using pedestrian dynamics simulation

Assumption Monitoring Using Runtime Verification for UAV Temporal Task Plan Executions

Pipekit: A Deployment Tool with Advanced Scheduling and Inter-Service Communication for Multi-Tier Applications

Towards formal model-based analysis and testing of Android's security mechanisms

Assumption Monitoring of Temporal Task Planning Using Stream Runtime Verification

Concentrated solar energy applications in materials science and metallurgy

Anodic Lodes and Scrapings as a Source of Electrolytic Manganese

Manufacture of a High Temperature Structural Insulator (HTSI) Using Electrofilter Powders Generated in the Bayer Process

Cold Agglomeration of Ultrafine Oxidized Dust (UOD) from Ferromanganese and Silicomanganese Industrial Process

Study of copper fixation mechanisms on Bayer Process Electrostatic precipitator Microparticles (BPEM) using 1H and 27Al NMR spectroscopy

Suchergebnisse filtern