• Sign in
  • Sign up
conf.researchr.org / Ondřej Lengál
  • APLAS 2019 profile
  • APLAS 2020 profile
  • ETAPS 2019 profile
  • PLDI 2018 profile
  • POPL 2017 profile
  • SPLASH 2020 profile
Ondřej Lengál

Registered user since Mon 7 May 2018

Name: Ondřej Lengál

Bio: Ph.D. (2015) Brno University of Technology

Affiliation: Brno University of Technology

Personal website: http://www.fit.vutbr.cz/~lengal

Research interests: Formal Verification, Automata Theory, Logic

Contributions

APLAS 2020 Author of A Symbolic Algorithm for the Case-Split Rule in String Constraint Solving within the Research Papers-track
SPLASH 2020 Author of Regex Matching with Counting-Set Automata within the OOPSLA-track
Author of Regex Matching with Counting-Set Automata within the OOPSLA Artifacts-track
APLAS 2019 Author of Succinct Determinisation of Counting Automata via Sphere Construction within the Research Papers-track
Author of Simulations in Rank-Based Buchi Automata Complementation within the Research Papers-track
TACAS 2019 Session Chair of Monitoring and Runtime Verification (part of TACAS 2019)
AE co-chair in Artifact Evaluation Committee within the TACAS 2019-track
PLDI 2018 Author of Advanced Automata-Based Algorithms for Program Termination Checking within the PLDI Research Papers-track
VMCAI 2017 Author of Counterexample Validation and Interpolation-Based Refinement for Forest Automata within the VMCAI-track

Share
xMon 1 Mar 02:21
using conf.researchr.org (v1.42.1)
Support page
Sign Up