Paolo Arcaini
Titolo
Citata da
Citata da
Anno
Modeling and analyzing MAPE-K feedback loops for self-adaptation
P Arcaini, E Riccobene, P Scandurra
2015 IEEE/ACM 10th International Symposium on Software Engineering forá…, 2015
1192015
A model‐driven process for engineering a toolset for a formal method
P Arcaini, A Gargantini, E Riccobene, P Scandurra
Software: Practice and Experience 41 (2), 155-166, 2011
672011
AsmetaSMV: a way to link high-level ASM models to low-level NuSMV specifications
P Arcaini, A Gargantini, E Riccobene
International Conference on Abstract State Machines, Alloy, B and Z, 61-74, 2010
632010
Generating tests for detecting faults in feature models
P Arcaini, A Gargantini, P Vavassori
2015 IEEE 8th International Conference on Software Testing, Verification andá…, 2015
422015
Formal design and verification of self-adaptive systems with decentralized control
P Arcaini, E Riccobene, P Scandurra
ACM Transactions on Autonomous and Adaptive Systems (TAAS) 11 (4), 1-35, 2017
412017
CoMA: conformance monitoring of java programs by abstract state machines
P Arcaini, A Gargantini, E Riccobene
International Conference on Runtime Verification, 223-238, 2011
372011
Automatic review of Abstract State Machines by meta-property verification
P Arcaini, A Gargantini, E Riccobene
NASA Formal Methods Symposium, 4-13, 2010
352010
Two-layered falsification of hybrid systems guided by monte carlo tree search
Z Zhang, G Ernst, S Sedwards, P Arcaini, I Hasuo
IEEE Transactions on Computer-Aided Design of Integrated Circuits andá…, 2018
262018
Rigorous development process of a safety-critical system: from ASM models to Java code
P Arcaini, A Gargantini, E Riccobene
International Journal on Software Tools for Technology Transfer 19 (2), 247-269, 2017
252017
Combining model-based testing and runtime monitoring for program testing in the presence of nondeterminism
P Arcaini, A Gargantini, E Riccobene
2013 IEEE Sixth International Conference on Software Testing, Verificationá…, 2013
212013
Validation of models and tests for constrained combinatorial interaction testing
P Arcaini, A Gargantini, P Vavassori
2014 IEEE Seventh International Conference on Software Testing, Verificationá…, 2014
202014
A model advisor for NuSMV specifications
P Arcaini, A Gargantini, E Riccobene
Innovations in systems and software engineering 7 (2), 97-107, 2011
192011
User-driven geo-temporal density-based exploration of periodic and not periodic events reported in social networks
P Arcaini, G Bordogna, D Ienco, S Sterlacchini
Information Sciences 340, 122-143, 2016
182016
Formal validation and verification of a medical software critical component
P Arcaini, S Bonfanti, A Gargantini, A Mashkoor, E Riccobene
2015 ACM/IEEE International Conference on Formal Methods and Models forá…, 2015
182015
ASM-based formal design of an adaptivity component for a cloud system
P Arcaini, RM Holom, E Riccobene
Formal Aspects of Computing 28 (4), 567-595, 2016
172016
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin
P Arcaini, P Ježek, J Kofroň
International Conference on Abstract State Machines, Alloy, B, TLA, VDM, andá…, 2018
162018
ARCH-COMP 2019 Category Report: Falsification.
G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ...
ARCH@ CPSIoTWeek, 129-140, 2019
152019
Integrating formal methods into medical software development: The ASM approach
P Arcaini, S Bonfanti, A Gargantini, A Mashkoor, E Riccobene
Science of Computer Programming 158, 148-167, 2018
152018
Mutrex: A mutation-based generator of fault detecting strings for regular expressions
P Arcaini, A Gargantini, E Riccobene
2017 IEEE International Conference on Software Testing, Verification andá…, 2017
142017
How to optimize the use of SAT and SMT solvers for test generation of boolean expressions
P Arcaini, A Gargantini, E Riccobene
The Computer Journal 58 (11), 2900-2920, 2015
142015
Il sistema al momento non pu˛ eseguire l'operazione. Riprova pi¨ tardi.
Articoli 1–20