Login / Signup
Carl Lusty
Publication Activity (10 Years)
Years Active: 2012-2021
Publications (10 Years): 3
Top Topics
Wifi
State Machine
Model Checking
Indoor Localization
Top Venues
SIMPAR
MoDELS (Workshops)
DIVANet
RiTA
</>
Publications
</>
Carl Lusty
,
Vladimir Estivill-Castro
,
René Hexel
TTWiFi: Time-Triggered Communication over WiFi.
DIVANet
(2021)
Vladimir Estivill-Castro
,
René Hexel
,
Carl Lusty
Continuous Integration for Testing Full Robotic Behaviours in a GUI-stripped Simulation.
MoDELS (Workshops)
(2018)
Dimitri Joukoff
,
Vladimir Estivill-Castro
,
René Hexel
,
Carl Lusty
Fast MAV Control by Control/Status OO-Messages on Shared-Memory Middleware.
RiTA
(2015)
Vladimir Estivill-Castro
,
René Hexel
,
Carl Lusty
High Performance Relaying of C++11 Objects across Processes and Logic-Labeled Finite-State Machines.
SIMPAR
(2014)
Robert Coleman
,
Vladimir Estivill-Castro
,
René Hexel
,
Carl Lusty
Visual-Trace Simulation of Concurrent Finite-State Machines for Validation and Model-Checking of Complex Behaviour.
SIMPAR
(2012)