Rob Smits

5 papers 11 citations h-index 1 2011–2020

Grey-Box Learning of Register Automata

Bharat Garhewal, Frits Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits

Model learning (a.k.a. active automata learning) is a highly effective technique for obtaining black-box finite state models of software components. Thus far, generalisation to infinite state...

11 citations 2020-09 International Conference on Integrated Formal Methods

Ray tracing in the cloud using MapReduce

Lesley Northam, Rob Smits, Khuzaima Daudjee, Joe Istead

2013-01 HPCS

HORT: Hadoop online ray tracing with mapreduce

Lesley Northam, Rob Smits

2011-01 SIGGRAPH Posters

BridgeSPA: improving Tor bridges with single packet authorization

Rob Smits, Divam Jain, Sarah Pidcock, Ian Goldberg, Urs Hengartner

2011-01 WPES

Grey-Box Learning of Register Automata

Bharat Garhewal, Frits W. Vaandrager, Falk Howar, Timo Schrijvers, Toon Lenaerts, Rob Smits

2020-01 IFM

Details

HuggingPeers ID: ID hpa-AEuSt06MGoT
Papers: 5
Citations: 11 (summed over indexed papers)
h-index: 1
Active: 2011–2020

Aggregated from the papers indexed here — not the author's full publication record. We identify authors by name alone, so two people who share a name appear as one. Some figures — citations in particular — are still being collected, so they may be incomplete or out of date.

Research topics

Frequent co-authors 10

Bharat Garhewal 2 shared papers
Falk Howar 2 shared papers
Lesley Northam 2 shared papers
Timo Schrijvers 2 shared papers
Toon Lenaerts 2 shared papers
Divam Jain 1 shared paper
Frits Vaandrager 1 shared paper
Frits W. Vaandrager 1 shared paper
Ian Goldberg 1 shared paper
Joe Istead 1 shared paper

Is this you?

Are you this author? Sign in to claim this profile. Claims are submitted through Profile Settings and verified by a reviewer.