BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Croatia
1 × France
1 × Hungary
1 × Portugal
1 × Spain
1 × Switzerland
1 × The Netherlands
2 × Canada
2 × USA
3 × Italy
Collaborated with:
S.Crespi-Reghizzi A.Morzenti M.Pradella S.Morasca V.Martena G.Xie Z.Dang O.H.Ibarra P.Spoletini J.Berstel G.Roussel M.M.Bersani D.Bianculli C.Ghezzi S.Krstic
Talks about:
specif (5) check (5) system (4) model (4) regular (3) languag (3) time (3) base (3) consensus (2) properti (2)

Person: Pierluigi San Pietro

DBLP DBLP: Pietro:Pierluigi_San

Contributed to:

AFL 20142014
FASE 20142014
CIAA 20132013
CIAA 20122012
CIAA 20122013
FM 20092009
ASE 20082008
LATA 20082008
ESEC/FSE 20072007
CAV 20032003
FME 20032003
CC 20012001
ICSE 20012001
ASE 19981998
ISSTA 19961996
ECOOP 19911991

Wrote 16 papers:

AFL-2014-Crespi-ReghizziP #commutative #composition
Commutative Languages and their Composition by Consensual Methods (SCR, PSP), pp. 216–230.
FASE-2014-BersaniBGKP #smt
SMT-Based Checking of SOLOIST over Sparse Traces (MMB, DB, CG, SK, PSP), pp. 276–290.
CIAA-2013-Crespi-ReghizziP #parallel
Deterministic Counter Machines and Parallel Matching Computations (SCR, PSP), pp. 280–291.
CIAA-2012-Crespi-ReghizziP #strict #testing
Strict Local Testability with Consensus Equals Regularity (SCR, PSP), pp. 113–124.
CIAA-J-2012-Crespi-ReghizziP13 #strict #testing
Strict Local Testability with Consensus Equals Regularity, and Other Properties (SCR, PSP), pp. 747–764.
FM-2009-PradellaMP #bound #encoding #metric #model checking
A Metric Encoding for Bounded Model Checking (MP, AM, PSP), pp. 741–756.
ASE-2008-PradellaMP #bound #realtime #satisfiability #specification
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking (MP, AM, PSP), pp. 119–127.
LATA-2008-Crespi-ReghizziP #set
Consensual Definition of Languages by Regular Sets (SCR, PSP), pp. 196–208.
ESEC-FSE-2007-PradellaMP #symmetry #verification
The symmetry of the past and of the future: bi-infinite time in the verification of temporal properties (MP, AM, PSP), pp. 312–320.
CAV-2003-XieDIP #problem #verification
Dense Counter Machines and Verification Problems (GX, ZD, OHI, PSP), pp. 93–105.
FME-2003-MorzentiPPS #model checking #specification
Model-Checking TRIO Specifications in SPIN (AM, MP, PSP, PS), pp. 542–561.
CC-2001-MartenaP #alias #analysis #model checking
Alias Analysis by Means of a Model Checker (VM, PSP), pp. 3–19.
ICSE-2001-BerstelCRP #automation #design #formal method #scalability #user interface
A Scalable Formal Method for Design and Automatic Checking of User Interfaces (JB, SCR, GR, PSP), pp. 453–462.
ASE-1998-MorzentiPM #analysis #automation #composition #specification
A Tool for Automated System Analysis based on Modular Specifications (AM, PSP, SM), pp. 2–11.
ISSTA-1996-MorascaMP #functional #generative #in the large #specification #testing
Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications (SM, AM, PSP), pp. 39–52.
ECOOP-1991-MorzentiP #composition #logic #object-oriented #specification
An Object-Oriented Logic Language for Modular System Specification (AM, PSP), pp. 39–58.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.