BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: =Aacute=brah=aacute=m:Erika

Facilitated 1 volumes:

TACAS 2014Ed

Contributed to:

CAV 20152015
FM 20152015
SAT 20152015
SFM 20142014
CADE 20132013
CAV 20132013
SAT 20122012
TACAS 20122012
WRLA 20122012
SEFM 20112011
VMCAI 20052005
QAPL 20172017

Wrote 13 papers:

CAV-2015-DehnertJJCVBKA #named #parametricity #probability #synthesis
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool (CD, SJ, NJ, FC, MV, HB, JPK, ), pp. 214–231.
Counterexamples for Expected Rewards (TQ, NJ, CD, RW, , 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, ), pp. 360–368.
SFM-2014-AbrahamBDJKW #generative #markov #modelling #overview
Counterexample Generation for Discrete-Time Markov Models: An Introductory Survey (, 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, , BB), pp. 193–207.
CAV-2013-ChenAS #hybrid
Flow*: An Analyzer for Non-linear Hybrid Systems (XC, , SS), pp. 258–263.
SAT-2012-CorziliusLJA #named
SMT-RAT: An SMT-Compliant Nonlinear Real Arithmetic Toolbox — (FC, UL, SJ, ), pp. 442–448.
TACAS-2012-WimmerJABK #markov #modelling
Minimal Critical Subsystems for Discrete-Time Markov Models (RW, NJ, , 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Ö, ), pp. 139–161.
WRLA-2012-LepriAO #maude #model checking #realtime
Timed CTL Model Checking in Real-Time Maude (DL, , 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Ö, ), pp. 415–430.
VMCAI-2005-AbrahamBKS #bound #hybrid #linear #model checking #optimisation
Optimizing Bounded Model Checking for Linear Hybrid Systems (, 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, ), pp. 1–14.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.