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)


page 3 of 7 - listing external talks 41 to 60 of a total of 128

prev   |   1  2  3  4  5  6  7   |   next


* Domain Analysis. Evaluation Procedures
   Miguel Goulão
   [ 9 Sep 2010 ] - Summer School Course

* Domain Engineering: The Case for DSLs
   Mauricio Alférez
   [ 6 Sep 2010 ] - Summer School Course

* A simple proof system for lock-free concurrency
   António Ravara
   [ 10 Jul 2010 ] - Research Talk

* Type based access control to database entities
   João Costa Seco
   [ 10 May 2010 ] - Research Talk

* Aspect-Oriented Requirements Analysis Modelling with Scenarios
   João Araújo
   [ 12 Apr 2010 ] - Invited Lecture

* Programming Language Based Tecnhiques for Software Validation
   João Costa Seco
   [ 3 Mar 2010 ] - Invited Lecture

* A Spatial-Epistemic Logic for Reasoning about Security Protocols
   Bernardo Toninho
   [ 12 Feb 2010 ] - Research Talk

* Defining Behaviours by Quasi-Finality
   Elisabete Freire
   [ 20 Aug 2009 ] - Research Talk

* The Need of Early Aspects
   João Araújo, Ana Moreira
   [ 10 Jul 2009 ] - Summer School Course

* Analyzing Service-Oriented Computing Using the Conversation Calculus
   Hugo Torres Vieira
   [ 9 Jun 2009 ] - Project Meeting Talk

* Software Languages Engineering
   Vasco Amaral
   [ 17 Oct 2008 ] - Departmental Seminar

* Concurrency Control Types for Object-Oriented Programming
   Luis Caires
   [ 25 Sep 2008 ] - Invited Lecture

* A Typed Model for Multiparty Conversations
   Hugo Torres Vieira
   [ 17 Sep 2008 ] - Project Meeting Talk

* Typing Conversations in the Conversation Calculus
   Hugo Torres Vieira
   [ 10 Jun 2008 ] - Project Meeting Talk

* Modeling Compensations in the Conversation Calculus
   Hugo Torres Vieira
   [ 12 Mar 2008 ] - Project Meeting Talk

* Paving the way from requirements to DSLs implementation
   Vasco Amaral
   [ 14 Dec 2007 ] - Departmental Seminar

* Services Science
   Fernando Brito e Abreu
   [ 24 Oct 2007 ] - Keynote

* A comparison of coalgebraic and metric semantics of a CCS-like language
   Elisabete Freire
   [ 22 Oct 2007 ] - Research Talk

* Aspect Oriented RE with Scenarios
   João Araújo, Ana Moreira
   [ 15 Oct 2007 ] - Research Talk

* Semantics of Types for Concurrency
   Luis Caires
   [ 20 Sep 2007 ] - Research Talk


prev   |   1  2  3  4  5  6  7   |   next