Travelled to:1 × France
1 × Germany
1 × USA
Collaborated with:R.Grosu D.Nickovic S.A.Smolka E.Merelli L.Mariani H.Kong T.A.Henzinger Sebastian Arming A.Sokolova R.Bloem F.Röck P.Katsaros C.R.Ramakrishnan G.Batt F.H.Fenton J.Glimm C.L.Guernic K.Selyunin S.Jaksic T.Nguyen C.Reidl U.Hafner
Talks about:monitor (2) system (2) probabilist (1) regulatori (1) nonlinear (1) recoveri (1) reachabl (1) protocol (1) piecewis (1) parametr (1)
Person: Ezio Bartocci
DBLP: Bartocci:Ezio
Contributed to:
2011
2011
200320172018
2017Wrote 7 papers:
- CAV-2011-GrosuBFGGSB #network #search-based
- From Cardiac Cells to Genetic Regulatory Networks (RG, GB, FHF, JG, CLG, SAS, EB), pp. 396–411.
- TACAS-2011-BartocciGKRS #probability
- Model Repair for Probabilistic Systems (EB, RG, PK, CRR, SAS), pp. 326–340.
- ICEIS-v1-2003-BartocciMM #xml
- An XML View of the “World” (EB, EM, LM), pp. 19–27.
- CAV-2017-SelyuninJNRHBNG #communication #monitoring #protocol #runtime
- Runtime Monitoring with Recovery of the SENT Communication Protocol (KS, SJ, TN, CR, UH, EB, DN, RG), pp. 336–355.
- CAV-2018-BartocciBNR #finite #ltl #monitoring #semantics #specification
- A Counting Semantics for Monitoring LTL Specifications over Finite Traces (EB, RB, DN, FR), pp. 547–564.
- CAV-2018-KongBH #approximate #set #using
- Reachable Set Over-Approximation for Nonlinear Systems Using Piecewise Barrier Tubes (HK, EB, TAH), pp. 449–467.
- QAPL-2017-ArmingBS #named #parametricity
- SEA-PARAM: Exploring Schedulers in Parametric MDPs (SA, EB, AS), pp. 25–38.