http://www.bibsonomy.org/author/Spoletini BibSonomy RSS Feed for /author/Spoletini dblp http://www.bibsonomy.org/bibtex/269ac9426bac128767735588a068e00b7/dblp dblp 2008-10-21T00:00:00+02:00 dblp Furia, Carlo A. & Spoletini, Paola (2008). Practical Efficient Modular Linear-Time Model-Checking.. In Cha, Sung-Deok & Choi, Jin-Young & Kim, Moonzoo & Lee, Insup & Viswanathan, Mahesh (eds.), ATVA (pp. 408-417). Springer. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/2a40ea7ee8ebac830e120345892310b25/dblp dblp 2008-09-02T00:00:00+02:00 dblp Furia, Carlo A. & Spoletini, Paola (2008). Tomorrow and All our Yesterdays: MTL Satisfiability over the Integers.. In Fitzgerald, John S. & Haxthausen, Anne Elisabeth & Yenigün, Hüsnü (eds.), ICTAC (pp. 126-140). Springer. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/23ef9014f6a2902747e70dcfd5dd93b1f/dblp dblp 2008-08-21T00:00:00+02:00 dblp Baresi, Luciano & Rafe, Vahid & Rahmani, Adel Torkaman & Spoletini, Paola (2008). An Efficient Solution for Model Checking Graph Transformation Systems.. Electr. Notes Theor. Comput. Sci.: 213. (pp. 3-21). [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/2fc6967a13e8226b8b8026bc4afd3af4c/dblp dblp 2008-02-05T00:00:00+01:00 dblp Bianculli, Domenico & Ghezzi, Carlo & Spoletini, Paola (2007). A Model Checking Approach to Verify BPEL4WS Workflows.. SOCA (pp. 13-20). IEEE Computer Society. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/25eac1d58d0af1f99abf9f1c6458f52ae/dblp dblp 2007-11-07T00:00:00+01:00 dblp Elkind, Edith & Genest, Blaise & Peled, Doron & Spoletini, Paola (2007). Quantifying the Discord: Order Discrepancies in Message Sequence Charts.. In Namjoshi, Kedar S. & Yoneda, Tomohiro & Higashino, Teruo & Okamura, Yoshio (eds.), ATVA (pp. 378-393). Springer. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/21422059bb7853488c2f26e7db0e0f7ec/dblp dblp 2007-11-06T00:00:00+01:00 dblp Braga, Daniele & Campi, Alessandro & Ceri, Stefano & Spoletini, Paola (2007). XQuery layers.. SIGMOD Record: 36. (pp. 25-30). [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/2a83619c257266ace7abc16aba3c504ea/dblp dblp 2007-10-05T00:00:00+02:00 dblp Bianculli, Domenico & Spoletini, Paola & Morzenti, Angelo & Pradella, Matteo & Pietro, Pierluigi San (2007). Model Checking Temporal Metric Specifications with Trio2Promela.. In Arbab, Farhad & Sirjani, Marjan (eds.), FSEN (pp. 388-395). Springer. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/290d9249e4f5a95aea23c1b372b3be73d/dblp dblp 2007-09-13T00:00:00+02:00 dblp Matta, Andrea & Rossi, Matteo & Spoletini, Paola & Mandrioli, Dino & Semeraro, Quirico & Tolio, Tullio (2007). FM for FMS: Lessons Learned While Applying Formal Methods to the Study of Flexible Manufacturing Systems.. In Jones, Cliff B. & Liu, Zhiming & Woodcock, Jim (eds.), ICTAC (pp. 366-380). Springer. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/2a5278d7b1e50c8b1aa7168024f80c1d1/dblp dblp 2007-09-13T00:00:00+02:00 dblp Spoletini, Paola & Verdicchio, Mario (2007). Commitment Monitoring in a Multiagent System.. In Burkhard, Hans-Dieter & Lindemann, Gabriela & Verbrugge, Rineke & Varga, László Zsolt (eds.), CEEMAS (pp. 83-92). Springer. [BibSonomy: dblp] URL ]]> dblp http://www.bibsonomy.org/bibtex/29e669eb0dff06969d7b16283b5857409/dblp dblp 2007-07-19T00:00:00+02:00 dblp Giorgetta, Marco & Santambrogio, Marco D. & Sciuto, Donatella & Spoletini, Paola (2006). A graph-coloring approach to the allocation and tasks scheduling for reconfigurable architectures.. VLSI-SoC (pp. 24-29). IEEE. [BibSonomy: dblp] URL ]]>