- abraham at cs.rwth-aachen.de
- Address
- Room 4229
Ahornstraße 55
D-52074 Aachen - Phone
- +49 241 80 21242
Research interests
My research interests include
- decision procedures, SMT-solving,
- non-linear optimization,
- bounded model checking,
- modeling, synthesis, and analysis of hybrid systems,
- analysis of probabilistic systems, counterexample generation.
PC co-chair:
SYNASC’18, Dean’s Workshop at ECSS’18, PhD-iFM’18, GE@ICSE’18, SC-square session at ICMS’18, SNR’17, PhD-iFM’17, iFM’16, SC²’16, SNR’16, TACAS’14, FORTE’14
PC member:
- 2020: MMB’20, WRLA’20
- 2019: ADA’19, ATVA’19, CiE’19, CyPhy’19, FMCAD’19, FMCAD’19 student forum, FSEN’19, HSCC’19, iFM’19, NFM’19, PADL’19, PhD-iFM’19, SC-square’19, SEFM’19, SNR’19, TASE’19
- 2018: ADA’18, ADHS’18, CyPhy’18, FMi’18, HSCC’18, ICSEA’18, iFM’18, MBMV’18, NFM’18, NSV’18, PADL’18, QEST’18, SC-square’18, SEFM’18, SKILL’18, SMT’18, SNR’18, TASE’18
- 2017: FMi’17, FORMATS’17, FSEN’17, HSCC’17, iFM’17, MBMV’17, PADL’17, QEST’17, SC-square’17, SETTA’17, SIMULTECH’17, SOFSEM’17, SPIN’17, TASE’17, TMPA’17, VMCAI’17
- 2016: E-MuCoCoS’16, FM’16, FMi’16, FORTE’16, MBMV’16, PhD-iFM’16, RV’16, SETTA’16, SMT’16, SPIN’16, TASE’16
- 2015: ADHS’15, ATVA’15, DIFTS’15, FFM’15, FM’15, FMi’15, FORTE’15, FSTTCS’15, HSCC’15, NFM’15, QEST’15, SCSC’15, SIMUL’15, TACAS’15, VMCAI’15
- 2014: DIFTS’14, FMi’14, FORMATS’14, FTSCS’14, HAS’14, HSCC’14, iFM’14, SCSC’14, SIMUL’14, SIMULTECH’14, TTSS’14
- 2013: FMi’13, FORMATS’13, FTSCS’13, HSCC’13, iFM’13, SIMUL’13, SIMULTECH’13, TACAS’13
- 2012: FACS’12, FTSCS’12, HSCC’12, NSV’12, QEST’12, SIMULTECH’12
- 2011: FACS’11, FCT’11, SIMULTECH’11
- 2010: RTRTS’10, TASE’10