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 2 of 5 - listing seminars 21 to 40 of a total of 86

prev   |   1  2  3  4  5   |   next


* Adaptable Processes
   [ 26 Oct 2011 ] - Jorge A. Pérez

* Developing Software Technologies through Experimentation: Experiences from the Battlefield
   [ 24 Jun 2011 ] - Guilherme Horta Travassos (Universidade Federal do Rio de Janeiro)

* Lightweight Fault Diagnosis of Software
   [ 15 Jun 2011 ] - Rui Maranhão (Universidade do Porto)

* Type-based Access Control in Data-Centric Systems
   [ 8 Jun 2011 ] - João Costa Seco

* Failure Prediction: The Future of Dependable Computing
   [ 4 May 2011 ] - Marco Vieira (Universidade de Coimbra)

* What is so hard about Science Communication?
   [ 13 Apr 2011 ] - José Vitor Malheiros (--)

* Modeling components and behaviors with the CAB language
   [ 2 Dec 2010 ] - Cinzia Di Giusto (INRIA)

* Measuring Application Functional Size using Static Analysis
   [ 30 Nov 2010 ] - Lúcio Ferrão (OutSystems, SA)

* Quality and Evolution: Some Relationships
   [ 3 Nov 2010 ] - Michel Wermelinger (Open University Milton Keynes)

* RDBMS support for one-to-many data transformations
   [ 27 Oct 2010 ] - Helena Galhardas (INESC Id)

* Responsive Choice in Mobile Processes
   [ 19 May 2010 ] - Maxime Gamboni (Instituto Superior Técnico)

* Parallel and Distributed Compressed Indexes
   [ 12 May 2010 ] - Luís Russo

* A Type System for Access Control in an Object-Oriented Language
   [ 16 Dec 2009 ] - Mário Pires

* A Spatial-Epistemic Logic and Tool for Reasoning about Security Protocols
   [ 16 Dec 2009 ] - Bernardo Toninho

* A Note on Sparse Anti-Monge Matrices
   [ 4 Nov 2009 ] - Luís Russo

* DSL Composition for model-based test generation
   [ 14 Oct 2009 ] - Levi Silva Lúcio (CITI)

* Of Bugs and Men (and Plugins too)
   [ 24 Jul 2009 ] - Michel Wermelinger (Open University Milton Keynes)

* Typestate Verification for Aliased Objects using Invariant-Carrying Permissions
   [ 14 Jul 2009 ] - Jonathan Aldrich (Carnegie Mellon University)

* Representing Almost All Local Longest Common Subsequence Values
   [ 27 May 2009 ] - Luís Russo

* Bridging the gap between Interaction- and Process-Oriented Choreographies
   [ 19 Dec 2008 ] - Ivan Lanese (Universitá di Bologna)


prev   |   1  2  3  4  5   |   next