Publications

Copyright Information: The documents available from this site are provided as a means to ensure timely dissemination of 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. These works may not be reposted without the explicit permission of the copyright holder. Permission to make digital or hard copies of part or all of these works for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage. The electronic version of some of the works available from this site may differ from the definitive published version. Copyright of works submitted for publication may be transferred without further notice and this version may no longer be accessible.

Apply Filters






(total publications: 153)

2020

[j] Principe, M., Tocci, T., Di Sanzo, P., Quaglia, F., & Pellegrini, A. (2020). A Distributed Shared-Memory Middleware for Speculative Parallel Discrete Event Simulation. ACM Transactions on Modeling and Computer Simulation. (To appear) [Bibtex]
[i] Pellegrini, A. (2020). Reproducibility Report for the Paper: Modeling of Request Cloning in Cloud Server Systems using Processor Sharing. In CoRR. [PDF] [Bibtex]
[c] Altamura, L., Conoci, S., & Pellegrini, A. (2020, January). Asymmetric Computation for Speculative Heterogeneous HPC. 15th International Conference on High Performance and Embedded Architecture and Compilation Workshops. [Bibtex]

2019

[j] Di Sanzo, P., Pellegrini, A., Sannicandro, M., Ciciani, B., & Quaglia, F. (2019). Adaptive Model-based Scheduling in Software Transactional Memory. IEEE Transactions on Computers. https://doi.org/10.1109/TC.2019.2954139 [Bibtex]
[c] Carnà, S., Ferracci, S., De Santis, E., Pellegrini, A., & Quaglia, F. (2019, December). Hardware-assisted Incremental Checkpointing in Speculative Parallel Discrete Event Simulation. Proceedings of the 2019 Winter Simulation Conference. [Bibtex]
[j] Pellegrini, A., & Quaglia, F. (2019). Cross-State Events: a New Approach to Parallel Discrete Event Simulation and its Speculative Runtime Support. Journal of Parallel and Distributed Computing, 132, 48–68. https://doi.org/10.1016/j.jpdc.2019.05.003 [PDF] [Bibtex]
[c] Piccione, A., Principe, M., Pellegrini, A., & Quaglia, F. (2019). An Agent-Based Simulation API for Speculative PDES Runtime Environments. Proceedings of the 2019 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 83–94. https://doi.org/10.1145/3316480.3322890 [PDF] [Bibtex]
[c] Marotta, R., Ianni, M., Scarselli, A., Pellegrini, A., & Quaglia, F. (2019). NBBS: A Non-blocking Buddy System for Multi-core Machines. Proceedings of the 19th International Symposium in Cluster, Cloud and Grid Computing, 11–20. https://doi.org/10.1109/CCGRID.2019.00011 [PDF] [Bibtex]
[j] Ianni, M., Pellegrini, A., & Quaglia, F. (2019). Anonymous Readers Counting: A Wait-free Multi-word Atomic Register Algorithm for Scalable Data Sharing on Multi-core Machines. IEEE Transactions on Parallel and Distributed Systems, 30, 286–299. https://doi.org/10.1109/TPDS.2018.2865932 [PDF] [Bibtex]
[i] Romolo, M., Davide, T., Di Sanzo, P., Pellegrini, A., Ciciani, B., & Quaglia, F. (2019). Mutable Locks: Combining the Best of Spin and Sleep Locks. In CoRR: Vol. abs/1906.00490. http://arxiv.org/abs/1906.00490 [Bibtex]

2018

[c] Economo, S., Silvestri, E., Di Sanzo, P., Pellegrini, A., & Quaglia, F. (2018). Model-based Proactive Read-validation in Transaction Processing Systems. Proceedings of the 24th International Conference on Parallel and Distributed Systems, 481–488. https://doi.org/10.1109/PADSW.2018.8644605 [PDF] [Bibtex]
[c] Ianni, M., Marotta, R., Cingolani, D., Pellegrini, A., & Quaglia, F. (2018). Optimizing Simulation on Shared-Memory Platforms: the Smart Cities Case. Proceedings of the 2018 Winter Simulation Conference, 1969–1980. https://doi.org/10.1109/WSC.2018.8632301 [PDF] [Bibtex]
[c] Marotta, R., Ianni, M., Scarselli, A., Pellegrini, A., & Quaglia, F. (2018). A Non-blocking Buddy System for Scalable Memory Allocation on Multi-core Machines. IEEE International Conference on Cluster Computing, 164–165. https://doi.org/10.1109/CLUSTER.2018.00034 [PDF] [Bibtex]
[c] Ianni, M., Marotta, R., Cingolani, D., Pellegrini, A., & Quaglia, F. (2018). The Ultimate Share-Everything PDES System. Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 73–84. https://doi.org/10.1145/3200921.3200931 [PDF] [Bibtex]
[c] Conoci, S., Cingolani, D., Di Sanzo, P., Pellegrini, A., Ciciani, B., & Quaglia, F. (2018). A Power Cap Oriented Time Warp Architecture. Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 97–100. https://doi.org/10.1145/3200921.3200930 [PDF] [Bibtex]
[c] Principe, M., Tocci, T., Pellegrini, A., & Quaglia, F. (2018). Porting Event & Cross-State Synchronization to the Cloud. Proceedings of the 2018 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 177–188. https://doi.org/10.1145/3200921.3200929 [PDF] [Bibtex]
Candidate for (but not winner of) the Best Paper Award
[c] Conoci, S., Pierangelo, D. S., Bruno, C., & Francesco, Q. (2018). Adaptive Performance Optimization under Power Constraint in Multi-thread Applications with Diverse Scalability. Proceedings of the 9th ACM/SPEC International Conference on Performance Engineering (ICPE 2018), Berlin,April 9-13,2018. https://doi.org/10.1145/3184407.3184419 [Bibtex]

2017

[j] Sanzo, P. D. (2017). Analysis, Classification and Comparison of Scheduling Techniques for Software Transactional Memories. IEEE Transactions on Parallel and Distributed Systems, 28(12), 3356–3373. https://doi.org/10.1109/tpds.2017.2740285 [PDF] [Bibtex]
[i] Principe, M., Pellegrini, A., Quaglia, F., & Ciciani, B. (2017). Transparent Distributed Cross-State Synchronization in Optimistic Parallel Discrete Event Simulation. Sapienza, University of Rome. [PDF] [Bibtex]
[c] Economo, S., Silvestri, E., Di Sanzo, P., Pellegrini, A., & Quaglia, F. (2017). Prompt Application-Transparent Transaction Revalidation in Software Transactional Memory. Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 114–119. https://doi.org/10.1109/NCA.2017.8171349 [PDF] [Bibtex]
[c] Avresky, D. R., Pellegrini, A., & Di Sanzo, P. (2017). Machine Learning-based Management of Cloud Applications in Hybrid Clouds: a Hadoop Case Study. Proceedings of the 16th IEEE International Symposium on Network Computing and Applications, 114–119. https://doi.org/10.1109/NCA.2017.8171352 [PDF] [Bibtex]
[c] Tocci, T., Pellegrini, A., Quaglia, F., Casanovas-García, J., & Suzumura, T. (2017). ORCHESTRA: An Asynchronous Wait-Free Distributed GVT Algorithm. Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 51–58. https://doi.org/10.1109/DISTRA.2017.8167666 [PDF] [Bibtex]
[c] Ianni, M., Marotta, R., Pellegrini, A., & Quaglia, F. (2017). Towards a Fully Non-blocking Share-everything PDES Platform. Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 25–32. https://doi.org/10.1109/DISTRA.2017.8167663 [PDF] [Bibtex]
[c] Ianni, M., Marotta, R., Pellegrini, A., & Quaglia, F. (2017). A Non-blocking Global Virtual Time Algorithm with Logarithmic Number of Memory Operations. Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 17–24. https://doi.org/10.1109/DISTRA.2017.8167662 [PDF] [Bibtex]
Candidate for (but not winner of) the Best Paper Award
[c] Ianni, M., Pellegrini, A., & Quaglia, F. (2017). A Wait-free Multi-word Atomic (1,N) Register for Large-scale Data Sharing on Multi-core Machines. Proceedings of the 2017 IEEE Cluster Conference, 188–192. https://doi.org/10.1109/CLUSTER.2017.84 [PDF] [Bibtex]
[j] Cingolani, D., Pellegrini, A., & Quaglia, F. (2017). Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES. ACM Transactions on Modeling and Computer Simulation, 27(2). https://doi.org/10.1145/3077583 [PDF] [Bibtex]
[j] Pellegrini, A., & Quaglia, F. (2017). A Fine-grain Time-sharing Time Warp System. ACM Transactions on Modeling and Computer Simulation, 27(2). https://doi.org/10.1145/3013528 [PDF] [Bibtex]
[c] Cingolani, D., Pellegrini, A., Schordan, M., Quaglia, F., & Jefferson, D. R. (2017, May). Dealing with Reversibility of Shared Libraries in PDES. Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation. [PDF] [Bibtex]
[c] Marotta, R., Ianni, M., Pellegrini, A., & Quaglia, F. (2017). A Conflict-Resilient Lock-Free Calendar Queue for Scalable Share-Everything PDES Platforms. Proceedings of the 2017 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 41–52. https://doi.org/10.1145/3064911.3064927 [PDF] [Bibtex]
[c] Silvestri, E., Economo, S., Di Sanzo, P., Pellegrini, A., & Quaglia, F. (2017, May). Preemptive Software Transactional Memory. Proceedings of the 17th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing. [PDF] [Bibtex]
[b] Cingolani, D. (2017). Software Reversibility in Speculative Platforms: A reversible computing approach to state recovery (1st ed.). EAI - Edizioni Accademiche Italiane. [Bibtex]
[j] Pellegrini, A., & Di Sanzo, P. (2017). On the Optimization of Collaborative Kerbside Waste Collection. Proceedings of the 14th International Conference on Energy, Environment, Ecosystems and Sustainable Development. [PDF] [Bibtex]
[j] Rughetti, D., Di Sanzo, P., Ciciani, B., & Quaglia, F. (2017). Machine learning-based thread-parallelism regulation in software transactional memory. Journal of Parallel and Distributed Computing, 109, 208–229. https://doi.org/https://doi.org/10.1016/j.jpdc.2017.06.001 [Bibtex]
[i] Ianni, M., Pellegrini, A., & Quaglia, F. (2017). A Wait-free Multi-word Atomic (1, N) Register for Large-scale Data Sharing on Multi-core Machines. In CoRR: Vol. abs/1707.07478. http://arxiv.org/abs/1707.07478 [Bibtex]

2016

[j] Pellegrini, A., Peluso, S., Quaglia, F., & Vitali, R. (2016). Transparent Speculative Parallelization of Discrete Event Simulation Applications Using Global Variables. International Journal of Parallel Programming, 44(6), 1200–1247. https://doi.org/10.1007/s10766-016-0429-2 [PDF] [Bibtex]
[c] Pellegrini, A., Montañola-Sales, C., Quaglia, F., & Casanovas-Garcia, J. (2016, December). Programming Agent-Based Demographic Models with Cross-State and Message-Exchange Dependencies: A Study with Speculative PDES and Automatic Load-Sharing. Proceedings of the 2016 Winter Simulation Conference. [PDF] [Bibtex]
[c] Marotta, R., Ianni, M., Pellegrini, A., & Quaglia, F. (2016, September). A Lock-Free O(1) Event Pool and its Application to Share-Everything PDES Platforms. Proceedings of the 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications. [PDF] [Bibtex]
Winner of the Best Paper Award
[c] Economo, S., Cingolani, D., Pellegrini, A., & Quaglia, F. (2016, September). Configurable and Efficient Memory Access Tracing via Selective Expression-based x86 Binary Instrumentation. Proceedings of the 24th IEEE Internation Symposium on Modelling, Analysis and Simulation of Computer and Telecommunication Systems. [PDF] [Bibtex]
[c] Pellegrini, A., Montañola-Sales, C., Quaglia, F., & Casanovas-Garcia, J. (2016, August). Load-Sharing Policies in Parallel Simulation of Agent-Based Demographic Models. Proceedings of the 4th Workshop on Parallel and Distributed Agent-Based Simulations. [PDF] [Bibtex]
[c] Marotta, R., Ianni, M., Pellegrini, A., & Quaglia, F. (2016). A Non-Blocking Priority Queue for the Pending Event Set. Proceedings of the 9th EAI International Conference on Simulation Tools and Techniques, 46–55. [PDF] [Bibtex]
[c] Pellegrini, A. (2016). Optimizing Memory Management for Optimistic Simulation with Reinforcement Learning. Proceedings of the 2016 International Conference on High Performance Computing & Simulation Workshops, 26–33. [PDF] [Bibtex]
[c] Cingolani, D., Ianni, M., Pellegrini, A., & Quaglia, F. (2016). Mixing Hardware and Software Reversibility for Speculative Parallel Discrete Event Simulation. Proceedings of the 8th Conference on Reversible Computation, 137–152. [PDF] [Bibtex]
[c] La Rizza, A., Casarano, G., Castellani, G., Ciciani, B., Passalacqua, L., & Pellegrini, A. (2016). Machine Learning-based Elastic Cloud Resource Provisioning in the Solvency II Framework. Proceedings of the 2016 IEEE 36th International Conference on Distributed Computing Systems Workshops, 44–48. [PDF] [Bibtex]
[c] Pellegrini, A., Di Sanzo, P., & Avresky, D. R. (2016, May). Proactive Cloud Management for Highly Heterogeneous Multi-Cloud Infrastructures. Proceedings of the 21st IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems. [PDF] [Bibtex]
[c] Marziale, N., Nobilia, F., Pellegrini, A., & Quaglia, F. (2016). Granular Time Warp Objects. Proceedings of the 2016 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 57–68. [PDF] [Bibtex]
[c] Di Gennaro, I., Pellegrini, A., & Quaglia, F. (2016). OS-based NUMA Optimization: Tackling the Case of Truly Multi-thread Applications with Non-Partitioned Virtual Page Accesses. Proceedings of the 16th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing, 292–300. [PDF] [Bibtex]
[j] Peluso, S., Ruivo, P., Romano, P., Quaglia, F., & Rodrigues, L. (2016). GMU: Genuine Multiversion Update-Serializable Partial Data Replication. IEEE Transactions on Parallel and Distributed Systems, 27(10), 2911–2925. [PDF] [Bibtex]

2015

[c] Büsing-Menses, V., Montañola-Sales, C., Casanovas-Garcia, J., & Pellegrini, A. (2015, December). Analysis and Optimization of a Demographic Simulator for Parallel Environments (poster paper). Proceedings of the 2015 Winter Simulation Conference. [PDF] [Bibtex]
[c] Santini, E., Ianni, M., Pellegrini, A., & Quaglia, F. (2015, December). Hardware-Transactional-Memory Based Speculative Parallel Discrete Event Simulation of Very Fine Grain Models. Proceedings of the 22nd International Conference on High Performance Computing. [PDF] [Bibtex]
[b] Pellegrini, A. (2015). Parallelization of Discrete Event Simulation Models. Sapienza Università Editrice. [Bibtex]
[c] Avresky, D. R., Di Sanzo, P., Pellegrini, A., Ciciani, B., & Forte, L. (2015). Proactive Scalability and Management of Resources in Hybrid Clouds via Machine Learning (short paper). Proceedings of the 14th IEEE International Symposium on Network Computing and Applications, 114–119. [PDF] [Bibtex]
[c] Cingolani, D., Pellegrini, A., & Quaglia, F. (2015). RAMSES: Reversibility-based Agent Modeling and Simulation Environment with Speculation support. Proceedings of the 3rd Workshop on Parallel and Distributed Agent-Based Simulations, 466–478. https://doi.org/10.1007/978-3-319-27308-2_38 [PDF] [Bibtex]
[j] Di Sanzo, P., Quaglia, F., Ciciani, B., Pellegrini, A., Didona, D., Romano, P., Palmieri, R., & Peluso, S. (2015). A Flexible Framework for Accurate Simulation of Cloud In-Memory Data Stores. Simulation Modelling Practice and Theory, 58(2), 219–238. https://doi.org/10.1016/j.simpat.2015.05.011 [PDF] [Bibtex]
[j] Pellegrini, A., Vitali, R., & Quaglia, F. (2015). Autonomic State Management for Optimistic Simulation Platforms. IEEE Transactions on Parallel and Distributed Systems, 26(6), 1560–1569. https://doi.org/10.1109/TPDS.2014.2323967 [PDF] [Bibtex]
[c] Di Sanzo, P., Pellegrini, A., & Avresky, D. R. (2015). Machine Learning for Achieving Self-* Properties and Seamless Execution of Applications in the Cloud. Proceedings of the Fourth IEEE Symposium on Network Cloud Computing and Applications, 51–58. https://doi.org/10.1109/NCCA.2015.18 [PDF] [Bibtex]
[c] Cingolani, D., Pellegrini, A., & Quaglia, F. (2015). Transparently Mixing Undo Logs and Software Reversibility for State Recovery in Optimistic PDES. Proceedings of the 2015 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 211–222. [PDF] [Bibtex]
[c] Pellegrini, A., & Quaglia, F. (2015). NUMA Time Warp. Proceedings of the 2015 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 59–70. https://doi.org/10.1145/2769458.2769479 [PDF] [Bibtex]
[c] Pellegrini, A., & Quaglia, F. (2015). Time-Sharing Time Warp via Lightweight Operating System Support. Proceedings of the 2015 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 47–58. [PDF] [Bibtex]
[c] Pellegrini, A., Di Sanzo, P., & Avresky, D. R. (2015). A Machine Learning-based Framework for Building Application Failure Prediction Models. Proceedings of the 20th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems, 1072–1081. https://doi.org/10.1109/IPDPSW.2015.110 [PDF] [Bibtex]
[p] Rughetti, D., Di Sanzo, P., Pellegrini, A., Ciciani, B., & Quaglia, F. (2015). Tuning the Level of Concurrency in Software Transactional Memory: An Overview of Recent Analytical, Machine Learning and Mixed Approaches. In R. Guerraoui & P. Romano (Eds.), Transactional Memory. Foundations, Algorithms, Tools, and Applications (Vol. 8913, pp. 395–417). Springer International Publishing. https://doi.org/10.1007/978-3-319-14720-8_18 [Bibtex]
[j] Quaglia, F. (2015). A low-overhead constant-time lowest-timestamp-first CPU scheduler for high-performance optimistic simulation platforms. Simulation Modelling Practice and Theory, 53, 103–122. [PDF] [Bibtex]

2014

[p] Quaglia, F., Pellegrini, A., & Vitali, R. (2014). Reshuffling PDES Platforms for Multi/Many-core Machines: a Perspective with focus on Load Sharing. In D. Gianni, A. D’Ambrogio, & A. Tolk (Eds.), Modeling and Simulation-based Systems Engineering Handbook. Crc Pr I Llc. https://doi.org/10.1201/b17902-10 [Bibtex]
[c] Pellegrini, A., & Quaglia, F. (2014, October). Wait-Free Global Virtual Time Computation in Shared Memory Time-Warp Systems. Proceedings of the 26th International Conference on Computer Architecture and High Performance Computing. [PDF] [Bibtex]
[i] Pellegrini, A., & Quaglia, F. (2014). On the Relevance of Wait-free Coordination Algorithms in Shared-Memory HPC: The Global Virtual Time Case. [Bibtex]
[c] Pellegrini, A., & Quaglia, F. (2014, August). Programmability and Performance of Parallel ECS-based Simulation of Multi-Agent Exploration Models. Proceedings of the 2nd Workshop on Parallel and Distributed Agent-Based Simulations. [PDF] [Bibtex]
[c] Pellegrini, A., & Quaglia, F. (2014). Transparent Multi-Core Speculative Parallelization of DES Models with Event and Cross-State Dependencies. Proceedings of the 2014 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 105–116. [PDF] [Bibtex]
[i] Pellegrini, A. (2014). Adaptive Transactional Memories: Performance and Energy Consumption Tradeoffs (poster + talk). [Bibtex]
[c] Rughetti, D., Di Sanzo, P., & Pellegrini, A. (2014, February). Adaptive Transactional Memories: Performance and Energy Consumption Tradeoffs. Proceedings of the Third IEEE Symposium on Network Cloud Computing and Applications. [PDF] [Bibtex]
[p] Barreto, J., Di Sanzo, P., Palmieri, R., & Romano, P. (2014). Cloud-TM: An elastic, self-tuning transactional store for the cloud. In Data Intensive Storage Services for Cloud Environments (Vol. 2, pp. 749–781). [PDF] [Bibtex]
[j] Didona, D., Romano, P., Peluso, S., & Quaglia, F. (2014). Transactional auto scaler: Elastic scaling of replicated in-memory transactional data grids. ACM Transactions on Autonomous and Adaptive Systems (TAAS), 9(2), 11. [Bibtex]
[j] Romano, P., Palmieri, R., Quaglia, F., Carvalho, N., & Rodrigues, L. (2014). On speculative replication of transactional systems. Journal of Computer and System Sciences, 80(1), 257–276. [PDF] [Bibtex]
[j] Romano, P., & Quaglia, F. (2014). Design and evaluation of a parallel invocation protocol for transactional applications over the web. IEEE Transactions on Computers, 63(2), 317–334. [PDF] [Bibtex]

2013

[c] Pellegrini, A., & Quaglia, F. (2013, August). The ROme OpTimistic Simulator: A Tutorial (invited tutorial). Proceedings of the 1st Workshop on Parallel and Distributed Agent-Based Simulations. [PDF] [Bibtex]
[c] Pellegrini, A., & Quaglia, F. (2013, August). A Study on the Parallelization of Terrain-Covering Ant Robots Simulations. Proceedings of the 1st Workshop on Parallel and Distributed Agent-Based Simulations. [PDF] [Bibtex]
[c] Porfirio, A., Pellegrini, A., Di Sanzo, P., & Quaglia, F. (2013, August). Transparent Support for Partial Rollback in Software Transactional Memories. Proceedings of the International Euro-Par 2013 Conference. [PDF] [Bibtex]
[c] Pellegrini, A. (2013). Hijacker: Efficient Static Software Instrumentation with Applications in High Performance Computing (poster paper). Proceedings of the 2013 International Conference on High Performance Computing & Simulation, 650–655. [PDF] [Bibtex]
[c] Antonacci, F., Pellegrini, A., & Quaglia, F. (2013). Consistent and Efficient Output-Stream Management in Optimistic Simulation Platform. Proceedings of the 2013 ACM SIGSIM Conference on Principles of Advanced Discrete Simulation, 315–326. [Bibtex]
[c] Pellegrini, A., & Piro, G. (2013, March). Multi-threaded Simulation of 4G Cellular Systems within the LTE-Sim Framework. Proceedings of the 8th IEEE International Workshop on the Performance Analysis and Enhancement of Wireless Networks. [Bibtex]
[c] Di Sanzo, P., Antonacci, F., Ciciani, B., Palmieri, R., Pellegrini, A., Peluso, S., Quaglia, F., Rughetti, D., & Vitali, R. (2013, March). A Framework for High Performance Simulation of Transactional Data Grid Platforms. Proceedings of the 6th ICST Conference of Simulation Tools and Techniques. [Bibtex]

2012

[c] Vitali, R., Pellegrini, A., & Quaglia, F. (2012, December). A Load Sharing Architecture for Optimistic Simulations on Multi-Core Machines. Proceedings of the 19th International Conference on High Performance Computing. [Bibtex]
[c] Vitali, R., Pellegrini, A., & Quaglia, F. (2012, December). Assessing Load Sharing within Optimistic Simulation Platforms (invited paper). Proceedings of the 2012 Winter Simulation Conference. [Bibtex]
[j] Vitali, R., Pellegrini, A., & Quaglia, F. (2012). Load sharing for optimistic parallel simulations on multi core machines. SIGMETRICS Performance Evaluation Review, 40(3), 2–11. https://doi.org/10.1145/2425248.2425250 [PDF] [Bibtex]
[c] Pellegrini, A., Vitali, R., Peluso, S., & Quaglia, F. (2012). Transparent and Efficient Shared-State Management for Optimistic Simulations on Multi-core Machines. Proceedings 20th International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 134–141. [Bibtex]
[c] Vitali, R., Pellegrini, A., & Quaglia, F. (2012). Towards Symmetric Multi-threaded Optimistic Simulation Kernels. Proceedings of the 26th International Workshop on Principles of Advanced and Distributed Simulation, 211–220. [PDF] [Bibtex]
[i] Pellegrini, A. (2012). A Symmetric Multi-threaded Architecture for Load-sharing in Multi-core Optimistic Simulations. [Bibtex]
[c] Vitali, R., Pellegrini, A., & Cerasuolo, G. (2012, March). Cache-Aware Memory Manager for Optimistic Simulations. Proceedings of the 5th ICST Conference of Simulation Tools and Techniques. [Bibtex]
Winner of the Best Paper Award
[j] Di Sanzo, P., Ciciani, B., Palmieri, R., Quaglia, F., & Romano, P. (2012). On the analytical modeling of concurrency control algorithms for software transactional memories: The case of commit-time-locking. Performance Evaluation, 69(5), 187–205. [Bibtex]
[j] Santoro, A., & Quaglia, F. (2012). Transparent optimistic synchronization in the high-level architecture via time-management conversion. ACM Transactions on Modeling and Computer Simulation (TOMACS), 22(4), 21. [PDF] [Bibtex]
[j] Peluso, S., Didona, D., & Quaglia, F. (2012). Supports for transparent object-migration in PDES systems. Journal of Simulation, 6(4), 279–293. [Bibtex]

2011

[j] Romano, P., & Quaglia, F. (2011). Providing e-transaction guarantees in asynchronous systems with no assumptions on the accuracy of failure detection. IEEE Transactions on Dependable and Secure Computing, 8(1), 104–121. [PDF] [Bibtex]
[c] Pellegrini, A., Vitali, R., & Quaglia, F. (2011). The ROme OpTimistic Simulator: Core Internals and Programming Model. Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques. [Bibtex]
[c] Pellegrini, A., Vitali, R., & Quaglia, F. (2011). An Evolutionary Algorithm to Optimize Log/Restore Operations within Optimistic Simulation Platforms. Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques. [Bibtex]

2010

[j] Romano, P., Rodrigues, L., Carvalho, N., & Cachopo, J. (2010). Cloud-TM: harnessing the cloud with distributed transactional memories. ACM SIGOPS Operating Systems Review, 44(2), 1–6. [PDF] [Bibtex]
[c] Vitali, R., Pellegrini, A., & Quaglia, F. (2010). Autonomic Log/Restore for Advanced Optimistic Simulation Systems. Proceedings of the Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, 319–327. https://doi.org/http://doi.ieeecomputersociety.org/10.1109/MASCOTS.2010.40 [Bibtex]

2009

[j] Quaglia, F. (2009). On the construction of committed consistent global states in optimistic simulation. International Journal of Simulation and Process Modelling, 5(2), 172–181. [Bibtex]
[j] Romano, P., Ciciani, B., Santoro, A., & Quaglia, F. (2009). Accuracy versus efficiency of hyper-exponential approximations of the response time distribution of MMPP/M/1 queues. International Journal of Parallel, Emergent and Distributed Systems, 24(2), 107–125. [PDF] [Bibtex]
[c] Vitali, R., Pellegrini, A., & Quaglia, F. (2009). Benchmarking Memory Management Capabilities within ROOT-Sim. Proceedings of the 13th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications. [Bibtex]
[c] Pellegrini, A., Vitali, R., & Quaglia, F. (2009). Di-DyMeLoR: Logging only Dirty Chunks for Efficient Management of Dynamic Memory Based Optimistic Simulation Objects. Proceedings of the 2009 ACM/IEEE/SCS 23rd Workshop on Principles of Advanced and Distributed Simulation, 45–53. https://doi.org/http://dx.doi.org/10.1109/PADS.2009.24 [PDF] [Bibtex]
Candidate for (but not winner of) the Best Paper Award

2007

[j] Quaglia, F. (2007). Software diversity-based active replication as an approach for enhancing the performance of advanced simulation systems. International Journal of Foundations of Computer Science, 18(03), 495–515. [PDF] [Bibtex]
[j] Santoro, A., & Quaglia, F. (2007). Multiprogrammed non-blocking checkpoints in support of optimistic simulation on myrinet clusters. Journal of Systems Architecture, 53(9), 659–676. [PDF] [Bibtex]
[j] Quaglia, F., & Romano, P. (2007). Ensuring e-Transaction with asynchronous and uncoordinated application server replicas. IEEE Transactions on Parallel and Distributed Systems, 18(3). [PDF] [Bibtex]
[j] Pedicini, M., & Quaglia, F. (2007). PELCR: parallel environment for optimal lambda-calculus reduction. ACM Transactions on Computational Logic (TOCL), 8(3), 14. [PDF] [Bibtex]

2006

[j] Santoro, A., & Quaglia, F. (2006). Transparent state management for optimistic synchronization in the High Level Architecture. Simulation, 82(1), 5–20. [PDF] [Bibtex]
[j] Cosentino, A., Pedicini, M., & Quaglia, F. (2006). Supporting function calls within PELCR. Electronic Notes in Theoretical Computer Science, 135(3), 107–117. [PDF] [Bibtex]

2005

[j] Santoro, A., & Quaglia, F. (2005). Software supports for event preemptive rollback in optimistic parallel simulation on myrinet clusters. Journal of Interconnection Networks, 6(04), 435–457. [PDF] [Bibtex]
[j] Romano, P., Quaglia, F., & Ciciani, B. (2005). A lightweight and scalable e-Transaction protocol for three-tier systems with centralized back-end database. IEEE Transactions on Knowledge and Data Engineering, 17(11), 1578–1583. [PDF] [Bibtex]
[j] Quaglia, F., & Santoro, A. (2005). Modeling and Optimization of Nonblocking Checkpointing for Optimistic Simulation on Myrinet Clusters. Journal Parallel and Distributed Computing, 65(6), 667–677. [PDF] [Bibtex]

2003

[j] Quaglia, F., & Santoro, A. (2003). Nonblocking checkpointing for optimistic parallel simulation: Description and an implementation. IEEE Transactions on Parallel and Distributed Systems, 14(6), 593–610. [PDF] [Bibtex]

2002

[b] Cioffi, G., & Ciciani, B. (2002). Logic Network Design. Mc. Graw Hill. [Bibtex]
[j] Quaglia, F., & Cortellessa, V. (2002). On the processor scheduling problem in time warp synchronization. ACM Transactions on Modeling and Computer Simulation (TOMACS), 12(3), 143–175. [PDF] [Bibtex]
[j] Quaglia, F. (2002). A restriction of the elastic time algorithm. Information Processing Letters, 83(5), 243–249. [PDF] [Bibtex]
[j] Quaglia, F., Ciciani, B., & Colajanni, M. (2002). Performance analysis of adaptive wormhole routing in a two-dimensional torus. Parallel Computing, 28(3), 485–501. [PDF] [Bibtex]

2001

[j] Baldoni, R., Quaglia, F., & Raynal, M. (2001). Consistent checkpointing for transaction systems. The Computer Journal, 44(2), 92–100. [PDF] [Bibtex]
[j] Quaglia, F. (2001). A cost model for selecting checkpoint positions in Time Warp parallel simulation. IEEE Transactions on Parallel and Distributed Systems, 12(4), 346–362. [PDF] [Bibtex]
[j] Cortellessa, V., & Quaglia, F. (2001). A checkpointing–recovery scheme for Time Warp parallel simulation. Parallel Computing, 27(9), 1227–1252. [PDF] [Bibtex]

2000

[j] Quaglia, F., Baldoni, R., & Ciciani, B. (2000). On the no-z-cycle property in distributed executions. Journal of Computer and System Sciences, 61(3), 400–427. [PDF] [Bibtex]

1999

[j] Quaglia, F., Cortellessa, V., & Ciciani, B. (1999). Trade-off between sequential and time warp-based parallel simulation. IEEE Transactions on Parallel and Distributed Systems, 10(8), 781–794. [PDF] [Bibtex]
[j] Quaglia, F., & Baldoni, R. (1999). Exploiting intra-object dependencies in parallel simulation. Information Processing Letters, 70(3), 119–125. [PDF] [Bibtex]
[j] Quaglia, F., & Ciciani, B. (1999). Performance vs. cost of redundant arrays of inexpensive disks. Simulation Practice and Theory, 7(2), 153–170. [PDF] [Bibtex]
[j] Baldoni, R., Quaglia, F., & Fornara, P. (1999). An index-based checkpointing algorithm for autonomous distributed systems. IEEE Transactions on Parallel and Distributed Systems, 10(2), 181–192. [PDF] [Bibtex]

1998

[p] Chiari, A., Ciciani, B., & Romero, M. (1998). A Fault-Robust SPMD Architecture for 3D-TV Image Processing. In Fault-Tolerant Parallel and Distributed Systems (pp. 231–245). Springer. [PDF] [Bibtex]
[p] Quaglia, F., Ciciani, B., & Baldoni, R. (1998). A checkpointing-recovery scheme for domino-free distributed systems. In Fault-Tolerant Parallel and Distributed Systems (pp. 93–107). Springer. [PDF] [Bibtex]
[j] Battaglini, G., & Ciciani, B. (1998). Realistic Yield Evaluations of Fault Tolerant PLA’s. IEEE Transactions on Reliability, 23(1), 15–33. [Bibtex]
[j] Quaglia, F., Baldoni, R., & Ciciani, B. (1998). Multidatabase global concurrency control algorithms: a performance analysis. Foundations of Computing and Decision Sciences, 23(1), 15–33. [Bibtex]
[j] Quaglia, F., Ciciani, B., & Baldoni, R. (1998). Checkpointing protocols in distributed systems with mobile hosts: A performance analysis. Parallel and Distributed Processing, 742–755. [PDF] [Bibtex]
[j] Ciciani, B., Colajanni, M., & Paolucci, C. (1998). Performance evaluation of deterministic wormhole routing in k-ary n-cubes. Parallel Computing, 24(14), 2053–2075. [PDF] [Bibtex]
[j] Auriche, L. R. G., Quaglia, F., & Ciciani, B. (1998). Run-time selection of the checkpoint interval in time warp based simulations. Simulation Practice and Theory, 6(5), 461–478. [PDF] [Bibtex]
[j] Colajanni, M., Ciciani, B., & Tucci, S. (1998). Performance analysis of circuit-switching interconnection networks with deterministic and adaptive routing. Performance Evaluation, 34(1), 1–26. [PDF] [Bibtex]
[j] Colajanni, M., Dell’Arte, A., & Ciciani, B. (1998). Performance evaluation of message passing strategies and routing policies in multicomputers. Simulation Practice and Theory, 6(4), 369–385. [PDF] [Bibtex]

1995

[b] Ciciani, B. (1995). Manufacturing yield evaluation of VLSI/WSI systems. IEEE Computer Society. [Bibtex]
[j] Ciciani, B., & Tucci, S. (1995). On modelling of an adaptive routing algorithm for massively parallel processing systems. Simulation Practice and Theory, 2(6), 237–255. [PDF] [Bibtex]
[j] Baldoni, R., & Ciciani, B. (1995). A class of high performance Maekawa-type algorithms for distributed systems under heavy demand. Distributed Computing, 8(4), 171–180. [PDF] [Bibtex]
[j] Baldoni, R., Ciciani, B., & Cioffi, G. (1995). On the Correctness of Goscinski′ s Algorithm. Journal of Parallel and Distributed Computing, 27(2), 201–204. [PDF] [Bibtex]

1994

[b] Cioffi, G., Ciciani, B., & Congiu, S. (1994). Microprogramming and Microprocessors. Ingegneria 2000. [Bibtex]
[j] Baldoni, R., & Ciciani, B. (1994). Distributed algorithms for multiple entries to a critical section with priority. Information Processing Letters, 50(3), 165–172. [Bibtex]

1993

[b] Ciciani, B. (1993). Architettura del Processore PD32. CUD. [Bibtex]
[p] Ciciani, B., de Nitto Personè, V., Iazeolla, G., & Marinuzzi, F. (1993). LISPACK/SIMCOR a parallel tool for the performance evaluation of massively parallel computer architectures (pp. 235–246). National Research Council. [Bibtex]

1992

[p] Ciciani, B. (1992). Yield Evaluation of Tree Dynamic RAM. In Hardware and Software Fault Tolerance in Parallel Computing Systems (pp. 169–184). Ellis Horwood Limited. [Bibtex]
[j] Ciciani, B., Dias, D. M., & Yu, P. S. (1992). Analysis of concurrency-coherency control protocols for distributed transaction processing systems with regional locality. IEEE Transactions on Software Engineering, 18(10), 899–914. [PDF] [Bibtex]
[j] Ciciani, B. (1992). Performance Analysis of Hypercube Interconnection Network. Parallel Computing: Problems. Methods and Applications. [Bibtex]
[j] Ciciani, B. (1992). Fault-tolerance considerations for redundant binary-tree-dynamic random-access-memory (RAM) chips. IEEE Transactions on Reliability, 41(1), 139–148. [PDF] [Bibtex]
[j] Ciciani, B., Dias, D. M., & Philip, S. Y. (1992). Dynamic and static load sharing in hybrid distributed-centralized database systems. Computer Systems Science and Engineering, 7(1), 25–41. [Bibtex]

1991

[j] Ciciani, B., & Iazeolla, G. (1991). A Markov chain-based yield formula for VLSI fault-tolerant chips. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 10(2), 252–259. [PDF] [Bibtex]
[j] Ciciani, B. (1991). Redundancy effect on yield of binary tree RAMs. Journal of Electronic Testing, 2(3), 293–306. [PDF] [Bibtex]

1990

[j] Ciciani, B., Dias, D. M., Iyer, B. R., & Yu, P. S. (1990). A hybrid distributed centralized system structure for transaction processing. IEEE Transactions on Software Engineering, 16(8), 791–806. [PDF] [Bibtex]
[j] Ciciani, B., Dias, D. M., & Yu, P. S. (1990). Analysis of replication in distributed database systems. IEEE Transactions on Knowledge and Data Engineering, 2(2), 247–261. [PDF] [Bibtex]

1989

[j] Ciciani, B., & Cantone, G. (1989). Comments, on" Design and evaluation of a fault-tolerant multiprocessor using hardware recovery blocks" by Y.-H. Lee and KG Shin. IEEE Transactions on Computers, 38(9), 1336–1337. [PDF] [Bibtex]

1987

[p] Ciciani, B., Grassi, V., & Iazeolla, G. (1987). Yield and Performability Evaluation of VLSI Reconfigurable Multiprocessor Structures. In Computer Performance and Reliability (pp. 369–382). [Bibtex]

1986

[b] Ciciani, B., & Pugnaloni, A. (1986). Logic Network Projects. Siderea. [Bibtex]

1984

[j] Ciciani, B., & Di Vito, G. (1984). Analysis and comparison of two distributed procedures for the process termination in ECSP environment. INT. J. MINI MICROCOMP., 6(3), 44–48. [Bibtex]
[j] Ciciani, B., Di Vito, G., & Rosati, M. (1984). An efficient strategy for the detection of faults and a domino-free recovery in distributed systems. Microprocessing and Microprogramming, 14(1), 29–34. [Bibtex]

1983

[j] Baiardi, F., Ciciani, B., Cioffi, G., Di Vito, G., Fantechi, A., Tomasi, A., & Vanneschi, M. (1983). The operating system kernel of a message passing distributed multiprocessor. The MuTEAM Experience in Designing Distributed Systems of Microprocessors’.(National Computer Science Program Volume, 1983), 93–122. [Bibtex]
[j] Velardi, P., & Ciciani, B. (1983). Recovery blocks for communicating systems. Microprocessing and Microprogramming, 11(5), 287–294. [Bibtex]