Full name: David de Oliveira Costa
Formal name: D.F. de Oliveira Costa
Function: Scientific Staff Member
Email: D.F.de.Oliveira.Costa@cwi.nl
Room: L210
Research groups:
(SEN3) Foundations of software engineering
Formal name: D.F. de Oliveira Costa
Function: Scientific Staff Member
Email: D.F.de.Oliveira.Costa@cwi.nl
Room: L210
Research groups:
(SEN3) Foundations of software engineering
Career
| 2007 - 2011 | WPO SEN3 - Foundations of Software Engineering |
| 2003 - 2007 | PhD student SEN3 - Foundations of Software Engineering |
Recent Publications
| David Costa. Formal Models for Component Connectors. PhD thesis 2010. |
| C. Krause, David Costa, J.M.P. Proença, F. Arbab. Reconfiguration of Reo Connectors Triggered by Dataflow. , Electronic Communications of the EASST 10, 2008. |
| D. Clarke, David Costa, F. Arbab. Connector Colouring I: Synchronization and Context Dependency. Science of Computer Programming 66, 205–225, 2007. |
| D. Clarke, David Costa, F. Arbab. Connector Colouring I: Synchronization and Context Dependency. Electronic Notes in Theoretical Computer science 154, 101–119, 2006. |
| H.H. Hansen, David Costa, J.J.M.M. Rutten. Synthesis of Mealy machines using derivatives. Proceedings of the 8th Workshop on Coalgebraic Methods in Computer Science, Electronic Notes in Theoretical Computer Science 164, 27–45, 2006. |
