Cybersecurity - Publications
- Alberto Griggio; Formal Methods in Computer-Aided Design, FMCAD 2012; Deciding Floating-Point Logic with Systematic Abstraction; Being printed; pp.
- Depiction of Multivariate Data Through Flow Maps; in «Service-Oriented Mapping: Changing Paradigm in Map Production and Geoinformation Management»; Springer International Publishing; 2018; pp. 125-141
- Alessandro Cimatti; Alberto Griggio; Ahmed Irfan; Marco Roveri; Roberto Sebastiani; Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization; in «Theory and Applications of Satisfiability Testing – SAT 2018»; Vol. 10929>; 2018; pp. 383-398
- Alessandro Cimatti; Ramiro Adrian Demasi; Stefano Tonetta; Tightening the contract refinements of a system architecture; in «FORMAL METHODS IN SYSTEM DESIGN»; Vol. 52>; 2018; pp. 88-116
- Alessandro Cimatti; Andrea Micheli; Marco Roveri; Strong temporal planning with uncontrollable durations; in «ARTIFICIAL INTELLIGENCE»; Vol. 256>; 2018; pp. 1-34
- Stefano Artuso; Luca Cristoforetti; Giuseppe Daniele Falavigna; Roberto Gretter; Nadia Mana; Gianluca Schiavo; Seventh ISCA Workshop on Speech and Language Technology in Education (SLaTE 2017) - Satellite event to INTERSPEECH2017; A System for Assessing Children Reading at School; in «Proceedings of the Seventh ISCA workshop on Speech and Language Technology in Education 2017»; 2017; pp. 115-120
- Stefano Tonetta; Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017; Linear-time Temporal Logic with Event Freezing Functions; in «Proceedings Eighth International Symposium on Games, Automata, Logicsand Formal Verification, GandALF 2017»; Vol. 256>; 2017; pp. 195-209
- Computer Safety, Reliability, and Security - 36th International Conference, SAFECOMP 2017, Trento, Italy, September 13-15, 2017, Proceedings; Springer; Vol. 10488>; 2017; pp.
- Computer Safety, Reliability, and Security - SAFECOMP 2017 Workshops, ASSURE, DECSoS, SASSUR, TELERISE, and TIPS, Trento, Italy, September 12, 2017, Proceedings; Springer; Vol. 10489>; 2017; pp.
- Model-Based Safety and Assessment; in «LECTURE NOTES IN COMPUTER SCIENCE»; Springer; Vol. 10437>; 2017; pp.