Matteo Rossi

According to our database1, Matteo Rossi
  • authored at least 85 papers between 1999 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

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

2016
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

2015
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

2014
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

2013
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.
ECEASST, 2013

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

2012
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

Constraint LTL Satisfiability Checking without Automata
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

2011
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

2010
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
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

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

A Theory of Sampling for Continuous-time Metric Temporal Logic
CoRR, 2009

Integrated Modeling and Verification of Real-Time Systems through Multiple Paradigms
CoRR, 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

2008
Modeling Time in Computing: A Taxonomy and a Comparative Survey
CoRR, 2008

Practical Automated Partial Verification of Multi-Paradigm Real-Time Models
CoRR, 2008

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

2007
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

2006
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

2005
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

2004
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

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

2000
A formal approach for designing CORBA based applications.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

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


  Loading...