]
"Reducing the Abstraction and Optimality Gaps in the Allocation and Scheduling for Variable Voltage/Frequency MPSoC Platforms",
IEEE Trans. on CAD of Integrated Circuits and Systems, vol. 28, no. 3, pp. 378-391, 2009.
"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.
"A Retrospective on the Reactive Event Calculus and Commitment Modeling Language",
Declarative Agent Languages and Technologies IX, vol. 7169: Springer Berlin / Heidelberg, pp. 120-127, 2012.
Abstract
"Robust non-preemptive hard real-time scheduling for clustered multicore platforms",
Design, Automation and Test in Europe, DATE 2009, Nice, France, pp. 803-808, 2009.
"Robust Scheduling of Task Graphs under Execution Time Uncertainty",
IEEE Transactions on Computers, vol. 62, issue 1, no. 99: IEEE, pp. 90--111, 2013.
"Role Monitoring in Open Agent Societies",
Agent and Multi-Agent Systems: Technologies and Applications, 4th KES International Symposium, KES-AMSTA 2010, vol. LNCS 6070, Gdynia, Poland, Springer, 06/2010.
"Runtime Addition of Integrity Constraints in Abductive Logic Programs",
Proceedings of the 26th International Conference on Logic Programming (ICLP 2010), 2010.
"Scheduling Conditional Task Graphs",
Principles and Practice of Constraint Programming - CP 2007, 13th International Conference, CP 2007, Providence, RI, USA, pp. 468-482, 2007.
"Sliced Neighborhood Search",
Expert Systems with Applications, vol. 39, issue 5, pp. 5739-5747 , 2012.
"Social Commitments in Time: Satisfied or Compensated",
Declarative Agent Languages and Technologies VII (DALT 2009). Revised Selected and Invited Papers, vol. 5948: Springer, pp. 228-243, 2010.
Download: DALT2009.pdf (301.44 KB)
"A Social Semantics for Agent Communication Languages",
Issues in Agent Communication, vol. 1916: Springer, pp. 31-45, 2000.
"Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs",
Principles and Practice of Constraint Programming - CP 2006, 12th International Conference, pp. 299-313, 2006.
"Stochastic Allocation and Scheduling for Conditional Task Graphs in Multi-Processor Systems-on- Chip",
Journal on Scheduling, vol. 13(4), no. 4, pp. 315-345, 2010.
"Sustainable biomass power plant location in the Italian Emilia-Romagna region",
ACM Transactions on Intelligent Systems and Technology, vol. 2, issue 4, 2011.
"Sustainable Energy Policies: Challenges and Opportunities",
Design and Automation Europe - DATE 2013, Grenoble, KP Publications, 03/2013.
Abstract
"Throughput Constraint for Synchronous Data Flow Graphs",
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 6th International Conference, CPAIOR 2009, Pittsburgh, PA, USA, pp. 26-40, 2009.
"Urban Traffic Control System Using Self-Organization",
13th International IEEE Conference on Intelligent Transportation Systems, pp. 255-260, 2010.
Web Services Agreement Specification (WS-Agreement),
: Grid Resource Allocation Agreement Protocol (GRAAP) WG, 2007.
"The Weighted Average Constraint",
CP, pp. 191-206, 2012.
"What-if analysis through simulation-optimization hybrids",
European Conference on Modeling and Simulation - Track on Policy Modeling, Koblenz, 2012.
Download: ecms12.pdf (1.62 MB)
"A Calculus of Mobile Processes",
Information and Computation, vol. 100, no. 1: Academic Press, Inc., pp. 1-40, 1992.
"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.
"A Computational Logic-Based Approach to Verification of IT Systems",
Proceedings of the 14th Annual Workshop of HP Software University Association (HP-SUA 2007): HP Software University Association, 2007.
"A Constraint-Based Approach for Specification and Verification of Real-Time Systems",
Proceedings of the 18th IEEE Real-time Systems Symposium (RTSS 1997): IEEE Computer Society, pp. 230-239, 1997.
"A Critical Overview of the Web Services Choreography Description Language (WS-CDL)}",
{BPTrends}, 2005.