Pierluigi San Pietro

Available identifiers

zbMath Open pietro.pierluigi-sanMaRDI QIDQ262136

List of research outcomes

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
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
Completeness of the Bounded Satisfiability Problem for Constraint LTL	2011-10-07	Paper
Automatic Verification of Multi-queue Discrete Timed Automata	2011-03-18	Paper
Computer Aided Verification	2010-04-20	Paper
FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science	2005-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4474213	2004-08-04	Paper
Verification in loosely synchronous queue-connected discrete timed automata.	2003-08-17	Paper
Presburger liveness verification of discrete timed automata.	2003-05-25	Paper
https://portal.mardi4nfdi.de/entity/Q2762788	2002-01-09	Paper

Research outcomes over time

This page was built for person: Pierluigi San Pietro