Select a yearSelect a WPSearch by Author

Article

Paolo Avesani, Sara Ferrari and Angelo Susi. Sistema di Supporto alla Elicitazione del Rischio.Sistemi & Impresa, 6, 2003.

Griselda Giraudo and Paolo Tonella. Designing and Conducting a Process Improvement Experiment on Test Management Automation.Empirical Software Engineering, 8(1), 59-81, 2003.

Paolo Bresciani and Fabrizio Sannicolo'. Requirement analysis in TROPOS: a self referencing example.Agent Technologies, Infrastructures, Tools, and Applications for e-Services, 2592 in LNAI, 21-35, 2003.

Alessandro Cimatti, Marco Roveri and Piergiorgio Bertoli. Conformant planning via symbolic model checking and heuristic search.Artificial Intelligence, 159(1-2), 127-206, 2004.

Alessandro Cimatti, Marco Pistore, Marco Roveri and Paolo Traverso. Weak, strong, and strong cyclic planning via symbolic model checking.Artificial Intelligence, 147(1-2), 35-84, 2003.

Ariel Fuxman, Linda Liu, J. Mylopoulos, Marco Pistore, Marco Roveri and Paolo Traverso. Specifying and Analyzing Early Requirements in Tropos.Special Issue for the Requirements Engineering 2003 Conference of the Requirements Engineering Journal, 2003.

Armin Biere, Alessandro Cimatti, Edmund Clarke, Ofer Strichman and Yunshan Zhu. Bounded Model Checking.Advances in Computers, 58, 2003.

Paolo Donzelli and Paolo Bresciani. Domain ontology analysis in agent oriented requirements engineering.Knowledge-Based Intelligent Information and Engineering Sysstems, number 2773 in LNAI, 1372-1379, 2003.

Filippo Ricca, Paolo Tonella and Ira D. Baxter. Web Application Transformations based on Rewrite Rules.Information and Software Technology, 44(13), 811-825, 2002.

Filippo Ricca and Paolo Tonella. Testing Processes of Web Applications.Annals of Software Engineering, 14, 93-114, 2002.

Paolo Tonella and Filippo Ricca. Statistical testing of Web applications.Journal of Software Maintenance and Evolution, 16(1-2), 103-127, 2004.

Paolo Donzelli and Paolo Bresciani. Improving requirements engineering by quality modelling - a quality-based requirements engineering framework.Journal of Research and Practice in Information Technology, 36(4), 277-294, 2005.

Anna Perini and Angelo Susi. Agent-oriented visual modeling and model validation for engineering distributed systems.Computer Systems Science & Engineering, 20(4), 319-329, 2005.

Paolo Tonella and Filippo Ricca. Web Application Slicing in Presence of Dynamic Code Generation..Automated Software Engineering, 12(2), 259-288, 2005.

Angelo Susi, Anna Perini, Paolo Giorgini and John Mylopoulos. The Tropos Metamodel and its Use.Informatica, 29(4), 401-408, 2005.

Filippo Ricca and Paolo Tonella. Detecting Anomaly and Failure in Web Applications.IEEE MultiMedia, 13(2), 2006.

Piergiorgio Bertoli, Alessandro Cimatti, Marco Roveri and Paolo Traverso. Strong Planning under Partial Observability.Journal of Artificial Intelligence, 170, 337-384, 2006.

Fausto Giunchiglia and Pavel Shvaiko. Semantic Matching.The Knowledge Engineering Review, 18(3), 265--280, 2003.

Michael Weiss, Haralambos Mouratidis and Paolo Giorgini. Modeling Secure Systems Using An Agent-Oriented Approach and Security Patterns.International Journal of Software Engineering and Knowledge Engineering (IJSEKE), World Scientific, 16(3), 471-498, 2006.

Paolo Giorgini, Manuel Kolp and John Mylopoulos. Multi-Agent Architectures as Organizational Structures.Journal of Autonomous Agents and Multi-Agent Systems, Kluwer Academic Publishers, 2006.

Angelo Susi, Anna Perini, John Mylopoulos and Paolo Giorgini. The Tropos Metamodel and its Use.Informatica, Slovene Society Informatika, 29/4, 377-443, 2005.

Paolo Bresciani, Paolo Giorgini, Fausto Giunchiglia, John Mylopoulos and Anna Perini. Tropos: An Agent-Oriented Software Development Methodology.Journal of Autonomous Agents and Multi-Agent Systems, 8(3), 203--236, 2004.

Haralambos Mouratidis, Paolo Giorgini and Gordon Manson. When Security Meets Software Engineering: A Case of Modeling Secure Information Systems.Information Systems, 30(8), 609-629, 2005.

Marco Aiello and Paolo Giorgini. Applying the Tropos Methodology for Analysing Web Services Requirements and Reasoning about Qualities of Services.CEPIS Upgrade - The European journal of the informatics professional, 5(4), 20-26, 2004.

Anna Perini, Paolo Bresciani, Paolo Giorgini, Fausto Giunchiglia and John Mylopoulos. Towards an Agent Oriented approach to Software Engineering.AI*IA Notizie : periodico dell'associazione italiana per l'intelligenza artificiale, 2001.

Fabio Massacci, John Mylopoulos and Nicola Zannone. Hierarchical Hippocratic Databases with Minimal Disclosure for Virtual Organizations.The VLDB Journal, 15(4), 370-387, 2006.

Fabio Massacci, Marco Prest and Nicola Zannone. Using a Security Requirements Engineering Methodology in Practice: the compliance with the Italian Data Protection Legislation.Computer Standards & Interfaces, 27(5), 445-455, 2005.

Paolo Giorgini, John Mylopoulos and Roberto Sebastiani. Goal-Oriented Requirements Analysis and Reasoning in the Tropos Methodology.Engineering Application of Artificial Intelligence Journal, 18(2), 2004.

Paolo Giorgini, Eleonora Nicchiarelli, John Mylopoulos and Roberto Sebastiani. Formal Reasoning Techniques for Goal Models.Journal of Data Semantics, 1, 1-20, 2004. Springer

Marco Bozzano, Roberto Bruttomesso, Alessandro Cimatti, Anders Franzen, Ziyad Hanna, Zurab Khasidashvili, Amit Palti and Roberto Sebastiani. Encoding RTL Constructs for MathSAT: A preliminary report.Electronic Notes in Theoretical Computer Science, 144(2), 3-14, 2006.

Enrico Giunchiglia, Massimo Narizzano and Armando Tacchella. Clause-Term Resolution and Learning in Quantified Boolean Logic Satisfiability.Journal of Artificial Intelligence Research, 26, 371-416, 2006.

Alexander Nareyek, Eugene C. Freuder, Robert Fourer, Enrico Giunchiglia, Robert P. Goldman, Henry A. Kautz, Jussi Rintanen and Austin Tate. Constraints and AI Planning.IEEE Intelligent Systems, 20(2), 62-72, 2005.

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia and Marco Maratea. SAT-based Approach to Separation Logic.Journal of Automated Reasoning, 35(1-3), 237-263, 2005.

Marco Maratea. Efficient Decision Procedures for the Integration of Planning and Formal Verification in Advanced Systems.AI Communications Journal, 19(1), 87-89, 2006.

Alessandro Armando, Massimo Benerecetti and Jacopo Mantovani. Model Checking Linear Programs with Arrays.Electr. Notes Theor. Comput. Sci., 144(3), 79-94, 2006.

Enrico Giunchiglia, Nicola Muscettola and Dana S. Nau. The 2003 International Conference on Automated Planning and Scheduling (ICAPS-03).AI Magazine, 25(2), 129-132, 2004.

Paolo Liberatore. On the complexity of case-based planning..J. Exp. Theor. Artif. Intell., 17(3), 283-295, 2005.

Paolo Liberatore. Complexity results on DPLL and resolution..ACM Trans. Comput. Log., 7(1), 84-107, 2006.

Marco Cadoli and Francesco M. Donini and Paolo Liberatore and Marco Schaerf. k-Approximating Circuits..IEEE Trans. Computers, 55(7), 913-917, 2006.

Paolo Liberatore. Complexity and Compilability of Diagnosis and Recovery of Graph-Based Systems.International Journal of Intelligent Systems, 20(10), 1053-1076, 2005.

Paolo Liberatore. Uncontroversial Default Logic.Journal of Logic and Computation, 14(5), 747-765, 2004.

Paolo Liberatore. Representability in Default Logic.Logic Journal of the IGPL, 13(3), 335-351, 2005.

Paolo Liberatore. Seminormalizing a default theory.Journal of Applied Non-Classical Logics, 15(3), 321-340, 2005.

Gwen Salaun, Lucas Bordeaux and Marco Schaerf. Describing and Reasoning on Web Services using Process Algebra.International Journal on Business Process Integration and Management,, 1(2), 116-128, 2006.

Gwen Salaun and Pascal Poizat. Interacting Extended State Diagrams.Electr. Notes Theor. Comput. Sci., 115, 49-57, 2005.

Paolo Liberatore and Marco Schaerf. The Compactness of Belief Revision and Update Operators.Fundamenta Informaticae, 62(3-4), 377-393, 2004.

Enrico Giunchiglia, Massimo Narizzano and Armando Tacchella. Backjumping for Quantified Boolean Logic satisfiability..Artificial Intelligence, 145(1-2), 99-120, 2003.

Enrico Giunchiglia, Armando Tacchella and Fausto Giunchiglia. SAT-Based Decision Procedures for Classical Modal Logics..Journal of Automated Reasoning, 28(2), 143-171, 2002.

Claudio Castellini, Enrico Giunchiglia and Armando Tacchella. SAT-based planning in complex domains: Concurrency, constraints and nondeterminism..Artificial Intelligence, 147(1-2), 85-117, 2003.

Alessandro Armando and Alessandro Cimatti. Preface..Electronic Notes Theoretical Computer Science, 144(2), 1-2, 2006.

Alessandro Armando, Massimo Benerecetti and Jacopo Mantovani. Model Checking Linear Programs with Arrays..Electronic Notes Theorical Computer Science, 144(3), 79-94, 2006.

Alessandro Armando, David A. Basin, Jorge Cuellar, Michael Rusinowitch and Luca Vigano'. Automated Reasoning for Security Protocol Analysis..Journal of Automated Reasoning, 36(1-2), 1-3, 2006.

Alessandro Armando and Luca Vigano'. Preface..Electronic Notes Theoretical Computer Science, 125(1), 1-, 2005.

Alessandro Armando and Luca Compagna. An Optimized Intruder Model for SAT-based Model-Checking of Security Protocols..Electronic Notes Theoretical Computer Science, 125(1), 91-108, 2005.

Alessandro Armando, Silvio Ranise and Michael Rusinowitch. A rewriting approach to satisfiability procedures..Information and Computation, 183(2), 140-164, 2003.

Alessandro Armando, Michael Rusinowitch and Sorin Stratulat. Incorporating Decision Procedures in Implicit Induction..Journal of Symbolic Computation, 34(4), 241-258, 2002.

Enrico Giunchiglia, Joohyung Lee, Vladimir Lifschitz, Norman McCain and Hudson Turner. Nonmonotonic causal theories..Artificial Intelligence, 153(1-2), 49-104, 2004.

Salem Benferhat and Enrico Giunchiglia. Editorial: Nonmonotonic Reasoning..Artificial Intelligence, 157(1-2), 1-3, 2004.

Book

Paolo Bresciani, Paolo Giorgini, Brian Henderson-Sellers, Graham Low, and Michael Winikoff. Agent-Oriented Information Systems II. Springer-Verlag, 2005.

Haralambos Mouratidis and Paolo Giorgini. Integrating Security and Software Engineering: Advances and Future Vision. Idea Group, 2006. In press

Alessandro Garcia and Ricardo Choren, and Carlos Lucena and Alexander Romanovsky and Tom Holvoet and Paolo Giorgini. Software Engineering for Multi-Agent Systems IV. Lecture Notes in Computer Science (LNCS). Springer-Verlag, 2006. In press

Paolo Bresciani and Paolo Giorgini and Brian Henderson-Sellers and Michael Winikoff. Agent-Oriented Information Systems II. Lecture Notes in Artificial Intelligence, LNAI. Springer-Verlag, 2005.

Paolo Giorgini and Jorg Muller and James Odell. Agent-Oriented Software Engineering V. Lecture Notes in Computer Science (LNCS). Springer-Verlag, 2005.

Paolo Giorgini and Brian Henderson-Sellers and Michael Winikoff. Agent-Oriented Information Systems. Lecture Notes in Artificial Intelligence (LNAI). Springer-Verlag, 2004.

Paolo Giorgini and Jorg Muller and James Odell. Agent-Oriented Software Engineering IV. Lecture Notes in Computer Science (LNCS). Springer-Verlag, 2004.

Carlo Batini and Fausto Giunchiglia and Paolo Giorgini and Massimo Mecella. Cooperative Information Systems, 9th International Conference - CoopIS 2001. Lecture Notes in Computer Science (LNCS). Springer-Verlag, 2001.

Paolo Giorgini and Yves Lesperance and Gerd Wagner and Eric Yu. Agent-Oriented Information Systems I, Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information systems (AOIS-02) at CAiSE2002. 2002.

Paolo Giorgini and Yves Lesperance and Gerd Wagner and Eric Yu. Agent-Oriented Information Systems II, Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information systems (AOIS-02) at AAMAS2002. 2002.

Brian Henderson-Sellers and Paolo Giorgini. Agent-Oriented Methodologies. Idea group, 2005.

Salem Benferhat and Enrico Giunchiglia. 9th International Workshop on Non-Monotonic Reasoning (NMR 2002), April 19-21, Toulouse, France, Proceedings. 2002.

Alessandro Armando. Frontiers of Combining Systems, 4th International Workshop, FroCoS 2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings. Lecture Notes in Computer Science. Springer, 2002.

Enrico Giunchiglia and Toby Walsh. SAT 2005 Satisfiability Research in the Year 2005. Springer, 2005.

Enrico Giunchiglia and Armando Tacchella. Theory and Applications of Satisfiability Testing, 6th International Conference, SAT 2003. Santa Margherita Ligure, Italy, May 5-8, 2003 Selected Revised Papers. Lecture Notes in Computer Science. Springer, 2004.

Conference

Paolo Tonella and Filippo Ricca. Dynamic Model Extraction and Statistical Analysis of Web Applications. Proc. of WSE 2002, International Workshop on Web Site Evolution. 43-52. 2002.

Paolo Bresciani, Paolo Giorgini, and Haralambos Mouratidis. On security requirements analysis for multi-agent systems. Proc. of 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (SELMAS'03). 100-106. 2003.

Paolo Bresciani, Paolo Donzelli, and Angela Forte. Requirements engineering for knowledge management in e-government. Knowledge Management in Electronic Government, number 2645 in LNAI. 48-59. 2003.

Fausto Giunchiglia, John Mylopoulos and Anna Perini. The Tropos Software Development Methodology: Processes, Models and Diagrams. Proc. of Third International Workshop on Agent-Oriented Software Engineering III (AOSE 2002), Vol. LNCS 2585. 162-173. 2003.

Ariel Fuxman, Linda Liu, Marco Pistore, Marco Roveri and John Mylopoulos. Specifying and Analyzing Early Requirements: Some Experimental Results. Proc. of the 11th IEEE International Requirements Engineering Conference (RE-2003). 2003.

Anna Perini, Marco Pistore, Marco Roveri and Angelo Susi. Agent-oriented modeling by interleaving formal and informal specification. Proc. of the 4th International Workshop on Agent-Oriented Software Engineering (AOSE 2003). 2003.

Brian Henderson-Sellers, P. Giorgini and Paolo Bresciani. Evaluating the Potential for Integrating the OPEN and Tropos Metamodels. Proccedings of the 2003 International Conference on Software Engineering Research and Practice (SERP'03). 2003.

Marco Benedetti and Alessandro Cimatti. Bounded Model Checking for Past LTL. TACAS 2003. 18-33. 2003.

Fausto Giunchiglia, John Mylopoulos and Anna Perini. The Tropos Software Development Methodology: Processes, Models and Diagrams. Proc. of Third International Workshop on Agent-Oriented Software Engineering III - AOSE 2002. 162-173. Springer-Verlag, 2002.

Mark Carman and Luciano Serafini. Planning for Web Services the Hard Way. SAINT'03 Workshop on Service Oriented Computing. 2003.

Mark Carman, Luciano Serafini and Paolo Traverso. Web Service Composition as Planning. ICAPS'03 Workshop on Planning for Web Services. 2003.

Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore and Paolo Traverso. A Framework for Planning with Extended Goals under Partial Observability. Proceedings of 13th International Conference on Automated Planning and Scheduling (ICAPS'03). 2003.

Filippo Ricca and Paolo Tonella. Using Clustering to Support the Migration from Static to Dynamic Web Pages. 11th International Workshop on Program Comprehension. 207-216. 2003.

Paolo Busetta, James Bailey and Ramamohanarao Kotagiri. Reliable Computational Model For BDI Agents. Proceedings of Workshop on Safe Agents at the Second international joint conference on Autonomous agents and multiagent systems (AAMAS 2003). ACM Press, 2003.

Paolo Avesani, Sara Ferrari and Angelo Susi. Case-Based Ranking for Decision Support Systems. Proceedings of ICCBR 2003, The 5th International Conference on Case-Based Reasoning. 2003.

Paolo Avesani, Sara Ferrari, and Angelo Susi. Case-Based Environmental Risk Assessment. Proceedings of IJCAI Workshop on Environmental Decision Support. 2003.

Paolo Tonella, Filippo Ricca, Emanuele Pianta, Christian Girardi, Giuseppe Di Lucca, Anna Rita Fasolino and Porfirio Tramontana. Evaluation Methods for Web Application Clustering. Proc. Of WSE 2003, International Workshop on Web Site Evolution. 2003.

Paolo Tonella, Filippo Ricca, Emanuele Pianta and Christian Girardi. Using Keyword Extraction for Web Site Clustering. Proc. of WSE 2003, International Workshop on Web Site Evolution. 2003.

Paolo Tonella and Alessandra Potrich. Reverse Engineering of the Interaction Diagrams from C++ Code. Proc. of ICSM 2003, International Conference on Software Maintenance. 159-168. 2003.

Paolo Donzelli and Paolo Bresciani. Goal oriented requirements engineering: a case study in E-government. Advanced Information Systems Engineering (CAiSE'03). 605-620. 2003.

Piergiorgio Bertoli, Alessandro Cimatti, Marco Pistore, Marco Roveri and Paolo Traverso. MBP: A Model Based Planner. Notes of ICAPS'03: system demo session. 2003.

Anna Perini and Angelo Susi. Discussing Strategies for Software Architecting and Designing from an Agent-Oriented point of view. Presented at SELMAS 2003, 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent System. 2003.

Brian Henderson-Sellers, Paolo Giorgini and Paolo Bresciani. Enhancing Agent OPEN with concepts used in the Tropos methodology. Proceedings of the Fourth International Workshop Engineering Societies in the Agents World. 2003.

Paolo Tonella, Filippo Ricca, Emanuele Pianta and Christian Girardi. Restructuring Multilingual Web Sites. Proc. of ICSM 2002, International Conference on Software Maintenance. 290-299. 2002.

Paolo Tonella and Alessandra Potrich. Static and Dynamic C++ Code Analysis for the Recovery of the Object Diagram. Proc. of ICSM 2002, International Conference on Software Maintenance. 54-63. 2002.

Filippo Ricca and Paolo Tonella. Construction of the System Dependance Graph for Web Application Slicing. Proc. of SCAM 2002, International Workshop on Source Code Analysis and Manipulation. 123-132. 2002.

Alessandro Cimatti, Edmund Clarke, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani and Armando Tacchella. NuSMV 2: An OpenSource Tool for Symbolic Model Checking. CAV-2002 Conference on Computer-Aided Verification. 2002.

Alessandro Cimatti, Marco Pistore, Marco Roveri and Roberto Sebastiani. Improving the Encoding of LTL model checking into SAT. proceedings of VMCAI-2002 workshop on Verification Model Checking and Abstract Interpretation. 2002.

Alessandro Cimatti, Enrico Giunchiglia, Marco Roveri, Marco Pistore, Roberto Sebastiani and Armando Tacchella. Integrating BDD-based and SAT-based Symbolic Model Checking. FroCoS'2002 4th International Workshop on Frontiers of Combining Systems. 2002.

Marco Aiello, Mike Papzoglou, Jian Yang, Mark Carman, Marco Pistore, Luciano Serafini and Paolo Traverso. A Request Language for Web-Services based on Planning and Constraint Satisfaction. VLDB workshop on Technologies for E-Services (TES). Springer, 2002.

Anna Perini and Angelo Susi. Dealing with software design issues using an Agent-Oriented methodology. Proceedings of the 15th International Conference on Software Engineering and Knowledge Engineering [SEKE 2003]. 2003.

Anna Perini, Angelo Susi, and Fausto Giunchiglia. Coordination specification in Multi-Agent Systems. From requirements to architecture with the Tropos methodology. Proceedings of the 14th Internatinal Conference on Software Engineering and Knowledge Engineering [SEKE'02]. ACM Press, 2002.

Piergiorgio Bertoli and Alessandro Cimatti. Improving Heuristics for Planning as Search in Belief Space. Proceedings of AIPS 2002. 143-152. 2002.

Paolo Bresciani and Fabrizio Sannicolo'. Applying Tropos Requirements Analysis for defining a Tropos tool. Agent-Oriented Information System. Proceedings of AOIS-2002 : Fourth International Bi-Conference Workshop. 135-138. 2002.

Paolo Bresciani and Paolo Donzelli. An agent-based requirements engineering framework for complex socio-technical systems. SELMAS'03 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems. 2003.

Gilles Audemard, Piergiorgio Bertoli, Alessandro Cimatti, Artur Kornilowicz and Roberto Sebastiani. A SAT based approach for solving formulas over boolean and linear mathematical propositions. Proceedings of 18th Conference on Automated Deduction (CADE-18). 2002.

Filippo Ricca, Paolo Tonella, Emanuele Pianta and Christian Girardi. Experimental Results on the Alignment of Multilingual Web Sites. Proc. of the 8th European Conference on Software Maintenance and. 288-295. 2004.

Filippo Ricca, Paolo Tonella, Christian Girardi and Emanuele Pianta. An Empirical Study on Keyword-based Web Site Clustering. Proc. of the 12th International Workshop on Program Comprehension (IWPC). 204-213. 2004.

Paolo Tonella and Filippo Ricca. A 2-Layer Model for the White-Box Testing of Web Applications. Proc. of the 6th IEEE Int. Workshop on Web Site Evolution. 11-19. 2004.

Mariano Ceccato and Paolo Tonella. Adding Distribution to Existing Applications by means of Aspect Oriented Programming. Proc. of the 4th IEEE Int. Workshop on Source Code Analysis and Manipulation. 107-116. 2004.

Paolo Tonella and Mariano Ceccato. Migrating Interface Implementations to Aspects. Proc. of the 20th IEEE Int. Conf. on Software Maintenance. 220-229. IEEE Computer Society, 2004.

Mariano Ceccato and Paolo Tonella. Measuring the Effects of Software Aspectization. Proc. of the 1st Workshop on Aspect Reverse Engineering. 2004.

Paolo Tonella and Mariano Ceccato. Aspect Mining through the Formal Concept Analysis of Execution Traces. Proc. of the 11th Working conference on Reverse Engineering. 112-121. 2004.

Marco Pistore, Fabio Barbon, Piergiorgio Bertoli, Dimitry Shaparau and Paolo Traverso. Planning and Monitoring Web Service Composition. The 11th International Conference on Artificial Intelligence, Methodologies, Systems, and Applications (AIMSA'04). 106-115. 2004.

Raman Kazhamiakin, Marco Pistore and Marco Roveri. A Framework for Integrating Business Processes and Business Requirements. EDOC'04. 9-20. 2004.

Piergiorgio Bertoli and Marco Pistore. Planning with Extended Goals and Partial Observability. ICAPS'04. 270-278. 2004.

Paolo Traverso and Marco Pistore. Automated Composition of Semantic Web Services into Executable Processes. International Semantic Web Conference 2004 (ISWC2004). 380-394. 2004.

Filippo Ricca and Paolo Tonella. Web Testing: a Roadmap for the Empirical Research. Proc. of the International Symposium on Web Site Evolution (WSE). 63-70. IEEE Computer Society, 2005.

Filippo Ricca and Paolo Tonella. Anomaly detection in Web applications: a review of already conducted case studies. Proc. of the 9th European Conference on Software Maintenance and Reengineering. 2005.

Marco Pistore, Pierluigi Roberti and Paolo Traverso. Process-Level Composition of Executable Web Services: On-the-fly Versus Once-for-all Composition. European Semantic Web Conference. 2005.

Marco Pistore, Pierluigi Lucchese, Michele Trainotti and Paolo Traverso. Towards the Autonomic Composition of Business Processes. 1st International Workshop on Service Oriented Business Process Integration. 2005.

Raman Kazhamiakin and Marco Pistore. A Parametric Communication Model for the Verification of BPEL4WS Compositions. International Workshop on Web Services and Formal Methods. 2005.

Raman Kazhamiakin, Paritosh Pandya and Marco Pistore. Modelling and Analysis of Time-related Properties in Web Service Compositions. Workshop on the Engineering of Service Compositions. 2005.

Marco Pistore, Paolo Traverso and Piergiorgio Bertoli. Automated Composition of Web Service by Planning in Asynchronous Domains. International Conference on Automated Planning and Scheduling. 2005.

Marco Torchiano, Filippo Ricca and Paolo Tonella. A comparative study on the re-documentation of existing software: Code annotations vs. drawing editors. Proc. 4th International Symposium on Empirical Software Engineering (ISESE). 277-286. 2005.

Loris Penserini, Paolo Bresciani, Paolo Busetta, and Tsvi Kuflik. Using Tropos to model agent based architectures for adaptive systems: a case study in ambient intelligence. Proceedings of the IEEE International Conference on Software-Science, Technology and Engineering (SwSTE '05). 2005.

Paolo Bresciani, Loris Penserini, Paolo Busetta, and Tsvi Kuflik. Agent patterns for ambient intelligence. Proceedings of the 23rd International Conference on Conceptual Modeling. 682-695. 2004.

Marco Pistore, Paolo Traverso, Piergiorgio Bertoli and Annapaola Marconi. Automated Synthesis of Composite BPEL4WS Web Services. Proc. of ICWS'05. 2005.

Marco Pistore, Paolo Traverso, Piergiorgio Bertoli and Annapaola Marconi. An Approach for the Automated Composition of BPEL Processes. Proc. of WI 2005 Workshop on WWW Service Composition with Semantic Web Services. 2005.

Marco Pistore, Annapaola Marconi, Piergiorgio Bertoli and Paolo Traverso. Automated Composition of Web Services by Planning at the Knowledge Level. Proceedings of Nineteenth International Joint Conference on Artificial Intelligence (IJCAI05). 2005.

Marco Pistore, Paolo Traverso, Piergiorgio Bertoli and Annapaola Marconi. Automated Synthesis of Executable Web Service Compositions from BPEL4WS Processes. Poster at 14th International World Wide Web Conference (WWW05). 2005.

Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli and Paolo Traverso. ASTRO: Supporting Composition and Execution of Web Services. Demo at the 15th International Conference on Automated Planning and Scheduling (ICAPS05). 2005.

Michele Trainotti, Marco Pistore, Gaetano Calabrese, Gabriele Zacco, Gigi Lucchese, Fabio Barbon, Piergiorgio Bertoli and Paolo Traverso. ASTRO: Supporting Composition and Execution of Web Services. Demo at the Third International Conference on Service Oriented Computing (ICSOC05). 2005.

Loris Penserini, Anna Perini, Angelo Susi and John Mylopoulos. From Stakeholder Intentions to Software Agent Implementations. Proceedings of the 18th Conference On Advanced Information Systems Engineering (CAiSE'06). 465-479. Springer-Verlag, 2006.

Piergiorgio Bertoli, Marco Pistore and Paolo Traverso. Automated Web Service Composition by On-The-Fly Belief Space Search. Proceedings of ICAPS'06. 2006.

Alexandre Albore and Piergiorgio Bertoli. Safe LTL Assumption-Based Planning. Proceedings of ICAPS'06. 2006.

Marco Torchiano, Filippo Ricca and Paolo Tonella. A comparative study on the re-documentation of existing software: Code annotations vs. drawing editors. Proc. of the 4th International Symposium on Empirical Software Engineering (ISESE). 277-286. 2005.

Paolo Tonella, Filippo Ricca, Massimiliano Di Penta and Marco Torchiano. Towards Empirical Validation of Design Notations for Web Applications: An Experimental Framework. Proc. of Web Maintenance and Reengineering (WMR). 2006.

Anna Perini and Angelo Susi. Automating Model Transformations in Agent- Oriented Modelling. Proceedings of AOSE 2005. 167-178. Springer-Verlag, 2006.

Annapaola Marconi, Marco Pistore and Paolo Traverso. Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals. Short Paper in Proc. of Fourth International Conference on Service Oriented Computing (ICSOC06). 2006.

Annapaola Marconi, Marco Pistore and Paolo Traverso. Specifying Data-Flow Requirements for the Automated Composition of Web Services. Proc. of Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM06). 2006.

Raman Kazhamiakin and Marco Pistore. Static Verification of Control and Data in Web Service Compositions. The 4th International Conference on Web Services (ICWS'06). 2006.

Raman Kazhamiakin, Paritosh K. Pandya and Marco Pistore. Representation, Verification, and Computation of Timed Properties in Web Service Compositions. The 4th International Conference on Web Services (ICWS'06). 2006.

Raman Kazhamiakin, Marco Pistore and Luca Santuari. Analysis of Communication Models in Web Service Compositions. The 15th International World Wide Web Conference (WWW'06). 2006.

Raman Kazhamiakin and Marco Pistore. Analysis of Realizability Conditions for Web Service Choreographies. 26th IFIP WG 6.1 International Conference on Formal Methods for Networked and Distributed Systems (FORTE'06). 2006.

Raman Kazhamiakin and Marco Pistore. Choreography Conformance Analysis: Asynchronous Communications and Information Alignment. 3rd Workshop on Web Services and Formal Methods (WS-FM'06). 2006.

Raman Kazhamiakin, Paritosh K. Pandya and Marco Pistore. Timed Modelling and Analysis in Web Service Compositions. The 1st International Conference on Availability, Reliability and Security (ARES'06). 2006.

Raman Kazhamiakin, Marco Pistore and Marco Roveri. Formal Verification of requirements using SPIN: A Case Study on Web Services. 3rd IEEE International Conference on Software Engineering and Formal Methods (SEFM). 2004.

Bernardo Magnini, Carlo Strapparava, Giovanni Pezzulo and Alfio Gliozzo. Comparing Ontology-Based and Corpus-Based Domain Annotation in WordNet. In Proceedings of First International WordNet Conference. 146-154. 2002.

Bernardo Magnini and Manuela Speranza. Merging Global and Specialized Linguistic Ontologies. In Proceedings of the Workshop Ontolex - 2002 "Ontologies and Lexical Knowledge Bases". 43-48. 2002.

Bernardo Magnini, Manuela Speranza and Luciano Serafini. Using NLP Techniques for Meaning Negotiation. Proceedings of VIII Convegno AI*IA. 2002.

Bernardo Magnini, Luciano Serafini, and Manuela Speranza. Making Explicit the Semantics Hidden in Schema Models. In Proc. of the Workshop "Human Language Technology for the Semantic Web and Web Services" at the 2nd International Semantic Web Conference, ISWC2003. 2003.

Matteo Negri and Bernardo Magnini. Using WordNet Predicates for Multilingual Named Entities Recognition. In Proceedings of Second WordNet Conference (GWC-2004). 2004.

Luisa Bentivogli and Emanuele Pianta. ArchiWordNet, Integrating WordNet with Domain Specific Knowledge. In Proceedings of Second WordNet Conference (GWC-2004). 39-46. 2004.

Luisa Bentivogli and Emanuele Pianta. Extending WordNet with Syntagmatic Information. In Proceedings of Second WordNet Conference (GWC-2004). 47-53. 2004.

Ernesto D'Avanzo, Bernardo Magnini and Alessandro Vallin. Keyphrase Extraction for Summarization Purposes: The LAKE System at DUC-2004. In Proceedings of the Document Understanding Conference (DUC-2004). 2004.

Bernardo Magnini, Manuela Speranza and Christian Girardi. A Semantic-Based Approach to Interoperability of Classification Hierarchies: Evaluation of Linguistic Techniques. In Proceedings of Coling-2004. 1133-1139. 2004.

Ernesto D'Avanzo and Bernardo Magnini. A Keyphrase-Based Approach to Summarization: the LAKE System at DUC-2005. In Proceeding of the DUC-2005 conference. 2005.

Fausto Giunchiglia, Pavel Shvaiko and Mikalai Yatskevich. Discovering Missing Background Knowledge in Ontology Matching. Proceedings of ECAI. 2006.

Fausto Giunchiglia, Pavel Shvaiko and Mikalai Yatskevich. Semantic schema matching. Proceedings of CoopIS. 347-365. 2005.

Fausto Giunchiglia, Maurizio Marchese and Ilya Zaihrayeu. Towards a Theory of Formal Classification. Proceedings of the international workshop on Contexts and Ontologies, C&O-2005. 2005.

Maurizio Marchese, Aliaksei Yanchuk and Fausto Giunchiglia. A Distributed Architecture for Value Added Services to Digital Libraries. MobiQuitous 2005: the Second Annual International Conference on Mobile and Ubiquitous Systems: Networking and Services. IEEE Computer Society, 2005.

Matteo Bonifacio, Fausto Giunchiglia and Ilya Zaihrayeu. Peer-to-Peer Knowledge Management. In Proceedings of I-KNOW'05. 2005.

Fausto Giunchiglia and Mikalai Yatskevich. Element Level Semantic Matching. In Proceedings of Meaning Coordination and Negotiation workshop at ISWC'04. 2004.

Fausto Giunchiglia and Ilya Zaihrayeu. Coordinating Mobile Databases: A System Demonstration. In Proceedings of international workshop on P2PKM at MobiQuitous'04. 2004.

Deborah L. McGuinness, Pavel Shvaiko, Fausto Giunchiglia and Paulo Pinheiro da Silva. Towards Explaining Semantic Matching. In Proceedings of international workshop on DL at KR'04. 2004.

Fausto Giunchiglia, Pavel Shvaiko and Mikalai Yatskevich. S-Match: An Algorithm and Implementation of Semantic Matching. Proceedings of ESWS'04. 61-75. 2004.

Heiner Stuckenschmidt, Frank van Harmelen, Luciano Serafini, Paolo Bouquet and Fausto Giunchiglia. C-OWL for the Alignment and Merging of Medical Ontologies. In Proceedings of KR-MED workshop at KR'04. 2004.

Paolo Bouquet, Fausto Giunchiglia, Frank van Harmelen, Luciano Serafini and Heiner Stuckenschmidt. C-OWL: Contextualizing Ontologies. In Proceedings of ISWC'03. 2003.

Fausto Giunchiglia and Ilya Zaihrayeu. Making peer databases interact - a vision for an architecture supporting data coordination. In Proceedings of international workshop CIA'02. 2002.

Stephane Dehousse, Stephane Faulkner, Haralambos Mouratidis, Manuel Kolp and Paolo Giorgini. Reasoning About Willingness in Networks of Agents. Proceedings of the Fifth international workshop on Software Engineering for Large-scale Multi-Agent Systems (SELMAS06) - in conjunction with ICSE06. 2006.

Paolo Giorgini, Fabio Massacci, John Mylopoulos and Nicola Zannone. Modeling Security Requirements Through Ownership, Permission and Delegation. Proceedings of the 13th IEEE International Requirements Engineering Conference (RE'05). IEEE Computer Society Press, 2005.

Haralambos Mouratidis, Manuel Kolp, Stephane Faulkner and Paolo Giorgini. A Secure Architectural Description Language for Agent Systems. Proceedings of the 4th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS05). ACM Press, 2005.

Brian Henderson-Sellers, Paolo Giorgini and Paolo Bresciani. Evaluating the Potential for Integrating the OPEN and Tropos Metamodels. Proccedings of the 2003 International Conference on Software Engineering Research and Practice (SERP'03). 2003.

Haralambos Mouratidis, Paolo Giorgini, Schumacher and M.. Security Patterns for Agent Systems. Proccedings of Eighth European Conference on Pattern Languages of Programs. 2003.

Paolo Giorgini, Manuel Kolp and John Mylopoulos. Socio-Intentional Architectures for Multi-agent Systems: the Mobile Robot Control case. Proceedings of the Fourth International Bi-Conference Workshop on Agent-Oriented Information systems (AOIS-02) at CAiSE2002. 2002.

Ariel Fuxman, Paolo Giorgini, Manuel Kolp and John Mylopoulos. Information Systems as Social Structures. Second International Conference on Formal Ontologies for Information Systems (FOIS-2001).

Manuel Kolp, Paolo Giorgini and John Mylopoulos. A Goal-Based Organizational Perspective on Multi-Agent Architectures. Eighth International Workshop on AGENT THEORIES, ARCHITECTURES, AND LANGUAGES (ATAL-2001). 2001.

Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia and John Mylopoulos. Modeling early requirements in Tropos: a transformation based approach. Submitted to the Second International Workshop on AGENT-ORIENTED SOFTWARE ENGINEERING (AOSE-2001). 2001.

Paolo Giorgini, Anna Perini, John Mylopoulos, Fausto Giunchiglia and Paolo Bresciani. Agent-Oriented Software Development: A Case Study. Proceedings of the Thirteenth International Conference on Software Engineering & Knowledge Engineering (SEKE01). 2001.

Paolo Giorgini and Haralambos Mouratidis. A Constraint-based Approach for Modeling SecureMulti-Agent Systems. Workshop su Agenti e Vincoli: Modelli e Tecnologie per Dominare la Complessit`a. 2004.

Paolo Giorgini, Stefano Rizzi and Maddalena Garzetti. Goal-Oriented Requirement Analysis for Data Warehouse Design. DOLAP '05: Proceedings of the 8th ACM International Workshop on Data Warehousing and OLAP.

Stephane Faulkner, Stephane Dehousse, Paolo Giorgini, Manuel Kolp and Haralambos Mouratidis. Delegation Mechanisms for Agent Architectural Design. Proceedings of the 2005 IEEE/WIC/ACM International Conference on Web Intelligence. IEEE Computer Society, 2005.

Haralambos Mouratidis, Michael Weiss and Paolo Giorgini. Security patterns meet agent oriented software engineering: a complementary solution for developing security information systems. Conceptual Modeling - ER 2005: 24th International Conference on Conceptual Modeling. 3716, 225-240. Springer, 2005.

Paolo Bresciani, Paolo Giorgini, Haralambos Mouratidis and Gordon Manson. Multi-agent systems and security requirements analysis. Software engineering for multi-agent systems II. Springer, 2004.

Haralambos Mouratidis and Paolo Giorgini. Enhancing secure Tropos to effectively deal with security requirements in the development of multiagent systems. Proceedings of the First International Workshop on Safety and Security Multiagent Systems. 2004.

Haralambos Mouratidis, Paolo Giorgini and Gordon Manson. Using Security Attack Scenarios to Analyse Security During Information Systems Design. Proceedings of the 6th International Conference on Enterprise Information Systems (ICEIS'04). ICEIS Press, 2004.

Haralambos Mouratidis and Paolo Giorgini. Analysing Security in Information Systems. Proceedings of The Second International Workshop on Security In Information Systems (WOSIS'04). ICEIS press, 2004.

Haralambos Mouratidis, Paolo Giorgini and Gordon Manson. Towards the Development of Secure Information Systems: Security Reference Diagrams and Security Attack Scenarios. Proceedings of the 16th Conference On Advanced Information Systems Engineering (CAiSE*04) - Forum. Springer, 2004.

Mike Papazoglou, Marco Aiello and Paolo Giorgini. Service-Oriented Computing and Software Agents. Web Services and Agent-based Engineering. Elsevier, 2004.

Haralambos Mouratidis, Paolo Giorgini and Gordon Manson. Modelling Secure Multiagent Systems. 2nd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2003). 2003.

Paolo Bresciani, Paolo Giorgini and Haralambos Mouratidis. On Security Requirements Analysis for Multi-Agent Systems. 2nd International Workshop on Software Engineering for Large-Scale Multi-Agent Systems SELMAS 2003. 2003.

Haralambos Mouratidis, Paolo Giorgini and Michael Weiss. Integrating Patterns and Agent-Oriented Methodologies to Provide Better Solutions for the Development of Secure Agent Systems. Workshop on Expressiveness of Pattern Languages 2003, at ChiliPLoP 2003. 2003.

Manuel Kolp, Paolo Giorgini and John Mylopoulos. Organizational Patterns for Early Requirements Analysis. Advanced Information Systems Engineering: 15th International Conference, CAiSE 2003. 2681, 617-632. Springer, 2003.

Haralambos Mouratidis, Paolo Giorgini and Gordon Manson. Integrating Security and Systems Engineering: Towards the Modelling of Secure Information Systems. 15th Conference On Advanced Information Systems Engineering (CAiSE*03).

Haralambos Mouratidis, Paolo Giorgini and Gordon Manson. An Ontology for Modelling Security: The Tropos Approach. KES 2003 Invited Session Ontology and Multi-Agent Systems Design (OMASD'03). 2003.

Haralambos Mouratidis, Paolo Giorgini, Gordon Manson and Abdullah Gani. Analysing Security Requirements of Information Systems Using Tropos. 5th International Conference on Enterprise Information Systems. 2003.

Brian Henderson-Sellers, Paolo Giorgini and Paolo Bresciani. Enhancing Agent OPEN with concepts used in the Tropos methodology. Proceedings of the Fourth International Workshop Engineering Societies in the Agents World. 2003.

Paolo Giorgini, Manuel Kolp and John Mylopoulos. Multi-Agent and Software Architecture: A Comparative Case Study. 1st International Conference on Autonomous Agent and Multi Agent Systems (AAMAS'02). 2002.

John Mylopoulos, Paolo Giorgini and Manuel Kolp. Agent Oriented Software Development. Proceedings of the 2nd Hellenic Conference on Artificial Intelligence (SETN-02). 2002.

Paolo Bresciani and Paolo Giorgini. The TROPOS Analysis Process as Graph Transformation System. Workshop on Agent-oriented methodologies, at OOPSLA 2002. 2002.

Marco Pistore, Andrei Novikau and Anna Perini. Graph Rewriting for Agent Oriented Visual Modeling. Electronic Notes in Theoretical Computer Science. 2003.

Maddalena Garzetti, Paolo Giorgini, John Mylopoulos and Fabrizio Sannicolo'. Applying Tropos Methodology to a real case study: Complexity and Criticality analysis. workshop on "Dagli OGGETTI agli AGENTI - Dall'informazione alla Conoscenza (WOA02). 2002.

Manuel Kolp, Paolo Giorgini and John Mylopoulos. Information Systems Development through Social Structures. Fourteenth International Conference on Software Engineering and Knowledge Engineering (SEKE2002). ACM Press, 2002.

Haralambos Mouratidis, Paolo Giorgini, Ian Philp and Gordon Manson. Using Tropos Methodology to Model and integrated Health Assessment System. Fourth International Bi-Conference Workshop on Agent-Oriented Information systems (AOIS-02) at CAiSE2002. 2002.

Haralambos Mouratidis, Paolo Giorgini, Gordon Manson and Ian Philp. A Natural Extension of Tropos Methodology for Modelling Security. Workshop on Agent-oriented methodologies, at OOPSLA 2002. 2002.

Haralambos Mouratidis, Gordon Manson, Paolo Giorgini and Ian Philp. Modelling an agent-based integrated health and social care information system for older people. Proceedings of the International Workshop on Agents Applied in Health Care. 2002.

Paolo Bresciani, Anna Perini, Paolo Giorgini, Fausto Giunchiglia and John Mylopoulos. A knowledge level software engineering methodology for agent oriented programming. 5th international conference on autonomous agents (Agents 2001). 648-655. ACM, 2001.

Hristo Koshutanski and Fabio Massacci. Interactive Access Control and Trust Negotiation for Autonomic Communication. ERCIM News. 63, 36-37. 2005. Special issue: Security and Trust Management

Hristo Koshutanski and Fabio Massacci. Interactive credential negotiation for stateful business processes. 3rd international conference on trust management (iTrust-05). 2005.

Hristo Koshutanski and Fabio Massacci. E Pluribus Unum: Deduction, Abduction and Induction, the Reasoning Services for Access Control in Autonomic Communication. Proceedings of Workshop on Autonomic Communication (WAC-04). SV, 2004.

Hristo Koshutanski and Fabio Massacci. An Interactive Trust Management and Negotiation Scheme. FAST-04. 139-152. KAP, 2004.

Hristo Koshutanski and Fabio Massacci. Interactive Access Control for Web Services. SEC-04. 151-166. KAP, 2004.

Hristo Koshutanski and Fabio Massacci. A System for Interactive Authorization for Business Processes for Web Services. Proceedings of International Conference on Web Engineering (ICWE-04). 3140, 521-525. SV, 2004.

Hristo Koshutanski and Fabio Massacci. A Logical Model for Security of Web Services. FAST-03. 1-8. Istituto di Informatica e Telematica, Pisa, Italy, 2003. Technical Report IIT TR-10/2003

Hristo Koshutanski and Fabio Massacci. An Access Control System for Business Processes for Web Services. NORDSEC-03. 2003.

Hristo Koshutanski and Fabio Massacci. An access control framework for business processes for Web services. ACM workshop on XML security (XMLSEC-2003). 15-24. ACMP, 2003.

Volha Bryl, Fabio Massacci, John Mylopoulos and Nicola Zannone. Designing Security Requirements Models through Planning. 18th Conference on Advanced Information Systems Engineering (CAiSE'06). 2006.

Paolo Giorgini, Fabio Massacci, John Mylopoulos, Alberto Siena and Nicola Zannone. ST-Tool: a case tool for modeling and analyzing trust requirements. 3rd international conference on trust management (iTrust 2005). 3477, 415-419. Springer, 2005.

Paolo Giorgini, Fabio Massacci, John Mylopoulos and Nicola Zannone. ST-Tool: A CASE Tool for Security Requirements Engineering. Proceedings of the13th IEEE International Conference on Requirements Engineering. 451-452. IEEE Computer Society, 2005.

Paolo Giorgini, Fabio Massacci, John Mylopoulos and Nicola Zannone. Modeling Social and Individual Trust in Requirements Engineering Methodologies. 3rd International Conference on Trust Management (iTrust 2005). 3477, 161-176. Springer, 2005.

Nicola Zannone, Sushil Jajodia, Fabio Massacci and Duminda Wijesekera. Maintaining Privacy on Derived Objects. Workshop on Privacy in the Electronic Society (WPES'05). 10-19. ACM Press, 2005.

Fabio Massacci, John Mylopoulos and Nicola Zannone. Minimal Disclosure in Hierarchical Hippocratic Databases with Delegation. 10th European Symposium on Research in Computer Security (ESORICS 2005). 3679, 438-454. Springer-Verlag, 2005.

Paolo Giorgini, Fabio Massacci, John Mylopoulous and Nicola Zannone. Filling the gap between Requirements Engineering and Public Key/Trust Management Infrastructures. EuroPKI-2004. 3093, 15-24. SV, 2004.

Paolo Giorgini, Fabio Massacci, John Mylopoulos and Nicola Zannone. Requirements engineering meets trust management: model, methodology, and reasoning. ITRUST-04. 2995, 176-190. SV, 2004.

Paolo Giorgini, Eleonora Nicchiarelli, John Mylopoulos and Roberto Sebastiani. Reasoning with Goal Models. Proceedings of International Conference of Conceptual Modeling -- ER'02. Springer, 2002.

Gilles Audemard, Alessandro Cimatti, Artur Kornilowicz and Roberto Sebastiani. Bounded Model Checking for Timed Systems. Proceedings of FORTE'02.. 2529, Springer, 2002.

Fausto Giunchiglia, Mikalai Yatskevich and Enrico Giunchiglia. Efficient Semantic Matching. ESWC. 272-289. 2005.

Enrico Giunchiglia, Massimo Narizzano and Armando Tacchella. Exploiting Quantifier Structure in QBF Reasoning. First Workshop on Quantification in Constraint Programming. 2005.

Enrico Giunchiglia, Massimo Narizzano and Armando Tacchella. Quantifiers structure in search based procedures for QBF. Conference on Design, Automation and Test in Europe (DATE). 812-817. 2006.

Enrico Giunchiglia and Marco Maratea. On the Relation Between Answer Set and SAT Procedures (or, Between cmodels and smodels). ICLP. 37-51. 2005.

Enrico Giunchiglia and Marco Maratea. Evaluating Search Strategies and Heuristics for Efficient Answer Set Programming. AI*IA. 122-134. 2005.

Enrico Giunchiglia and Marco Maratea. An Experimental Study of Search Strategies and Heuristics in Answer Set Programming. Answer Set Programming. 2005.

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Fausto Giunchiglia and Armando Tacchella. SAT-Based Decision Procedures for Automated Reasoning: A Unifying Perspective. Mechanizing Mathematical Reasoning. 46-58. 2005.

Marco Cadoli and Toni Mancini. Automated Reformulation of Specifications by Safe Delay of Constraints.. 388-398. 2004.

Sylvie Coste-Marquis, Jerome Lang, Paolo Liberatore and Pierre Marquis. Expressive Power and Succinctness of Propositional Languages for Preference Representation. KR. 203-212. 2004.

Marco Cadoli and Toni Mancini. Exploiting Functional Dependencies in Declarative Problem Specifications. JELIA. 628-640. 2004.

Toni Mancini and Marco Cadoli. Detecting and Breaking Symmetries by Reasoning on Problem Specifications. SARA. 165-181. 2005.

Andrea Ferrara, Guoqiang Pan and Moshe Y. Vardi. Trklaseuriwidth in Verification: Local vs. Global.. LPAR. 489-503. 2005.

Lucas Bordeaux, Gwen Salaun, Daniela Berardi and Massimo Mecella. When are two Web Services Compatible?. In Proc. of the 5th VLDB International Workshop on Technologies for e-Services (VLDB-TES 2004). 2004.

Gwen Salaun, Andrea Ferrara and Antonella Chirichiello. Negotiation Among Web Services Using LOTOS/CADP. ECOWS. 198-212. 2004.

Antonella Chirichiello and Gwen Salaun. Encoding Abstract Descriptions into Executable Web Services: Towards a Formal Development. Proceedings of WI'05, Compiegne, France. 457--463. Computer Society Press, 2005.

Lucas Bordeaux and Gwen Salaun. Using Process Algebra for Web Services: Early Results and Perspectives. In Proc. of TES'04, Toronto, Canada, LNCS 3324. 54-68. Springer-Verlag, 2004.

Alessandro Armando, Claudio Castellini and Jacopo Mantovani. Software Model Checking Using Linear Constraints.. 209-223. 2004.

Alessandro Armando and Luca Compagna. Abstraction-Driven SAT-based Analysis of Security Protocols.. 257-271. 2003.

Enrico Giunchiglia, Yuliya Lierler and Marco Maratea. SAT-Based Answer Set Programming.. 61-66. 2004.

Enrico Giunchiglia, Massimo Narizzano and Armando Tacchella. Monotone Literals and Learning in QBF Reasoning.. 260-273. 2004.

Enrico Giunchiglia, Massimo Narizzano and Armando Tacchella. QuBE++: An Efficient QBF Solver.. 201-213. 2004.

Enrico Giunchiglia, Yuliya Lierler and Marco Maratea. A SAT-based polynomial space algorithm for answer set programming.. 189-196. 2004.

Enrico Giunchiglia, Massimo Narizzano and Armando Tacchella. QBF Reasoning on Real-World Instances.. 105-121. 2004.

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia and Marco Maratea. A SAT-Based Decision Procedure for the Boolean Combination of Difference Constraints.. 16-29. 2004.

Enrico Giunchiglia, Marco Maratea and Armando Tacchella. (In)Effectiveness of Look-Ahead Techniques in a Modern SAT Solver.. 842-846. 2003.

Ian P. Gent, Enrico Giunchiglia, Massimo Narizzano, Andrew G. D. Rowley and Armando Tacchella. Watched Data Structures for QBF Solvers.. 25-36. 2003.

Enrico Giunchiglia, Massimo Narizzano and Armando Tacchella. Learning for Quantified Boolean Logic Satisfiability.. 649-654. 2002.

Alessandro Cimatti, Edmund M. Clarke, Enrico Giunchiglia, Fausto Giunchiglia, Marco Pistore, Marco Roveri, Roberto Sebastiani and Armando Tacchella. NuSMV 2: An OpenSource Tool for Symbolic Model Checking.. 359-364. 2002.

Enrico Giunchiglia, Marco Maratea and Armando Tacchella. Dependent and Independent Variables in Propositional Satisfiability.. 296-307. 2002.

Alessandro Armando, Jacopo Mantovani and Lorenzo Platania. Bounded Model Checking of Software Using SMT Solvers Instead of SAT Solvers.. 146-162. 2006.

Alessandro Armando, Luca Compagna and Silvio Ranise. Rewriting and Decision Procedure Laboratory: Combining Rewriting, Satisfiability Checking, and Lemma Speculation.. 30-45. 2005.

Alessandro Armando and Luca Compagna. Automatic SAT-Compilation of Protocol Insecurity Problems via Reduction to Planning.. 210-225. 2002.

Incollection

Filippo Ricca and Paolo Tonella. Web Application Quality: supporting Maintenance and Testing. Idea Group, 2002.

Paolo Tonella and Filippo Ricca. A Toolkit to Restructure Static Web Sites into Dynamic Web Applications. Franco Angeli, 2005.

Filippo Ricca and Paolo Tonella. Program Transformations for Web Application Restructuring. Idea Group, 2005.

Paolo Traverso, Marco Pistore, Marco Roveri, Annapaola Marconi, Raman Kazhamiakin, Pierluigi Lucchese, Paolo Busetta and Piergiorgio Bertoli. Supporting the Negotiation between Global and Local Business Requirements in Service Oriented Development. 2005.

Paolo Giorgini and Brian Henderson-Sellers. Agent-Oriented Methodologies: an Introduction. Idea group, 2005.

Paolo Giorgini, Manuel Kolp, John Mylopoulos and Jaelson Castro. Tropos: A Requirements-Driven Methodology for Agent-Oriented Software. Idea group, 2005.

Paolo Giorgini, Manuel Kolp, John Mylopoulos and Marco Pistore. The Tropos Methodology: An Overview. Kluwer Academic Publishers, 2004.

Paolo Giorgini, Fabio Massacci and Nicola Zannone. Security and Trust Requirements Engineering. Lecture Notes in Computer Science, 3655. Springer, 2005.

Alessandro Cimatti and Roberto Sebastiani. Building Efficient Decision Procedures on top of SAT solvers. LNCS. Springer, 2006.

Stefano Tonetta. A New Hybrid Approach for Efficient LTL Model Checking. 2006. Advisor: Roberto Sebastiani. Co-advisor: Moshe Y. Vardi

Techreport

Ernesto D'Avanzo, Alberto Lavelli, Bernardo Magnini and Roberto Zanoli. Using Keyphrases as Features for Text Categorization Technical Report n. . ITC-irst. 2003.

Homepage

Research

ResultsPapersToolsDeliverables

Partners

Events

Contacts