Cybersecurity - Publications
- Leopold Haller; Alberto Griggio; Martin Brain; Daniel Kroening; Formal Methods in Computer-Aided Design, FMCAD 2012; Deciding Floating-Point Logic with Systematic Abstraction; Being printed; pp.
- Tian, Chun; Sangiorgi, Davide; Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018); Unique Solutions of Contractions, CCS, and their HOL Formalisation; in «Proceedings Combined 25th International Workshop on Expressiveness in Concurrency and 15th Workshop on Structural Operational Semantics (EXPRESS/SOS 2018)»; Vol. 276>; 2018; pp. 122-139
- Alessandro, Cimatti; Ramiro, Demasi; Stefano, Tonetta; Tightening the contract refinements of a system architecture; in «FORMAL METHODS IN SYSTEM DESIGN»; Vol. 52>; 2018; pp. 88-116
- Cimatti, Alessandro; Minh, Do; Micheli, Andrea; Roveri, Marco; Smith, David E.; Strong temporal planning with uncontrollable durations; in «ARTIFICIAL INTELLIGENCE»; Vol. 256>; 2018; pp. 1-34
- Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto; Incremental Linearization for Satisfiability and Verification Modulo Nonlinear Arithmetic and Transcendental Functions; in «ACM TRANSACTIONS ON COMPUTATIONAL LOGIC»; Vol. 19>; 2018; pp. 1-52
- Cimatti, Alessandro; Stojic, Ivan; Tonetta, Stefano; 22nd International Symposium on Formal Methods, FM 2018; Formal Specification and Verification of Dynamic Parametrized Architectures; in «Formal Methods - 22nd International Symposium, FM 2018, Held asPart of the Federated Logic Conference, FloC 2018, Proceedings»; Springer; Vol. 10951>; 2018; pp. 625-644
- Cimatti, Alessandro; Griggio, Alberto; Irfan, Ahmed; Roveri, Marco; Sebastiani, Roberto; SAT 2018: Theory and Applications of Satisfiability Testing – SAT 2018; Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization; in «Proceedings of Theory and Applications of Satisfiability Testing – SAT 2018»; Vol. 10929>; 2018; pp. 383-398
- Debiasi, Alberto; Simoes, Bruno; De Amicis, Raffaele; 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
- Cimatti, Alessandro; Micheli, Andrea; Roveri, Marco; Thirty-First AAAI Conference on Artificial Intelligence; Validating Domains and Plans for Temporal Planning via Encoding into Infinite-State Linear Temporal Logic; in «Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence»; AAAI Press; 2017; pp. 3547-3554
- Benjamin, Bittner; Marco, Bozzano; Alessandro, Cimatti.; Model-Based Safety and Assessment (IMBSA 2017); Timed Failure Propagation Analysis for Spacecraft Engineering: The ESA Solar Orbiter Case Study; in «Proceedings of International Symposium on Model-Based Safety and Assessment»; Springer; Vol. 10437>; 2017; pp. 255-271