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: Mereacre:Alexandru
Contributed to:
2014
2011
2009Wrote 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.