Matteo Rossi

135 papers A* 2A 1B 10C 11Misc 4Journal 57Unranked 46
YearRankTypeTitle / Venue / Authors
2025 — conf
Advancements in Wearable EEG Technology: Electrode Characterization and Signal Quality Assessment.
BIOSTEC (1)
Andrea Farabbi, Andrea Costanzo Palmisciano, Matteo Rossi, Niccolò Antonello, Diana Trojaniello, Tommaso Ongarello, Pietro Cerveri, Luca T. Mainardi
2025 J jnl
Cascade learning in multi-task encoder-decoder networks for concurrent bone segmentation and glenohumeral joint clinical assessment in shoulder CT scans.
Artif. Intell. Medicine
Luca Marsilio, Davide Marzorati, Matteo Rossi, Andrea Moglia, Luca T. Mainardi, Alfonso Manzotti, Pietro Cerveri
2025 J jnl
Eyewear-Based ECG Recording: A Novel Head-Electrode Approach for Reliable Cardiac Signal Acquisition.
IEEE Access
Andrea Costanzo Palmisciano, Matteo Rossi, Andrea Farabbi, Niccolò Antonello, Diana Trojaniello, Tommaso Ongarello, Pietro Cerveri, Luca T. Mainardi
2025 J jnl
Finger-to-Chest Style Transfer-assisted Deep Learning Method For Photoplethysmogram Waveform Restoration with Timing Preservation.
CoRR
Sara Maria Pagotto, Federico Tognoni, Matteo Rossi, Dario Bovio, Caterina Salito, Luca T. Mainardi, Pietro Cerveri
2025 — ed.
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part I
FM (1)
André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
2025 — ed.
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
FM (2)
André Platzer, Kristin Yvonne Rozier, Matteo Pradella, Matteo Rossi
2025 J jnl
Random Testing of Model Checkers for Timed Automata with Automated Oracle Generation.
CoRR
Andrea Manini, Matteo Rossi, Pierluigi San Pietro
2024 J jnl
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification.
Softw. Syst. Model.
Livia Lestingi, Andrea Manglaviti, Davide Marinaro, Luca Marinello, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2024 J jnl
Cascade learning in multi-task encoder-decoder networks for concurrent bone segmentation and glenohumeral joint assessment in shoulder CT scans.
CoRR
Luca Marsilio, Davide Marzorati, Matteo Rossi, Andrea Moglia, Luca T. Mainardi, Alfonso Manzotti, Pietro Cerveri
2024 J jnl
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture.
J. Supercomput.
Mersedeh Sadeghi, Alessio Carenini, Óscar Corcho, Matteo Rossi, Riccardo Santoro, Andreas Vogelsang
2024 C ed.
Proceedings of the 26th International Symposium on Principles and Practice of Declarative Programming, PPDP 2024, Milano, Italy, September 9-11, 2024
PPDP
Alessandro Bruni, Alberto Momigliano, Matteo Pradella, Matteo Rossi, James Cheney
2024 — conf
Towards Verifiable Multi-Agent Interaction Pattern Specification.
FormaliSE@ICSE
Alberto Tagliaferro, Livia Lestingi, Matteo Rossi
2023 — conf
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids.
FormaliSE
Ahmed Nagy Abdelkhalek Mansour, Samuele Grillo, Enrico Ragaini, Matteo Rossi
2023 J jnl
Automated Creation of Mappings Between Data Specifications Through Linguistic and Structural Techniques.
IEEE Access
Safia Kalwar, Matteo Rossi, Mersedeh Sadeghi
2023 Misc conf
Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options.
SAC
Mersedeh Sadeghi, Alessio Carenini, Óscar Corcho, Matteo Rossi, Riccardo Santoro, Andreas Vogelsang
2023 J jnl
Lecture Notes on Monadic First- and Second-Order Logic on Strings.
CoRR
Dino Mandrioli, Davide Martinenghi, Angelo Morzenti, Matteo Pradella, Matteo Rossi
2023 — conf
Merging Contour-and Region-Aware Branches in the UNet Decoder to Enhance Osseous Segmentation in Shoulder CT Scans.
MetroXRAINE
Luca Marsilio, Matteo Rossi, Alfonso Manzotti, Davide Marzorati, Pietro Cerveri
2023 J jnl
SLEEP-SEE-THROUGH: Explainable Deep Learning for Sleep Event Detection and Quantification From Wearable Somnography.
IEEE J. Biomed. Health Informatics
Matteo Rossi, Davide Sala, Dario Bovio, Caterina Salito, Giulia Alessandrelli, Carolina Lombardi, Luca T. Mainardi, Pietro Cerveri
2023 J jnl
Specification, stochastic modeling and analysis of interactive service robotic applications.
Robotics Auton. Syst.
Livia Lestingi, Davide Zerla, Marcello M. Bersani, Matteo Rossi
2022 — conf
CEL-Unet: a novel CNN architecture for 3D Segmentation of Knee Bones affected by Severe Osteoarthritis for PSI-Based Surgical Planning.
EMBC
Luca Marsilio, Alberto Faglia, Matteo Rossi, Luca T. Mainardi, Alfonso Manzotti, Pietro Cerveri
2022 — conf
Delay Estimation for Shared Rides From GPS Data.
ITSC
Sepehr Samavati, Alexander Nemirovskiy, Matteo Rossi
2022 — conf
End-to-end Deep Learning and Sensor Fusion for Non-invasive BP Monitoring Using Multivariate Physiological Signals.
CinC
Pietro Cerveri, Mattia Sarti, Matteo Rossi, Giulia Alessandrelli, Carolina Lombardi, Luca T. Mainardi
2022 — conf
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings.
FormaliSE@ICSE
Livia Lestingi, Cristian Sbrolli, Pasquale Scarmozzino, Giorgio Romeo, Marcello M. Bersani, Matteo Rossi
2022 J jnl
Identification of Characteristic Points in Multivariate Physiological Signals by Sensor Fusion and Multi-Task Deep Networks.
Sensors
Matteo Rossi, Giulia Alessandrelli, Andra Dombrovschi, Dario Bovio, Caterina Salito, Luca T. Mainardi, Pietro Cerveri
2022 J jnl
Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior.
IEEE Intell. Syst.
Livia Lestingi, Marcello M. Bersani, Matteo Rossi
2022 J jnl
On How Bit-Vector Logic Can Help Verify LTL-Based Specifications.
IEEE Trans. Software Eng.
Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi, Luciano Baresi
2022 — conf
Personalized Context-Aware Recommender System for Travelers.
SEBD
Mahsa Shekari, Alireza Javadian Sabet, Chaofeng Guan, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca
2022 J jnl
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport.
CoRR
Mersedeh Sadeghi, Petr Buchnicek, Alessio Carenini, Óscar Corcho, Stefanos Gogos, Matteo Rossi, Riccardo Santoro
2022 J jnl
THOR: A Hybrid Recommender System for the Personalized Travel Experience.
Big Data Cogn. Comput.
Alireza Javadian Sabet, Mahsa Shekari, Chaofeng Guan, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca
2021 J jnl
A Deployment Framework for Formally Verified Human-Robot Interactions.
IEEE Access
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2021 J jnl
Convolutional Neural Networks Cascade for Automatic Pupil and Iris Detection in Ocular Proton Therapy.
Sensors
Luca Antonioli, Andrea Pella, Rosalinda Ricotti, Matteo Rossi, Maria Rosaria Fiore, Gabriele Belotti, Giuseppe Magro, Chiara Paganelli, Ester Orlandi, Mario Ciocca, Guido Baroni
2021 J jnl
Formally-based Model-Driven Development of Collaborative Robotic Applications.
J. Intell. Robotic Syst.
Mehrnoosh Askarpour, Livia Lestingi, Samuele Longoni, Niccolò Iannacci, Matteo Rossi, Federico Vicentini
2021 — conf
Improved Bounded Model Checking of Timed Automata.
FormaliSE@ICSE
Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2021 J jnl
Improved Bounded Model Checking of Timed Automata.
CoRR
Robert L. Smith, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2021 J jnl
Modeling and analysis of communicating systems.
Formal Aspects Comput.
Matteo Rossi
2021 — conf
RoboMAX: Robotic Mission Adaptation eXemplars.
SEAMS@ICSE
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
2021 — conf
Temporal Pattern Recognition in Graph Data Structures.
IEEE BigData
Pietro Daverio, Hassan Nazeer Chaudhry, Alessandro Margara, Matteo Rossi
2020 B conf
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.
SMC
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2020 — conf
Co-Simulation of Human-Robot Collaboration: from Temporal Logic to 3D Simulation.
AREA@ECAI
Mehrnoosh Askarpour, Matteo Rossi, Omer Tiryakiler
2020 — conf
Context Awareness in the Travel Companion of the Shift2Rail Initiative.
SEBD
Alireza Javadian Sabet, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca
2020 B conf
Formal Verification of Human-Robot Interaction in Healthcare Scenarios.
SEFM
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2020 J jnl
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach.
ACM Trans. Comput. Log.
Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2020 — conf
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications.
ICHMS
Mehrnoosh Askarpour, Livia Lestingi, Federico Buran, Matteo Rossi, Federico Vicentini
2020 J jnl
On the initialization of clocks in timed formalisms.
Theor. Comput. Sci.
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2020 J jnl
PuRSUE -from specification of robotic environments to synthesis of controllers.
Formal Aspects Comput.
Marcello M. Bersani, Matteo Soldo, Claudio Menghi, Patrizio Pelliccione, Matteo Rossi
2020 J jnl
Safety Assessment of Collaborative Robotics Through Automated Formal Verification.
IEEE Trans. Robotics
Federico Vicentini, Mehrnoosh Askarpour, Matteo Rossi, Dino Mandrioli
2020 — conf
Statistical Model Checking of Human-Robot Interaction Scenarios.
AREA@ECAI
Livia Lestingi, Mehrnoosh Askarpour, Marcello M. Bersani, Matteo Rossi
2020 — conf
Towards Learning Travelers' Preferences in a Context-Aware Fashion.
ISAmI
Alireza Javadian Sabet, Matteo Rossi, Fabio Alberto Schreiber, Letizia Tanca
2020 J jnl
Using formal verification to evaluate the execution time of Spark applications.
Formal Aspects Comput.
Luciano Baresi, Marcello M. Bersani, Francesco Marconi, Giovanni Quattrocchi, Matteo Rossi
2019 — conf
Formal Methods in Designing Critical Cyber-Physical Systems.
From Software Engineering to Formal Methods and Tools, and Back
Mehrnoosh Askarpour, Carlo Ghezzi, Dino Mandrioli, Matteo Rossi, Christos Tsigkanos
2019 — conf
Temporal Pattern Recognition in Large Scale Graphs.
DEBS
Hassan Nazeer Chaudhry, Alessandro Margara, Matteo Rossi
2018 J jnl
A Flexible Approach for Checking Timed Automata on Continuous Time Semantics.
CoRR
Claudio Menghi, Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2018 — conf
On the Timed Analysis of Big-Data Applications.
NFM
Francesco Marconi, Giovanni Quattrocchi, Luciano Baresi, Marcello M. Bersani, Matteo Rossi
2018 — conf
Trace Checking of Streaming Applications through DICE-TraCT.
ICPE Companion
Marcello M. Bersani, Francesco Marconi, Matteo Rossi
2017 J jnl
3cixty: Building comprehensive knowledge bases for city exploration.
J. Web Semant.
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
2017 — conf
A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications.
Ershov Informatics Conference
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
2017 J jnl
A Logic-Based Approach for the Verification of UML Timed Models.
ACM Trans. Softw. Eng. Methodol.
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
2017 J jnl
A logical characterization of timed regular languages.
Theor. Comput. Sci.
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2017 — conf
Formal verification of data-intensive applications through model checking modulo theories.
SPIN
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu, Silvio Ghilardi
2017 Misc conf
Formal verification of storm topologies through D-VerT.
SAC
Francesco Marconi, Marcello M. Bersani, Matteo Rossi
2017 B conf
Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications.
SAFECOMP
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
2016 J jnl
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.
Theor. Comput. Sci.
Matteo Rossi, Dino Mandrioli, Angelo Morzenti, Luca Ferrucci
2016 J jnl
A tool for deciding the satisfiability of continuous-time metric temporal logic.
Acta Informatica
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2016 — conf
A tool for verification of big-data applications.
QUDOS@ISSTA
Marcello M. Bersani, Francesco Marconi, Matteo Rossi, Madalina Erascu
2016 — conf
Analysis of Energy-Efficient Buildings through Simulation and Formal Methods.
SIMPDA
Maryam Ehsanpour, Luciano Baresi, Matteo Rossi, Ernesto Damiani
2016 Misc conf
How bit-vector logic can help improve the verification of LTL specifications over infinite domains.
SAC
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
2016 B conf
SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration.
SAFECOMP
Mehrnoosh Askarpour, Dino Mandrioli, Matteo Rossi, Federico Vicentini
2016 C conf
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.
ICFEM
Francesco Marconi, Marcello M. Bersani, Madalina Erascu, Matteo Rossi
2015 J jnl
An SMT-based approach to satisfiability checking of MITL.
Inf. Comput.
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2015 — conf
DICE: Quality-Driven Development of Data-Intensive Cloud Applications.
MiSE@ICSE
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
2015 — conf
Efficient Scalable Verification of LTL Specifications.
ICSE (1)
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
2015 J jnl
Formal verification and validation of embedded systems: the UML-based MADES approach.
Softw. Syst. Model.
Luciano Baresi, Gundula Blohm, Dimitrios S. Kolovos, Nicholas Drivalos Matragkas, Alfredo Motta, Richard F. Paige, Alek Radjenovic, Matteo Rossi
2014 — conf
A Logical Characterization of Timed (non-)Regular Languages.
MFCS (1)
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2014 J jnl
Automated formal verification for flexible manufacturing systems.
J. Intell. Manuf.
Emanuele Carpanzano, Luca Ferrucci, Dino Mandrioli, Mauro Mazzolini, Angelo Morzenti, Matteo Rossi
2014 J jnl
Constraint LTL satisfiability checking without automata.
J. Appl. Log.
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2014 — conf
Flexible modular formalization of UML sequence diagrams.
FormaliSE
Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi
2014 J jnl
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing.
IEEE Intell. Transp. Syst. Mag.
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
2013 J jnl
A Flexible Architecture for Managing Vehicle Sharing Systems.
IEEE Embed. Syst. Lett.
Andrea G. Bianchessi, Carlo Ongini, S. Rotondi, Mara Tanelli, Matteo Rossi, Gianpaolo Cugola, Sergio M. Savaresi
2013 C conf
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic.
TIME
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2013 — conf
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities.
RP
Marcello M. Bersani, Matteo Rossi, Pierluigi San Pietro
2013 — conf
Deciding the Satisfiability of MITL Specifications.
GandALF
Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro
2013 J jnl
On the Satisfiability of Metric Temporal Logics over the Reals.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Marcello Maria Bersani, Matteo Rossi, Pierluigi San Pietro
2013 J jnl
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata.
J. Comput. Sci. Technol.
Yu Zhou, Luciano Baresi, Matteo Rossi
2012 C conf
A Metric Temporal Logic for Dealing with Zero-Time Transitions.
TIME
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2012 J jnl
A logic-based semantics for the verification of multi-diagram UML models.
ACM SIGSOFT Softw. Eng. Notes
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
2012 — ch.
Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches.
ArtDeco
Nicolò Maria Calcavecchia, Elisabetta Di Nitto, Daniel J. Dubois, Carlo Ghezzi, Valentina Mazza, Matteo Rossi
2012 J jnl
Constraint LTL Satisfiability Checking without Automata
CoRR
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2012 C conf
Flexible logic-based Co-simulation of Modelica models.
INDIN
Luciano Baresi, Gianni Ferretti, Alberto Leva, Matteo Rossi
2012 — conf
Green Move: Towards next generation sustainable smartphone-based vehicle sharing.
SustainIT
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
2012 — conf
MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems.
ReCoSoC
Imran Rafiq Quadri, Etienne Brosse, Ian Gray, Nikolas Drivalos Matragkas, Leandro Soares Indrusiak, Matteo Rossi, Alessandra Bagnato, Andrey Sadovykh
2012 B conf
MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.
ECMFA
Alek Radjenovic, Nikolas Drivalos Matragkas, Richard F. Paige, Matteo Rossi, Alfredo Motta, Luciano Baresi, Dimitrios S. Kolovos
2012 — book
Modeling Time in Computing.
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2012 C conf
Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.
FMICS
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2012 J jnl
Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach
CoRR
Luca Ferrucci, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2011 — conf
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
RP
Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro
2011 A* conf
SCORE 2011: the second student contest on software engineering.
ICSE
Matteo Rossi, Michal Young
2010 J jnl
A theory of sampling for continuous-time metric temporal logic.
ACM Trans. Comput. Log.
Carlo A. Furia, Matteo Rossi
2010 J jnl
Bounded Reachability for Temporal Logic over Constraint Systems
CoRR
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2010 C conf
Bounded Reachability for Temporal Logic over Constraint Systems.
TIME
Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro
2010 — conf
From Interaction Overview Diagrams to Temporal Logic.
MoDELS (Workshops)
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
2010 J jnl
Modeling time in computing: A taxonomy and a comparative survey.
ACM Comput. Surv.
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2010 J jnl
SCORE: the first student contest on software engineering.
ACM SIGSOFT Softw. Eng. Notes
Dino Mandrioli, Stephen Fickas, Carlo A. Furia, Mehdi Jazayeri, Matteo Rossi, Michal Young
2010 B conf
SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.
SEFM
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi
2010 J jnl
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
CoRR
Marcello M. Bersani, Luca Cavallaro, Achille Frigeri, Matteo Pradella, Matteo Rossi
2010 — conf
Towards the UML-Based Formal Verification of Timed Systems.
FMCO
Luciano Baresi, Angelo Morzenti, Alfredo Motta, Matteo Rossi
2010 B conf
Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components.
ICECCS
Silvia Bindelli, Elisabetta Di Nitto, Carlo A. Furia, Matteo Rossi
2009 J jnl
A Theory of Sampling for Continuous-time Metric Temporal Logic
CoRR
Carlo A. Furia, Matteo Rossi
2009 J jnl
Comments on temporal logics for real-time system specification.
ACM Comput. Surv.
Carlo A. Furia, Matteo Pradella, Matteo Rossi
2009 J jnl
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
CoRR
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
2009 B conf
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.
SEFM
Marcello M. Bersani, Carlo A. Furia, Matteo Pradella, Matteo Rossi
2009 — conf
Towards a formal model of autonomic services based on SelfLets.
PESOS@ICSE
Stefania Pacifici, Matteo Rossi
2008 B conf
Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.
FM
Carlo A. Furia, Matteo Pradella, Matteo Rossi
2008 — conf
MTL with Bounded Variability: Decidability and Complexity.
FORMATS
Carlo A. Furia, Matteo Rossi
2008 J jnl
Modeling Time in Computing: A Taxonomy and a Comparative Survey
CoRR
Carlo A. Furia, Dino Mandrioli, Angelo Morzenti, Matteo Rossi
2008 J jnl
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
CoRR
Carlo A. Furia, Matteo Pradella, Matteo Rossi
2008 C conf
Practical Automated Partial Verification of Multi-paradigm Real-Time Models.
ICFEM
Carlo A. Furia, Matteo Pradella, Matteo Rossi
2007 J jnl
Automated compositional proofs for real-time systems.
Theor. Comput. Sci.
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
2007 C conf
FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.
ICTAC
Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio
2007 — conf
Modeling the Environment in Software-Intensive Systems.
MiSE@ICSE
Carlo A. Furia, Matteo Rossi, Dino Mandrioli
2007 J jnl
No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators.
Bull. EATCS
Carlo A. Furia, Matteo Rossi
2007 — conf
On the Expressiveness of MTL Variants over Dense Time.
FORMATS
Carlo A. Furia, Matteo Rossi
2006 Misc conf
A UML 2-compatible language and tool for formal modeling real-time system architectures.
SAC
Pietro Colombo, Matteo Pradella, Matteo Rossi
2006 — conf
A formal approach to sensor placement and configuration in a network intrusion detection system.
SESS@ICSE
Marco Rolando, Matteo Rossi, Niccolò Sanarico, Dino Mandrioli
2006 J jnl
Comments on "An Interval Logic for Real-Time System Specification'.
IEEE Trans. Software Eng.
Carlo A. Furia, Angelo Morzenti, Matteo Pradella, Matteo Rossi
2006 — conf
Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.
FORMATS
Carlo A. Furia, Matteo Rossi
2005 — conf
A UML-Compatible Formal Language for System Architecture Description.
SDL Forum
Matteo Pradella, Matteo Rossi, Dino Mandrioli
2005 C conf
ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
FORTE
Matteo Pradella, Matteo Rossi, Dino Mandrioli
2005 B conf
Automated Compositional Proofs for Real-Time Systems.
FASE
Carlo A. Furia, Matteo Rossi, Dino Mandrioli, Angelo Morzenti
2004 — conf
A Compositional Framework for Formally Verifying Modular Systems.
TACoS
Carlo A. Furia, Matteo Rossi
2004 A conf
A formal approach for modeling and verification of RTCORBA-based applications.
ISSTA
Matteo Rossi, Dino Mandrioli
2004 — conf
Semi-formal and Formal Models Applied to Flexible Manufacturing Systems.
ISCIS
Andrea Matta, Carlo A. Furia, Matteo Rossi
2003 J jnl
A formal approach for designing CORBA-based applications.
ACM Trans. Softw. Eng. Methodol.
Alberto Coen-Porisini, Matteo Pradella, Matteo Rossi, Dino Mandrioli
2002 C conf
A multirate predictive approach to orbit control of small spacecraft.
ACC
Matteo Rossi, Marco Lovera
2000 A* conf
A formal approach for designing CORBA based applications.
ICSE
Matteo Pradella, Matteo Rossi, Dino Mandrioli, Alberto Coen-Porisini
1999 — conf
A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications.
PDSE
Angelo Morzenti, Matteo Pradella, Matteo Rossi, Stefano Russo, Antonio Sergio