List of publications
(most recent first)
Notice: The documents contained in these directories are included by the
contributing authors as a means to ensure timely dissemination of scholarly and
technical work on a non-commercial basis. Copyright and all rights therein are
maintained by the authors or by other copyright holders, notwithstanding that
they have offered their works here electronically. It is understood that all
persons copying this information will adhere to the terms and constraints
invoked by each author's copyright.
Mercury: A reflective middleware for automatic parallelization of Bags-of-Tasks
João Nuno Silva, Luis Veiga, Paulo Ferreira.
The 8th Workshop on Adaptive and Reflective Middleware (ARM'09)
December 1st 2009, Urbana Champaign, Illinois, USA collocated with
Middleware 2009.
Transferência de Ficheiros Baseada em Chunks com Eliminação de Redundância.
Diogo Paulo, João Barreto, Paulo Ferreira,
9º Conferência sobre Redes de Computadores, 15 e 16 de Outubro, no campus do IST no Tagus Park, Porto Salvo, Oeiras.
Efficient In-Band Deduplication in Replicated Systems. (to appear)
João Barreto, Paulo Ferreira,.
ACM/IFIP/USENIX 10th International Middleware Conference Urbana Champaign, Illinois, USA. November 30 - December 4, 2009.
Data-aware connectivity in mobile replicated systems.
João Barreto, Joao Garcia, Paulo Ferreira.
Eighth International ACM Workshop on Data Engineering for Wireless and
Mobile Access 10 Year Anniversary June 29th, 2009, Providence, Rhode
Island, USA (in conjunction with SIGMOD/PODS 2009).
VeryVote: a voter verifiable code voting system.
Rui Joaquim, Carlos Robeiro, Paulo Ferreira.
Second international conference on E-voting and Identity (VOTE-ID 2009) 7-8 September 2009, Luxembourg.
Sistemas Operativos.
José Alves Marques, Paulo Ferreira, Carlos Ribeiro, Luís Veiga, Rodrigo Rodrigues.
FCA. ISBN 978-972-722-575-0.
(link)
Year: 2008
Year: 2007
An Efficient and Fault-Tolerant Update Commitment
Protocol for Weakly Connected Replica.
João Barreto, Paulo Ferreira.
Special issue of the Journal on Concurrency and Computation,
Practice and Experience, Wiley.
(pdf)
Complete Distributed Garbage Collection using Consistent Cuts and .Net AOP-Support.
Luís Veiga, Paulo Pererira, , Paulo Ferreira.
IET Software Journal, The Instituition of
Engineering and Technology (formerly IEE Software), Vol 1(6),
(doi:10.1049/iet-sen:20070015), Dec. 2007.
(pdf)
A policy-oriented language for expressing security
specifications.
Carlos Ribeiro, Paulo Ferreira.
IJNS - International Journal of Network Security.
(pdf)
Vector-Field Consistency for Ad-hoc Gaming. - Best Paper Award
Nuno Santos and Luis Veiga and Paulo Ferreira.
ACM/IFIP/Usenix International Middleware Conference (Middleware 2007), Sep. 2007 , Springer.
(pdf)
Year: 2006
Extending .NET Remoting
with Distributed Garbage Collection.
Paulo Pereira, Luis Veiga, Paulo Ferreira.
Second Edition of the International Conference on Innovative Views of .NET Technologies (IVNET'06), Florianópolis (Brasil), October 2006.
(pdf)
Context Awareness: an Experiment with Hoarding.
João
Garcia, Luís Veiga, Paulo Ferreira.
Proceedings of the
European Conference on Parallel Processing (EuroPar
2006),
(pdf)
Operating System Support for Task-Aware Applications.
João Garcia, Paulo Ferreira.
Conference on Mobile and Ubiquitous Systems.
(pdf)
Heimdhal:
A History-based Policy Engine for Grids.
Pedro Gama, Carlos Ribeiro, Paulo
Ferreira.
6th IEEE International Symposium on Cluster Computing and the GRID Singapura, 16-19 May, 2006.
(pdf)
Making Distributed Transactions
Resilient to Intermittent Network Connections.
Nuno Santos, Paulo Ferreira.
4th IEEE International Workshop on
(pdf)
A Scalable History-based Policy Engine.
Pedro Gama, Carlos Ribeiro, Paulo Ferreira.
2006 IEEE Workshop on Policies for Distributed Systems and Networks, 5-7
June 2006, The University of Western Ontario, London , Ontario, (CANADA).
(pdf)
Seamless Service Access via Resource Replication.
Paulo Ferreira, Luís Veiga.
Cap. do Livro:
(pdf)
An Efficient
and Fault-Tolerant Update Commitment Protocol for Weakly Connected Replica.
João Barreto, Paulo Ferreira.
Special issue of the Journal on Concurrency and Computation,
Practice and Experience, Wiley.
Accepted for publication.
A
policy-oriented language for expressing security specifications.
Carlos Ribeiro, Paulo Ferreira.
IJNS - International Journal of Network Security.
Accepted for publication.
Year: 2005
Semantic-Chunks A Middleware for Ubiquitous Cooperative Work.
Luis Manuel Antunes Veiga and Paulo Jorge Pires Ferreira.
4th Workshop on Adaptive and Reflective Middleware (6th ACM/IFIP/Usenix Middleware Conference), Nov. 2005 , ACM.
(pdf)
Efficient File Storage Using Content-based Indexing.
João Pedro Faria Mendonça Barreto and Paulo Jorge Pires Ferreira.
20th ACM Symposium on Operating Systems Principles (Poster Session), Oct. 2005 , ACM
(pdf)
An Efficient and Fault-Tolerant Update Commitment Protocol for Weakly Connected Replicas.
João Pedro Faria Mendonça Barreto and Paulo Jorge Pires Ferreira.
Euro-Par 2005, Aug. 2005 , pp. 1059-1068 , Springer Verlag.
Obligation Policies: An Enforcement Platform.
Pedro Gama and Paulo Ferreira.
Sixth IEEE
International Workshop on Policies for Distributed Systems and Networks.
A Highly Available Replicated File System for Resource-Constrained Windows CE .Net Devices
João Barreto, Paulo Ferreira
Proceedings of the 3rd
International Conference on .NET Technologies, Pilsen
(
Asynchronous Complete Distributed Garbage Collection.
Luis Manuel Antunes Veiga and Paulo Jorge Pires Ferreira.
19th IEEE International Parallel and Distributed Processing Symposium (IPDPS 2005), Apr. 2005 , IEEE.
(pdf)
Garbage
Collection Curriculum (MSDN Academic
Paulo Jorge Pires Ferreira and Luis Manuel Antunes Veiga.
(pdf)
Year: 2004
Introduction to the Special Issue on "Pervasive Computing and Ambient Intelligence"
Paulo Ferreira and H. Raffler (guest editors)
Computers & Graphics, Volume 28, Issue 5, October 2004, Pages 623-624
Remote Code Execution on
Ubiquitous
João Nuno Silva and Paulo Ferreira
Second European Symposium (EUSAI
2004), Oct. 2004 , pp. 172--183 , Springer-Verlag
PoliPer: Policies for Mobile and Pervasive Environments
Luis Veiga and Paulo Ferreira
International Middleware Conference (3rd Workshop on Adaptive and Reflective Middleware), Sep. 2004 , ACM.
Loosely-Coupled,
Luis Veiga and Nuno Santos and Ricardo Lebre and Paulo Ferreira
International Conference on Parallel and Distributed Systems (Workshop on QoS and Dynamic Systems), Jul. 2004 , IEEE.
Transactions Policies for
Nuno Santos and Luis Veiga and Paulo Ferreira,
International Workshop on Policies for Distributed Systems and Networks, Jun. 2004 , IEEE.
Turning The Web Into An Effective Knowledge Repository.
Luis Veiga, Paulo Ferreira
International Conference on
A Replicated
File System for Resource Constrained
João Barreto, Paulo Ferreira.
International Conference on Applied Computing (IADIS’2004), Mar. 2004.
Internet Voting: Improving resistance to malicious servers in REVS.
Ricardo Lebre, Rui Joaquim, André Zúquete, Paulo Ferreira.
International Conference on Applied Computing (IADIS'2004), Mar. 2004 .
Year: 2003
Casa do Futuro Interactiva
Paulo Ferreira.
Chapter Middleware in "Casa do Futuro", Dec 2003, Fundação
Portuguesa das Comunicações.
REVS – A Robust Electronic Voting System.
Rui Joaquim, André Zúquete, Paulo Ferreira.
IADIS - International Journal of WWW/Internet, (), pp. , Dec. 2003, IADIS Press (ISSN 1645-7641).
Complete Distributed Garbage Collection, An Experience With Rotor
Luis Veiga, Paulo Ferreira
IEE Software Journal, 150(5), pp. 283--290, Nov. 2003, IEE Software.
OBIWAN: Design and Implementation of a Middleware Platform.
Paulo Ferreira, Luis Veiga, Carlos Ribeiro
IEEE Transactions on Parallel and Distributed Systems, 14(11), pp. 1086--1099, Nov. 2003, IEEE.
PUC – Sistema de Comunicações Pessoais para as Redes de Próxima Geração.
Alberto Silva, João Patriarca, João Clemente, Paulo Chainho, Paulo
Ferreira.
3º Congreso Iberoamericano de Telemática (CITA’2003),, Oct. 2003 .
Enforcing History-Based Security
Policies in
Pedro Dias, Carlos Ribeiro, Paulo Ferreira
Proceedings of the IEEE 4th
International Workshop on Policies for Distributed Systems and Networks,
REVS - A Robust Electronic Voting System.
Rui Joaquim, André Zúquete, Paulo Ferreira.
IADIS International Conference e-Society 2003, Lisboa (Portugal), June
3-6, 2003.
RepWeb:
Replicated Web with Referential Integrity.
Luís Veiga, Paulo Ferreira.
Proceedings of the18th ACM Symposium on Applied Computing,
CORBA Persistence Object Service using PerDiS.
Edi Ray Zavaleta Olea, João Garcia, Paulo Ferreira.
Proceedings of
the 6th World Multiconference on Systemics,
Cybernetics and Informatics (SCI 2002).
Concurrency Control for Distributed Co-operative Engineering Applications
João Garcia, Paulo Ferreira .
Proceedings of the Symposium on Applied Computing 2002 (SAC'2002), pp. 958-963,
(pdf)
Incremental Replication for Mobility Support in OBIWAN
Luís Veiga, Paulo Ferreira .
Proceedings of the Internetaional Conference on
Distributed Computing Systems (ICDCS'2002), Viena (
(pdf)
Mobility and Wireless Support in OBIWAN.
Luís Veiga, Paulo Ferreira.
In Advanced Topic Workshop on Middleware for
3rd IFIP/ACM Middleware Conference,
Enforcing Obligation with Security Monitors
Carlos Ribeiro, André Zúquete, Paulo Ferreira
Third International Conference on Information and Communication Security
(ICICS'2001), Xian (
(pdf)
SPL: An acess control language for security
policies with complex constraints
Carlos Ribeiro, André Zúquete, Paulo Ferreira
and Paulo Guedes
Network and Distributed System Security Symposium (NDSS´01), San Diego (USA),
February 2001.
(pdf)
Distributed Garbage Collection for Wide Area Replicated Memory
Alfonso Sánchez, Luís Veiga and Paulo Ferreira
Sixth USENIX Conference on Object-Oriented Technologies and Systems (COOTS'01),
San Antonio (USA), January 2001.
(postscript)
SEFS: Security Module for Extensible File System Architectures
Luís Ferreira, André Zúquete and Paulo Ferreira
European Conference on Information Security Solutions (ISSE), Barcelona,
September 2000.
(pdf)
OBIWAN - Object Broker Infrastructure for Wide Area Networks
Luís Veiga, João Garcia, João Silva, and Paulo Ferreira
Ninth ACM SIGOPS European Workshop, Kolding (Denmark), September 2000.
(postscript)
Experience with the PerDiS Large Scale Data
Sharing Middleware
Marc Shapiro, Paulo Ferreira and Nicolas Richer
Ninth International Workshop on Persistent Object Systems: Design,
Implementation and Use,
(postscript)
Distributed Shared Memory Infrastructure for Virtual Enterprises in
Building and Construction
Fadi Sandakly, João Garcia,
Paulo Ferreira, Patrice Poyet,Journal
of Intelligent Manufacturing,Vol.12, n.2, pp.199-212. Eds. U.
Rembold & H.Yamashina, Kluwer Academic Publishers (NY), Abril
2001.
(pdf)
Security Policy Consistency
Carlos Ribeiro, André Zúquete, Paulo Ferreira
and Paulo Guedes
First Workshop on Rule-Based Constraint Reasoning and Programming, Imperial
College, London (UK), July 2000.
(pdf)
World Wide Gathering Automatic Management
Luís Veiga and Paulo Ferreira
Second International Conference on
(pdf)
Recent Advances in Distributed Garbage Collection
Marc Shapiro, Fabrice le Fessant,
and Paulo Ferreira
Book chapter in Recent Advances in Distributed Systems, eds.
(postscript)
PerDiS: design, implementation, and use
of a PERsistent DIstributed
Store
Paulo Ferreira, Marc Shapiro, Xavier Blondel,
Olivier Fambon, João Garcia, Sytse
Kloosterman, Nicolas Richer, Marcus Roberts, Fadi Sandakly, George Coulouris, Jean Dollimore, Paulo Guedes, Daniel Hagimont, and Sacha Krakowiak
Book chapter in Recent Advances in Distributed Systems, eds. S. Krakowiak and S.K. Shrivastava,
Springer Verlag LNCS vol. 1752, February 2000.
(postscript)
Year: 1999
An Authentication Protocol for Mobile Devices
Paulo Simões, Pedro Alves, José Rogado, and Paulo
Ferreira
International Workshop on Internet 2000 (integrated in the Internatioanl
Conference on Distributed Computing Systems-ICDCS'2000), Taipei, Taiwan
(Republic of China), April 10-13, 2000.
Note: a previous version of this article appears in the First Portuguese
Workshop on Mobile Computing, Tomar
(
(pdf)
Parallel Operating Systems
João Garcia, Paulo Ferreira, and Paulo Guedes
Book chapter in Handbook on Parallel and Distributed Processing.
(postscript)
Recent Advances in Distributed Garbage Collection
Marc Shapiro, Fabrice le Fessant,
and Paulo Ferreira
(postscript)
Broadcast Workshop on Recent Advances in Distributed Systems, Cambridge (UK), July 1999.
PerDiS: design, implementation, and use
of a PERsistent DIstributed
Store
Paulo Ferreira, Marc Shapiro, Xavier Blondel,
Olivier Fambon, João Garcia, Sytse
Kloosterman, Nicolas Richer, Marcus Roberts, Fadi Sandakly, George Coulouris, Jean Dollimore, Paulo Guedes, Daniel Hagimont, and Sacha Krakowiak
Broadcast Workshop on Recent Advances in Distributed Systems, Cambridge (UK),
July 1999.
Note: a previous version of this paper can be found as a technical report
(QMW TR 752, CSTB ILC/98-1392, INRIA RR 3525, INESC
RT/5/98).
(postscript)
PerDiS: An Infrastructure for
Cooperative Engineering in Virtual Entrepises in a
Virtual Enterprise
Fadi Sandakly, Joao
Garcia, Paulo Ferreira, and Patrice Poyet
PROVE'99, IFIP/PRODNET Working Conference on Infrastructures for Industrial
Virtual Enterprises, Porto (Portugal), October 1999
(postscript
from microsoft word)
Year: 1998
The PerDiS FS: A Transactional File System for
a Distributed Persistent Store
João Garcia, Paulo Ferreira and Paulo Guedes
Eigth ACM Sigops
Workshop, Sintra, Portugal, September 1998
(postscript)
Implementing Garbage Collection in the PerDiS
System
Xavier Blondel, Paulo Ferreira and Marc
Shapiro
Eigth International Workshop on Persistent Object
Systems: Design, Implementation and Use,
(postscript)
Modelling a Distributed Cached Store for
Garbage Collection: the algorithm and its correctness proof
Paulo Ferreira and Marc Shapiro
ECOOP'98,
(postscript)
PerDiS: Peristent
Distributed Store for Virtual Enterprise Concurrent Engineering
Fadi Sandakly, Sytse Kloosterman, Paulo
Ferreira and Patrice Poyet
CI W78, Stockholm, Sweden, May 1998
(postscript from microsoft word)
Year: 1997
PPF Case Study:Fitting
a Distributed Garbage Collection Algorithm to a Persistent Distributed Store
Architecture
Xavier Blondel, Paulo Ferreira and Marc
Shapiro
OOPSLA'97 Workshop on Garbage Colletion, October
1997.
(postscript)
Fault Tolerance: Design and Exploratory Ideas
Paulo Ferreira and João Garcia
PerDiS Deliverable PDS-R-97-009, August 1997.
(postscript)
Year: 1996
Larchant: Persistence by Reachability in Distributed Shared Memory through Garbage
Collection.
Paulo Ferreira.
Ph.D. Thesis, University Pierre et Marie Curie - Paris VI, May 1996.
(postscript)
(abstract)
Larchant: Persistence by Reachability in Distributed Shared Memory through Garbage
Collection.
Paulo Ferreira and Marc Shapiro.
16th ICDCS, Hong Kong, May 1996.
(postscript)
Year: 1995
Evaluating Garbage Collectors for Large Persistence
Stores
Laurent Amsaleg, Paulo Ferreira, Michael
Franklin and Marc Shapiro.
Workshop on Object Database Behavior, Benchmarks, and Performance, at OOPSLA'95,
(postscript)
Garbage Collection in Distributed Object Systems
Ian Piumarta, Marc Shapiro and Paulo Ferreira
Workshop on Reliability and Scalability in Distributed Object Systems, at
OOPSLA'95, Austin (TX-USA), October 1995.
(postscript)
Larchant-RDOSS: a Distributed Shared
Persistent Memory and its Garbage Collector.
Marc Shapiro, Paulo Ferreira.
WDAG 95, Le Mont Saint Michel, France, Sept. 1995.
(postscript)
Garbage Collection in the Larchant Persistent
Distributed Shared Store.
Paulo Ferreira and Marc Shapiro.
FTDCS'95,
(postscript)
Year: 1994
Distribution and Persistence in Multiple and
Heterogeneous Address Spaces.
Paulo Ferreira and Marc Shapiro.
Int. Workshop on on Object-Orientation in Operating
Systems,
(postscript)
Distributed Shared Memory Consistency and Garbage
Collection.
Paulo Ferreira and Marc Shapiro.
Workshop Inter-PRS, Paris (
Garbage Collection and DSM Consistency.
Paulo Ferreira and Marc Shapiro.
OSDI,
(postscript)
Garbage Collection of Persistent Objects in Distributed Shared Memory.
Paulo Ferreira and Marc Shapiro.
Int. Workshop on Persistent Object Systems,
(postscript)
Some Key Issues in the Design of Distributed Garbage
Collection and References.
Marc Shapiro, David Plainfossé, Paulo
Ferreira and Laurent Amsaleg.
Workshop on Unifying Theory and Practice in Distributed
Systems, Dagstuhl (
(postscript)
Garbage Collection of Persistent Objects in Distributed Shared Memory.
Paulo Ferreira and Marc Shapiro
Workshop Franco-Isralienne, St. Malo
(
Year: before 1994
Distribution and Persistence in the IK Platform.
Pedro Sousa, Manuel Sequeira, André
Zúquete, Paulo Ferreira, Cristina Lopes, José Pereira, Paulo Guedes, and
José Marques.
Computing Systems Journal, Vol. 6(4), November 1993.
(postscript)
Supporting Distributed and Persistent Applications in
Multiple Address Spaces
Paulo Ferreira and Marc Shapiro.
Workshop on Object-Based Distributed
Programming, at ECOOP'93, July 1993.
Reciclagem Automática de
Memória num Sistema Orientado a Objectos.
Paulo Ferreira.
Ms.C. Thesis,
(postscript)
Reclaiming Storage in an Object Oriented Platform Supporting Extended C++
and Objective-C Applications.
Paulo Ferreira.
Int. Workshop on Object-Orientation in Operating Systems, Palo Alto, CA (USA),
October 1991.
(postscript)
Garbage Collection in C++.
Paulo Ferreira.
Workshop on Garbage Collection, at OOPSLA'91,
Garbage Collection in C++.
Paulo Ferreira.
Workshop on Extensions to C++,
A Unix Implementation of the Comandos
Virtual Machine.
J. Alves Marques, P. Guedes, P.
Sousa, M. Sequeira, N. Guimarães,
J. Monge, A. Zúquete and P. Ferreira
Esprit Technical Week, November 1990.
Storage Reclamation.
Paulo Ferreira.
Workshop on Garbage Collection in Object Oriented Systems at OOPSLA/ECOOP'90,