 | 2009 |
|---|
| 40 |       | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
A Metric Encoding for Bounded Model Checking.
FM 2009: 741-756 |
| 39 | | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
A Metric Encoding for Bounded Model Checking (extended version)
CoRR abs/0907.3085: (2009) |
| 2008 |
|---|
| 38 | | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
ASE 2008: 119-127 |
| 37 | | Wlodzimierz Bielecki,
Anna Beletska,
Marek Palkowski,
Pierluigi San Pietro:
Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations.
ICA3PP 2008: 185-195 |
| 36 | | Anna Beletska,
Wlodzimierz Bielecki,
Krzysztof Siedlecki,
Pierluigi San Pietro:
Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops.
ICCSA (2) 2008: 871-886 |
| 35 | | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.
ICTAC 2008: 290-304 |
| 34 | | Stefano Crespi-Reghizzi,
Pierluigi San Pietro:
Consensual Definition of Languages by Regular Sets.
LATA 2008: 196-208 |
| 2007 |
|---|
| 33 | | 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: 312-320 |
| 32 | | Domenico Bianculli,
Paola Spoletini,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela.
FSEN 2007: 388-395 |
| 31 | | Domenico Bianculli,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro,
Paola Spoletini:
Trio2Promela: A Model Checker for Temporal Metric Specifications.
ICSE Companion 2007: 61-62 |
| 30 | | Anna Beletska,
Wlodzimierz Bielecki,
Pierluigi San Pietro:
Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework.
ISPDC 2007: 203-210 |
| 29 | | Marcella Anselmo,
Alessandra Cherubini,
Pierluigi San Pietro:
Regular Languages and Associative Language Descriptions.
Discrete Mathematics & Theoretical Computer Science 9(2): (2007) |
| 2006 |
|---|
| 28 | | Alessandra Cherubini,
Stefano Crespi-Reghizzi,
Matteo Pradella,
Pierluigi San Pietro:
Picture languages: Tiling systems versus tile rewriting grammars.
Theor. Comput. Sci. 356(1-2): 90-103 (2006) |
| 2005 |
|---|
| 27 | | 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. 14(2): 124-167 (2005) |
| 2004 |
|---|
| 26 | | Zhe Dang,
Oscar H. Ibarra,
Pierluigi San Pietro,
Gaoyan Xie:
Real-Counter Automata and Their Decision Problems.
FSTTCS 2004: 198-210 |
| 25 |  | Mario Verdicchio,
Pierluigi San Pietro:
Model checking-aided design of secure distributed systems.
IASTED Conf. on Software Engineering 2004: 212-217 |
| 24 | | Alessandro Campi,
Eliseo Martinez,
Pierluigi San Pietro:
Experiences with a Formal Method for Design and Automatic Checking of User Interfaces.
MBUI 2004 |
| 2003 |
|---|
| 23 | | Gaoyan Xie,
Zhe Dang,
Oscar H. Ibarra,
Pierluigi San Pietro:
Dense Counter Machines and Verification Problems.
CAV 2003: 93-105 |
| 22 | | Pierluigi San Pietro,
Zhe Dang:
Automatic Verification of Multi-queue Discrete Timed Automata.
COCOON 2003: 159-171 |
| 21 | | Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro,
Paola Spoletini:
Model-Checking TRIO Specifications in SPIN.
FME 2003: 542-561 |
| 20 | | Zhe Dang,
Pierluigi San Pietro,
Richard A. Kemmerer:
Presburger liveness verification of discrete timed automata.
Theor. Comput. Sci. 1-3(299): 413-438 (2003) |
| 19 | | Oscar H. Ibarra,
Zhe Dang,
Pierluigi San Pietro:
Verification in loosely synchronous queue-connected discrete timed automata.
Theor. Comput. Sci. 290(3): 1713-1735 (2003) |
| 2002 |
|---|
| 18 | | Alessandra Cherubini,
Stefano Crespi-Reghizzi,
Pierluigi San Pietro:
Associative language descriptions.
Theor. Comput. Sci. 270(1-2): 463-491 (2002) |
| 2001 |
|---|
| 17 | | Vincenzo Martena,
Pierluigi San Pietro:
Alias Analysis by Means of a Model Checker.
CC 2001: 3-19 |
| 16 | | Zhe Dang,
Oscar H. Ibarra,
Pierluigi San Pietro:
Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter.
FSTTCS 2001: 132-143 |
| 15 | | Jean Berstel,
Stefano Crespi-Reghizzi,
Gilles Roussel,
Pierluigi San Pietro:
A Scalable Formal Method for Design and Automatic Checking of User Interfaces.
ICSE 2001: 453-462 |
| 14 | | Alessandra Cherubini,
Stefano Crespi-Reghizzi,
Pierluigi San Pietro:
Some Structural Properties of Associative Language Descriptions.
ICTCS 2001: 172-183 |
| 13 | | Zhe Dang,
Pierluigi San Pietro,
Richard A. Kemmerer:
On Presburger Liveness of Discrete Timed Automata.
STACS 2001: 132-143 |
| 2000 |
|---|
| 12 | | 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. 7(2): 125-155 (2000) |
| 11 | | Stefano Crespi-Reghizzi,
Matteo Pradella,
Pierluigi San Pietro:
Associative definition of programming languages.
Comput. Lang. 26(2-4): 105-123 (2000) |
| 10 | | Pierluigi San Pietro,
Angelo Morzenti,
Sandro Morasca:
Generation of Execution Sequences for Modular Time Critical Systems.
IEEE Trans. Software Eng. 26(2): 128-149 (2000) |
| 9 | | Alessandra Cherubini,
Pierluigi San Pietro:
Tree Adjoining Languages and Multipushdown Languages.
Theory Comput. Syst. 33(4): 257-293 (2000) |
| 1998 |
|---|
| 8 | | Angelo Morzenti,
Pierluigi San Pietro,
Sandro Morasca:
A Tool for Automated System Analysis based on Modular Specifications.
ASE 1998: 2-11 |
| 7 | | Alberto Coen-Porisini,
Matteo Pradella,
Pierluigi San Pietro:
A Finite-Domain Semantics for Testing Temporal Logic Specifications.
FTRTFT 1998: 41-54 |
| 1996 |
|---|
| 6 | | Sandro Morasca,
Angelo Morzenti,
Pierluigi San Pietro:
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications.
ISSTA 1996: 39-52 |
| 5 | | Alessandra Cherubini,
Pierluigi San Pietro:
A Polynomial-Time Parsing Algorithm for K-Depth Languages.
J. Comput. Syst. Sci. 52(1): 61-79 (1996) |
| 1994 |
|---|
| 4 | | Angelo Morzenti,
Pierluigi San Pietro:
Object-Oriented Logical Specification of Time-Critical Systems.
ACM Trans. Softw. Eng. Methodol. 3(1): 56-98 (1994) |
| 1993 |
|---|
| 3 | | Silvana Castano,
Valeria De Antonellis,
Pierluigi San Pietro:
Reuse of Object-Oriented Requirements Specifications.
ER 1993: 339-351 |
| 2 | | 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. 20(1-2): 141-171 (1993) |
| 1991 |
|---|
| 1 | | Angelo Morzenti,
Pierluigi San Pietro:
An Object-Oriented Logic Language for Modular System Specification.
ECOOP 1991: 39-58 |
