Все публикации

0:18:14

MALIBOO: When Machine Learning meets Bayesian Optimization

0:15:30

Deriving a Realistic Workload Model to Simulate High-Volume Financial Data Feeds for Benchmarking

0:10:58

DEBS 2022 - Grand Challenge Track - DEBS Grand Challenge: Analysis of Market Data with Noir

0:14:57

RStream: Simple and Efficient Batch and Stream Processing at Scale

0:10:54

TESLA: a formally defined event specification language (Test of Time Award)

0:18:30

Temporal Pattern Recognition in Graph Data Structures

0:16:03

Advancing Design and Runtime Management of AI Applications with AI-SPRINT

0:19:04

Model-Driven Development of Formally Verified Human-Robot Interactions

0:22:50

PuRSUE-from specification of robotic environments to synthesis of controllers

0:13:47

Teaching Formal Methods to Software Engineers through Collaborative Learning

0:24:43

Model-Checking Structured Context-Free Languages (Extended)

0:04:56

Model-Checking Structured Context-Free Languages (Teaser)

0:21:05

Experimenting with Discrete Time Quantum Walk

0:09:37

A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions

0:35:57

Generalizing an Exactly-1 SAT Solver for Arbitrary Numbers of Variables, Clauses, and K