Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Dione: A Protocol Verification System Built with Dafny for I/O Automata., and . IFM, volume 11918 of Lecture Notes in Computer Science, page 227-245. Springer, (2019)Estimating Uncertainty of Autonomous Vehicle Systems with Generalized Polynomial Chaos., , , and . CoRR, (2022)CPArec: Verifying Recursive Programs via Source-to-Source Program Transformation - (Competition Contribution)., , , , and . TACAS, volume 9035 of Lecture Notes in Computer Science, page 426-428. Springer, (2015)CyPhyHouse: A programming, simulation, and deployment toolchain for heterogeneous distributed coordination., , , , , , , , and . ICRA, page 6654-6660. IEEE, (2020)Industry-track: Challenges in Rebooting Autonomy with Deep Learned Perception., , , , , , , , and . EMSOFT, page 17-20. IEEE, (2022)SkyTrakx: A Toolkit for Simulation and Verification of Unmanned Air-Traffic Management Systems., , , , and . ITSC, page 372-379. IEEE, (2021)PAC learning-based verification and model synthesis., , , , , , and . ICSE, page 714-724. ACM, (2016)Verifying Recursive Programs Using Intraprocedural Analyzers., , , , and . SAS, volume 8723 of Lecture Notes in Computer Science, page 118-133. Springer, (2014)Programming Abstractions for Simulation and Testing on Smart Manufacturing Systems., , , and . CASE, page 2287-2292. IEEE, (2022)Leap to the Eye: Implicit Gaze-based Interaction to Reveal Invisible Objects for Virtual Environment Exploration., , , , and . ISMAR, page 214-222. IEEE, (2023)