] Filters: First Letter Of Last Name is B [Clear All Filters]
"Behavior-oriented Commitment-based Protocols",
Proceedings of the 19th European Conference on Artificial Intelligence (ECAI 2010): IOS Press, 2010.
"A Priori Conformance Verification for Guaranteeing Interoperability in Open Environments",
Proocedings of the 4th International Conference on Service-Oriented Computing (ICSOC 2006), vol. 4294: Springer, 2006.
"Verifying the Conformance of Web Services to Global Interaction Protocols: A First Step",
Proceedings of the 2nd International Workshop on Web Services and Formal Methods (WS-FM 2005), vol. 3670: Springer, pp. 257-271, 2005.
"Run-Time Monitoring of Instances and Classes of Web Service Compositions",
Proceedings of the 2006 IEEE International Conference on Web Services (ICWS 2006): IEEE Computer Society, pp. 63-71, 2006.
"Dynamo + Astro: An Integrated Approach for BPEL Monitoring",
Proceedings of the 2009 IEEE International Conference on Web Services (ICWS 2009): IEEE, pp. 230-237, 2009.
"A Critical Overview of the Web Services Choreography Description Language (WS-CDL)}",
{BPTrends}, 2005.
"Introduction to the Special Issue on the Integration of AI and OR Techniques in CP for Combinatorial Optimization (CPAIOR 2005)",
Constraints, vol. 11, no. 4, pp. 269-270, 2006.
"Neuron Constraints to Model Complex Real World Problems",
Principles and Practice of Constraint Programming, Perugia, Springer, 2011.
"Optimization and Controlled Systems: A Case Study on Thermal Aware Workload Dispatching",
Proceedings of AAAI, 2012.
Abstract
"Monitoring of Real-Time Properties",
{Proceedings of the 26th International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2006)}, vol. 4337: Springer, pp. 260-272, 2006.
"Comparing LTL Semantics for Runtime Verification",
Logic and Computation, 2010.
The FIPA Agent UML Web Site,
, 2007.
"A Case Study on the Automated Verification of Groupware Protocols",
{Proceedings of the 27th International Conference on Software Engineering (ICSE 2005)}: ACM, pp. 596-603, 2005.
"Representing, Analysing and Managing Web Service Protocols",
Data and Knowledge Engineering, vol. 58, no. 3: IEEE Computer Society, pp. 327-357, 2006.
"Analysis and Management of Web Service Protocols",
Proceedings of the 23rd International Conference on Conceptual Modeling (ER 2004), vol. 3288: Springer, pp. 524-541, 2004.
State of the Art Report, Gap Analysis of Knowledge on Principles, Techniques and Methodologies for Monitoring and Adaptation of SBAs,
: S-Cube European Network, 2008.
"A Constraint Programming Approach for Allocation and Scheduling on the CELL Broadband Engine",
Principles and Practice of Constraint Programming, 14th International Conference, CP 2008, Sydney, Australia, pp. 21-35, 2008.
"Multi-stage Benders Decomposition for Optimizing Multicore Architectures",
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 5th International Conference, CPAIOR 2008, Paris, France, pp. 36-50, 2008.
"Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms Using Constraint Programming",
24th International Conference of Logic Programming, ICLP 2008, Udine, Italy, pp. 470-484, 2008.
"Allocation, Scheduling and Voltage Scaling on Energy Aware MPSoCs",
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, Third International Conference, CPAIOR 2006, pp. 44-58, 2006.
"Allocation and Scheduling for MPSoCs via Decomposition and No-Good Generation",
Principles and Practice of Constraint Programming - CP 2005, 11th International Conference, CP 2005, pp. 107-121, 2005.
"Allocation and Scheduling for MPSoCs via decomposition and no-good generation",
IJCAI-05, Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence, pp. 1517-1518, 2005.
"Measuring Efficiency and Executability of Allocation and Scheduling in Multi-Processor Systems-on-Chip",
Intelligenza Artificiale, vol. 2, no. 3, pp. 13-20, 2005.
"Automatic Service Composition Based on Behavioral Descriptions",
Cooperative Information Systems, vol. 14, no. 4, pp. 333–376, 2005.