Lucas Cordeiro

Locality: Southampton, United Kingdom
Industry: Consumer Electronics

This list of people is sourced from RKBExplorer, the result of an ECS project. Click on the "explain" link to the right of each person to find out how they are connected.

2010. Cordeiro, L. and Fischer, B. (2010) Bounded Model Checking of Multi-threaded Software using SMT solvers. Technical Report , Dependable Systems and Software Engineering ...

Lucas Cordeiro . Summary. Currently, I am doing my PhD in Computer Science as a full-time student in ...

Applying Scrum and Organizational Patterns to Multi-site Software Development 1 Lucas Cordeiro 2, Cassiano Becker 3, Raimundo Barreto 2 2 Departamento de Ciência da Computação ...

Lucas Cordeiro [hidden] Neville Grech; Fan Lu [hidden] Asieh Salehi Fathabadi; Mohammad Reza Sarshogh; Renato A Silva; Meng Tian; Toby Wilkinson [hidden] Sanaz Yeganefard

SMT-Based Bounded Model Checking for Embedded ANSI-CSoftware Lucas Cordeiro University of Southampton lcc08r@ecs.soton.ac.uk Bernd Fischer University of Southampton b.fischer@ecs.so ton ...

Cordeiro, L. and Fischer, B. (2010) Bounded Model Checking of Multi-threaded ... Lucas Cordeiro: Bernd Fischer

Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo Barreto, and Vicente Lucena. 15.30 - 16.00: Coffee. 16.00 - 17.30: Session 2

Lucas Cordeiro Osorio Da Silva (Capital City Futsal Wellington) Miroslav Malivuk (Capital City Futsal Wellington) Mohammed Said Solimanpour (Capital City Futsal Wellington)

View Lucas Cordeiro's profile on Formspring. Formspring is a place where you can respond, have fun and get to know friends better.

Bounded Model Checking of Multi-threaded Software using SMTsolvers Lucas Cordeiro University of Southampton lcc08r@ecs.soton.ac.uk Bernd Fischer University of Southampton b.fischer@ecs.so ...

Lucas Cordeiro, Carlos Mar, Eduardo Valentin, Fabiano Cruz, Daniel Patrick, Raimundo Barreto, and Vicente Lucena. 3.30-4.00 pm: Coffee. 4.00-5.30 Session 2