Marcello M. Bersani

Available identifiers

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q4992507	2021-06-09	Paper
Model Checking MITL Formulae on Timed Automata	2020-09-11	Paper
PuRSUE -- from specification of robotic environments to synthesis of controllers	2020-09-09	Paper
Using formal verification to evaluate the execution time of Spark applications	2020-07-27	Paper
On the initialization of clocks in timed formalisms	2020-04-21	Paper
A logical characterization of timed regular languages	2016-12-19	Paper
A tool for deciding the satisfiability of continuous-time metric temporal logic	2016-03-29	Paper
An SMT-based approach to satisfiability checking of MITL	2015-12-07	Paper
A Logical Characterization of Timed (non-)Regular Languages	2014-10-14	Paper
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities	2014-07-07	Paper
Expressiveness and complexity of regular pure two-dimensional context-free languages	2013-10-22	Paper
Completeness of the Bounded Satisfiability Problem for Constraint LTL	2011-10-07	Paper
The Complexity of Reversal-Bounded Model-Checking	2011-10-07	Paper
On Some Classes of 2D Languages and Their Relations	2011-05-27	Paper

This page was built for person: Marcello M. Bersani