- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| j15 |      | Stefano Crespi-Reghizzi, Pierluigi San Pietro: From Regular to Strictly Locally Testable Languages. Int. J. Found. Comput. Sci. 23(8): 1711-1728 (2012) |
| c33 | | Domenico Bianculli, Carlo Ghezzi, Pierluigi San Pietro: The Tale of SOLOIST: A Specification Language for Service Compositions Interactions. FACS 2012: 55-72 |
| c32 | | Stefano Crespi-Reghizzi, Pierluigi San Pietro: Strict Local Testability with Consensus Equals Regularity. CIAA 2012: 113-124 |
| i3 | | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Constraint LTL Satisfiability Checking without Automata. CoRR abs/1205.0946 (2012) |
| 2011 | ||
| j14 | | Stefano Crespi-Reghizzi, Pierluigi San Pietro: Consensual languages and matching finite-state computations. RAIRO - Theor. Inf. and Applic. 45(1): 77-97 (2011) |
| c31 | | Marcello M. Bersani, Achille Frigeri, Matteo Rossi, Pierluigi San Pietro: Completeness of the Bounded Satisfiability Problem for Constraint LTL. RP 2011: 58-71 |
| c30 | | Stefano Crespi-Reghizzi, Pierluigi San Pietro: From Regular to Strictly Locally Testable Languages. WORDS 2011: 103-111 |
| 2010 | ||
| c29 | | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Bounded Reachability for Temporal Logic over Constraint Systems. TIME 2010: 43-50 |
| i2 | | Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro: Bounded Reachability for Temporal Logic over Constraint Systems. CoRR abs/1004.1077 (2010) |
| 2009 | ||
| c28 | | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: A Metric Encoding for Bounded Model Checking. FM 2009: 741-756 |
| c27 |  | Stefano Crespi-Reghizzi, Pierluigi San Pietro: Languages defined by consensual computations. ICTCS 2009: 82-85 |
| c26 | | Florent Bouchy, Alain Finkel, Pierluigi San Pietro: Dense-choice Counter Machines revisited. INFINITY 2009: 3-22 |
| i1 | | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: A Metric Encoding for Bounded Model Checking (extended version). CoRR abs/0907.3085 (2009) |
| 2008 | ||
| c25 | | Wlodzimierz Bielecki, Anna Beletska, Marek Palkowski, Pierluigi San Pietro: Finding Synchronization-Free Parallelism Represented with Trees of Dependent Operations. ICA3PP 2008: 185-195 |
| c24 | | Anna Beletska, Wlodzimierz Bielecki, Krzysztof Siedlecki, Pierluigi San Pietro: Finding Synchronization-Free Slices of Operations in Arbitrarily Nested Loops. ICCSA (2) 2008: 871-886 |
| c23 | | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. ICTAC 2008: 290-304 |
| c22 | | Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro: Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. ASE 2008: 119-127 |
| c21 | | Stefano Crespi-Reghizzi, Pierluigi San Pietro: Consensual Definition of Languages by Regular Sets. LATA 2008: 196-208 |
| 2007 | ||
| j13 | | Marcella Anselmo, Alessandra Cherubini, Pierluigi San Pietro: Regular Languages and Associative Language Descriptions. Discrete Mathematics & Theoretical Computer Science 9(2) (2007) |
| c20 | | Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro: Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395 |
| c19 | | Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62 |
| c18 | | Anna Beletska, Wlodzimierz Bielecki, Pierluigi San Pietro: Extracting Coarse-Grained Parallelism in Program Loops with the Slicing Framework. ISPDC 2007: 203-210 |
| c17 | | 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 |
| 2006 | ||
| j12 | | 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 | ||
| j11 | | 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 | ||
| c16 | | Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro, Gaoyan Xie: Real-Counter Automata and Their Decision Problems. FSTTCS 2004: 198-210 |
| c15 | | Mario Verdicchio, Pierluigi San Pietro: Model checking-aided design of secure distributed systems. IASTED Conf. on Software Engineering 2004: 212-217 |
| c14 | | Alessandro Campi, Eliseo Martinez, Pierluigi San Pietro: Experiences with a Formal Method for Design and Automatic Checking of User Interfaces. MBUI 2004 |
| 2003 | ||
| j10 | | Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer: Presburger liveness verification of discrete timed automata. Theor. Comput. Sci. 1-3(299): 413-438 (2003) |
| j9 | | 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) |
| c13 | | Gaoyan Xie, Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro: Dense Counter Machines and Verification Problems. CAV 2003: 93-105 |
| c12 | | Pierluigi San Pietro, Zhe Dang: Automatic Verification of Multi-queue Discrete Timed Automata. COCOON 2003: 159-171 |
| c11 | | Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini: Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561 |
| 2002 | ||
| j8 | | Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro: Associative language descriptions. Theor. Comput. Sci. 270(1-2): 463-491 (2002) |
| 2001 | ||
| c10 | | |
| c9 | | Zhe Dang, Oscar H. Ibarra, Pierluigi San Pietro: Liveness Verification of Reversal-Bounded Multicounter Machines with a Free Counter. FSTTCS 2001: 132-143 |
| c8 | | 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 |
| c7 | | Alessandra Cherubini, Stefano Crespi-Reghizzi, Pierluigi San Pietro: Some Structural Properties of Associative Language Descriptions. ICTCS 2001: 172-183 |
| c6 | | Zhe Dang, Pierluigi San Pietro, Richard A. Kemmerer: On Presburger Liveness of Discrete Timed Automata. STACS 2001: 132-143 |
| 2000 | ||
| j7 | | 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) |
| j6 | | Stefano Crespi-Reghizzi, Matteo Pradella, Pierluigi San Pietro: Associative definition of programming languages. Comput. Lang. 26(2-4): 105-123 (2000) |
| j5 | | Alessandra Cherubini, Pierluigi San Pietro: Tree Adjoining Languages and Multipushdown Languages. Theory Comput. Syst. 33(4): 257-293 (2000) |
| j4 | | 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) |
| 1998 | ||
| c5 | | Alberto Coen-Porisini, Matteo Pradella, Pierluigi San Pietro: A Finite-Domain Semantics for Testing Temporal Logic Specifications. FTRTFT 1998: 41-54 |
| c4 | | Angelo Morzenti, Pierluigi San Pietro, Sandro Morasca: A Tool for Automated System Analysis based on Modular Specifications. ASE 1998: 2-11 |
| 1996 | ||
| j3 | | Alessandra Cherubini, Pierluigi San Pietro: A Polynomial-Time Parsing Algorithm for K-Depth Languages. J. Comput. Syst. Sci. 52(1): 61-79 (1996) |
| c3 | | 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 |
| 1994 | ||
| j2 | | Angelo Morzenti, Pierluigi San Pietro: Object-Oriented Logical Specification of Time-Critical Systems. ACM Trans. Softw. Eng. Methodol. 3(1): 56-98 (1994) |
| 1993 | ||
| j1 | | 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) |
| c2 | | Silvana Castano, Valeria De Antonellis, Pierluigi San Pietro: Reuse of Object-Oriented Requirements Specifications. ER 1993: 339-351 |
| 1991 | ||
| c1 | | Angelo Morzenti, Pierluigi San Pietro: An Object-Oriented Logic Language for Modular System Specification. ECOOP 1991: 39-58 |
Colors in the list of coauthors
Last update Sun May 19 04:07:55 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page