Matteo Rossi

ORCID

Publication Activity (10 Years)

Years Active: 1999-2024
Publications (10 Years): 73

Top Venues

CoRR

IACR Cryptol. ePrint Arch.

Theor. Comput. Sci.

FormaliSE@ICSE

Publications

Emanuele Bellini, David Gérault, Matteo Protopapa, Matteo Rossi
Monte Carlo Tree Search for automatic differential characteristics search: application to SPECK. IACR Cryptol. ePrint Arch. 2024 (2024)
Alberto Tagliaferro, Livia Lestingi, Matteo Rossi
Towards Verifiable Multi-Agent Interaction Pattern Specification. FormaliSE@ICSE (2024)
Nicola Zaru, Matteo Rossi, Giuseppina Vacca, Giulio Vignoli
(Pseudo-)3D Inversion of Geophysical Electromagnetic Induction Data by Using an Arbitrary Prior and Constrained to Ancillary Information. ICCSA (Workshops 8) (2023)
Livia Lestingi, Davide Zerla, Marcello M. Bersani, Matteo Rossi
Specification, stochastic modeling and analysis of interactive service robotic applications. Robotics Auton. Syst. 163 (2023)
Mersedeh Sadeghi, Alessio Carenini, Óscar Corcho, Matteo Rossi, Riccardo Santoro, Andreas Vogelsang
Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options. SAC (2023)
Luca Marsilio, Matteo Rossi, Alfonso Manzotti, Davide Marzorati, Pietro Cerveri
Merging Contour-and Region-Aware Branches in the UNet Decoder to Enhance Osseous Segmentation in Shoulder CT Scans. MetroXRAINE (2023)
Emanuele Bellini, David Gérault, Anna Hambitzer, Matteo Rossi
A Cipher-Agnostic Neural Training Pipeline with Automated Finding of Good Input Differences. IACR Trans. Symmetric Cryptol. 2023 (3) (2023)
Matteo Rossi, Davide Sala, Dario Bovio, Caterina Salito, Giulia Alessandrelli, Carolina Lombardi, Luca T. Mainardi, Pietro Cerveri
SLEEP-SEE-THROUGH: Explainable Deep Learning for Sleep Event Detection and Quantification From Wearable Somnography. IEEE J. Biomed. Health Informatics 27 (7) (2023)
Nicola Zaru, Matteo Rossi, Giuseppina Vacca, Giulio Vignoli
Spreading of Localized Information across an Entire 3D Electrical Resistivity Volume via Constrained EMI Inversion Based on a Realistic Prior Distribution. Remote. Sens. 15 (16) (2023)
Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi
Lecture Notes on Monadic First- and Second-Order Logic on Strings. CoRR (2023)
Mahsa Shekari, Alireza Javadian Sabet, Chaofeng Guan, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca
Personalized Context-Aware Recommender System for Travelers. SEBD (2022)
Matteo Rossi, Giulia Alessandrelli, Andra Dombrovschi, Dario Bovio, Caterina Salito, Luca T. Mainardi, Pietro Cerveri
Identification of Characteristic Points in Multivariate Physiological Signals by Sensor Fusion and Multi-Task Deep Networks. Sensors 22 (7) (2022)
Pietro Cerveri, Mattia Sarti, Matteo Rossi, Giulia Alessandrelli, Carolina Lombardi, Luca T. Mainardi
End-to-end Deep Learning and Sensor Fusion for Non-invasive BP Monitoring Using Multivariate Physiological Signals. CinC (2022)
Alireza Javadian Sabet, Mahsa Shekari, Chaofeng Guan, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca
THOR: A Hybrid Recommender System for the Personalized Travel Experience. Big Data Cogn. Comput. 6 (4) (2022)
Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi, Luciano Baresi
On How Bit-Vector Logic Can Help Verify LTL-Based Specifications. IEEE Trans. Software Eng. 48 (4) (2022)
Sepehr Samavati, Alexander Nemirovskiy, Matteo Rossi
Delay Estimation for Shared Rides From GPS Data. ITSC (2022)
Emanuele Bellini, David Gérault, Matteo Protopapa, Matteo Rossi
Monte Carlo Tree Search for Automatic Differential Characteristics Search: Application to SPECK. INDOCRYPT (2022)
Emanuele Bellini, David Gérault, Anna Hambitzer, Matteo Rossi
A Cipher-Agnostic Neural Training Pipeline with Automated Finding of Good Input Differences. IACR Cryptol. ePrint Arch. 2022 (2022)
Mersedeh Sadeghi, Petr Buchnicek, Alessio Carenini, Óscar Corcho, Stefanos Gogos, Matteo Rossi, Riccardo Santoro
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport. CoRR (2022)
Luca Marsilio, Alberto Faglia, Matteo Rossi, Luca T. Mainardi, Alfonso Manzotti, Pietro Cerveri
CEL-Unet: a novel CNN architecture for 3D Segmentation of Knee Bones affected by Severe Osteoarthritis for PSI-Based Surgical Planning. EMBC (2022)
Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings. FormaliSE@ICSE (2022)
Livia Lestingi, Marcello M. Bersani, Matteo Rossi
Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior. IEEE Intell. Syst. 37 (6) (2022)
Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
Improved Bounded Model Checking of Timed Automata. FormaliSE@ICSE (2021)
Emanuele Bellini, Anna Hambitzer, Matteo Protopapa, Matteo Rossi
Limitations of the Use of Neural Networks in Black Box Cryptanalysis. SecITC (2021)
Matteo Rossi
Modeling and analysis of communicating systems. Formal Aspects Comput. 33 (2) (2021)
Mehrnoosh Askarpour, Livia Lestingi, Samuele Longoni, Niccolò Iannacci, Matteo Rossi, Federico Vicentini
Formally-based Model-Driven Development of Collaborative Robotic Applications. J. Intell. Robotic Syst. 102 (3) (2021)
Luca Antonioli, Andrea Pella, Rosalinda Ricotti, Matteo Rossi, Maria Rosaria Fiore, Gabriele Belotti, Giuseppe Magro, Chiara Paganelli, Ester Orlandi, Mario Ciocca, Guido Baroni
Convolutional Neural Networks Cascade for Automatic Pupil and Iris Detection in Ocular Proton Therapy. Sensors 21 (13) (2021)
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
A Deployment Framework for Formally Verified Human-Robot Interactions. IEEE Access 9 (2021)
Emanuele Bellini, Matteo Rossi
Performance Comparison Between Deep Learning-Based and Conventional Cryptographic Distinguishers. SAI (3) (2021)
Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
Improved Bounded Model Checking of Timed Automata. CoRR (2021)
Giulio Vignoli, Julien Guillemoteau, Jeniffer Barreto, Matteo Rossi
Reconstruction, with tunable sparsity levels, of shear-wave velocity profiles from surface wave data. CoRR (2021)
Mehrnoosh Askarpour, Christos Tsigkanos, Claudio Menghi, Radu Calinescu, Patrizio Pelliccione, Sergio García, Ricardo Caldas, Tim J. von Oertzen, Manuel Wimmer, Luca Berardinelli, Matteo Rossi, Marcello M. Bersani, Gabriel S. Rodrigues
RoboMAX: Robotic Mission Adaptation eXemplars. SEAMS@ICSE (2021)
Matteo Rossi, Giuseppe Festa, Armando Papa, Paola Scorrano
Corporate Venture Capitalists' Ambidexterity: Myth or Truth? IEEE Trans. Engineering Management 68 (2) (2021)
Pietro Daverio, Hassan Nazeer Chaudhry, Alessandro Margara, Matteo Rossi
Temporal Pattern Recognition in Graph Data Structures. IEEE BigData (2021)
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
Statistical Model Checking of Human-Robot Interaction Scenarios. AREA@ECAI (2020)
Mehrnoosh Askarpour, Livia Lestingi, Federico Buran, Matteo Rossi, Federico Vicentini
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications. ICHMS (2020)
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
Formal Verification of Human-Robot Interaction in Healthcare Scenarios. SEFM (2020)
Alireza Javadian Sabet, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca
Context Awareness in the Travel Companion of the Shift2Rail Initiative. SEBD (2020)
Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, Dino Mandrioli
Safety Assessment of Collaborative Robotics Through Automated Formal Verification. IEEE Trans. Robotics 36 (1) (2020)
Mehrnoosh Askarpour, Matteo Rossi, Omer Tiryakiler
Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation. AREA@ECAI (2020)
Alireza Javadian Sabet, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca
Towards Learning Travelers' Preferences in a Context-Aware Fashion. ISAmI (2020)
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios. SMC (2020)
Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach. ACM Trans. Comput. Log. 21 (3) (2020)
Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi
PuRSUE -from specification of robotic environments to synthesis of controllers. Formal Aspects Comput. 32 (2-3) (2020)
Emanuele Bellini, Matteo Rossi
Performance comparison between deep learning-based and conventional cryptographic distinguishers. IACR Cryptol. ePrint Arch. 2020 (2020)
Matteo Rossi, Giuseppe Festa, Armando Papa, Ashutosh Kolte, Rossana Piccolo
Knowledge management behaviors in venture capital crossroads: a comparison between IVC and CVC ambidexterity. J. Knowl. Manag. 24 (10) (2020)
Luciano Baresi, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi
Using formal verification to evaluate the execution time of Spark applications. Formal Aspects Comput. 32 (1) (2020)
Matteo Rossi, Giuseppe Festa, Fabio Fiano, Rosa Giacobbe
To invest or to harvest? Corporate venture capital ambidexterity for exploiting/exploring innovation in technological business. Bus. Process. Manag. J. 26 (5) (2020)
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
On the initialization of clocks in timed formalisms. Theor. Comput. Sci. 813 (2020)
Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
Formal Methods in Designing Critical Cyber-Physical Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Matteo Rossi, Matteo Bianchi, Edoardo Battaglia, Manuel G. Catalano, Antonio Bicchi
HapPro: A Wearable Haptic Device for Proprioceptive Feedback. IEEE Trans. Biomed. Eng. 66 (1) (2019)
Michele Maimeri, Cosimo Della Santina, Cristina Piazza, Matteo Rossi, Manuel G. Catalano, Giorgio Grioli
Design and Assessment of Control Maps for Multi-Channel sEMG-Driven Prostheses and Supernumerary Limbs. Frontiers Neurorobotics 13 (2019)
Hassan Nazeer Chaudhry, Alessandro Margara, Matteo Rossi
Temporal Pattern Recognition in Large Scale Graphs. DEBS (2019)
Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
A Flexible Approach for Checking Timed Automata on Continuous Time Semantics. CoRR (2018)
Marcello M. Bersani, Francesco Marconi, Matteo Rossi
Trace Checking of Streaming Applications through DICE-TraCT. ICPE Companion (2018)
Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi
On the Timed Analysis of Big-Data Applications. NFM (2018)
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
A Logic-Based Approach for the Verification of UML Timed Models. ACM Trans. Softw. Eng. Methodol. 26 (2) (2017)
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications. Ershov Informatics Conference (2017)
Raphaël Troncy, Giuseppe Rizzo, Anthony Jameson, Óscar Corcho, Julien Plu, Enrico Palumbo, Juan Carlos Ballesteros Hermida, Adrian Spirescu, Kai-Dominik Kuhn, Catalin-Mihai Barbu, Matteo Rossi, Irene Celino, Rachit Agarwal, Christian Scanu, Massimo Valla, Timber Haaker
3cixty: Building comprehensive knowledge bases for city exploration. J. Web Semant. (2017)
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
A logical characterization of timed regular languages. Theor. Comput. Sci. 658 (2017)
Matteo Rossi, Cosimo Della Santina, Cristina Piazza, Giorgio Grioli, Manuel G. Catalano, Antonio Bicchi
Preliminary results toward a naturally controlled multi-synergistic prosthetic hand. ICORR (2017)
Francesco Marconi, Marcello M. Bersani, Matteo Rossi
Formal verification of storm topologies through D-VerT. SAC (2017)
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications. SAFECOMP (2017)
Cristina Piazza, Manuel G. Catalano, Sasha B. Godfrey, Matteo Rossi, Giorgio Grioli, Matteo Bianchi, Kristin Zhao, Antonio Bicchi
The SoftHand Pro-H: A Hybrid Body-Controlled, Electrically Powered Hand Prosthesis for Daily Living and Working. IEEE Robotics Autom. Mag. 24 (4) (2017)
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi
Formal verification of data-intensive applications through model checking modulo theories. SPIN (2017)
Maryam Ehsanpour, Luciano Baresi, Matteo Rossi, Ernesto Damiani
Analysis of Energy-Efficient Buildings through Simulation and Formal Methods. SIMPDA (2016)
Arash Ajoudani, Elif Hocaoglu, Alessandro Altobelli, Matteo Rossi, Edoardo Battaglia, Nikos G. Tsagarakis, Antonio Bicchi
Reflex control of the Pisa/IIT SoftHand during object slippage. ICRA (2016)
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
How bit-vector logic can help improve the verification of LTL specifications over infinite domains. SAC (2016)
Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic. ICFEM (2016)
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu
A tool for verification of big-data applications. QUDOS@ISSTA (2016)
Matteo Rossi, Dino Mandrioli, Angelo Morzenti, Luca Ferrucci
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications. Theor. Comput. Sci. 643 (2016)
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
A tool for deciding the satisfiability of continuous-time metric temporal logic. Acta Informatica 53 (2) (2016)
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration. SAFECOMP (2016)
Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi
Formal verification and validation of embedded systems: the UML-based MADES approach. Softw. Syst. Model. 14 (1) (2015)
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
An SMT-based approach to satisfiability checking of MITL. Inf. Comput. 245 (2015)
Giuliano Casale, Danilo Ardagna, Matej Artac, Franck Barbier, Elisabetta Di Nitto, Alexis Henry, Gabriel Iuhasz, Christophe Joubert, José Merseguer, Victor Ion Munteanu, Juan Fernando Pérez, Dana Petcu, Matteo Rossi, Craig Sheridan, Ilias Spais, Daniel Vladuic
DICE: Quality-Driven Development of Data-Intensive Cloud Applications. MiSE@ICSE (2015)
Matteo Rossi, Simone Benatti, Elisabetta Farella, Luca Benini
Hybrid EMG classifier based on HMM and SVM for hand gesture recognition in prosthetics. ICIT (2015)
Marco Galardini, Matteo Brilli, Giulia Spini, Matteo Rossi, Bianca Roncaglia, Alessia Bani, Manuela Chiancianesi, Marco Moretto, Kristof Engelen, Giovanni Bacci, Francesco Pini, Emanuele G. Biondi, Marco Bazzicalupo, Alessio Mengoni
Evolution of Intra-specific Regulatory Networks in a Multipartite Bacterial Genome. PLoS Comput. Biol. 11 (9) (2015)
Sasha B. Godfrey, Alessandro Altobelli, Matteo Rossi, Antonio Bicchi
Effect of homogenous object stiffness on tri-digit grasp properties. EMBC (2015)
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
Efficient Scalable Verification of LTL Specifications. ICSE (1) (2015)
Gabriele Manoli, Matteo Rossi, Damiano Pasetto, Rita Deiana, Stefano Ferraris, Giorgio Cassiani, Mario Putti
An iterative particle filter approach for coupled hydro-geophysical inversion of a controlled infiltration experiment. J. Comput. Phys. 283 (2015)
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
A Logical Characterization of Timed (non-)Regular Languages. MFCS (1) (2014)
Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi
Automated formal verification for flexible manufacturing systems. J. Intell. Manuf. 25 (5) (2014)
Andrea G. Bianchessi, Gianpaolo Cugola, Simone Formentin, Angelo Morzenti, Carlo Ongini, Emanuele Panigati, Matteo Rossi, Sergio M. Savaresi, Fabio Alberto Schreiber, Letizia Tanca, Edoardo G. Vannutelli Depoli
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing. IEEE Intell. Transp. Syst. Mag. 6 (3) (2014)
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
Flexible modular formalization of UML sequence diagrams. FormaliSE (2014)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Constraint LTL satisfiability checking without automata. J. Appl. Log. 12 (4) (2014)
Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro
Deciding the Satisfiability of MITL Specifications. GandALF (2013)
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities. RP (2013)
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic. TIME (2013)
Yu Zhou, Luciano Baresi, Matteo Rossi
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata. J. Comput. Sci. Technol. 28 (1) (2013)
Andrea G. Bianchessi, Carlo Ongini, S. Rotondi, Mara Tanelli, Matteo Rossi, Gianpaolo Cugola, Sergio M. Savaresi
A Flexible Architecture for Managing Vehicle Sharing Systems. IEEE Embed. Syst. Lett. 5 (3) (2013)
Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro
On the Satisfiability of Metric Temporal Logics over the Reals. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Luca Palazzo, Matteo Rossi, Aldo Franco Dragoni, Andrea Claudi, Gianluca Dolcini, Paolo Sernani
A Multi-Agent Architecture for Health Information Systems. KES-AMSTA (2013)
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
Constraint LTL Satisfiability Checking without Automata CoRR (2012)
Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems. ECMFA (2012)
Luciano Baresi, Gianni Ferretti, Alberto Leva, Matteo Rossi
Flexible logic-based Co-simulation of Modelica models. INDIN (2012)
Giovanni Alli, Luciano Baresi, Andrea G. Bianchessi, Gianpaolo Cugola, Alessandro Margara, Angelo Morzenti, Carlo Ongini, Emanuele Panigati, Matteo Rossi, S. Rotondi, Sergio M. Savaresi, Fabio Alberto Schreiber, Alessandro Sivieri, Letizia Tanca, Edoardo G. Vannutelli Depoli
Green Move: Towards next generation sustainable smartphone-based vehicle sharing. SustainIT (2012)
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis. FMICS (2012)
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
A logic-based semantics for the verification of multi-diagram UML models. ACM SIGSOFT Softw. Eng. Notes 37 (4) (2012)
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach CoRR (2012)

Matteo Rossi.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matteo Rossi