|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 29 occurrences of 19 keywords
|
|
|
|
|
Results
Found 47 publication records. Showing 47 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Consensual languages and matching finite-state computations.  |
RAIRO - Theor. Inf. and Applic.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
From Regular to Strictly Locally Testable Languages |
WORDS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro |
Completeness of the Bounded Satisfiability Problem for Constraint LTL. |
RP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro |
Bounded Reachability for Temporal Logic over Constraint Systems |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro |
Bounded Reachability for Temporal Logic over Constraint Systems. |
TIME |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
A Metric Encoding for Bounded Model Checking (extended version) |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Florent Bouchy, Alain Finkel, Pierluigi San Pietro |
Dense-choice Counter Machines revisited |
INFINITY |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Languages defined by consensual computations. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
A Metric Encoding for Bounded Model Checking. |
FM |
2009 |
DBLP DOI BibTeX RDF |
Bounded model checking, metric temporal logic |
| 1 | Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Consensual Definition of Languages by Regular Sets. |
LATA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. |
ASE |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
bi-infinite words and automata, Bounded model checking, metric temporal logic |
| 1 | Wlodzimierz Bielecki, Anna Beletska, Marek Palkowski, Pierluigi San Pietro |
Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations. |
ICA3PP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anna Beletska, Wlodzimierz Bielecki, Krzysztof Siedlecki, Pierluigi San Pietro |
Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops. |
ICCSA |
2008 |
DBLP DOI BibTeX RDF |
arbitrarily nested loops, synchronization-free parallelism, slicing, loop transformations |
| 1 | Marcella Anselmo, Alessandra Cherubini, Pierluigi San Pietro |
Regular Languages and Associative Language Descriptions. |
Discrete Mathematics & Theoretical Computer Science |
2007 |
DBLP BibTeX RDF |
|
| 1 | Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro |
Model Checking Temporal Metric Specifications with Trio2Promela. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, Spin |
| 1 | Anna Beletska, Wlodzimierz Bielecki, Pierluigi San Pietro |
Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework. |
ISPDC |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
Trio2Promela: A Model Checker for Temporal Metric Specifications. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro |
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties. |
ESEC/SIGSOFT FSE |
2007 |
DBLP DOI BibTeX RDF |
bi-infinite time, satisfiability checking, temporal logic, bounded model checking |
| 1 | Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro |
Picture languages: Tiling systems versus tile rewriting grammars. |
Theor. Comput. Sci. |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro |
A scalable formal method for design and automatic checking of user interfaces. |
ACM Trans. Softw. Eng. Methodol. |
2005 |
DBLP DOI BibTeX RDF |
applications of model checking, Human-computer interaction (HCI), GUI design |
| 1 | Alessandro Campi, Eliseo Martinez, Pierluigi San Pietro |
Experiences with a Formal Method for Design and Automatic Checking of User Interfaces. |
MBUI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Mario Verdicchio, Pierluigi San Pietro |
Model checking-aided design of secure distributed systems. |
IASTED Conf. on Software Engineering |
2004 |
DBLP BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie |
Real-Counter Automata and Their Decision Problems. |
FSTTCS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer |
Presburger liveness verification of discrete timed automata. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar H. Ibarra, Zhe Dang, Pierluigi San Pietro |
Verification in loosely synchronous queue-connected discrete timed automata. |
Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
Model-Checking TRIO Specifications in SPIN. |
FME |
2003 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, Spin, modular specifications |
| 1 | Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro |
Dense Counter Machines and Verification Problems. |
CAV |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi San Pietro, Zhe Dang |
Automatic Verification of Multi-queue Discrete Timed Automata. |
COCOON |
2003 |
DBLP DOI BibTeX RDF |
infinite-state model-checking, real-time systems, Timed Automata |
| 1 | Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Associative language descriptions. |
Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro |
Some Structural Properties of Associative Language Descriptions. |
ICTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer |
On Presburger Liveness of Discrete Timed Automata. |
STACS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Vincenzo Martena, Pierluigi San Pietro |
Alias Analysis by Means of a Model Checker. |
CC |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro |
A Scalable Formal Method for Design and Automatic Checking of User Interfaces. |
ICSE |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro |
Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter. |
FSTTCS |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca |
Generation of Execution Sequences for Modular Time Critical Systems. |
IEEE Trans. Software Eng. |
2000 |
DBLP DOI BibTeX RDF |
time critical systems, modular notations, formal specifications, Functional testing, structural testing, specification testing |
| 1 | Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro |
A Case Study on Applying a Tool for Automated System Analysis Based on Modular Specifications Written in TRIO. |
Autom. Softw. Eng. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cherubini, Pierluigi San Pietro |
Tree Adjoining Languages and Multipushdown Languages. |
Theory Comput. Syst. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro |
Associative definition of programming languages. |
Comput. Lang. |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Morzenti, Pierluigi San Pietro, Sandro Morasca |
A Tool for Automated System Analysis based on Modular Specifications. (PDF / PS) |
ASE |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro |
A Finite-Domain Semantics for Testing Temporal Logic Specifications. |
FTRTFT |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cherubini, Pierluigi San Pietro |
A Polynomial-Time Parsing Algorithm for K-Depth Languages. |
J. Comput. Syst. Sci. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro |
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. |
ISSTA |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Morzenti, Pierluigi San Pietro |
Object-Oriented Logical Specification of Time-Critical Systems. |
ACM Trans. Softw. Eng. Methodol. |
1994 |
DBLP DOI BibTeX RDF |
TRIO+, real-time systems, formal specifications, temporal logic, first-order logic, object-oriented methodologies, model-theoretic semantics |
| 1 | Emanuele Ciapessoni, Edoardo Corsetti, Angelo Montanari, Pierluigi San Pietro |
Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. |
Sci. Comput. Program. |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Silvana Castano, Valeria De Antonellis, Pierluigi San Pietro |
Reuse of Object-Oriented Requirements Specifications. |
ER |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Morzenti, Pierluigi San Pietro |
An Object-Oriented Logic Language for Modular System Specification. |
ECOOP |
1991 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #47 of 47 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")