| layout | title | permalink |
|---|---|---|
page |
Research |
/research/ |
- Artificial Intelligence.
- Logic-based automated reasoning.
- Automated analysis of safety and mission critical systems.
- Reliable autonomous systems.
- Vulnerability analysis of software systems.
- SeaHorn : Automated analysis framework for LLVM-based languages.
- JayHorn : Automated analysis framework for Java programs.
- CoCoSim : An integrated analysis framework for Simulink/Stateflow models.
- Zustre : SMT-based model checker and assume-guarantee contract generator for Lustre.
- LustreC : A modular compiler for Lustre.
Most of my publications can be found online:
- NSF Panel 2016
- Workshop and Tutorials chair for LPAR-2018
- Program chair for HCVS-2018
- Program chair for NASA Formal Methods 2017
- General chair for VSTTE-2016
- Local chair for CAV 2015
- Program chair : CAV-2015 Artifact Evaluation.
- PC: LPAR-2018, FMCAD-2018, HCVS-2018, HCVS-2016, AVOCS-2014, ASE-TOOLS-2014, VSTTE-2014, ISSTA-2014 Artifact Evaluation.
- Reviewer for: CAV, ISSTA, TACAS, ASE, AVOCS, CADE, VMCAI, FMCAD.