Matteo Rossi

According to our database1, Matteo Rossi authored at least 92 papers between 1999 and 2020.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




Safety Assessment of Collaborative Robotics Through Automated Formal Verification.
IEEE Trans. Robotics, 2020

Model Checking MITL Formulae on Timed Automata: A Logic-based Approach.
ACM Trans. Comput. Log., 2020

On the initialization of clocks in timed formalisms.
Theor. Comput. Sci., 2020

Using formal verification to evaluate the execution time of Spark applications.
Formal Asp. Comput., 2020

HapPro: A Wearable Haptic Device for Proprioceptive Feedback.
IEEE Trans. Biomed. Engineering, 2019

Design and Assessment of Control Maps for Multi-Channel sEMG-Driven Prostheses and Supernumerary Limbs.
Frontiers Neurorobotics, 2019

Automated Mapping for Semantic-based Conversion of Transportation Data Formats.
Proceedings of the Joint Proceedings of the 1st International Workshop On Semantics For Transport and the 1st International Workshop on Approaches for Making Data Interoperable co-located with 15th Semantics Conference (SEMANTiCS 2019), 2019

Temporal Pattern Recognition in Large Scale Graphs.
Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, 2019

Formal Methods in Designing Critical Cyber-Physical Systems.
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019

A Flexible Approach for Checking Timed Automata on Continuous Time Semantics.
CoRR, 2018

Trace Checking of Streaming Applications through DICE-TraCT.
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018

On the Timed Analysis of Big-Data Applications.
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

3cixty: Building comprehensive knowledge bases for city exploration.
J. Web Semant., 2017

A Logic-Based Approach for the Verification of UML Timed Models.
ACM Trans. Softw. Eng. Methodol., 2017

A logical characterization of timed regular languages.
Theor. Comput. Sci., 2017

The SoftHand Pro-H: A Hybrid Body-Controlled, Electrically Powered Hand Prosthesis for Daily Living and Working.
IEEE Robotics Autom. Mag., 2017

Formal verification of data-intensive applications through model checking modulo theories.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

Modeling Operator Behavior in the Safety Analysis of Collaborative Robotic Applications.
Proceedings of the Computer Safety, Reliability, and Security, 2017

Formal verification of storm topologies through D-VerT.
Proceedings of the Symposium on Applied Computing, 2017

Preliminary results toward a naturally controlled multi-synergistic prosthetic hand.
Proceedings of the International Conference on Rehabilitation Robotics, 2017

A Human-in-the-Loop Perspective for Safety Assessment in Robotic Applications.
Proceedings of the Perspectives of System Informatics, 2017

A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.
Theor. Comput. Sci., 2016

A tool for deciding the satisfiability of continuous-time metric temporal logic.
Acta Informatica, 2016

Analysis of Energy-Efficient Buildings through Simulation and Formal Methods.
Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), 2016

SAFER-HRC: Safety Analysis Through Formal vERification in Human-Robot Collaboration.
Proceedings of the Computer Safety, Reliability, and Security, 2016

How bit-vector logic can help improve the verification of LTL specifications over infinite domains.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016

A tool for verification of big-data applications.
Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016

Reflex control of the Pisa/IIT SoftHand during object slippage.
Proceedings of the 2016 IEEE International Conference on Robotics and Automation, 2016

Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.
Proceedings of the Formal Methods and Software Engineering, 2016

Formal verification and validation of embedded systems: the UML-based MADES approach.
Software and Systems Modeling, 2015

Evolution of Intra-specific Regulatory Networks in a Multipartite Bacterial Genome.
PLoS Computational Biology, 2015

An iterative particle filter approach for coupled hydro-geophysical inversion of a controlled infiltration experiment.
J. Comput. Phys., 2015

An SMT-based approach to satisfiability checking of MITL.
Inf. Comput., 2015

DICE: Quality-Driven Development of Data-Intensive Cloud Applications.
Proceedings of the 7th IEEE/ACM International Workshop on Modeling in Software Engineering, 2015

Efficient Scalable Verification of LTL Specifications.
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015

Hybrid EMG classifier based on HMM and SVM for hand gesture recognition in prosthetics.
Proceedings of the IEEE International Conference on Industrial Technology, 2015

Effect of homogenous object stiffness on tri-digit grasp properties.
Proceedings of the 37th Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 2015

Automated formal verification for flexible manufacturing systems.
J. Intelligent Manufacturing, 2014

Constraint LTL satisfiability checking without automata.
J. Appl. Log., 2014

Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing.
IEEE Intell. Transport. Syst. Mag., 2014

A Logical Characterization of Timed (non-)Regular Languages.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014

Flexible modular formalization of UML sequence diagrams.
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014

Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata.
J. Comput. Sci. Technol., 2013

A Flexible Architecture for Managing Vehicle Sharing Systems.
Embedded Systems Letters, 2013

On the Satisfiability of Metric Temporal Logics over the Reals.

Deciding the Satisfiability of MITL Specifications.
Proceedings of the Proceedings Fourth International Symposium on Games, 2013

Deciding Continuous-Time Metric Temporal Logic with Counting Modalities.
Proceedings of the Reachability Problems - 7th International Workshop, 2013

A Multi-Agent Architecture for Health Information Systems.
Proceedings of the Advanced Methods and Technologies for Agent and Multi-Agent Systems, Proceedings of the 7th KES Conference on Agent and Multi-Agent Systems, 2013

Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches.
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012

A logic-based semantics for the verification of multi-diagram UML models.
ACM SIGSOFT Software Engineering Notes, 2012

Non-null Infinitesimal Micro-steps: a Metric Temporal Logic Approach
CoRR, 2012

A Metric Temporal Logic for Dealing with Zero-Time Transitions.
Proceedings of the 19th International Symposium on Temporal Representation and Reasoning, 2012

MADES FP7 EU project: Effective high level SysML/MARTE methodology for real-time and embedded avionics systems.
Proceedings of the 7th International Workshop on Reconfigurable and Communication-Centric Systems-on-Chip (ReCoSoC), 2012

Flexible logic-based Co-simulation of Modelica models.
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012

Green Move: Towards next generation sustainable smartphone-based vehicle sharing.
Proceedings of the Sustainable Internet and ICT for Sustainability, 2012

Modular Automated Verification of Flexible Manufacturing Systems with Metric Temporal Logic and Non-Standard Analysis.
Proceedings of the Formal Methods for Industrial Critical Systems, 2012

MADES: A Tool Chain for Automated Verification of UML Models of Embedded Systems.
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012

Modeling Time in Computing.
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-32331-7, 2012

Completeness of the Bounded Satisfiability Problem for Constraint LTL.
Proceedings of the Reachability Problems - 5th International Workshop, 2011

SCORE 2011: the second student contest on software engineering.
Proceedings of the 33rd International Conference on Software Engineering, 2011

A theory of sampling for continuous-time metric temporal logic.
ACM Trans. Comput. Log., 2010

SCORE: the first student contest on software engineering.
ACM SIGSOFT Software Engineering Notes, 2010

Modeling time in computing: A taxonomy and a comparative survey.
ACM Comput. Surv., 2010

SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
CoRR, 2010

Bounded Reachability for Temporal Logic over Constraint Systems.
Proceedings of the TIME 2010, 2010

SMT-based Verification of LTL Specification with Integer Constraints and its Application to Runtime Checking of Service Substitutability.
Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods, 2010

From Interaction Overview Diagrams to Temporal Logic.
Proceedings of the Models in Software Engineering, 2010

Using Compositionality to Formally Model and Analyze Systems Built of a High Number of Components.
Proceedings of the 15th IEEE International Conference on Engineering of Complex Computer Systems, 2010

Towards the UML-Based Formal Verification of Timed Systems.
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010

Comments on temporal logics for real-time system specification.
ACM Comput. Surv., 2009

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms.
Proceedings of the Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009

Towards a formal model of autonomic services based on SelfLets.
Proceedings of the International ICSE Workshop on Principles of Engineering Service-Oriented Systems, 2009

Practical Automated Partial Verification of Multi-paradigm Real-Time Models.
Proceedings of the Formal Methods and Software Engineering, 2008

MTL with Bounded Variability: Decidability and Complexity.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2008

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation.
Proceedings of the FM 2008: Formal Methods, 2008

Automated compositional proofs for real-time systems.
Theor. Comput. Sci., 2007

No Need to Be Strict: On the Expressiveness of Metric Temporal Logics with (Non-)strict Operators.
Bull. EATCS, 2007

FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.
Proceedings of the Theoretical Aspects of Computing, 2007

Modeling the Environment in Software-Intensive Systems.
Proceedings of the International Workshop on Modeling in Software Engineering, 2007

On the Expressiveness of MTL Variants over Dense Time.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007

Comments on "An Interval Logic for Real-Time System Specification'.
IEEE Trans. Software Eng., 2006

A UML 2-compatible language and tool for formal modeling real-time system architectures.
Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

A formal approach to sensor placement and configuration in a network intrusion detection system.
Proceedings of the 2006 international workshop on Software engineering for secure systems, 2006

Integrating Discrete- and Continuous-Time Metric Temporal Logics Through Sampling.
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006

QUACK: A Platform for the Quality of New Generation Integrated Embedded Systems.
Electron. Notes Theor. Comput. Sci., 2005

A Compositional Framework for Formally Verifying Modular Systems.
Electron. Notes Theor. Comput. Sci., 2005

A UML-Compatible Formal Language for System Architecture Description.
Proceedings of the SDL 2005: Model Driven, 2005

ArchiTRIO: A UML-Compatible Language for Architectural Description and Its Formal Semantics.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005

A formal approach for modeling and verification of RTCORBA-based applications.
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004

Semi-formal and Formal Models Applied to Flexible Manufacturing Systems.
Proceedings of the Computer and Information Sciences, 2004

A formal approach for designing CORBA-based applications.
ACM Trans. Softw. Eng. Methodol., 2003

A Case Study in Object-Oriented Modeling and Design of Distributed Multimedia Applications.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1999