The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Paola Spoletini: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
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