Marcello M. Bersani
According to our database1, Marcello M. Bersani authored at least 39 papers between 2009 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Online verification in cyber-physical systems: Practical bounds for meaningful temporal costs.
Journal of Software: Evolution and Process, 2018
A Flexible Approach for Checking Timed Automata on Continuous Time Semantics.
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
DevOps Service Observability By-Design: Experimenting with Model-View-Controller.
Proceedings of the Service-Oriented and Cloud Computing, 2018
A logical characterization of timed regular languages.
Theor. Comput. Sci., 2017
Towards DevOps for Privacy-by-Design in Data-Intensive Applications: A Research Roadmap.
Proceedings of the Companion Proceedings of the 8th ACM/SPEC on International Conference on Performance Engineering, 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
Formal verification of storm topologies through D-VerT.
Proceedings of the Symposium on Applied Computing, 2017
A tool for deciding the satisfiability of continuous-time metric temporal logic.
Acta Inf., 2016
Continuous Architecting of Stream-Based Systems.
Proceedings of the 13th Working IEEE/IFIP Conference on Software Architecture, 2016
A tool for verification of big-data applications.
Proceedings of the 2nd International Workshop on Quality-Aware DevOps, 2016
Efficient large-scale trace checking using mapreduce.
Proceedings of the 38th International Conference on Software Engineering, 2016
Towards the Formal Verification of Data-Intensive Applications Through Metric Temporal Logic.
Proceedings of the Formal Methods and Software Engineering, 2016
The Cost of Formal Verification in Adaptive CPS. An Example of a Virtualized Server Node.
Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016
An SMT-based approach to satisfiability checking of MITL.
Inf. Comput., 2015
Efficient Large-scale Trace Checking Using MapReduce.
Constraint LTL satisfiability checking without automata.
J. Applied Logic, 2014
An LTL Semantics of Business Workflows with Recovery.
A Logical Characterization of Timed (non-)Regular Languages.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014
An LTL Semantics of BusinessWorkflows with Recovery.
Proceedings of the ICSOFT-PT 2014, 2014
A Timed Semantics of Workflows.
Proceedings of the Software Technologies - 9th International Joint Conference, 2014
Towards the formalization of properties of cloud-based elastic systems.
Proceedings of the 6th International Workshop on Principles of Engineering Service-Oriented and Cloud Systems, 2014
SMT-Based Checking of SOLOIST over Sparse Traces.
Proceedings of the Fundamental Approaches to Software Engineering, 2014
Expressiveness and complexity of regular pure two-dimensional context-free languages.
Int. J. Comput. Math., 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
Constraint LTL Satisfiability Checking without Automata
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
Proceedings of the Reachability Problems - 5th International Workshop, 2011
On Some Classes of 2D Languages and Their Relations.
Proceedings of the Combinatorial Image Analysis - 14th International Workshop, 2011
The Complexity of Reversal-Bounded Model-Checking.
Proceedings of the Frontiers of Combining Systems, 8th International Symposium, 2011
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
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