The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pierluigi San Pietro: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Angelo Morzenti, Pierluigi San Pietro
    An Object-Oriented Logic Language for Modular System Specification. [Citation Graph (1, 0)][DBLP]
    ECOOP, 1991, pp:39-58 [Conf]
  2. Silvana Castano, Valeria De Antonellis, Pierluigi San Pietro
    Reuse of Object-Oriented Requirements Specifications. [Citation Graph (1, 8)][DBLP]
    ER, 1993, pp:339-351 [Conf]
  3. Emanuele Ciapessoni, Edoardo Corsetti, Angelo Montanari, Pierluigi San Pietro
    Embedding Time Granularity in a Logical Specification Language for Synchronous Real-Time Systems. [Citation Graph (1, 0)][DBLP]
    Sci. Comput. Program., 1993, v:20, n:1-2, pp:141-171 [Journal]
  4. Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
    Dense Counter Machines and Verification Problems. [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:93-105 [Conf]
  5. Vincenzo Martena, Pierluigi San Pietro
    Alias Analysis by Means of a Model Checker. [Citation Graph (0, 0)][DBLP]
    CC, 2001, pp:3-19 [Conf]
  6. Pierluigi San Pietro, Zhe Dang
    Automatic Verification of Multi-queue Discrete Timed Automata. [Citation Graph (0, 0)][DBLP]
    COCOON, 2003, pp:159-171 [Conf]
  7. Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
    Model-Checking TRIO Specifications in SPIN. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:542-561 [Conf]
  8. Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro
    Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2001, pp:132-143 [Conf]
  9. Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie
    Real-Counter Automata and Their Decision Problems. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2004, pp:198-210 [Conf]
  10. Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro
    A Finite-Domain Semantics for Testing Temporal Logic Specifications. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:41-54 [Conf]
  11. Mario Verdicchio, Pierluigi San Pietro
    Model checking-aided design of secure distributed systems. [Citation Graph (0, 0)][DBLP]
    IASTED Conf. on Software Engineering, 2004, pp:212-217 [Conf]
  12. Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro
    A Scalable Formal Method for Design and Automatic Checking of User Interfaces. [Citation Graph (0, 0)][DBLP]
    ICSE, 2001, pp:453-462 [Conf]
  13. Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro
    Some Structural Properties of Associative Language Descriptions. [Citation Graph (0, 0)][DBLP]
    ICTCS, 2001, pp:172-183 [Conf]
  14. Sandro Morasca, Angelo Morzenti, Pierluigi San Pietro
    Generating Functional Test Cases in-the-large for Time-critical Systems from Logic-based Specifications. [Citation Graph (0, 0)][DBLP]
    ISSTA, 1996, pp:39-52 [Conf]
  15. Angelo Morzenti, Pierluigi San Pietro, Sandro Morasca
    A Tool for Automated System Analysis based on Modular Specifications. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:2-11 [Conf]
  16. Alessandro Campi, Eliseo Martinez, Pierluigi San Pietro
    Experiences with a Formal Method for Design and Automatic Checking of User Interfaces. [Citation Graph (0, 0)][DBLP]
    MBUI, 2004, pp:- [Conf]
  17. Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer
    On Presburger Liveness of Discrete Timed Automata. [Citation Graph (0, 0)][DBLP]
    STACS, 2001, pp:132-143 [Conf]
  18. 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. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2000, v:7, n:2, pp:125-155 [Journal]
  19. Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
    Associative definition of programming languages. [Citation Graph (0, 0)][DBLP]
    Comput. Lang., 2000, v:26, n:2-4, pp:105-123 [Journal]
  20. Alessandra Cherubini, Pierluigi San Pietro
    A Polynomial-Time Parsing Algorithm for K-Depth Languages. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 1996, v:52, n:1, pp:61-79 [Journal]
  21. Alessandra Cherubini, Pierluigi San Pietro
    Tree Adjoining Languages and Multipushdown Languages. [Citation Graph (0, 0)][DBLP]
    Theory Comput. Syst., 2000, v:33, n:4, pp:257-293 [Journal]
  22. Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro
    Associative language descriptions. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:270, n:1-2, pp:463-491 [Journal]
  23. Alessandra Cherubini, Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro
    Picture languages: Tiling systems versus tile rewriting grammars. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:356, n:1-2, pp:90-103 [Journal]
  24. Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer
    Presburger liveness verification of discrete timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:1, n:299, pp:413-438 [Journal]
  25. Oscar H. Ibarra, Zhe Dang, Pierluigi San Pietro
    Verification in loosely synchronous queue-connected discrete timed automata. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2003, v:290, n:3, pp:1713-1735 [Journal]
  26. Jean Berstel, Stefano Crespi-Reghizzi, Gilles Roussel, Pierluigi San Pietro
    A scalable formal method for design and automatic checking of user interfaces. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 2005, v:14, n:2, pp:124-167 [Journal]
  27. Angelo Morzenti, Pierluigi San Pietro
    Object-Oriented Logical Specification of Time-Critical Systems. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Softw. Eng. Methodol., 1994, v:3, n:1, pp:56-98 [Journal]
  28. Pierluigi San Pietro, Angelo Morzenti, Sandro Morasca
    Generation of Execution Sequences for Modular Time Critical Systems. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 2000, v:26, n:2, pp:128-149 [Journal]
  29. Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini
    Trio2Promela: A Model Checker for Temporal Metric Specifications. [Citation Graph (0, 0)][DBLP]
    ICSE Companion, 2007, pp:61-62 [Conf]
  30. 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. [Citation Graph (0, 0)][DBLP]
    ESEC/SIGSOFT FSE, 2007, pp:312-320 [Conf]
  31. Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro
    Model Checking Temporal Metric Specifications with Trio2Promela. [Citation Graph (0, 0)][DBLP]
    FSEN, 2007, pp:388-395 [Conf]

  32. A Metric Encoding for Bounded Model Checking. [Citation Graph (, )][DBLP]


  33. Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations. [Citation Graph (, )][DBLP]


  34. Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops. [Citation Graph (, )][DBLP]


  35. Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. [Citation Graph (, )][DBLP]


  36. Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework. [Citation Graph (, )][DBLP]


  37. Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. [Citation Graph (, )][DBLP]


  38. Consensual Definition of Languages by Regular Sets. [Citation Graph (, )][DBLP]


  39. A Metric Encoding for Bounded Model Checking (extended version) [Citation Graph (, )][DBLP]


  40. Dense-choice Counter Machines revisited [Citation Graph (, )][DBLP]


  41. Bounded Reachability for Temporal Logic over Constraint Systems [Citation Graph (, )][DBLP]


  42. Regular Languages and Associative Language Descriptions. [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002