Lucas Cordeiro

Like other search engines (Google or Bing) Radaris collects information from public sources.

Social Networks featuring Lucas Cordeiro

Linkedin

   
Lucas Cordeiro

Locality: Southampton, United Kingdom
Industry: Consumer Electronics

References for Lucas Cordeiro

Web Results

Lucas Cordeiro

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.

Lucas Cordeiro: Publications

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

users.ecs.soton.ac.uk

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 ...

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 ...

Dependable Systems & Software Engineering Research Group ...

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

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 ...

Bounded Model Checking of Multi-threaded Software using SMT ...

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

ECBS 08

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

Futsal Planet

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

Lucas Cordeiro (LKcordeiiro) | Formspring

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

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 ...

Workshop 2 April 2008 - Agility in the Software Process ...

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