| 2008 |
|---|
| 37 | EE | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking.
ASE 2008: 119-127 |
| 36 | EE | Wlodzimierz Bielecki,
Anna Beletska,
Marek Palkowski,
Pierluigi San Pietro:
Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations.
ICA3PP 2008: 185-195 |
| 35 | EE | Anna Beletska,
Wlodzimierz Bielecki,
Krzysztof Siedlecki,
Pierluigi San Pietro:
Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops.
ICCSA (2) 2008: 871-886 |
| 34 | EE | Matteo Pradella,
Angelo Morzenti,
Pierluigi San Pietro:
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time.
ICTAC 2008: 290-304 |
| 33 | EE | Stefano Crespi-Reghizzi,
Pierluigi San Pietro:
Consensual Definition of Languages by Regular Sets.
LATA 2008: 196-208 |
| 2007 |
|---|
| 32 | EE | 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 |
| 31 | EE | Domenico Bianculli,
Paola Spoletini,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela.
FSEN 2007: 388-395 |
| 30 | EE | Domenico Bianculli,
Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro,
Paola Spoletini:
Trio2Promela: A Model Checker for Temporal Metric Specifications.
ICSE Companion 2007: 61-62 |
| 29 | EE | Anna Beletska,
Wlodzimierz Bielecki,
Pierluigi San Pietro:
Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework.
ISPDC 2007: 203-210 |
| 2006 |
|---|
| 28 | EE | 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 | EE | 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 | EE | 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 | EE | Alessandro Campi,
Eliseo Martinez,
Pierluigi San Pietro:
Experiences with a Formal Method for Design and Automatic Checking of User Interfaces.
MBUI 2004 |
| 2003 |
|---|
| 23 | EE | Gaoyan Xie,
Zhe Dang,
Oscar H. Ibarra,
Pierluigi San Pietro:
Dense Counter Machines and Verification Problems.
CAV 2003: 93-105 |
| 22 | EE | Pierluigi San Pietro,
Zhe Dang:
Automatic Verification of Multi-queue Discrete Timed Automata.
COCOON 2003: 159-171 |
| 21 | EE | Angelo Morzenti,
Matteo Pradella,
Pierluigi San Pietro,
Paola Spoletini:
Model-Checking TRIO Specifications in SPIN.
FME 2003: 542-561 |
| 20 | EE | 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 | EE | Alessandra Cherubini,
Stefano Crespi-Reghizzi,
Pierluigi San Pietro:
Associative language descriptions.
Theor. Comput. Sci. 270(1-2): 463-491 (2002) |
| 2001 |
|---|
| 17 | EE | Vincenzo Martena,
Pierluigi San Pietro:
Alias Analysis by Means of a Model Checker.
CC 2001: 3-19 |
| 16 | EE | 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 | EE | Alessandra Cherubini,
Stefano Crespi-Reghizzi,
Pierluigi San Pietro:
Some Structural Properties of Associative Language Descriptions.
ICTCS 2001: 172-183 |
| 13 | EE | 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 | EE | 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 | EE | Alessandra Cherubini,
Pierluigi San Pietro:
Tree Adjoining Languages and Multipushdown Languages.
Theory Comput. Syst. 33(4): 257-293 (2000) |
| 1998 |
|---|
| 8 | EE | Angelo Morzenti,
Pierluigi San Pietro,
Sandro Morasca:
A Tool for Automated System Analysis based on Modular Specifications.
ASE 1998: 2-11 |
| 7 | EE | Alberto Coen-Porisini,
Matteo Pradella,
Pierluigi San Pietro:
A Finite-Domain Semantics for Testing Temporal Logic Specifications.
FTRTFT 1998: 41-54 |
| 1996 |
|---|
| 6 | EE | 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 | EE | 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 | EE | 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 | EE | Angelo Morzenti,
Pierluigi San Pietro:
An Object-Oriented Logic Language for Modular System Specification.
ECOOP 1991: 39-58 |
