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 × Austria
1 × Germany
1 × USA
Collaborated with:
T.Chen T.Han J.Katoen Z.Huang C.Fan S.Mitra M.Z.Kwiatkowska B.Barbot
Talks about:
time (3) automata (2) model (2) check (2) nonlinear (1) quantit (1) network (1) continu (1) cardiac (1) against (1)

Person: Alexandru Mereacre

DBLP DBLP: Mereacre:Alexandru

Contributed to:

CAV 20142014
TACAS 20112011
LICS 20092009

Wrote 3 papers:

CAV-2014-HuangFMMK #automaton #hybrid #invariant #network #verification
Invariant Verification of Nonlinear Hybrid Automata Networks of Cardiac Cells (ZH, CF, AM, SM, MZK), pp. 373–390.
TACAS-2011-BarbotCHKM #linear #model checking #performance #realtime
Efficient CTMC Model Checking of Linear Real-Time Objectives (BB, TC, TH, JPK, AM), pp. 128–142.
LICS-2009-ChenHKM #automaton #markov #model checking #specification
Quantitative Model Checking of Continuous-Time Markov Chains Against Timed Automata Specifications (TC, TH, JPK, AM), pp. 309–318.

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.