César Rodríguez | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Klaus Wehrle
29 publications
Laure Petrucci
10 publications
Camille Coti
9 publications
Wilder Castellanos
6 publications
Marcelo Sousa
2 publications
Daniel Schemmel
2 publications
Huyen T. T Nguyen
1 publication
Kevin Delgadillo
1 publication
Hector Guarnizo
1 publication
Julian Büning
1 publication
David Laprell
1 publication

research

∙ 05/14/2020

Symbolic Partial-Order Execution for Testing Multi-Threaded Programs

We describe a technique for systematic testing of multi-threaded program...

0 Daniel Schemmel, et al. ∙

research

∙ 12/26/2019

Performance Evaluation of a Substrate Integrated Waveguide Antenna for Vehicular Networks

This paper describes the design and evaluation of a Substrate Integrated...

0 Kevin Delgadillo, et al. ∙

research

∙ 02/12/2018

Quasi-Optimal Partial Order Reduction

A dynamic partial order reduction (DPOR) algorithm is optimal when it al...

0 Huyen T. T Nguyen, et al. ∙

Success!

An error occurred