ROSSI, MATTEO GIOVANNI

ROSSI, MATTEO GIOVANNI  

DIPARTIMENTO DI MECCANICA  

Mostra records
Risultati 1 - 20 di 85 (tempo di esecuzione: 0.066 secondi).
Titolo Data di pubblicazione Autori File
A Case Study in Object-oriented modeling and Design of Distributed Multimedia Applications 1-gen-1999 MORZENTI, ANGELO CARLOPRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
A Formal Approach for Designing CORBA based Applications 1-gen-2000 COEN PORISINI, ALBERTOPRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A Formal Approach for Modeling and Verification of RTCORBA-based Applications 1-gen-2004 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
A Formal Approach to Sensor Placement and Configuration in a Network Intrusion Detection System 1-gen-2006 ROSSI, MATTEO GIOVANNIMANDRIOLI, DINO +
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids 1-gen-2023 Mansour, Ahmed Nagy AbdelkhalekGrillo, SamueleRagaini, EnricoRossi, Matteo
A logic-based semantics for the verification of multi-diagram UML models 1-gen-2012 BARESI, LUCIANOMORZENTI, ANGELO CARLOMOTTA, ALFREDOROSSI, MATTEO GIOVANNI
A Logical Characterization of Timed (non-)Regular Languages 1-gen-2014 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A Metric Temporal Logic for Dealing with Zero-Time Transitions 1-gen-2012 FERRUCCI, LUCAMANDRIOLI, DINOMORZENTI, ANGELO CARLOROSSI, MATTEO GIOVANNI
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios 1-gen-2020 L. LestingiM. AskarpourM. M. BersaniM. G. Rossi
A Multirate Predictive Approach to Orbit Control of Small Spacecraft 1-gen-2002 ROSSI, MATTEO GIOVANNILOVERA, MARCO
A Predictive Approach to Formation Keeping for Constellations of Small Spacecraft in Elliptic Orbits 1-gen-2002 ROSSI, MATTEO GIOVANNILOVERA, MARCO
A semantic-based access control mechanism for distributed systems 1-gen-2021 Sadeghi M.Sartor L.Rossi M.
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic 1-gen-2013 BERSANI, MARCELLO MARIAROSSI, MATTEO GIOVANNISAN PIETRO, PIERLUIGI
A tool for verification of big-data applications 1-gen-2016 BERSANI, MARCELLO MARIAMARCONI, FRANCESCOROSSI, MATTEO GIOVANNI +
A UML 2-compatible language and tool for formal modeling real-time system architectures 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
A UML-compatible formal language for system architecture description 1-gen-2005 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO
An Evolutionary Approach to the Design of Supervision and Control Systems 1-gen-1999 PRADELLA, MATTEOROSSI, MATTEO GIOVANNI +
Architecting Explainable Service Robots 1-gen-2023 Bersani, Marcello M.Camilli, MatteoLestingi, LiviaMirandola, RaffaelaRossi, Matteo +
ArchiTRIO: a UML-compatible language for architectural description and its formal semantics 1-gen-2006 PRADELLA, MATTEOROSSI, MATTEO GIOVANNIMANDRIOLI, DINO