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 × USA
1 × United Kingdom
2 × France
Collaborated with:
S.E.Z.Soudjani D.Cattaruzza C.David P.Kesseli D.Kroening E.Polgreen C.Gevaerts D.Adzkiya B.D.Schutter L.Brim M.Ceska M.Z.Kwiatkowska P.Schrammel D.Kröning I.Bessa L.C.Cordeiro L.C.Chaves
Talks about:
synthesi (3) abstract (2) process (2) control (2) analysi (2) system (2) physic (2) markov (2) formal (2) plant (2)

Person: Alessandro Abate

DBLP DBLP: Abate:Alessandro

Contributed to:

CAV 20152015
SAS 20152015
TACAS 20152015
TACAS 20142014
ASE 20172017
CAV (1) 20172017
CAV (1) 20182018

Wrote 8 papers:

CAV-2015-AbateBCK #adaptation #analysis #markov #network
Adaptive Aggregation of Markov Chains: Quantitative Analysis of Chemical Reaction Networks (AA, LB, MC, MZK), pp. 195–213.
SAS-2015-CattaruzzaASK #analysis #bound
Unbounded-Time Analysis of Guarded LTI Systems with Inputs by Abstract Acceleration (DC, AA, PS, DK), pp. 312–331.
TACAS-2015-SoudjaniGA #abstraction #probability #process
FAUST 2 : Formal Abstractions of Uncountable-STate STochastic Processes (SEZS, CG, AA), pp. 272–286.
TACAS-2014-AdzkiyaSA #reachability
Forward Reachability Computation for Autonomous Max-Plus-Linear Systems (DA, BDS, AA), pp. 248–262.
TACAS-2014-SoudjaniA #approximate #markov #precise #probability #process
Precise Approximations of the Probability Distribution of a Markov Process in Time: An Application to Probabilistic Invariance (SEZS, AA), pp. 547–561.
ASE-2017-AbateBCCCDKKP #automation #named #physics #synthesis
DSSynth: an automated digital controller synthesis tool for physical plants (AA, IB, DC, LCC, LCC, CD, PK, DK, EP), pp. 919–924.
CAV-2017-AbateBCCDKKP #automation #physics #synthesis
Automated Formal Synthesis of Digital Controllers for State-Space Physical Plants (AA, IB, DC, LCC, CD, PK, DK, EP), pp. 462–482.
CAV-2018-AbateDKKP #induction #modulo theories #synthesis
Counterexample Guided Inductive Synthesis Modulo Theories (AA, CD, PK, DK, EP), pp. 270–288.

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.