Pierluigi San Pietro

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Deciding the satisfiability of MITL specifications	2021-06-09	Paper
Deciding the satisfiability of MITL specifications (available as arXiv preprint)	2021-06-09	Paper
Model checking MITL formulae on timed automata. A logic-based approach ACM Transactions on Computational Logic	2020-09-11	Paper
On the initialization of clocks in timed formalisms Theoretical Computer Science	2020-04-21	Paper
A logical characterization of timed regular languages Theoretical Computer Science	2016-12-19	Paper
A tool for deciding the satisfiability of continuous-time metric temporal logic Acta Informatica	2016-03-29	Paper
An SMT-based approach to satisfiability checking of MITL Information and Computation	2015-12-07	Paper
A logical characterization of timed (non-)regular languages Mathematical Foundations of Computer Science 2014	2014-10-14	Paper
Deciding continuous-time metric temporal logic with counting modalities Lecture Notes in Computer Science	2014-07-07	Paper
Completeness of the bounded satisfiability problem for constraint LTL Lecture Notes in Computer Science	2011-10-07	Paper
Automatic verification of multi-queue discrete timed automata Lecture Notes in Computer Science	2011-03-18	Paper
Dense counter machines and verification problems. Lecture Notes in Computer Science	2010-04-20	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2005-08-12	Paper
scientific article; zbMATH DE number 2081100 (Why is no real title available?)	2004-08-04	Paper
Verification in loosely synchronous queue-connected discrete timed automata. Theoretical Computer Science	2003-08-17	Paper
Presburger liveness verification of discrete timed automata. Theoretical Computer Science	2003-05-25	Paper
scientific article; zbMATH DE number 1689043 (Why is no real title available?)	2002-01-09	Paper

Research outcomes over time

This page was built for person: Pierluigi San Pietro