SAN PIETRO, PIERLUIGI
SAN PIETRO, PIERLUIGI
DIPARTIMENTO DI ELETTRONICA, INFORMAZIONE E BIOINGEGNERIA
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO
2000-01-01 Morasca, Sandro; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
A logical characterization of timed regular languages
2017-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A polynomial-time parsing algorithm for $K$-depth languages.
1996-01-01 Cherubini, Alessandra; SAN PIETRO, Pierluigi
A scalable formal method for design and automatic checking of user interfaces
2005-01-01 J., Berstel; CRESPI REGHIZZI, Stefano; G., Roussel; SAN PIETRO, Pierluigi
A tool for deciding the satisfiability of continuous-time metric temporal logic
2016-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
An application of a tool for automated system analysis based on modular specifications
2000-01-01 Morasca, Sandro; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
An SMT-based approach to satisfiability checking of MITL
2015-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Associative definition of programming languages
2001-01-01 CRESPI REGHIZZI, Stefano; Pradella, Matteo; SAN PIETRO, Pierluigi
Associative languages descriptions
2002-01-01 Cherubini, Alessandra; CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
Bounded Satisfiability Checking of Metric Temporal Logic Specifications
2013-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Consensual languages and matching finite-state computations
2011-01-01 SAN PIETRO, Pierluigi; CRESPI REGHIZZI, Stefano
Constraint LTL Satisfiability Checking without Automata
2014-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Counter machines, Petri Nets, and consensual computation
2017-01-01 Crespi Reghizzi, S.; San Pietro, P.
Dense-choice Counter Machines revisited
2014-01-01 Florent, Bouchy; Alain, Finkel; SAN PIETRO, Pierluigi
Deque automata, languages, and planar graph representations
2020-01-01 Crespi Reghizzi, S.; San Pietro, P.
Embedding time granularity in a logical specification language for synchronous real-time systems
1993-01-01 E., Ciapessoni; E., Corsetti; A., Montanari; SAN PIETRO, Pierluigi
FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGES
2012-01-01 CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
From words to pictures: Row-column combinations and Chomsky-Schützenberger theorem
2024-01-01 Crespi Reghizzi, Stefano; Restivo, Antonio; San Pietro, Pierluigi
Generation of Execution Sequences for Modular Time Critical Systems
2000-01-01 SAN PIETRO, Pierluigi; Morzenti, ANGELO CARLO; Morasca, Sandro
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach
2020-01-01 Menghi, C.; Bersani, M. M.; Rossi, M.; San Pietro, P.