Tue 6 Nov 2018 10:00 - 10:30 at Horizons 1-4F - SRC Posters I
Tue 6 Nov 2018 15:00 - 15:30 at Horizons 1-4F - SRC Posters II

Bruno Lima received his Master’s degree in Informatics and Computing Engineering from the Faculty of Engineering of the University of Porto (FEUP) in 2014. He conducted a master’s thesis on “Component Testing and Certification for an Ambient Assisted Living Ecosystem”, as a member of the AAL4ALL research team at INESC TEC. Currently, he is PhD student and assistant lecture at the Department of Informatics Engineering of the Faculty of Engineering of the University of Porto. He is also a researcher at INESC TEC where he participates in research projects in the area of e-health and software engineering. His research interests include software engineering, certification and software testing, particularly in the scope of e-health and ambient assisted living systems.

Tue 6 Nov

Displayed time zone: Guadalajara, Mexico City, Monterrey change

10:00 - 10:30
10:00
30m
Poster
How Dance(Sport) Can Help to Produce Better Software
Student Research Competition
10:00
30m
Poster
Towards Learning-Augmented Languages
Student Research Competition
Xinyuan Sun University of California, Davis
10:00
30m
Poster
Feature-Interaction Aware Configuration Prioritization
Student Research Competition
Son Nguyen The University of Texas at Dallas
10:00
30m
Poster
Diversity and Decorum in Open Source Communities
Student Research Competition
Neill Robson NC State University
10:00
30m
Poster
Type Migration in Large-Scale Code Bases
Student Research Competition
Ameya Ketkar Oregon State University, USA
10:00
30m
Poster
Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs
Student Research Competition
David A Tomassi University of California, Davis
10:00
30m
Poster
Mining Error-Handling Specifications for Systems Software
Student Research Competition
Daniel DeFreez University of California, Davis
10:00
30m
Poster
Automated Scenario-based Integration Testing of Distributed Systems
Student Research Competition
Bruno Lima Faculty of Engineering, University of Porto and INESC TEC
10:00
30m
Poster
Reshaping Distributed Agile and Adaptive Development Environment
Student Research Competition
Francesco Nocera Polytechnic University of Bari
10:00
30m
Poster
On the Adoption of Neural Networks in Modeling Software Reliability
Student Research Competition
10:00
30m
Poster
Dara - Hybrid Model Checking of Distributed Systems
Student Research Competition
Vaastav Anand University of British Columbia
15:00 - 15:30
15:00
30m
Poster
Reshaping Distributed Agile and Adaptive Development Environment
Student Research Competition
Francesco Nocera Polytechnic University of Bari
15:00
30m
Poster
Diversity and Decorum in Open Source Communities
Student Research Competition
Neill Robson NC State University
15:00
30m
Poster
On the Adoption of Neural Networks in Modeling Software Reliability
Student Research Competition
15:00
30m
Poster
Towards Learning-Augmented Languages
Student Research Competition
Xinyuan Sun University of California, Davis
15:00
30m
Poster
Mining Error-Handling Specifications for Systems Software
Student Research Competition
Daniel DeFreez University of California, Davis
15:00
30m
Poster
How Dance(Sport) Can Help to Produce Better Software
Student Research Competition
15:00
30m
Poster
Feature-Interaction Aware Configuration Prioritization
Student Research Competition
Son Nguyen The University of Texas at Dallas
15:00
30m
Poster
Bugs in the Wild: Examining the Effectiveness of Static Analyzers at Finding Real-World Bugs
Student Research Competition
David A Tomassi University of California, Davis
15:00
30m
Poster
Type Migration in Large-Scale Code Bases
Student Research Competition
Ameya Ketkar Oregon State University, USA
15:00
30m
Poster
Dara - Hybrid Model Checking of Distributed Systems
Student Research Competition
Vaastav Anand University of British Columbia
15:00
30m
Poster
Automated Scenario-based Integration Testing of Distributed Systems
Student Research Competition
Bruno Lima Faculty of Engineering, University of Porto and INESC TEC