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 × 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 DBLP: Bartocci:Ezio

Contributed to:

CAV 20112011
TACAS 20112011
ICEIS v1 20032003
CAV (1) 20172017
CAV (1) 20182018
QAPL 20172017

Wrote 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.

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.