Sfoglia per Autore
Reducing the local alphabet size in tiling systems by means of 2D comma-free codes
2022-01-01 Crespi Reghizzi, S.; Restivo, A.; San Pietro, P.
Homomorphic Characterization of Tree Languages Based on Comma-Free Encoding
2021-01-01 Crespi Reghizzi, S.; San Pietro, P.
Reducing Local Alphabet Size in Recognizable Picture Languages
2021-01-01 Crespi Reghizzi, S.; Restivo, A.; San Pietro, P.
Improved Bounded Model Checking of Timed Automata
2021-01-01 Smith, Robert L.; Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San
Deque automata, languages, and planar graph representations
2020-01-01 Crespi Reghizzi, S.; San Pietro, P.
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach
2020-01-01 Menghi, C.; Bersani, M. M.; Rossi, M.; San Pietro, P.
Non-erasing Chomsky-Sch{"{u}}tzenberger theorem with grammar-independent alphabet
2019-01-01 SAN PIETRO, Pierluigi; CRESPI REGHIZZI, Stefano
On the Initialization of Clocks in Timed Formalisms
2019-01-01 Bersani, Marcello M.; Rossi, Matteo; Pietro, Pierluigi San
Regular languages as local functions with small alphabets
2019-01-01 Crespi Reghizzi, S.; San Pietro, P.
Deque Languages, Automata and Planar Graphs
2018-01-01 Crespi Reghizzi, S.; San Pietro, P.
A logical characterization of timed regular languages
2017-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Counter machines, Petri Nets, and consensual computation
2017-01-01 Crespi Reghizzi, S.; San Pietro, P.
The missing case in chomsky-schützenberger theorem
2016-01-01 Crespi Reghizzi, S.; San Pietro, P.
A tool for deciding the satisfiability of continuous-time metric temporal logic
2016-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Efficient large-scale trace checking using mapreduce
2016-01-01 Bersani, Marcello M.; Bianculli, Domenico; Ghezzi, Carlo; Krstic, Srdan; Pietro, Pierluigi San
An SMT-based approach to satisfiability checking of MITL
2015-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
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
A Logical Characterization of Timed (non-)Regular Languages
2014-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Commutative Languages and their Composition by Consensual Methods
2014-01-01 CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
Dense-choice Counter Machines revisited
2014-01-01 Florent, Bouchy; Alain, Finkel; SAN PIETRO, Pierluigi
SMT-Based Checking of SOLOIST over Sparse TracesFundamental Approaches to Software Engineering
2014-01-01 Bersani, MARCELLO MARIA; Domenico, Bianculli; Ghezzi, Carlo; Krstic, Srdan; SAN PIETRO, Pierluigi
Offline Trace Checking of Quantitative Properties of Service-Based Applications2014 IEEE 7th International Conference on Service-Oriented Computing and Applications
2014-01-01 Domenico, Bianculli; Ghezzi, Carlo; Krstic, Srdan; SAN PIETRO, Pierluigi
STRICT LOCAL TESTABILITY WITH CONSENSUS EQUALS REGULARITY, AND OTHER PROPERTIES
2013-01-01 CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
Deciding the Satisfiability of MITL Specifications
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
The Tale of SOLOIST: A Specification Language for Service Compositions Interactions
2013-01-01 Domenico, Bianculli; Ghezzi, Carlo; SAN PIETRO, Pierluigi
Deterministic Counter Machines and Parallel Matching ComputationsImplementation and Application of Automata
2013-01-01 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
Deciding Continuous-Time Metric Temporal Logic with Counting Modalities
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A Tool for Deciding the Satisfiability of Continuous-time Metric Temporal Logic
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
On the Satisfiability of Metric Temporal Logics over the Reals
2013-01-01 Bersani, MARCELLO MARIA; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
FROM REGULAR TO STRICTLY LOCALLY TESTABLE LANGUAGES
2012-01-01 CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
Strict Local Testability with Consensus Equals RegularityImplementation and Application of Automata
2012-01-01 CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
Consensual languages and matching finite-state computations
2011-01-01 SAN PIETRO, Pierluigi; CRESPI REGHIZZI, Stefano
From Regular to Strictly Locally Testable Languages
2011-01-01 SAN PIETRO, Pierluigi; CRESPI REGHIZZI, Stefano
Completeness of the Bounded Satisfiability Problem for Constraint LTL.
2011-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
Bounded Reachability for Temporal Logic over Constraint Systems
2010-01-01 Bersani, MARCELLO MARIA; Frigeri, Achille; Morzenti, ANGELO CARLO; Pradella, Matteo; Rossi, MATTEO GIOVANNI; SAN PIETRO, Pierluigi
A Metric Encoding for Bounded Model Checking
2009-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Dense-choice Counter Machines revisited
2009-01-01 Florent, Bouchy; Alain, Finkel; SAN PIETRO, Pierluigi
Benchmarking Model- and Satisfiability-Checking on bi-infinite time
2008-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops
2008-01-01 Beletska, Anna; W., Bielecki; K., Siedlecki; SAN PIETRO, Pierluigi
Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations
2008-01-01 W., Bielecki; Beletska, Anna; SAN PIETRO, Pierluigi
Consensual Definition of Languages by Regular Sets
2008-01-01 CRESPI REGHIZZI, Stefano; SAN PIETRO, Pierluigi
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking
2008-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Model Checking Temporal Metric Specifications with Trio2Promela
2007-01-01 Bianculli, Domenico; Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi; Spoletini, Paola
Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework
2007-01-01 Beletska, Anna; W., Bielecki; SAN PIETRO, Pierluigi
Trio2Promela: A Model Checker for Temporal Metric Specifications
2007-01-01 Bianculli, Domenico; Morzenti, ANGELO CARLO; Pradella, Matteo; SAN PIETRO, Pierluigi; Spoletini, Paola
The Symmetry of the Past and of the Future: Bi-infinite Time in the Verification of Temporal Properties
2007-01-01 Pradella, Matteo; Morzenti, ANGELO CARLO; SAN PIETRO, Pierluigi
Regular languages and associative language descriptions
2007-01-01 M., Anselmo; Cherubini, Alessandra; SAN PIETRO, Pierluigi
Extracting Synchronization-Free Slices of Operations in Perfectly-Nested Loops
2007-01-01 Beletska, Anna; W., Bielecki; SAN PIETRO, Pierluigi
Extracting Synchronization-free chains of dependent iterations in non-uniform loops
2007-01-01 Beletska, Anna; W., Bielecki; M., Palkowski; SAN PIETRO, Pierluigi
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile