Roberto Baldoni

According to our database1, Roberto Baldoni
  • authored at least 227 papers between 1994 and 2017.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2017
Building Regular Registers with Rational Malicious Servers and Anonymous Clients - Extended Version.
CoRR, 2017

Blockchain-Based Database to Ensure Data Integrity in Cloud Computing Environments.
Proceedings of the First Italian Conference on Cybersecurity (ITASEC17), 2017

Building Regular Registers with Rational Malicious Servers and Anonymous Clients.
Proceedings of the Cyber Security Cryptography and Machine Learning, 2017

Malware Triage Based on Static Features and Public APT Reports.
Proceedings of the Cyber Security Cryptography and Machine Learning, 2017

Assisting Malware Analysis with Symbolic Execution: A Case Study.
Proceedings of the Cyber Security Cryptography and Machine Learning, 2017

Share a pie?: Privacy-Preserving Knowledge Base Export through Count-min Sketches.
Proceedings of the Seventh ACM on Conference on Data and Application Security and Privacy, 2017

2016
Implementing set objects in dynamic distributed systems.
J. Comput. Syst. Sci., 2016

A Survey of Symbolic Execution Techniques.
CoRR, 2016

Towards the Usage of Invariant-Based App Behavioral Fingerprinting for the Detection of Obfuscated Versions of Known Malware.
Proceedings of the 10th International Conference on Next Generation Mobile Applications, 2016

An Architecture for Semi-Automatic Collaborative Malware Analysis for CIs.
Proceedings of the 46th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2016

Micro-accounting for Optimizing and Saving Energy in Smart Buildings.
Proceedings of the Advanced Information Systems Engineering Workshops, 2016

2015
Efficient Notification Ordering for Geo-Distributed Pub/Sub Systems.
IEEE Trans. Computers, 2015

On-line failure prediction in safety-critical systems.
Future Generation Comp. Syst., 2015

High frequency batch-oriented computations over large sliding time windows.
Future Generation Comp. Syst., 2015

Investigating the Cost of Anonymity on Dynamic Networks.
CoRR, 2015

NIRVANA: A Non-intrusive Black-Box Monitoring Framework for Rack-Level Fault Detection.
Proceedings of the 21st IEEE Pacific Rim International Symposium on Dependable Computing, 2015

Brief Announcement: Investigating the Cost of Anonymity on Dynamic Networks.
Proceedings of the 2015 ACM Symposium on Principles of Distributed Computing, 2015

Non Trivial Computations in Anonymous Dynamic Networks.
Proceedings of the 19th International Conference on Principles of Distributed Systems, 2015

Adaptive middleware design for CPS: Considerations on the OS, resource managers, and the network run-time.
Proceedings of the 14th International Workshop on Adaptive and Reflective Middleware, 2015

2014
Fault-tolerant oblivious assignment with m slots in synchronous systems.
J. Parallel Distrib. Comput., 2014

An event-based platform for collaborative threats detection and monitoring.
Inf. Syst., 2014

Correlating power consumption and network traffic for improving data centers resiliency.
CoRR, 2014

Towards a Non-intrusive Recognition of Anomalous System Behavior in Data Centers.
Proceedings of the Computer Safety, Reliability, and Security, 2014

An Architecture for Automatic Scaling of Replicated Services.
Proceedings of the Networked Systems - Second International Conference, 2014

Energy Management in Smart Spaces through the OPlatform.
Proceedings of the 2014 International Conference on Intelligent Networking and Collaborative Systems, 2014

A Software Architecture for Progressive Scanning of On-line Communities.
Proceedings of the 34th International Conference on Distributed Computing Systems Workshops (ICDCS 2014 Workshops), Madrid, Spain, June 30, 2014

Counting in Anonymous Dynamic Networks under Worst-Case Adversary.
Proceedings of the IEEE 34th International Conference on Distributed Computing Systems, 2014

Conscious and Unconscious Counting on Anonymous Dynamic Networks.
Proceedings of the Distributed Computing and Networking - 15th International Conference, 2014

The overlay scan attack: inferring topologies of distributed pub/sub systems through broker saturation.
Proceedings of the 8th ACM International Conference on Distributed Event-Based Systems, 2014

2013
A protocol for implementing byzantine storage in churn-prone distributed systems.
Theor. Comput. Sci., 2013

Virtual Tree: A robust architecture for interval valid queries in dynamic distributed systems.
J. Parallel Distrib. Comput., 2013

How to Act Without being Observed: Progressive Privacy Architecture in Desktop-as-a-Service.
Comput. Syst. Sci. Eng., 2013

Counting the Number of Homonyms in Dynamic Networks.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

User profiling and micro-accounting for smart energy management.
Proceedings of the 11th ACM Conference on Embedded Network Sensor Systems, 2013

Input data organization for batch processing in time window based computations.
Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013

Collaborative Detection of Coordinated Port Scans.
Proceedings of the Distributed Computing and Networking, 14th International Conference, 2013

Understanding (Mis)Information Spreading for Improving Corporate Network Trustworthiness.
Proceedings of the Dependable Computing - 14th European Workshop, 2013

Adaptive online scheduling in storm.
Proceedings of the 7th ACM International Conference on Distributed Event-Based Systems, 2013

Counting in Anonymous Dynamic Networks: An Experimental Perspective.
Proceedings of the Algorithms for Sensor Systems, 2013

2012
Implementing a Regular Register in an Eventually Synchronous Distributed System Prone to Continuous Churn.
IEEE Trans. Parallel Distrib. Syst., 2012

Supporting NGNs Core Software Services: A Hybrid Architecture and its Performance Analysis.
J. Network Syst. Manage., 2012

Federated Identity Management systems in e-government: the case of Italy.
EG, 2012

A Privacy Preserving Scalable Architecture for Collaborative Event Correlation.
Proceedings of the 11th IEEE International Conference on Trust, 2012

Oblivious Assignment with m Slots.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

Online Black-Box Failure Prediction for Mission Critical Distributed Systems.
Proceedings of the Computer Safety, Reliability, and Security, 2012

How Not to Be Seen in the Cloud: A Progressive Privacy Solution for Desktop-as-a-Service.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2012, 2012

Dynamic Message Ordering for Topic-Based Publish/Subscribe Systems.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium, 2012

Achieving Reliable and Timely Event Dissemination over WAN.
Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

Virtual Tree: A Robust Overlay Network for Ensuring Interval Valid Queries in Dynamic Distributed Systems.
Proceedings of the Distributed Computing and Networking - 13th International Conference, 2012

CoMiFin Architecture and Semantic Rooms.
Proceedings of the Collaborative Financial Infrastructure Protection, 2012

Collaborative Inter-domain Stealthy Port Scan Detection Using Esper Complex Event Processing.
Proceedings of the Collaborative Financial Infrastructure Protection, 2012

Distributed Attack Detection Using Agilis.
Proceedings of the Collaborative Financial Infrastructure Protection, 2012

The Financial Critical Infrastructure and the Value of Information Sharing.
Proceedings of the Collaborative Financial Infrastructure Protection, 2012

2011
Analysis of Deterministic Tracking of Multiple Objects Using a Binary Sensor Network.
TOSN, 2011

The impact of mobility on the geocasting problem in mobile ad-hoc networks: Solvability and cost.
Theor. Comput. Sci., 2011

On the uniformity of peer sampling based on view shuffling.
J. Parallel Distrib. Comput., 2011

The ESTEEM platform: enabling P2P semantic collaboration through emerging collective knowledge.
J. Intell. Inf. Syst., 2011

Data Dissemination Supporting Complex Event Pattern Detection.
IJNGC, 2011

Smart Homes for All: Simplifying Lives with Service Composition over Embedded Devices.
ERCIM News, 2011

An Algorithm for Implementing BFT Registers in Distributed Systems with Bounded Churn.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2011

A Collaborative Event Processing System for Protection of Critical Infrastructures from Cyber Attacks.
Proceedings of the Computer Safety, Reliability, and Security, 2011

Validity bound of regular registers with churn and byzantine processes.
Proceedings of the 30th Annual ACM Symposium on Principles of Distributed Computing, 2011

A Model for Continuous Query Latencies in Data Streams.
Proceedings of the First International Workshop on Algorithms and Models for Distributed Event Processing 2011, 2011

2010
Emergent Semantics and Cooperation in Multi-knowledge Communities: the ESTEEM Approach.
World Wide Web, 2010

Coupling-Based Internal Clock Synchronization for Large-Scale Dynamic Distributed Systems.
IEEE Trans. Parallel Distrib. Syst., 2010

A Biased Random Walk Routing Protocol for Wireless Sensor Networks: The Lukewarm Potato Protocol.
IEEE Trans. Mob. Comput., 2010

A robust and energy efficient protocol for random walk in ad hoc networks with IEEE 802.11.
IJPEDS, 2010

Improving validity of query answering in dynamic systems.
Proceedings of the Third International Workshop on Reliability, Availability, and Security, 2010

Trust Management in Monitoring Financial Critical Information Infrastructures.
Proceedings of the Mobile Lightweight Wireless Systems, 2010

On the coverage process of random walk in wireless ad hoc and sensor networks.
Proceedings of the IEEE 7th International Conference on Mobile Adhoc and Sensor Systems, 2010

Practical Uniform Peer Sampling under Churn.
Proceedings of the Ninth International Symposium on Parallel and Distributed Computing, 2010

Identifying Open Problems in Random Walk based Service Discovery in Mobile Ad hoc Networks.
Proceedings of the 10th International Conference on Innovative Internet Community Services (I<sup>2</sup>CS), 2010

A Contract-based Event Driven Model for Collaborative Security in Financial Information Systems.
Proceedings of the ICEIS 2010 - Proceedings of the 12th International Conference on Enterprise Information Systems, Volume 4, SAIC, Funchal, Madeira, Portugal, June 8, 2010

Value-Based Sequential Consistency for Set Objects in Dynamic Distributed Systems.
Proceedings of the Euro-Par 2010 - Parallel Processing, 16th International Euro-Par Conference, Ischia, Italy, August 31, 2010

Eventual Leader Election in Infinite Arrival Message-Passing System Model with Bounded Concurrency.
Proceedings of the Eighth European Dependable Computing Conference, 2010

Moving core services to the edge in NGNs for reducing managed infrastructure size.
Proceedings of the 6th International Conference on Network and Service Management, 2010

2009
Low hitting time random walks in wireless networks.
Wireless Communications and Mobile Computing, 2009

Investigating the existence and the regularity of Logarithmic Harary Graphs.
Theor. Comput. Sci., 2009

Theoretical aspects of dynamic distributed systems: report on the workshop, Elche, Spain, September 26, 2009.
SIGACT News, 2009

A Survey of Service Discovery Protocols in Multihop Mobile Ad Hoc Networks.
IEEE Pervasive Computing, 2009

Regular Register: An Implementation in a Churn Prone Environment.
Proceedings of the Structural Information and Communication Complexity, 2009

Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

Joining a Distributed Shared Memory Computation in a Dynamic Distributed System.
Proceedings of the Software Technologies for Embedded and Ubiquitous Systems, 2009

Lukewarm Potato Forwarding: A Biased Random Walk Routing Protocol for Wireless Sensor Networks.
Proceedings of the Sixth Annual IEEE Communications Society Conference on Sensor, 2009

A Formal Characterization of Uniform Peer Sampling Based on View Shuffling.
Proceedings of the 2009 International Conference on Parallel and Distributed Computing, 2009

Managing Reputation in Contract-Based Distributed Systems.
Proceedings of the On the Move to Meaningful Internet Systems: OTM 2009, 2009

An Adapting Random Walk for Ad Hoc and Sensor Networks.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 2009

Implementing a Register in a Dynamic Distributed System.
Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS 2009), 2009

Diffusing events through JMS on the Sun SPOT platform: a practical experience report.
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems, 2009

Defending financial infrastructures through early warning systems: the intelligence cloud approach.
Proceedings of the Fifth Cyber Security and Information Intelligence Research Workshop, 2009

Virtual Distro Dispatcher: A Light-Weight Desktop-as-a-Service Solution.
Proceedings of the Cloud Computing - First International Conference, 2009

FAROES: Fairness And Reliability using Overlay Expenseless Set-out for Duty-cycle Optimization in WSN.
Proceedings of the 22nd International Conference on Parallel and Distributed Computing and Communication Systems, 2009

2008
A methodology to design arbitrary failure detectors for distributed protocols.
Journal of Systems Architecture - Embedded Systems Design, 2008

Dynamic quorums for DHT-based enterprise infrastructures.
J. Parallel Distrib. Comput., 2008

Anonymous graph exploration without collision by mobile robots.
Inf. Process. Lett., 2008

Brief Announcement: Eventual Leader Election in the Infinite Arrival Message-Passing System Model.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008

Brief Announcement: On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008

Investigating the Existence and the Regularity of Logarithmic Harary Graphs.
Proceedings of the 27th IEEE Symposium on Reliable Distributed Systems (SRDS 2008), 2008

A Peer-to-Peer Filter-Based Algorithm for Internal Clock Synchronization in Presence of Corrupted Processes.
Proceedings of the 14th IEEE Pacific Rim International Symposium on Dependable Computing, 2008

On the Solvability of Anonymous Partial Grids Exploration by Mobile Robots.
Proceedings of the Principles of Distributed Systems, 12th International Conference, 2008

The Italian e-Government Enterprise Architecture: A Comprehensive Introduction with Focus on the SLA Issue.
Proceedings of the Service Availability, 5th International Service Availability Symposium, 2008

A robust and energy efficient protocol for random walk in ad hoc networks with IEEE 802.11.
Proceedings of the 22nd IEEE International Symposium on Parallel and Distributed Processing, 2008

Event-Based Data Dissemination on Inter-Administrative Domains: Is it Viable?
Proceedings of the 12th IEEE International Workshop on Future Trends of Distributed Computing Systems, 2008

On the Deterministic Tracking of Moving Objects with a Binary Sensor Network.
Proceedings of the Distributed Computing in Sensor Systems, 2008

A theoretical evaluation of peer-to-peer internal clock synchronization.
Proceedings of the 2nd International Conference on Autonomic Computing and Communication Systems, 2008

2007
On the Complexity of Removing Z-Cycles from a Checkpoints and Communication Pattern.
IEEE Trans. Computers, 2007

Compositional gossip: a conceptual architecture for designing gossip-based applications.
Operating Systems Review, 2007

Efficient Publish/Subscribe Through a Self-Organizing Broker Overlay and its Application to SIENA.
Comput. J., 2007

Mobility Versus the Cost of Geocasting in Mobile Ad-Hoc Networks.
Proceedings of the Distributed Computing, 21st International Symposium, 2007

Solvability of geocasting in mobile ad-hoc networks.
Proceedings of the Twenty-Sixth Annual ACM Symposium on Principles of Distributed Computing, 2007

Looking for a Definition of Dynamic Distributed Systems.
Proceedings of the Parallel Computing Technologies, 2007

An Adaptive Coupling-Based Algorithm for Internal Clock Synchronization of Large Scale Dynamic Systems.
Proceedings of the On the Move to Meaningful Internet Systems 2007: CoopIS, 2007

Connectivity in Eventually Quiescent Dynamic Distributed Systems.
Proceedings of the Dependable Computing, Third Latin-American Symposium, 2007

Virtual Distro Dispatcher: A Costless Distributed Virtual Environment from Trashware.
Proceedings of the Parallel and Distributed Processing and Applications, 2007

A Component-Based Methodology to Design Arbitrary Failure Detectors for Distributed Protocols.
Proceedings of the Tenth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2007), 2007

TERA: topic-based event routing for peer-to-peer architectures.
Proceedings of the 2007 Inaugural International Conference on Distributed Event-Based Systems, 2007

Fighting Erosion in Dynamic Large-Scale Overlay Networks.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006
Fully Distributed Three-Tier Active Software Replication.
IEEE Trans. Parallel Distrib. Syst., 2006

A classification of total order specifications and its application to fixed sequencer-based implementations.
J. Parallel Distrib. Comput., 2006

Optimal propagation-based protocols implementing causal memories.
Distributed Computing, 2006

A hint-based probabilistic protocol for unicast communications in MANETs.
Ad Hoc Networks, 2006

Unconscious Eventual Consistency with Gossips.
Proceedings of the Stabilization, 2006

Weakly-Persistent Causal Objects in Dynamic Distributed Systems.
Proceedings of the 25th IEEE Symposium on Reliable Distributed Systems (SRDS 2006), 2006

Communication Channel Management for Maintenance of Strong Overlay Connectivity.
Proceedings of the 11th IEEE Symposium on Computers and Communications (ISCC 2006), 2006

On The Accuracy of Event Distribution Lists for Publish/Subscribe in Dynamic Distributed Systems.
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

Evaluation of Unstructured Overlay Maintenance Protocols under Churn.
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

Publish/Subscribe on the top of Overlay networks: when subscription dynamics meet churn.
Proceedings of the 26th International Conference on Distributed Computing Systems Workshops (ICDCS 2006 Workshops), 2006

Impact ofWAN Channel Behavior on End-to-end Latency of Replication Protocols.
Proceedings of the Sixth European Dependable Computing Conference, 2006

2005
A least flow-time first load sharing approach for distributed server farm.
J. Parallel Distrib. Comput., 2005

Content-based routing in highly dynamic mobile ad hoc networks.
Int. J. Pervasive Computing and Communications, 2005

On the modelling of publish/subscribe communication systems.
Concurrency - Practice and Experience, 2005

A Distributed Architecture for Supporting e-Government Cooperative Processes.
Proceedings of the E-Government: Towards Electronic Democracy, International Conference, 2005

Dynamic Quorums for DHT-based P2P Networks.
Proceedings of the Fourth IEEE International Symposium on Network Computing and Applications (NCA 2005), 2005

Churn Resilience of Peer-to-Peer Group Membership: A Performance Analysis.
Proceedings of the Distributed Computing, 2005

Group communication in ad-hoc networks: a few results and a case study.
Proceedings of the International Conference on Pervasive Services 2005, 2005

Structure-less content-based routing in mobile ad hoc networks.
Proceedings of the International Conference on Pervasive Services 2005, 2005

A Hint-Based Probabilistic Protocol for Unicast Communications in MANETs.
Proceedings of the 11th International Conference on Parallel and Distributed Systems, 2005

Content-Based Publish-Subscribe over Structured Overlay Networks.
Proceedings of the 25th International Conference on Distributed Computing Systems (ICDCS 2005), 2005

Total Order Communications: A Practical Analysis.
Proceedings of the Dependable Computing, 2005

A Peer-to-Peer Membership Notification Service.
Proceedings of the Databases, 2005

2004
Response to Comment on "A Positive Acknowledgment Protocol for Causal Broadcasting".
IEEE Trans. Computers, 2004

Causality and the Spatial-Temporal Ordering in Mobile Systems.
MONET, 2004

The architecture: a platform for exchanging and improving data quality in cooperative information systems.
Inf. Syst., 2004

Measuring Notification Loss in Publish/Subscribe Communication Systems.
Proceedings of the 10th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2004), 2004

An Optimal Protocol for Causally Consistent Distributed Shared Memory Systems.
Proceedings of the 18th International Parallel and Distributed Processing Symposium (IPDPS 2004), 2004

The Driving Philosophers.
Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

Subscription-Driven Self-Organization in Content-Based Publish/Subscribe.
Proceedings of the 1st International Conference on Autonomic Computing (ICAC 2004), 2004

Supporting Inter-administration Cooperation: The EU-PUBLI.com Approach.
Proceedings of the Electronic Government: Third International Conference, 2004

A Practical Comparison Between the TAO Real-Time Event Service and the Maestro/Ensemble Group Communication System.
Proceedings of the On the Move to Meaningful Internet Systems 2004: CoopIS, 2004

2003
Efficient Causality-Tracking Timestamping.
IEEE Trans. Knowl. Data Eng., 2003

A Caching Scheme for Routing in Mobile Ad Hoc Networks and Its Application to ZRP.
IEEE Trans. Computers, 2003

Three-tier replication for FT-CORBA infrastructures.
Softw., Pract. Exper., 2003

The DaQuinCIS Broker: Querying Data and Their Quality in Cooperative Information Systems.
J. Data Semantics, 2003

Enhancing Availability of Cooperative Applications Through Interoperable Middleware.
J. Inf. Sci. Eng., 2003

Consensus in Byzantine asynchronous systems.
J. Discrete Algorithms, 2003

CORBA request portable interceptors: analysis and applications.
Concurrency and Computation: Practice and Experience, 2003

A Guided Tour on Total Order Specifications.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003 Fall), 2003

Modelling Publish/Subscribe Communication Systems: Towards a Formal Approach.
Proceedings of the 8th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2003), 2003

A middleware architecture for inter ad-hoc networks communication.
Proceedings of the 4th International Conference on Web Information Systems Engineering Workshops, 2003

k-Dependency Vectors: A Scalable Causality-Tracking Protocol.
Proceedings of the 11th Euromicro Workshop on Parallel, 2003

An E-service-Based Framework for Inter-administration Cooperation.
Proceedings of the Knowledge Management in Electronic Government, 2003

On Event Routing in Content-Based Publish/Subscribe through Dynamic Networks.
Proceedings of the 9th IEEE International Workshop on Future Trends of Distributed Computing Systems (FTDCS 2003), 2003

The Evolution of Publish/Subscribe Communication Systems.
Proceedings of the Future Directions in Distributed Computing, 2003

2002
On the minimal information to encode timestamps in distributed computations.
Inf. Process. Lett., 2002

Fundamentals of Distributed Computing: A Practical Tour of Vector Clock Systems.
IEEE Distributed Systems Online, 2002

Editorial.
Comput. Syst. Sci. Eng., 2002

Handling FT-CORBA Compliant Interoperable Object Group References.
Proceedings of the 7th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2002), 2002

Active Software Replication through a Three-Tier Approach.
Proceedings of the 21st Symposium on Reliable Distributed Systems (SRDS 2002), 2002

Managing Data Quality in Cooperative Information Systems.
Proceedings of the Decimo Convegno Nazionale su Sistemi Evoluti per Basi di Dati, 2002

Asynchronous Active Replication in Three-Tier Distributed Systems.
Proceedings of the 9th Pacific Rim International Symposium on Dependable Computing (PRDC 2002), 2002

An Implementation of Causal Memories using the Writing Semantic.
Proceedings of the Procedings of the 6th International Conference on Principles of Distributed Systems. OPODIS 2002, 2002

A distributed mutual exclusion algorithm for mobile ad-hoc networks.
Proceedings of the Seventh IEEE Symposium on Computers and Communications (ISCC 2002), 2002

Performance Analysis of Java Group Toolkits: A Case Study.
Proceedings of the Scientific Engineering for Distributed Java Applications, 2002

A Fault-Tolerant Sequencer for Timed Asynchronous Systems.
Proceedings of the Euro-Par 2002, 2002

Managing Data Quality in Cooperative Information Systems.
Proceedings of the On the Move to Meaningful Internet Systems, 2002, 2002

2001
Impossibility of scalar clock-based communication-induced checkpointing protocols ensuring the RDT property.
Inf. Process. Lett., 2001

Rollback-Dependency Trackability: A Minimal Characterization and Its Protocol.
Inf. Comput., 2001

Direct dependency-based determination of consistent global checkpoints.
Comput. Syst. Sci. Eng., 2001

Consistent Checkpointing for Transaction Systems.
Comput. J., 2001

Failure Management for FT-CORBA Applications.
Proceedings of the 6th Workshop on Object-Oriented Real-Time Dependable Systems (WORDS 2001), 2001

Designing a Service of Failure Detection in Asynchronous Distributed Systems.
Proceedings of the 4th International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2001), 2001

Integrating Autonomous Enterprise Systems through Dependable CORBA Objects.
Proceedings of the Fifth International Symposium on Autonomous Decentralized Systems, 2001

Software Replication in Three-Tiers Architectures: Is It A Real Challenge?
Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

Low Cost Routing in Mobile Ad-hoc Networks: Is It Achievable?
Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

CORBA Request Portable Interceptors: A Performance Analysis.
Proceedings of the 3rd International Symposium on Distributed Objects and Applications, 2001

2000
On the No-Z-Cycle Property in Distributed Executions.
J. Comput. Syst. Sci., 2000

Consensus in byzantine asynchronous systems.
Proceedings of the SIROCCO 7, 2000

Deadline-Constrained Causal Order.
Proceedings of the 3rd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000), 2000

Timestamping Algorithms: A Characterization and a Few Properties.
Proceedings of the Euro-Par 2000, Parallel Processing, 6th International Euro-Par Conference, Munich, Germany, August 29, 2000

From Crash Fault-Tolerance to Arbitrary-Fault Tolerance: Towards a Modular Approach.
Proceedings of the 2000 International Conference on Dependable Systems and Networks (DSN 2000) (formerly FTCS-30 and DCCA-8), 2000

An Interoperable Replication Logic for CORBA Systems.
Proceedings of the International Symposium on Distributed Objects and Applications, 2000

1999
An Index-Based Checkpointing Algorithm for Autonomous Distributed Systems.
IEEE Trans. Parallel Distrib. Syst., 1999

Exploiting Intra-Object Dependencies in Parallel Simulation.
Inf. Process. Lett., 1999

The hierarchical daisy architecture for causal delivery.
Distributed Systems Engineering, 1999

Consistent Checkpointing in Distributed Databases: Towards a Formal Approach
CoRR, 1999

Rollback-Dependency Trackability: Visible Characterizations.
Proceedings of the Eighteenth Annual ACM Symposium on Principles of Distributed Computing, 1999

Direct Dependency-Based Determination of Consistent GlobalCheckpoints.
Proceedings of the Procedings of the 3rd International Conference on Principles of Distributed Systems. OPODIS 99, 1999

Implementing Highly-Available WWW Servers Based on Passive Object Replication.
Proceedings of the 2nd International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '99), 1999

Distributed Database Checkpointing.
Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999

Causality and the Spatial-Temporal Ordering of Events in Mobile Systems.
Proceedings of the 10th International Workshop on Database & Expert Systems Applications, 1999

1998
k-Arbiter: A Safe and General Scheme for h-out of-k Mutual Exclusion.
Theor. Comput. Sci., 1998

A Positive Acknowledgment Protocol for Causal Broadcasting.
IEEE Trans. Computers, 1998

Slotted-FIFO Communcation for Asynchronous Distributed Systems.
Comput. J., 1998

Consistent Records in Asynchronous Computations.
Acta Inf., 1998

Architecture for Group Communication in Mobile Systems.
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

A VP-Accordant Checkpointing Protocol Preventing Useless Checkpoints.
Proceedings of the Seventeenth Symposium on Reliable Distributed Systems, 1998

Causal broadcasting based on sliding windows.
PDP, 1998

Checkpointing Protocols in Distributed Systems with Mobile Hosts: A Performance Analysis.
IPPS/SPDP Workshops, 1998

1997
Adaptive checkpointing in message passing distributed systems.
Int. J. Systems Science, 1997

Deadlock detection in multidatabase systems: a performance analysis.
Distributed Systems Engineering, 1997

An Index-Based Checkpointing Algorithm for Autonomous Distributed Systems.
Proceedings of the Sixteenth Symposium on Reliable Distributed Systems, 1997

The Hierarchical Daisy Architecture for Causal Delivery.
Proceedings of the 17th International Conference on Distributed Computing Systems, 1997

Flexible General Purpose Communication Primitives for Distributed Systems.
Proceedings of the 6th International Symposium on High Performance Distributed Computing, 1997

A Communication-Induced Checkpointing Protocol that Ensures Rollback-Dependency Trackability.
Proceedings of the Digest of Papers: FTCS-27, 1997

Ticket Access Methods for Multidatabase Global Concurrency Control Algorithms.
Proceedings of the IASTED International Conference on Parallel and Distributed Systems, 1997

Consistent State Restoration in Shared Memory Systems.
Proceedings of the 1997 Advances in Parallel and Distributed Computing Conference (APDC '97), 1997

1996
Causal Delivery of Messages with Real-Time Data in Unreliable Networks.
Real-Time Systems, 1996

Efficient Delta-Causal Broadcasting of Multimedia Applications (Abstract).
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

About State Recording in Asynchronous Computations (Abstract).
Proceedings of the Fifteenth Annual ACM Symposium on Principles of Distributed Computing, 1996

Broadcast with Time and Causality Constraints for Multimedia Applications.
Proceedings of the 22rd EUROMICRO Conference '96, 1996

1995
On the Correctness of Goscinski's Algorithm.
J. Parallel Distrib. Comput., 1995

A Class of High Performance Maekawa-Type Algorithms for Distributed Systems Under Heavy Demand.
Distributed Computing, 1995

Efficient Causally Ordered Communications for Multimedia Real-Time Applications.
Proceedings of the 4th International Symposium on High Performance Distributed Computing (HPDC '95), 1995

Characterization of Consistent Global Checkpoints in Large-Scale Distributed Systems.
Proceedings of the 5th IEEE Workshop on Future Trends of Distributed Computing Systems (FTDCS 1995), 1995

1994
Distributed Algorithms for Multiple Entries to a Critical Section with Priority.
Inf. Process. Lett., 1994

The NETSHELL Programming Environment.
Proceedings of the Second Euromicro Workshop on Parallel and Distributed Processing, 1994

An O(NM/(M+1)) Distributed Algorithm for the kth-out of-M Resources Allocation Problem.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994


  Loading...