Publications (16)
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti +1
Multipartite entanglement detection for hypergraph states
Maddalena Ghio, Daniele Malpetti, Matteo Rossi +2
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella +1
Experimental generation of entanglement from classical correlations via non-unital local noise
Adeline Orieux, Mario A. Ciampini, Paolo Mataloni +3
A Theory of Sampling for Continuous-time Metric Temporal Logic
Carlo A. Furia, Matteo Rossi
Constraint LTL Satisfiability Checking without Automata
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti +3
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri +2
Experimental Detection of Quantum Channels
Adeline Orieux, Linda Sansoni, Mauro Persechino +3
Randomized Graph States and their Entanglement Properties
Jun-Yi Wu, Matteo Rossi, Hermann Kampermann +4
Experimental Determination of Momentum-Resolved Electron-Phonon Coupling
Matteo Rossi, Riccardo Arpaia, Roberto Fumagalli +9
Engineering decoherence for two-qubit systems interacting with a classical environment
Matteo Rossi, Claudia Benedetti, Matteo G. A. Paris
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti +1
Deciding the Satisfiability of MITL Specifications
Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro
Bounded Reachability for Temporal Logic over Constraint Systems
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti +3
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
Carlo A. Furia, Matteo Pradella, Matteo Rossi
Witnessing entanglement in hybrid systems
Massimo Borrelli, Matteo Rossi, Chiara Macchiavello +1