Sfoglia per Autore
Ride2Rail: integrating ridesharing to increase the attractiveness of rail travel
2024-01-01 Golightly, David; Altobelli, Emiliano; Bassi, Nicola; Buchníček, Petr; Consonni, Cristian; Juránková, Petra; Mitropoulos, Lambros; Rizzi, Giuseppe; Rossi, Matteo; Scrocca, Mario; Rutanen, Eetu; Kortsari, Annie; Niavis, Harris
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture
2023-01-01 Sadeghi, Mersedeh; Carenini, Alessio; Corcho, Oscar; Rossi, Matteo; Santoro, Riccardo; Vogelsang, Andreas
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo
Rigorous Automated Verification of Protection Systems in LV Distribution Grids
2023-01-01 Mansour, Ahmed Nagy Abdelkhalek; Grillo, Samuele; Ragaini, Enrico; Rossi, Matteo
Automated Creation of Mappings between Data Specifications through Linguistic and Structural Techniques
2023-01-01 Kalwar, Safia; Rossi, Matteo; Sadeghi, Mersedeh
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification
2023-01-01 Lestingi, Livia; Manglaviti, Andrea; Marinaro, Davide; Marinello, Luca; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
Towards Better Trust in Human-Machine Teaming through Explainable Dependability
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
Specification, stochastic modeling and analysis of interactive service robotic applications
2023-01-01 Lestingi, Livia; Zerla, Davide; Bersani, Marcello M.; Rossi, Matteo
Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options
2023-01-01 Sadeghi, Mersedeh; Carenini, Alessio; Corcho, Oscar; Rossi, Matteo; Santoro, Riccardo; Vogelsang, Andreas
Architecting Explainable Service Robots
2023-01-01 Bersani, Marcello M.; Camilli, Matteo; Lestingi, Livia; Mirandola, Raffaela; Rossi, Matteo; Scandurra, Patrizia
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids
2023-01-01 Mansour, Ahmed Nagy Abdelkhalek; Grillo, Samuele; Ragaini, Enrico; Rossi, Matteo
Model-Driven Development of Service Robot Applications Dealing with Uncertain Human Behavior
2022-01-01 Lestingi, L.; Bersani, M. M.; Rossi, M.
Delay Estimation for Shared Rides From GPS Data
2022-01-01 Samavati, Sepehr; Nemirovskiy, Alexander; Rossi, Matteo
THOR: A Hybrid Recommender System for the Personalized Travel Experience
2022-01-01 Javadian Sabet, Alireza; Shekari, Mahsa; Guan, Chaofeng; Rossi, Matteo; Schreiber, Fabio; Tanca, Letizia
Personalized Context-Aware Recommender System for Travelers
2022-01-01 Shekari, Mahsa; JAVADIAN SABET, Alireza; Guan, Chaofeng; Rossi, MATTEO GIOVANNI; Schreiber, Fabio A.; Tanca, Letizia
On How Bit-Vector Logic Can Help Verify LTL-based Specifications
2022-01-01 Pourhashem Kallehbasti, Mohammad Mehdi; Rossi, Matteo Giovanni; Baresi, Luciano
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings
2022-01-01 Lestingi, Livia; Sbrolli, Cristian; Scarmozzino, Pasquale; Romeo, Giorgio; Bersani, Marcello M.; Rossi, MATTEO GIOVANNI
Improved Bounded Model Checking of Timed Automata
2021-01-01 Smith, Robert L.; Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San
RoboMAX: Robotic Mission Adaptation eXemplars
2021-01-01 Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; Garcia, Sergio; Caldas, Ricardo; von Oertzen, Tim J; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S.
Preference Mining in the Travel Domain
2021-01-01 Sabet, A. J.; Gopalakrishnan, S.; Rossi, M.; Schreiber, F. A.; Tanca, L.
Temporal Pattern Recognition in Graph Data Structures
2021-01-01 Daverio, Pietro; Chaudhry, HASSAN NAZEER; Margara, Alessandro; Rossi, MATTEO GIOVANNI
SMART: Towards automated mapping between data specifications
2021-01-01 Kalwar, S.; Sadeghi, M.; Sabet, A. J.; Nemirovskiy, A.; Rossi, M.
A semantic-based access control approach for systems of systems
2021-01-01 Sadeghi, Mersedeh; Sartor, Luca; Rossi, Matteo
Formally-based Model-Driven Development of Collaborative Robotic Applications
2021-01-01 Askarpour, Mehrnoosh; Lestingi, Livia; Longoni, Samuele; Iannacci, Niccolò; Rossi, Matteo; Vicentini, Federico
On the Visualization of Semantic-based Mappings
2021-01-01 PINCIROLI VAGO, NICOLÒ ORESTE; Sacaj, Mario; Sadeghi, Mersedeh; Kalwar, Safia; Vogelsang, Andreas; Rossi, Matteo G.
A semantic-based access control mechanism for distributed systems
2021-01-01 Sadeghi, M.; Sartor, L.; Rossi, M.
A Deployment Framework for Formally Verified Human-Robot Interactions
2021-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo Giovanni
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport
2020-01-01 Sadeghi, M.; Buchníček, P.; Carenini, A.; Corcho, O.; Gogos, S.; Rossi, M.; Santoro, R.
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, L.; Askarpour, M.; Bersani, M. M.; Rossi, M. G.
Formal Verification of Human-Robot Interaction in Healthcare Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications
2020-01-01 Askarpour, Mehrnoosh; Lestingi, Livia; Buran, Federico; Rossi, Matteo Giovanni; Vicentini, Federico
PuRSUE -from specification of robotic environments to synthesis of controllers
2020-01-01 Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo
Statistical Model Checking of Human-Robot Interaction Scenarios
2020-01-01 Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo
Context Awareness in the Travel Companion of the Shift2Rail Initiative
2020-01-01 Javadian Sabet, A.; Rossi, M.; Schreiber, F. A.; Tanca, L.
Using formal verification to evaluate the execution time of Spark applications
2020-01-01 Baresi, L.; Bersani, M. M.; Marconi, F.; Quattrocchi, G.; Rossi, M.
Co-simulation of human-robot collaboration: From temporal logic to 3d simulation
2020-01-01 Askarpour, M.; Rossi, M.; Tiryakiler, O.
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach
2020-01-01 Menghi, C.; Bersani, M. M.; Rossi, M.; San Pietro, P.
Towards learning travelers’ preferences in a context-aware fashion
2020-01-01 Javadian Sabet, A.; Rossi, M.; Schreiber, F. A.; Tanca, L.
Formal Methods in Designing Critical Cyber-Physical Systems
2019-01-01 Askarpour, M.; Ghezzi, C.; Mandrioli, D.; Rossi, M.; Tsigkanos, C.
Formal model of human erroneous behavior for safety analysis in collaborative robotics
2019-01-01 Askarpour, M.; Mandrioli, D.; Rossi, M.; Vicentini, F.
Temporal pattern recognition in large scale graphs
2019-01-01 Chaudhry, H. N.; Margara, A.; Rossi, M.
On the Initialization of Clocks in Timed Formalisms
2019-01-01 Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San
Safety Assessment of Collaborative Robotics Through Automated Formal Verification
2019-01-01 Vicentini, F.; Askarpour, M.; Rossi, M. G.; Mandrioli, D.
Automated Mapping for Semantic-based Conversion of Transportation Data Formats
2019-01-01 Hosseini, Marjan; Kalwar, Safia; Rossi, MATTEO GIOVANNI; Sadeghi, Mersedeh
ST4RT – Semantic Transformations for Rail Transportation
2018-01-01 Carenini, Alessio; Ugo, Dell’Arciprete; Stefanos, Gogos; POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI; Rossi, MATTEO GIOVANNI; Riccardo, Santoro
Trace checking of streaming applications through DICE-TraCT
2018-01-01 Bersani, M. M.; Marconi, F.; Rossi, M.
On the timed analysis of big-data applications
2018-01-01 Marconi, F.; Quattrocchi, G.; Baresi, L.; Bersani, M. M.; Rossi, M.
Electric Vehicle Sharing Services for Smarter Cities
2017-01-01 Bignami, DANIELE FABRIZIO; COLORNI VITALE, Alberto; Lue', Alessandro; Nocerino, Roberto; Rossi, MATTEO GIOVANNI; Savaresi, S. M.
A logic-based approach for the verification of UML timed models
2017-01-01 Baresi, Luciano; Morzenti, Angelo; Motta, Alfredo; Pourhashem, Mohammad Mehdi; Rossi, Matteo
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile