Search the dblp DataBase

Publications of Author

1. Alessandro Campi, Paola Spoletini
   History Checking of XML Data Streams. [Citation Graph (0, 0)][DBLP]
   DEXA Workshops, 2006, pp:542-546 [Conf]
   
2. 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]
   
3. Alessandro Campi, Sam Guinea, Paola Spoletini
   A Fuzzy Extension for the XPath Query Language. [Citation Graph (0, 0)][DBLP]
   FQAS, 2006, pp:210-221 [Conf]
   
4. Luciano Baresi, Paola Spoletini
   On the Use of Alloy to Analyze Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
   ICGT, 2006, pp:306-320 [Conf]
   
5. Alessandra Cherubini, Enzo Colombo, Chiara Francalanci, Paola Spoletini
   A formal approach supporting the specification and verification of business conversation requirements. [Citation Graph (0, 0)][DBLP]
   IADIS AC, 2005, pp:467-478 [Conf]
   
6. Enzo Colombo, John Mylopoulos, Paola Spoletini
   Modeling and Analyzing Context-Aware Composition of Services. [Citation Graph (0, 0)][DBLP]
   ICSOC, 2005, pp:198-213 [Conf]
   
7. Alessandro Campi, Paola Spoletini
   A framework for XML data streams history checking and monitoring. [Citation Graph (0, 0)][DBLP]
   WWW, 2006, pp:983-984 [Conf]
   
8. Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini
   Quantifying the Discord: Order Discrepancies in Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:378-393 [Conf]
   
9. Paola Spoletini, Mario Verdicchio
   Commitment Monitoring in a Multiagent System. [Citation Graph (0, 0)][DBLP]
   CEEMAS, 2007, pp:83-92 [Conf]
   
10. Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini
    Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. [Citation Graph (0, 0)][DBLP]
    FORTE, 2007, pp:247-262 [Conf]
    
11. 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]
    
12. Andrea Matta, Matteo Rossi, Paola Spoletini, Dino Mandrioli, Quirico Semeraro, Tullio Tolio
    FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2007, pp:366-380 [Conf]
    
13. Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini
    A Timed Extension of WSCoL. [Citation Graph (0, 0)][DBLP]
    ICWS, 2007, pp:663-670 [Conf]
    
14. Marco Giorgetta, Marco D. Santambrogio, Donatella Sciuto, Paola Spoletini
    A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures. [Citation Graph (0, 0)][DBLP]
    VLSI-SoC, 2006, pp:24-29 [Conf]
    
15. 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]
    
16. Daniele Braga, Alessandro Campi, Stefano Ceri, Paola Spoletini
    XQuery layers. [Citation Graph (0, 0)][DBLP]
    SIGMOD Record, 2007, v:36, n:1, pp:25-30 [Journal]
    
17. 
    An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems. [Citation Graph (, )][DBLP]
    
    
18. 
    Practical Efficient Modular Linear-Time Model-Checking. [Citation Graph (, )][DBLP]
    
    
19. 
    Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. [Citation Graph (, )][DBLP]
    
    
20. 
    Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. [Citation Graph (, )][DBLP]
    
    
21. 
    A Model Checking Approach to Verify BPEL4WS Workflows. [Citation Graph (, )][DBLP]
    
    
22. 
    A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. [Citation Graph (, )][DBLP]
    
    
23. 
    On Relaxing Metric Information in Linear Temporal Logic [Citation Graph (, )][DBLP]
    
    
24. 
    Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions [Citation Graph (, )][DBLP]
    
    
25. 
    An Efficient Solution for Model Checking Graph Transformation Systems. [Citation Graph (, )][DBLP]
    
    
26. 
    Preface. [Citation Graph (, )][DBLP]