According to our database1, Matteo Rossi
Legend:Book In proceedings Article PhD thesis Other
A logical characterization of timed regular languages.
Theor. Comput. Sci., 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
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 Inf., 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 System 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. Physics, 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
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. Applied Logic, 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
A Tool for Deciding the Satisfiability of Continuous-Time Metric Temporal Logic.
Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 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
Constraint LTL Satisfiability Checking without Automata
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
Bounded Reachability for Temporal Logic over Constraint Systems
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
A Theory of Sampling for Continuous-time Metric Temporal Logic
Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
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
Modeling Time in Computing: A Taxonomy and a Comparative Survey
Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
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.
Bulletin of the 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.
Electr. Notes Theor. Comput. Sci., 2005
A Compositional Framework for Formally Verifying Modular Systems.
Electr. 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
Automated Compositional Proofs for Real-Time Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 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 formal approach for designing CORBA based applications.
Proceedings of the 22nd International Conference on on Software Engineering, 2000
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