1. Hybrid systems biology : Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised selected papers /: Fourth International Workshop, HSB 2015, Madrid, Spain, September 4-5, 2015. Revised selected papers. (2015) Editors: Abate, Alessandro; Šafránek, David Other Names: HSB (Workshop), 4th Record Type: Book Extent: 1 online resource (xiv, 249 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Numerical software verification : 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings /: 10th International Workshop, NSV 2017, Heidelberg, Germany, July 22-23, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Boldo, Sylvie Other Names: NSV (Workshop), 10th Record Type: Book Extent: 1 online resource (xxi, 115 pages), illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Formal Modeling and Analysis of Timed Systems : 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings /: 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings. (2017) Editors: Abate, Alessandro; Geeraerts, Gilles Other Names: FORMATS (Conference), 15th Record Type: Book Extent: 1 online resource (x, 353 pages), 93 illustrations View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Computational Methods in Systems Biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings.: 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings. ([2020]) Other Names: Abate, Alessandro; Petrov, Tatjana; Wolf, Verena Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. Issue 5 (2021) Authors: Madary, Ahmad; Momeni, Hamid Reza; Abate, Alessandro; Larsen, Kim G. Journal: IFAC-PapersOnLine Issue: Volume 54:Issue 5(2021) Page Start: 259 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Data-driven and model-based verification via Bayesian identification and reachability analysis. (May 2017) Authors: Haesaert, Sofie; Van den Hof, Paul M.J.; Abate, Alessandro Journal: Automatica Issue: Volume 79(2017) Page Start: 115 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Automated verification and synthesis of stochastic hybrid systems: A survey. (December 2022) Authors: Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro; Zamani, Majid Journal: Automatica Issue: Volume 146(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems. Issue 4 (2020) Authors: Mufid, Muhammad Syifa'ul; Adzkiya, Dieky; Abate, Alessandro Journal: IFAC-PapersOnLine Issue: Volume 53:Issue 4(2020) Page Start: 459 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Computational techniques for reachability analysis of Max-Plus-Linear systems. (March 2015) Authors: Adzkiya, Dieky; De Schutter, Bart; Abate, Alessandro Journal: Automatica Issue: Volume 53(2015) Page Start: 293 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. (May 2015) Authors: Zamani, Majid; Abate, Alessandro; Girard, Antoine Journal: Automatica Issue: Volume 55(2015) Page Start: 183 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗