CITI has stopped operations in 2014, to co-launch NOVA LINCS THIS SITE IS NOT BEING UPDATED SINCE 2013
citi banner
  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 9 of 37 - listing publications 161 to 180 of a total of 735       * Research Stream publications in BibTeX format

prev   |   5  6  7  8  9  10  11  12  13   |   next

bulletOn the Expressiveness and Decidability of Higher-Order Process Calculi
   [ Feb, 2011 ] - articles
   Ivan Lanese, Jorge A. Pérez, Davide Sangiorgi, Alan Schmitt

bulletManaging Information Flow in SPL Development Processes
   [ 2011 ] - book chapters
   Nicolas Anquetil , Uirá Kulesza, Ralf Mitschke, Ana Moreira, Jean-Claude Royer, Andreas Rummler

bulletHow to reach a usable DSL? Moving toward a Systematic Evaluation
   [ 2011 ] - articles
   Ankica Barisic, Vasco Amaral, Miguel Goulão, Bruno Barroca

bulletSupporting Consistency Checking between Features and Software Product Line Use Scenarios
   [ 2011 ] - in proceedings
   Mauricio Alférez, Roberto E. Lopez-Herrejon, Ana Moreira, Vasco Amaral, Alexander Egyed

bulletSmartLink: A hierarchical approach for connecting smart buildings to smart grids
   [ 2011 ] - in proceedings
   Vasco Amaral, Paulo Carreira

bulletAdvanced Mechanisms for Service Combination and Transactions
   [ 2011 ] - book chapters
   Carla Ferreira, Ivan Lanese, António Ravara, Hugo Torres Vieira, Gianluigi Zavattaro

bulletSoft Constraints in Feature Models
   [ 2011 ] - in proceedings
   Jorge Barreiros, Ana Moreira

bulletA Use Case Package Refactoring: Dealing with the Large, Scattering or Tangling Use Case Model Problems
   [ 2011 ] - in proceedings
   Ricardo Ramos, Jaelson F. B. Castro, João Araújo, Fernanda Alencar

bulletComparing Six Modeling Approaches
   [ 2011 ] - in proceedings
   Gunter Mussbacher, Betty Cheng, Geri George, Robert France, Jörg Kienzle, Ana Moreira

bulletVariability Management
   [ 2011 ] - book chapters
   Steffen Zschaler, Pablo Sanchez, João Santos, Mauricio Alférez, Ana Moreira, João Araújo, Uirá Kulesza, Lidia Fuentes

bulletSymbolic Knowledge Extraction from Trained Neural Networks Governed by Lukasiewicz Logic
   [ 2011 ] - in proceedings
   Carlos Leandro, Helder Pita, Luis Monteiro

bulletStatic Analysis Techniques for Session-Oriented Calculi
   [ 2011 ] - book chapters
   Lucia Acciai, Chiara Bodei, Michele Boreale, Roberto Bruni, Hugo Torres Vieira

bulletTyping Dynamic Roles in Multiparty Interaction
   [ 2011 ] - in proceedings
   Pedro Baltazar, Vasco T. Vasconcelos, Hugo Torres Vieira

bulletAspect-Oriented Refactoring of Java Programs
   [ 2011 ] - book chapters
   Miguel Pessoa Monteiro, João Miguel Lobo Fernandes

bulletConstructive Provability Logic
   [ 2011 ] - in proceedings
   Robert J. Simmons, Bernardo Toninho

bulletHybrid Assessment Method for SPL
   [ 2011 ] - book chapters
   Afonso Pimentel, Rita Ribeiro, Ana Moreira, João Araújo, João Santos, Mauricio Alférez, Uirá Kulesza, Pim van den Broek

bulletIntegrating an Automatic Judge into an Open Source LMS
   [ 2011 ] - articles
   Katerina Georgouli, Pedro Guerreiro

bulletTowards the improvement of use case models: the AIRDoc process
   [ 2011 ] - in proceedings
   Ricardo Ramos, Jaelson F. B. Castro, João Araújo, Fernanda Alencar

bulletLinguagem Intermédia Tipificada para Máquina de Pilha Concorrente com Objectos.
   [ 2011 ] - in proceedings
   Luís Miguel Lourenço, João Costa Seco

bulletTools and Verification
   [ 2011 ] - book chapters
   Massimo Bartoletti, Luis Caires, Ivan Lanese, Franco Mazzanti, Davide Sangiorgi, Hugo Torres Vieira, Roberto Zunino

prev   |   5  6  7  8  9  10  11  12  13   |   next