Travelled to:1 × France
1 × Norway
1 × Russia
1 × Uruguay
2 × Estonia
2 × Italy
3 × USA
Collaborated with:P.C.Ölveczky B.Becker F.Corzilius M.Fadlisyah N.Jansen J.Katoen S.Junges S.Schupp R.Wimmer U.Loup C.Dehnert X.Chen S.Sankaranarayanan D.Lepri Johanna Nellen F.Klaedtke M.Steffen G.Kremer K.Scheibler T.Quatmann M.Volk H.Bruintjes
Talks about:model (6) system (4) hybrid (4) time (4) smt (4) analysi (3) maud (3) counterexampl (2) toolbox (2) discret (2)
Person: Erika Ábrahám
DBLP: =Aacute=brah=aacute=m:Erika
Facilitated 1 volumes:
EdContributed to:
2015
2015
2015
2014
2013201320122012
2012
2011
2005
2017Wrote 13 papers:
- CAV-2015-DehnertJJCVBKA #named #parametricity #probability #synthesis
- PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (CD, SJ, NJ, FC, MV, HB, JPK, EÁ), pp. 214–231.
- FM-2015-QuatmannJDWAKB
- Counterexamples for Expected Rewards (TQ, NJ, CD, RW, EÁ, JPK, BB), pp. 435–452.
- SAT-2015-CorziliusKJSA #c++ #named #open source #parallel #smt
- SMT-RAT: An Open Source C++ Toolbox for Strategic and Parallel SMT Solving (FC, GK, SJ, SS, EÁ), pp. 360–368.
- SFM-2014-AbrahamBDJKW #generative #markov #modelling #overview
- Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (EÁ, BB, CD, NJ, JPK, RW), pp. 65–121.
- CADE-2013-LoupSCAB #algebra #composition #constraints
- A Symbiosis of Interval Constraint Propagation and Cylindrical Algebraic Decomposition (UL, KS, FC, EÁ, BB), pp. 193–207.
- CAV-2013-ChenAS #hybrid
- Flow*: An Analyzer for Non-linear Hybrid Systems (XC, EÁ, SS), pp. 258–263.
- SAT-2012-CorziliusLJA #named
- SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox — (FC, UL, SJ, EÁ), pp. 442–448.
- TACAS-2012-WimmerJABK #markov #modelling
- Minimal Critical Subsystems for Discrete-Time Markov Models (RW, NJ, EÁ, BB, JPK), pp. 299–314.
- WRLA-2012-FadlisyahOA #analysis #formal method #modelling
- Formal Modeling and Analysis of Human Body Exposure to Extreme Heat in HI-Maude (MF, PCÖ, EÁ), pp. 139–161.
- WRLA-2012-LepriAO #maude #model checking #realtime
- Timed CTL Model Checking in Real-Time Maude (DL, EÁ, PCÖ), pp. 182–200.
- SEFM-2011-FadlisyahOA #analysis #formal method #hybrid #modelling #object-oriented
- Object-Oriented Formal Modeling and Analysis of Interacting Hybrid Systems in HI-Maude (MF, PCÖ, EÁ), pp. 415–430.
- VMCAI-2005-AbrahamBKS #bound #hybrid #linear #model checking #optimisation
- Optimizing Bounded Model Checking for Linear Hybrid Systems (EÁ, BB, FK, MS), pp. 396–412.
- QAPL-2017-SchuppNA #analysis #divide and conquer #hybrid #reachability #set
- Divide and Conquer: Variable Set Separation in Hybrid Systems Reachability Analysis (SS, JN, EÁ), pp. 1–14.