CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
Home Page FCT/UNL UNL
  Home  \  Research Areas  \  Research Stream Login  
   
banner bottom
[ Software Systems ]

Software Systems researches new programming and modeling languages, development methods and environments for large software-intensive systems, with a focus on web based and dependable systems, where communication and concurrency are pervasive. Sample application scenarios we are particularly interested in include web based applications (e.g., business apps, social networks), service infrastructures (e.g., app-stores, multi-party services / mashups), and ubiquitous computing infrastructures, such as smart buildings. Our work bridges from foundational theoretical principles to prototype development, experimental validation, and ultimately to technology and knowledge transfer.


bulletLuis Caires, Full Professor, Area/Group coordinator
bulletLuis Monteiro, Full Professor
bulletPedro Guerreiro, Full Professor
bulletAna Moreira, Associate Professor
bulletFernando Brito e Abreu, Associate Professor
bulletAntónio Ravara, Assistant Professor
bulletArtur Miguel Dias, Assistant Professor
bulletCarla Ferreira, Assistant Professor
bulletFernanda Barbosa, Assistant Professor
bulletJoão Araújo, Assistant Professor
bulletJoão Costa Seco, Assistant Professor
bulletMargarida Mamede, Assistant Professor
bulletMiguel Goulão, Assistant Professor
bulletMiguel Pessoa Monteiro, Assistant Professor
bulletVasco Amaral, Assistant Professor
bulletAnacleto Correia, Associate Researcher
bulletElisabete Freire, Associate Researcher
bulletHugo Torres Vieira, Associate Researcher
bulletIsabel Sofia Brito, Associate Researcher
bulletJorge A. Pérez, Associate Researcher
bulletLuís Alexandre Ferreira da Silva, Associate Researcher
bulletMarco Giunti, Associate Researcher
bulletMauricio Alférez, Associate Researcher
bulletAna Paula Maldonado, PhD Student
bulletAnkica Barisic, PhD Student
bulletAnne Kersten, PhD Student
bulletBernardo Toninho, PhD Student
bulletCarlos Leandro, PhD Student
bulletCédric Grueau, PhD Student
bulletFilipe Militão, PhD Student
bulletJorge Barreiros, PhD Student
bulletJosé Magno Lopes, PhD Student
bulletLuísa Lourenço, PhD Student
bulletMiguel Domingues, PhD Student
bulletSérgio Bryton, PhD Student
bulletTiago Santos, PhD Student
Research Stream Activities:

*  Research Projects (55)
*  Publications (735)
*  Seminars @ CITI (86)
*  External Talks (128)
*  Graduation Activities (230)
*  Organization of Events (277)
*  Editorial Committees (11)
*  Prototypes (72)
*  Visits (128)


[ Ongoing Projects ]      [ Concluded Projects ]

page 1 of 3 - listing concluded projects 1 to 20 of a total of 53

prev   |   1  2  3   |   next


* cHiPSet - High-Performance Modelling and Simulation for Big Data Applications
   [ Apr 2014 - Apr 2018 ] - Vasco Amaral

* SyncFree - Large-scale computation without synchronisation
   [ Oct 2013 - Sep 2016 ] - Nuno Preguiça, Carla Ferreira, João Lourenço, Rodrigo Rodrigues, Sérgio Duarte, Valter Balegas

* BETTY - behavioural types for reliable large-scale software systems
   [ Oct 2012 - Oct 2015 ] - António Ravara, Bernardo Toninho, Carla Ferreira, João Costa Seco, Luis Caires, Marco Giunti

* SwiftComp - SwiftComp - Fast and Efficient Incremental Computation for Cloud Computing Environments
   [ Jul 2013 - Jun 2015 ] - Nuno Preguiça, David Navalho, João Lourenço, Margarida Mamede, Rodrigo Rodrigues, Sérgio Duarte

* Liveness, statically
   [ Mar 2012 - Apr 2015 ] - António Ravara, Hugo Torres Vieira, Marco Giunti, Vasco T. Vasconcelos

* FLEX-AGILE - Flexibility and Confidence in Application Development
   [ Aug 2008 - Dec 2014 ] - Luis Caires, Hugo Torres Vieira, João Costa Seco, Luísa Lourenço, Miguel Domingues

* Qais - Quantitative analysis of interacting systems: foundations and algorithms
   [ Jan 2012 - Dec 2014 ] - Ana Paula Maldonado, Elisabete Freire, Luis Monteiro

* MDD-RT - Model-Driven Development of Configurable Aspectual Black Box Components for Embedded and Real-Time Systems
   [ May 2011 - Jul 2013 ] - Ana Moreira, Bruno Barroca, João Araújo, Jorge Barreiros, Mauricio Alférez, Miguel Goulão, Vasco Amaral

* ISTRION - Improving Phrase-Based Statistical Machine TRanslation through supervisION
   [ Mar 2011 - Feb 2013 ] - Gabriel Pereira Lopes, Joaquim Ferreira da Silva, Jorge Costa, José Aires, Kavitha Mahesh, Luís Gomes, Luís Russo, Vitor Rocio

* ASSERTION - Assertion Types for Object-Oriented Programming
   [ Jan 2010 - Dec 2012 ] - Luis Caires, João Costa Seco

* GAsPar - General-purpose Aspect-Oriented framework for heterogeneous multicore Parallel systems
   [ Jan 2010 - Dec 2012 ] - Miguel Pessoa Monteiro

* StreamLine - Thread-Safety by Typing for Mainstream Concurrent Object-Oriented Programming
   [ Jan 2010 - Dec 2012 ] - João Costa Seco, Carla Ferreira, Hugo Torres Vieira, José Pacheco, Luis Caires

* INTERFACES - Certified Interfaces for Integrity and Security in Extensible Web Based Applications
   [ May 2009 - May 2012 ] - Luis Caires, Bernardo Toninho, Carla Ferreira, Filipe Militão, Hugo Torres Vieira, João Costa Seco, José Pacheco

* LiveFeeds - P2P Dissemination of Web Syndication Content
   [ Jan 2008 - Jun 2011 ] - Sérgio Duarte, José Legatheaux Martins, Margarida Mamede, Nuno Preguiça

* PRIA - Parallel Programming Refinements for Irregular Applications
   [ Jul 2009 - Jun 2011 ] - Miguel Pessoa Monteiro

* IPDMS - Integrated Process Design and Management System
   [ Dec 2008 - Dec 2010 ] - Fernando Brito e Abreu, Vasco Amaral

* RSOA - Identificação de Interesses e Refabricação em Sistemas Orientados a Aspectos
   [ Jan 2008 - Dec 2010 ] - Pedro Guerreiro, Ana Moreira, Isabel Sofia Brito, João Araújo, José Magno Lopes, Miguel Goulão

* BATIC3S - Building Adaptive Three-dimensional Interfaces
   [ Oct 2005 - Nov 2010 ] - Vasco Amaral, Ana Moreira, Bruno Barroca, João Araújo, Vasco Sousa

* SENSORIA - Software Engineering for Service-Oriented Overlay Computers
   [ Sep 2005 - May 2010 ] - Carla Ferreira, Hugo Torres Vieira, João Costa Seco, Luis Caires, Luis Monteiro

* AspectWeb - Developing Web Applications with Aspects.
   [ Mar 2008 - Feb 2010 ] - João Araújo, Ana Moreira, Armanda Rodrigues


prev   |   1  2  3   |   next