M. A. D. Silva

Eighth International Workshop on Constraint Handling Rules Workshop Organization Program Chair Modeling Dependent Events with Chrism for Probabilistic Abduction . . 48 Boosting Chr through Hardware Acceleration Chr for Spoken and Other Biological Languages

J. Robin, Armando Gonçalves, P. Deransart, 2011 .

Extending CHR with objects under a variety of inheritance and world-closure assumptions

J. Robin, M. A. D. Silva, 2009 .

Supporting the Development and Operation of Multi-cloud Applications: The MODAClouds Approach

Danilo Ardagna, Marcos Aurélio Almeida da Silva, Elisabetta Di Nitto, 2013, 2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

Deviation management during process execution

Reda Bendraou, Xavier Blanc, Marcos Aurélio Almeida da Silva, 2011, 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011).

Feature Identification from the Source Code of Product Variants

Tewfik Ziadi, Marcos Aurélio Almeida da Silva, Mikal Ziane, 2012, 2012 16th European Conference on Software Maintenance and Reengineering.

Towards Automated Inconsistency Handling in Design Models

Reda Bendraou, Xavier Blanc, Marcos Aurélio Almeida da Silva, 2010, CAiSE.

Model-Driven Design of Cloud Applications with Quality-of-Service Guarantees: The MODAClouds Approach, MICAS Tutorial

Danilo Ardagna, Marcos Aurélio Almeida da Silva, Nicolas Ferry, 2014, 2014 16th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

LSVF: Least Suggested Value First - A New Search Heuristic to Reduce the Amount of Backtracking Calls in CSP

Marcos Aurélio Almeida da Silva, Eric Rommel Dantas Galvão, Ryan Ribeiro de Azevedo, 2010, ICAART.

Towards a Generic Trace for Rule Based Constraint Reasoning pdf

Pierre Deransart, Marcos Aurélio Almeida da Silva, Jacques Robin, 2012, ArXiv.

Incremental inconsistencies detection with low memory overhead

Reda Bendraou, Xavier Blanc, Marcos Aurélio Almeida da Silva, 2012 .

Artifact or process guidance, an empirical study

Reda Bendraou, Xavier Blanc, Marcos Aurélio Almeida da Silva, 2010, MODELS'10.

Taming the Complexity of Big Data Multi-Cloud Applications with Models

Alessandra Bagnato, Marcos Aurélio Almeida da Silva, Andrey Sadovykh, 2014, CSDM.