Home

Publications

Teaching

Links

Contacts

Refereed International Journals Articles

P. Arcaini, E. Riccobene, P. Scandurra
Formal design and verification of self-adaptive systems with decentralized control
in ACM Transactions on Autonomous and Adaptive Systems, 2017

P. Arcaini, R.M. Holom, E. Riccobene
ASM-based formal design of an adaptivity component for a Cloud system
in Formal Aspects of Computing, 2016

P. Arcaini, A. Gargantini, E. Riccobene, P. Vavassori
A novel use of equivalent mutants for static anomaly detection in software artifacts
in Information and Software Technology, 2016

P. Arcaini, G. Bordogna, D. Ienco, S. Sterlacchini
User-driven geo-temporal density-based exploration of periodic and not periodic events reported in social networks
in Information Sciences, 2016

P. Arcaini, E. Riccobene, P. Scandurra
Modeling and validating self-adaptive service-oriented applications
in SIGAPP Applied Computing Review, 2015

P. Arcaini, A. Gargantini, E. Riccobene
Rigorous development process of a safety-critical system: from ASM models to Java code
in International Journal on Software Tools for Technology Transfer, 2015

P. Arcaini, A. Gargantini, E. Riccobene
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions
in The Computer Journal, 58 (11) (2015) 2900-2920

P. Arcaini, A. Gargantini, E. Riccobene
Using mutation to assess fault detection capability of model review
in Software Testing, Verification and Reliability, 25 (5-7): 629-652, 2015

P. Arcaini, A. Gargantini
Test Generation for Sequential Nets of Abstract State Machines with Information Passing
in Science of Computer Programming (2014), 94, Part 2(0):93-108, 2014

P. Arcaini, A. Gargantini, E. Riccobene
A Model Advisor for NuSMV Specifications
in Innovations in Systems and Software Engineering, Springer London, vol. 7 (2011): 97-107

P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
A model-driven process for engineering a tool-set for a formal method
in Software: Practice and Experience, John Wiley & Sons, Ltd., vol. 41, n. 2 (2011): 155-166



Refereed Papers in Proceedings of International Conferences and Workshops

P. Arcaini, A. Gargantini, P. Vavassori
Automated Repairing of Variability Models
in 21st International Systems and Software Product Line Conference (SPLC 2017), Sevilla, Spain, September 25-29, 2017 (to appear)

P. Arcaini, A. Gargantini, E. Riccobene
SMT for state-based formal methods: the ASM case study
in Automated Formal Methods (AFM 2017), NASA Ames Research Center, Moffett Field, CA, USA, May 19, 2017 (to appear)

P. Arcaini, C. Trubiani
Collaborative Development of Feature Models and Evaluation of Performance Bounds
in SAC 2017, SA-TTA track, Marrakesh, Morocco, April 3-7, 2017

P. Arcaini, A. Gargantini, E. Riccobene
NuSeen: a tool framework for the NuSMV model checker
in 10th IEEE International Conference on Software Testing, Verification and Validation (ICST 2017), Tokyo, Japan, March 13-18, 2017

P. Arcaini, A. Gargantini, E. Riccobene
MutRex: a mutation-based generator of fault detecting strings for regular expressions
in 12th International Workshop on Mutation Analysis (Mutation 2017), Tokyo, Japan, March 13, 2017 - Best paper award

P. Arcaini, A. Gargantini, E. Riccobene
SMT-based automatic proof of ASM model refinement
in 14th International Conference on Software Engineering and Formal Methods (SEFM 2016), Vienna, Austria, July 4-8, 2016

P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene
Visual notation and patterns for Abstract State Machines
in 3rd workshop on Human-Oriented Formal Methods (HOFM 2016), Vienna, Austria, July 4, 2016

P. Arcaini, S. Bonfanti, A. Gargantini, E. Riccobene
How to assure correctness and safety of medical software: the Hemodialysis Machine Case Study
in 5th International Conference on ASM, Alloy, B, TLA, VDM, Z (ABZ 2016) - Case study track, Linz, Austria, May 23-27, 2016

P. Arcaini, S. Bonfanti, M. Dausend, A. Gargantini, A. Mashkoor, A. Raschke, E. Riccobene, P. Scandurra, M. Stegmaier
Unified Syntax for Abstract State Machines
in 5th International Conference on ASM, Alloy, B, TLA, VDM, Z (ABZ 2016), Linz, Austria, May 23-27, 2016

P. Arcaini, A. Gargantini, P. Vavassori
Automatic Detection and Removal of Conformance Faults in Feature Models
in 9th IEEE International Conference on Software Testing, Verification and Validation (ICST 2016), Chicago, USA, April 10-15, 2016

P. Arcaini, S. Bonfanti, A. Gargantini, A. Mashkoor, E. Riccobene
Formal validation and verification of a medical software critical component
in 13th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2015), Austin, Texas, September 21-23, 2015

P. Arcaini, A. Gargantini, E. Riccobene
Improving model-based test generation by model decomposition
in 10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE), Bergamo, Italy, August 31 - September 4, 2015

P. Arcaini, E. Riccobene, P. Scandurra
Modeling and analyzing MAPE-K feedback loops for self-adaptation
in 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS 2015), Florence, Italy, May 18-19, 2015

P. Arcaini, A. Gargantini, P. Vavassori
Generating Tests for Detecting Faults in Feature Models
in 8th IEEE International Conference on Software Testing, Verification and Validation (ICST 2015), Graz, Austria, April 13-17, 2015

P. Arcaini, A. Gargantini, E. Riccobene, P. Vavassori
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts
in 10th International Workshop on Mutation Analysis (Mutation 2015), Graz, Austria, April 13, 2015

P. Arcaini, A. Gargantini, E. Riccobene
Using SMT for dealing with nondeterminism in ASM-based runtime verification
in 14th International Workshop on Automated Verification of Critical Systems (AVoCS 2014), Enschede, The Netherlands, September 24-26, 2014

P. Arcaini, R.M. Holom, E. Riccobene
Modeling and formal analysis of a client-server application for Cloud services
in 11th International Workshop on Web Services and Formal Methods: Formal Aspects of Service-Oriented and Cloud Computing (WS-FM:FASOCC 2014), Eindhoven, The Netherlands, September 11-12, 2014

P. Arcaini, A. Gargantini, E. Riccobene
An Abstraction Technique for Testing Decomposable Systems by Model Checking
in 8th International Conference on Tests & Proofs (TAP 2014), York, UK, July 24-25, 2014

P. Arcaini, A. Gargantini, E. Riccobene
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module
in 4th International Conference on ASM, Alloy, B and Z (ABZ 2014)-Case study track, Toulouse, France, June 2-6, 2014

P. Arcaini, A. Gargantini, E. Riccobene
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study
in 4th International Conference on ASM, Alloy, B and Z (ABZ 2014) - Case study track, Toulouse, France, June 2-6, 2014

P. Arcaini, A. Gargantini, P. Vavassori
Validation of Models and Tests for Constrained Combinatorial Interaction Testing
in 3rd International Workshop on Combinatorial Testing (IWCT 2014), Cleveland, Ohio, USA, March 31, 2014

P. Arcaini, A. Gargantini, E. Riccobene
Online testing of LTL properties for Java code
in 9th Haifa Verification Conference (HVC 2013), Haifa, Israel, November 5-7, 2013

P. Arcaini, G. Bordogna, S. Sterlacchini
Wildfire Susceptibility Maps Flexible Querying and Answering
in 10th International Conference on Flexible Query Answering Systems (FQAS 2013), Granada, Spain, September 18-20, 2013

P. Arcaini, G. Bordogna, S. Sterlacchini
Flexible Querying of Volunteered Geographic Information for Risk Management
in 8th conference of the European Society for Fuzzy Logic and Technology (EUSFLAT 2013), Milano, Italy, September 11-13, 2013

P. Arcaini, A. Gargantini, E. Riccobene
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism
in 9th Workshop on Advances in Model Based Testing (A-MOST 2013), Luxembourg, March 22 2013 - Best paper award

P. Arcaini, A. Gargantini, E. Riccobene
Components monitoring through formal specifications
in 17th International Doctoral Symposium on Components and Architecture (WCOP 2012), Bertinoro, Italy, June 25 2012

P. Arcaini, F. Bolis, A. Gargantini
Test Generation for Sequential Nets of Abstract State Machines
in 3rd International Conference on ASM, Alloy, B and Z (ABZ 2012), Pisa, Italy, June 18-22, 2012

P. Arcaini, A. Gargantini, E. Riccobene
CoMA: Conformance Monitoring of Java programs by Abstract State Machines
in 2nd International Conference on Runtime Verification (RV 2011), San Francisco, California, September 27-30, 2011

P. Arcaini, A. Gargantini, E. Riccobene
Optimizing the Automatic Test Generation by SAT and SMT solving for Boolean Expressions
in 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), Lawrence, Kansas, November 6-12, 2011

P. Arcaini, A. Gargantini, E. Riccobene
Automatic review of Abstract State Machines by Meta Property Verification
in 2nd NASA Formal Methods Symposium, Washington D.C., USA, April 13-15, 2010

P. Arcaini, A. Gargantini, E. Riccobene
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications
in 2nd International Conference on ASM, Alloy, B and Z (ABZ 2010), Orford, QC, Canada, February 22-25, 2010

P. Arcaini, A. Carioni, A. Gargantini, E. Riccobene, P. Scandurra
A model-driven process for engineering a tool set for a formal method
in Workshop on Tool Building in Formal Methods, WS-TBFM 2010 (2010)



Chapters in books and encyclopedias

P. Arcaini, G. Bordogna
Geotemporal Querying of Social Networks and Summarization
in Encyclopedia of Social Network Analysis and Mining (2017)

G. Bordogna, S. Sterlacchini, P. Arcaini, G. Cappellini, M. Cugini, E. Mangioni, C. Polyzoni
A Geo-Spatial Data Infrastructure for Flexible Discovery, Retrieval and Fusion of Scenario maps in Preparedness of Emergency
in Granular, Soft and Fuzzy Approaches for Intelligent Systems. Studies in Fuzziness and Soft Computing. Springer (2017)

P. Arcaini, G. Bordogna, S. Sterlacchini
User Driven Query Framework of Social Networks for Geo-Temporal Analysis of Events of Interest
in Handbook of Research on Innovative Database Query Processing Techniques. IGI Global (2015)

P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
Formal Semantics for Metamodel-Based Domain Specific Languages
in Formal and Practical Aspects of Domain-Specific Languages: Recent Developments. IGI Global (2012)



Technical reports

P. Arcaini, A. Gargantini, E. Riccobene
Equivalence checking of NuSMV specifications
in Technical report of Università degli Studi di Milano, Dipartimento di Tecnologie dell'Informazione, no 134 (November 2011)

P. Arcaini, A. Gargantini, E. Riccobene
Runtime monitoring of Java programs by Abstract State Machines
in Technical report of Università degli Studi di Milano, Dipartimento di Tecnologie dell'Informazione, no 131 (November 2010)

P. Arcaini, A. Gargantini, E. Riccobene
AsmetaSMV : a model checker for AsmetaL models. Tutorial
in Technical report of Università degli Studi di Milano, Dipartimento di Tecnologie dell'Informazione, no 120 (July 2009)



Posters

P. Arcaini, A. Gargantini, E. Riccobene, P. Scandurra
The ASMETA framework
in iFM 2012 & ABZ 2012 - Posters & Tool demos Session, Pisa, Italy, June 18-22, 2012



Papers in Proceedings of National Conferences and Workshops, and other publications

P. Arcaini, E. Riccobene, A. Gargantini
Model-based offline and online testing for medical software
in 23rd EuroAsiaSPI2 Conference, Graz, Austria, September 14-16, 2016

P. Arcaini, G. Bordogna, E. Mangioni, S. Sterlacchini
Analisi spazio-temporale di messaggi Twitter per l'identificazione di eventi
in 18a Conferenza nazionale ASITA 2014, Firenze, Italy, October 14-16, 2014

P. Arcaini, G. Bordogna, E. Mangioni, C. Polyzoni, S. Sterlacchini
Il progetto SISTEMATI - The SISTEMATI project
in Rendiconti Online della Società Geologica Italiana, Vol. 30 (2014), pp. 55-61.

P. Arcaini, G. Bordogna, E. Mangioni, S. Sterlacchini
Uno strumento per la partecipazione attiva dei cittadini alla cura e salvaguardia del territorio per la prevenzione delle emergenze ambientali
in 17a Conferenza nazionale ASITA 2013, Riva del Garda, Trento, Italy, November 5-7, 2013

P. Arcaini, A. Gargantini, P. Vavassori
NuSeen: an eclipse-based environment for the NuSMV model checker
in VIII Workshop of the Italian Eclipse Community (Eclipse-IT 2013), Crema, Cremona, Italy, September 19-20, 2013

P. Arcaini, A. Gargantini, E. Riccobene
epop: An Eclipse-based Extensible Research Evaluator
in VII Workshop of the Italian Eclipse Community (Eclipse-IT 2012), Pozzuoli, Naples, Italy, September 20-21, 2012



Thesis

P. Arcaini
Tool-Assisted Validation and Verification Techniques for State-Based Formal Methods [pdf]
in PhD Thesis in Computer Science, February, 2013 (Advisor: Prof. E. Riccobene)