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: Abate:Alessandro
Contributed to:
2015
2015
20152014
201720172018Wrote 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.