Остановите войну!
for scientists:
default search action
Pierluigi San Pietro
- > Home > Persons > Pierluigi San Pietro
Publications
- 2014
- [j20]Marcello M. Bersani, Achille Frigeri, Angelo Morzenti, Matteo Pradella, Matteo Rossi, Pierluigi San Pietro:
Constraint LTL satisfiability checking without automata. J. Appl. Log. 12(4): 522-557 (2014) - 2013
- [j16]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
Bounded satisfiability checking of metric temporal logic specifications. ACM Trans. Softw. Eng. Methodol. 22(3): 20:1-20:54 (2013) - 2012
- [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) - 2010
- [c33]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
- [c32]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
A Metric Encoding for Bounded Model Checking. FM 2009: 741-756 - [i1]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
A Metric Encoding for Bounded Model Checking (extended version). CoRR abs/0907.3085 (2009) - 2008
- [c27]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
Benchmarking Model- and Satisfiability-Checking on Bi-infinite Time. ICTAC 2008: 290-304 - [c26]Matteo Pradella, Angelo Morzenti, Pierluigi San Pietro:
Refining Real-Time System Specifications through Bounded Model- and Satisfiability-Checking. ASE 2008: 119-127 - 2007
- [c24]Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro:
Model Checking Temporal Metric Specifications with Trio2Promela. FSEN 2007: 388-395 - [c23]Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini:
Trio2Promela: A Model Checker for Temporal Metric Specifications. ICSE Companion 2007: 61-62 - [c21]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 - 2003
- [c15]Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini:
Model-Checking TRIO Specifications in SPIN. FME 2003: 542-561 - 2002
- [c14]Umberto Foschi, Mauro Giuliani, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro:
Software procurement and methods for specification and validation in the railway transportation industry. SMC 2002: 6 - 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) - [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
- [c7]Angelo Morzenti, Pierluigi San Pietro, Sandro Morasca:
A Tool for Automated System Analysis based on Modular Specifications. ASE 1998: 2-11 - 1996
- [c6]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) - 1991
- [c2]Angelo Morzenti, Pierluigi San Pietro:
An Object-Oriented Logic Language for Modular System Specification. ECOOP 1991: 39-58 - [c1]Edoardo Corsetti, Ernani Crivelli, Dino Mandrioli, Angelo Montanari, Angelo Morzenti, Pierluigi San Pietro, Elena Ratto:
Dealing with different time scales in formal specifications. IWSSD 1991: 92-101
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-02-26 22:46 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint