Roberto Baldoni

Affiliations:
  • Sapienza University of Rome, Italy


According to our database1, Roberto Baldoni authored at least 244 papers between 1994 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Function Representations for Binary Similarity.
IEEE Trans. Dependable Secur. Comput., 2022

Managing the cyber risk in a multipolar world.
Int. J. Crit. Infrastructure Prot., 2022

Managing the Cyber Risk in a Decoupled World: Does This Bring Potential Opportunities in Computer Science? (Invited Talk).
Proceedings of the 36th International Symposium on Distributed Computing, 2022

2021
MalFamAware: automatic family identification and malware classification through online clustering.
Int. J. Inf. Sec., 2021

2020
AndroDFA: Android Malware Classification Based on Resource Consumption.
Inf., 2020

2019
PASCAL: An architecture for proactive auto-scaling of distributed services.
Future Gener. Comput. Syst., 2019

Survey of machine learning techniques for malware analysis.
Comput. Secur., 2019

SAFE: Self-Attentive Function Embeddings for Binary Similarity.
Proceedings of the Detection of Intrusions and Malware, and Vulnerability Assessment, 2019

2018
A Survey of Symbolic Execution Techniques.
ACM Comput. Surv., 2018

Unsupervised Features Extraction for Binary Similarity Using Graph Embedding Neural Networks.
CoRR, 2018

Bee's Strategy Against Byzantines Replacing Byzantine Participants - (Extended Abstract).
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2018

PBFT vs Proof-of-Authority: Applying the CAP Theorem to Permissioned Blockchain.
Proceedings of the Second Italian Conference on Cyber Security, Milan, Italy, February 6th - to, 2018

2017
Survey on the Usage of Machine Learning Techniques for Malware Analysis.
CoRR, 2017

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

Android malware family classification based on resource consumption over time.
Proceedings of the 12th International Conference on Malicious and Unwanted Software, 2017

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

Malware family identification with BIRCH clustering.
Proceedings of the International Carnahan Conference on Security Technology, 2017

A Prototype Evaluation of a Tamper-Resistant High Performance Blockchain-Based Transaction Log for a Distributed Database.
Proceedings of the 13th European Dependable Computing Conference, 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

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

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

A Blockchain-Based Solution for Enabling Log-Based Resolution of Disputes in Multi-party Transactions.
Proceedings of 5th International Conference in Software Engineering for Defence Applications, 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 Gener. Comput. Syst., 2015

High frequency batch-oriented computations over large sliding time windows.
Future Gener. Comput. 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 Distributed 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 Distributed 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

Assessing data availability of Cassandra in the presence of non-accurate membership.
Proceedings of the 2nd International Workshop on Dependability Issues in Cloud Computing, 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 Distributed Syst., 2012

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

Federated Identity Management systems in e-government: the case of Italy.
Electron. Gov. an Int. J., 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.
ACM Trans. Sens. Networks, 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 Distributed 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.
Int. J. Next Gener. Comput., 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

k-bounded set objects in eventually synchronous distributed systems with churn and continuous accesses.
Proceedings of the 13th European Workshop on Dependable Computing, 2011

Inter-domain stealthy port scan detection through complex event processing.
Proceedings of the 13th European Workshop on Dependable Computing, 2011

Smart homes to improve the quality of life for all.
Proceedings of the 33rd Annual International Conference of the IEEE Engineering in Medicine and Biology Society, 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 Distributed 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.
Int. J. Parallel Emergent Distributed Syst., 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

Data Dissemination supporting collaborative complex event processing: characteristics and open issues.
Proceedings of the First International Workshop on Data Dissemination for Large Scale Complex Critical Infrastructures, 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.
Wirel. Commun. Mob. Comput., 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 Comput., 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

Distributed Event Routing in Publish/Subscribe Systems.
Proceedings of the Middleware for Network Eccentric and Mobile Applications, 2009

2008
A methodology to design arbitrary failure detectors for distributed protocols.
J. Syst. Archit., 2008

Dynamic quorums for DHT-based enterprise infrastructures.
J. Parallel Distributed 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

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

Harnessing the power of DHTs to build dynamic quorums in large-scale enterprise infrastructures.
Proceedings of the 2nd Workshop on Large-Scale Distributed Systems and Middleware, 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

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.
ACM SIGOPS Oper. Syst. Rev., 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 Distributed Syst., 2006

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

Optimal propagation-based protocols implementing causal memories.
Distributed Comput., 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 Distributed Comput., 2005

Content-based routing in highly dynamic mobile ad hoc networks.
Int. J. Pervasive Comput. Commun., 2005

On the modelling of publish/subscribe communication systems.
Concurr. Pract. Exp., 2005

A Distributed Architecture for Supporting <i>e-</i>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

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.
Mob. Networks Appl., 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. Exp., 2003

The DaQuinCIS Broker: Querying Data and Their Quality in Cooperative Information Systems.
J. Data Semant., 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.
Concurr. Comput. Pract. Exp., 2003

A Guided Tour on Total Order Specifications.
Proceedings of the 9th IEEE International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS Fall 2003), 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 Syst. 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

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

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 Distributed Syst., 1999

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

The hierarchical daisy architecture for causal delivery.
Distributed Syst. Eng., 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 Informatica, 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.
Proceedings of the Sixth Euromicro Workshop on Parallel and Distributed Processing, 1998

Checkpointing Protocols in Distributed Systems with Mobile Hosts: A Performance Analysis.
Proceedings of the Parallel and Distributed Processing, 10 IPPS/SPDP'98 Workshops Held in Conjunction with the 12th International Parallel Processing Symposium and 9th Symposium on Parallel and Distributed Processing, Orlando, Florida, USA, March 30, 1998

1997
Adaptive checkpointing in message passing distributed systems.
Int. J. Syst. Sci., 1997

Deadlock detection in multidatabase systems: a performance analysis.
Distributed Syst. Eng., 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 Syst., 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 Distributed Comput., 1995

A Class of High Performance Maekawa-Type Algorithms for Distributed Systems Under Heavy Demand.
Distributed Comput., 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(N<sup>M/(M+1)</sup>) Distributed Algorithm for the <i>k</i>th-out of-<i>M</i> Resources Allocation Problem.
Proceedings of the 14th International Conference on Distributed Computing Systems, 1994


  Loading...