- 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:
PC member:
- 2010: RTRTS’10, TASE’10
- 2011: FACS’11, FCT’11, SIMULTECH’11
- 2012: FACS’12, FTSCS’12, HSCC’12, NSV’12, QEST’12, SIMULTECH’12
- 2013: FMi’13, FORMATS’13, FTSCS’13, HSCC’13, iFM’13, SIMUL’13, SIMULTECH’13, TACAS’13
- 2014: DIFTS’14, FMi’14, FORMATS’14, FTSCS’14, HAS’14, HSCC’14, iFM’14, SCSC’14, SIMUL’14, SIMULTECH’14, TTSS’14
- 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
- 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
- 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