Matteo G. Rossi
Orcid: 0000-0002-9193-9560Affiliations:
- Politecnico di Milano, Italy
According to our database1,
Matteo G. Rossi
authored at least 115 papers
between 1999 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2000
2005
2010
2015
2020
0
5
10
1
3
3
4
2
5
1
3
2
2
3
3
2
4
1
2
1
1
2
6
3
6
7
3
2
4
5
1
2
2
6
1
5
1
3
3
3
2
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Interoperability of heterogeneous Systems of Systems: from requirements to a reference architecture.
J. Supercomput., May, 2024
Analyzing the impact of human errors on interactive service robotic scenarios via formal verification.
Softw. Syst. Model., April, 2024
Optimising Queries for Pattern Detection Over Large Scale Temporally Evolving Graphs.
IEEE Access, 2024
Proceedings of the Formal Methods Teaching - 6th Formal Methods Teaching Workshop, 2024
Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024
2023
Specification, stochastic modeling and analysis of interactive service robotic applications.
Robotics Auton. Syst., May, 2023
Automated Creation of Mappings Between Data Specifications Through Linguistic and Structural Techniques.
IEEE Access, 2023
Interoperability of Heterogeneous Systems of Systems: Review of Challenges, Emerging Requirements and Options.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.
Proceedings of the 31st IEEE International Requirements Engineering Conference, RE 2023, 2023
A Formal Approach to the Verification of Protection Systems in Low-Voltage Distribution Grids.
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023
Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning.
Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023
Proceedings of the 20th International Conference on Software Architecture, 2023
Proceedings of the Software Architecture - 17th European Conference, 2023
2022
IEEE Trans. Software Eng., 2022
Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior.
IEEE Intell. Syst., 2022
SPRINT: Semantics for PerfoRmant and scalable INteroperability of multimodal Transport.
CoRR, 2022
Big Data Cogn. Comput., 2022
Proceedings of the 30th Italian Symposium on Advanced Database Systems, 2022
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022
Formal Modeling and Verification of Multi-Robot Interactive Scenarios in Service Settings.
Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022
2021
J. Intell. Robotic Syst., 2021
IEEE Access, 2021
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
Proceedings of the 16th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2021
Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021
Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021
Proceedings of the 3rd International Workshop Semantics And The Web For Transport co-located with Semantics Conference (SEMANTiCS 2021), 2021
Proceedings of the 2021 IEEE International Conference on Big Data (Big Data), 2021
2020
IEEE Trans. Robotics, 2020
ACM Trans. Comput. Log., 2020
Formal Aspects Comput., 2020
Formal Aspects Comput., 2020
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020
Proceedings of the First Workshop on Agents and Robots for reliable Engineered Autonomy, 2020
A Model-driven Approach for the Formal Analysis of Human-Robot Interaction Scenarios.
Proceedings of the 2020 IEEE International Conference on Systems, Man, and Cybernetics, 2020
Proceedings of the Software Engineering and Formal Methods - 18th International Conference, 2020
Proceedings of the 28th Italian Symposium on Advanced Database Systems, 2020
Proceedings of the Ambient Intelligence - Software and Applications, 2020
Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications.
Proceedings of the IEEE International Conference on Human-Machine Systems, 2020
2019
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
Proceedings of the 13th ACM International Conference on Distributed and Event-based Systems, 2019
Proceedings of the From Software Engineering to Formal Methods and Tools, and Back, 2019
2018
CoRR, 2018
Proceedings of the Companion of the 2018 ACM/SPEC International Conference on Performance Engineering, 2018
Proceedings of the NASA Formal Methods - 10th International Symposium, 2018
2017
J. Web Semant., 2017
ACM Trans. Softw. Eng. Methodol., 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
Proceedings of the Symposium on Applied Computing, 2017
Proceedings of the Perspectives of System Informatics, 2017
2016
A temporal logic for micro- and macro-step-based real-time systems: Foundations and applications.
Theor. Comput. Sci., 2016
Acta Informatica, 2016
Proceedings of the 6th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2016), 2016
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
Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.
Proceedings of the Formal Methods and Software Engineering, 2016
2015
Formal verification and validation of embedded systems: the UML-based MADES approach.
Softw. Syst. Model., 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
2014
J. Intell. Manuf., 2014
Green Move: A Platform for Highly Configurable, Heterogeneous Electric Vehicle Sharing.
IEEE Intell. Transp. Syst. Mag., 2014
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014
2013
Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata.
J. Comput. Sci. Technol., 2013
IEEE Embed. Syst. Lett., 2013
Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013
Proceedings of the Proceedings Fourth International Symposium on Games, 2013
Proceedings of the Reachability Problems - 7th International Workshop, 2013
2012
Complex Autonomic Systems for Networked Enterprises: Mechanisms, Solutions and Design Approaches.
Proceedings of the Methodologies and Technologies for Networked Enterprises, 2012
ACM SIGSOFT Softw. Eng. Notes, 2012
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
Proceedings of the IEEE 10th International Conference on Industrial Informatics, 2012
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
Proceedings of the Modelling Foundations and Applications - 8th European Conference, 2012
Monographs in Theoretical Computer Science. An EATCS Series, Springer, ISBN: 978-3-642-32331-7, 2012
2011
Proceedings of the Reachability Problems - 5th International Workshop, 2011
2010
ACM Trans. Comput. Log., 2010
ACM SIGSOFT Softw. Eng. Notes, 2010
ACM Comput. Surv., 2010
SMT-based Verification of LTL Specifications with Integer Constraints and its Application to Runtime Checking of Service Substitutability
CoRR, 2010
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
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
Proceedings of the Formal Methods for Components and Objects - 9th International Symposium, 2010
2009
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
2008
Proceedings of the Formal Methods and Software Engineering, 2008
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
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
Proceedings of the International Workshop on Modeling in Software Engineering, 2007
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2007
2006
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
Proceedings of the Formal Modeling and Analysis of Timed Systems, 2006
2005
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
2004
Proceedings of the International Workshop on Test and Analysis of Component Based Systems, 2004
Proceedings of the ACM/SIGSOFT International Symposium on Software Testing and Analysis, 2004
Proceedings of the Computer and Information Sciences, 2004
2003
ACM Trans. Softw. Eng. Methodol., 2003
1999
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