|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 16 keywords
|
|
|
|
|
Results
Found 38 publication records. Showing 38 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Achille Frigeri, Liliana Pasquale, Paola Spoletini |
Fuzzy Time in LTL  |
CoRR  |
2012 |
DBLP BibTeX RDF |
|
| 1 | Carlo A. Furia, Paola Spoletini |
On Relaxing Metric Information in Linear Temporal Logic. |
TIME |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Liliana Pasquale, Paola Spoletini |
Monitoring fuzzy temporal requirements for service compositions: Motivations, challenges and experimental results. |
RESS |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini |
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. |
Int. J. Found. Comput. Sci. |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Alberto Leva, Martina Maggio, Paola Spoletini |
A control-theoretical methodology for the scheduling problem |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Liliana Pasquale, Paola Spoletini |
Fuzzy Goals for Requirements-Driven Adaptation. |
RE |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Davide Grohmann, Paola Spoletini, Angelo Troina, Emilio Tuosto |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini |
Towards automated verification of layered graph transformation specifications. |
IET Software |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Filippo Bonchi, Davide Grohmann, Paola Spoletini, Emilio Tuosto (eds.) |
Proceedings 2nd Interaction and Concurrency Experience: Structured Interactions |
ICE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Paola Spoletini |
On Relaxing Metric Information in Linear Temporal Logic |
CoRR |
2009 |
DBLP BibTeX RDF |
|
| 1 | Simone Corbetta, Massimo Morandi, Marco Novati, Marco D. Santambrogio, Donatella Sciuto, Paola Spoletini |
Internal and External Bitstream Relocation for Partial Dynamic Reconfiguration. |
IEEE Trans. VLSI Syst. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Campi, Ernesto Damiani, Sam Guinea, Stefania Marrara, Gabriella Pasi, Paola Spoletini |
A fuzzy extension of the XPath query language. |
J. Intell. Inf. Syst. |
2009 |
DBLP DOI BibTeX RDF |
Flexible constraints, XPath, Fuzzy set theory, Approximate querying |
| 1 | Luciano Baresi, Domenico Bianculli, Sam Guinea, Paola Spoletini |
Keep It Small, Keep It Real: Efficient Run-Time Verification of Web Service Compositions. |
FMOODS/FORTE |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Paola Spoletini |
Towards Relaxing Metric Information in Linear Temporal Logic. |
ICTCS |
2009 |
DBLP BibTeX RDF |
|
| 1 | Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini |
An Efficient Solution for Model Checking Graph Transformation Systems. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Doron Peled, Patrizio Pelliccione, Paola Spoletini |
Model Checking. |
Wiley Encyclopedia of Computer Science and Engineering |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Paola Spoletini |
Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers. |
ICTAC |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlo A. Furia, Paola Spoletini |
Practical Efficient Modular Linear-Time Model-Checking. |
ATVA |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Spoletini, Mario Verdicchio |
An Automata-Based Monitoring Technique for Commitment-Based Multi-Agent Systems. |
COIN@AAMAS&AAAI |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini |
Validation of web service compositions. |
IET Software |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniele Braga, Alessandro Campi, Stefano Ceri, Paola Spoletini |
XQuery layers. |
SIGMOD Record |
2007 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spoletini |
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata. |
FORTE |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Bianculli, Paola Spoletini, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro |
Model Checking Temporal Metric Specifications with Trio2Promela. |
FSEN |
2007 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, Spin |
| 1 | Domenico Bianculli, Carlo Ghezzi, Paola Spoletini, Luciano Baresi, Sam Guinea |
A Guided Tour through SAVVY-WS: A Methodology for Specifying and Validating Web Service Compositions. |
Lipari Summer School |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ICTAC |
2007 |
DBLP DOI BibTeX RDF |
Formal Methods, Formal Verification, Temporal Logics, Experience, System Design, Production Systems, Finite-State Models |
| 1 | Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini |
Quantifying the Discord: Order Discrepancies in Message Sequence Charts. |
ATVA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Paola Spoletini, Mario Verdicchio |
Commitment Monitoring in a Multiagent System. |
CEEMAS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Bianculli, Carlo Ghezzi, Paola Spoletini |
A Model Checking Approach to Verify BPEL4WS Workflows. |
SOCA |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Domenico Bianculli, Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
Trio2Promela: A Model Checker for Temporal Metric Specifications. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Domenico Bianculli, Carlo Ghezzi, Sam Guinea, Paola Spoletini |
A Timed Extension of WSCoL. |
ICWS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Luciano Baresi, Paola Spoletini |
On the Use of Alloy to Analyze Graph Transformation Systems. |
ICGT |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Marco Giorgetta, Marco D. Santambrogio, Donatella Sciuto, Paola Spoletini |
A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures. |
VLSI-SoC |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Campi, Paola Spoletini |
A framework for XML data streams history checking and monitoring. |
WWW |
2006 |
DBLP DOI BibTeX RDF |
XML, verification, semi-structured data |
| 1 | Alessandro Campi, Sam Guinea, Paola Spoletini |
A Fuzzy Extension for the XPath Query Language. |
FQAS |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Campi, Paola Spoletini |
History Checking of XML Data Streams. |
DEXA Workshops |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandra Cherubini, Enzo Colombo, Chiara Francalanci, Paola Spoletini |
A formal approach supporting the specification and verification of business conversation requirements. |
IADIS AC |
2005 |
DBLP BibTeX RDF |
|
| 1 | Enzo Colombo, John Mylopoulos, Paola Spoletini |
Modeling and Analyzing Context-Aware Composition of Services. |
ICSOC |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Angelo Morzenti, Matteo Pradella, Pierluigi San Pietro, Paola Spoletini |
Model-Checking TRIO Specifications in SPIN. |
FME |
2003 |
DBLP DOI BibTeX RDF |
model checking, temporal logic, Spin, modular specifications |
Displaying result #1 - #38 of 38 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")