Computer Science

A comparative evaluation of static analysis actionable alert identification techniques

Proceedings of the 9th International Conference on Predictive Models in Software Engineering, 1–10.

Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013

http://dl.acm.org/citation.cfm?id=2491411

SPLat: lightweight dynamic analysis for reducing combinatorics in testing configurable systems

Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, ESEC/FSE'13, Saint Petersburg, Russian Federation, August 18-26, 2013, 257–267.

Entropy-based test generation for improved fault localization

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013, 257–267.

2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Silicon Valley, CA, USA, November 11-15, 2013

http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6684409

Scheduling mixed-criticality workloads upon unreliable processors

The 11th Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP). Presented at the 11th Workshop on Models and Algorithms for Planning and Scheduling Problems (MAPSP), Pont a Mousson, France.

Mixed-criticality scheduling upon non-monitored varying-speed processors

Presented at the 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES).

Flexible and robust co-regularized multi-domain graph clustering

Presented at the KDD' 13: The 19th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining.

Mixed-Criticality Scheduling upon Varying-Speed Processors

Presented at the 2013 IEEE 34th Real-Time Systems Symposium (RTSS).

Variation support for end users

Presented at the 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

Debugging support for end user mashup programming

Presented at the CHI '13: CHI Conference on Human Factors in Computing Systems.

Predator behavior in the wild web world of bugs: An information foraging theory perspective

Presented at the 2013 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC).

Parallel algorithms for graph optimization using tree decompositions

Proceedings - IEEE 27th International Parallel and Distributed Processing Symposium Workshops and PhD Forum, IPDPSW 2013, 1838–1847.

On a conjecture of Andrica and Tomescu

Journal of Integer Sequences, 16(3). http://www.scopus.com/inward/record.url?eid=2-s2.0-84880061040&partnerID=MN8TOARS

Tree-Like Structure in Large Social and Information Networks

2013 IEEE 13th International Conference on Data Mining, 1–10.

User modelling and adaptive, natural interaction for conflict resolution

Proceedings - 2013 Humaine Association Conference on Affective Computing and Intelligent Interaction, ACII 2013, 719–721.

Synthetic photographs for learning aesthetic preferences

AAAI Workshop - Technical Report, WS-13-17, 83–85. http://www.scopus.com/inward/record.url?eid=2-s2.0-84898902152&partnerID=MN8TOARS

Inferring performer skill from aesthetic quality features in a dance game gesture corpus

AAAI Workshop - Technical Report, WS-13-19, 17–24. http://www.scopus.com/inward/record.url?eid=2-s2.0-84898846949&partnerID=MN8TOARS

The eighth AAAI conference on artificial intelligence and interactive digital entertainment

AI Magazine, 34(1), 87–89. http://www.scopus.com/inward/record.url?eid=2-s2.0-84876194291&partnerID=MN8TOARS

AI authoring for virtual characters in conflict

Proceedings of the 9th AAAI Conference on Artificial Intelligence and Interactive Digital Entertainment, AIIDE 2013, 135–141. http://www.scopus.com/inward/record.url?eid=2-s2.0-84916941876&partnerID=MN8TOARS