Email

abraham at cs.rwth-aachen.de

Address

Room 4229
Ahornstraße 55
D-52074 Aachen

Phone

+49 241 80 21242

Current research activities:

• modeling, synthesis, and analysis of hybrid systems,
• analysis of probabilistic systems, probabilistic hyper-properties,
• SMT-solving with a focus on decision procedures for real-arithmetic theories,
• SMT-based planning and scheduling,
• energy optimization.

PC co-chair:

IndustryDay@FM’21, ROCKS’20, Dean’s Workshop at ECSS’18, GE@ICSE’18, PhD-iFM’18, SC-square session at ICMS’18, SYNASC’18, PhD-iFM’17, SNR’17, iFM’16, SC²’16, SNR’16, FORTE’14, TACAS’14

PC member:

• 2020: ATVA’20, FMCAD’20, ICTAC’20, iFM’20, LPAR-23, MMB’20, NFM’20, SC-square’20, SEFM’20, SNR’20, TASE’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

Publications
Talks
Projects
Teaching
Curriculum vitae
School activities
Women in Computer Science