Concepedia

Pierluigi San Pietro

PS

Statistics

Publications

22

Citations

529

H-Index

16

Active since

1993

Affiliations

Politecnico di Milano(Current)

Institute of Electronics, Computer and Telecommunication Engineering

Washington State University

National Research Council

University of California, Santa Barbara

Pierluigi San Pietro is an author at Politecnico di Milano specializing in computer science, formal methods, and computing.

Publications per year

1993–2016

22

Publications

22

Object-oriented logical specification of time-critical systems

Angelo Morzenti, Pierluigi San Pietro · ACM Transactions on Software Engineering and Methodology · 1994 · 67 citations · Full text

Computing, Computer Science, Systems Engineering +17

Bounded satisfiability checking of metric temporal logic specifications

Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro · ACM Transactions on Software Engineering and Methodology · 2013 · 47 citations

Computing, Computer Science, Formal Methods +13

A scalable formal method for design and automatic checking of user interfaces

Jean Berstel, Stefano Crespi Reghizzi, Gilles Roussel et al. · ACM Transactions on Software Engineering and Methodology · 2005 · 42 citations

Computing, Computer Science, Design +17

Embedding time granularity in a logical specification language for synchronous real-time systems

Emanuele Ciapessoni, Edoardo Corsetti, Angelo Montanari et al. · Science of Computer Programming · 1993 · 37 citations

Computing, Computer Engineering, Computer Science +16

The symmetry of the past and of the future

Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro · 2007 · 36 citations

Computing, Computer Science, Computer Systems +15

1–5 of 22