Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarPaolo Arcaini
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – today
- 2019
[j16]Paolo Arcaini
, Angelo Gargantini, Marco Radavelli:
Achieving change requirements of feature models by an evolutionary approach. Journal of Systems and Software 150: 64-76 (2019)- [j15]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Fault-based test generation for regular expressions by mutation. Softw. Test., Verif. Reliab. 29(1-2) (2019) - [j14]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Decomposition-Based Approach for Model-Based Test Generation. IEEE Trans. Software Eng. 45(5): 507-520 (2019) - [c49]Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini:
Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. CAV (1) 2019: 401-420 - [c48]Gidon Ernst, Paolo Arcaini, Alexandre Donzé, Georgios Fainekos, Logan Mathesen, Giulia Pedrielli, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang:
ARCH-COMP 2019 Category Report: Falsification. ARCH@CPSIoTWeek 2019: 129-140 - [c47]Nian-Ze Lee, Paolo Arcaini, Shaukat Ali, Fuyuki Ishikawa:
Stability analysis for safety of automotive multi-product lines: a search-based approach. GECCO 2019: 1241-1249 - [c46]Xiao-Yi Zhang, Paolo Arcaini, Fuyuki Ishikawa:
Assessing the Relation Between Hazards and Variability in Automotive Systems. ICECCS 2019: 190-199 - [c45]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
A Pattern-Oriented Design Framework for Self-Adaptive Software Systems. ICSA Companion 2019: 166-169 - [c44]Paolo Arcaini, Elvinia Riccobene:
Automatic Refinement of ASM Abstract Test Cases. ICST Workshops 2019: 1-10 - [c43]Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Efficient and Guaranteed Detection of t-Way Failure-Inducing Combinations. ICST Workshops 2019: 200-209 - [c42]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Regular Expression Learning with Evolutionary Testing and Repair. ICTSS 2019: 22-40 - [c41]Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Achieving change requirements of feature models by an evolutionary approach. SPLC (A) 2019: 35:1 - [c40]Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
A process for fault-driven repair of constraints among features. SPLC (B) 2019: 71:1-71:9 - [c39]Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. TAP 2019: 129-146 - [c38]Shaukat Ali, Paolo Arcaini, Ichiro Hasuo, Fuyuki Ishikawa, Nian-Ze Lee:
Towards a Framework for the Analysis of Multi-Product Lines in the Automotive Domain. VaMoS 2019: 12:1-12:6 - [i3]Zhenya Zhang, Ichiro Hasuo, Paolo Arcaini:
Multi-Armed Bandits for Boolean Connectives in Hybrid System Falsification (Extended Version). CoRR abs/1905.07549 (2019) - [i2]Étienne André, Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
Repairing Timed Automata Clock Guards through Abstraction and Testing. CoRR abs/1907.02133 (2019) - [i1]Thomas Laurent, Paolo Arcaini, Fuyuki Ishikawa, Anthony Ventresque:
A Mutation-based Approach for Assessing Weight Coverage of a Path Planner. CoRR abs/1910.00806 (2019) - 2018
- [j13]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene:
Integrating formal methods into medical software development: The ASM approach. Sci. Comput. Program. 158: 148-167 (2018) - [j12]Zhenya Zhang, Gidon Ernst, Sean Sedwards, Paolo Arcaini, Ichiro Hasuo:
Two-Layered Falsification of Hybrid Systems Guided by Monte Carlo Tree Search. IEEE Trans. on CAD of Integrated Circuits and Systems 37(11): 2894-2905 (2018) - [c37]Adel Dokhanchi, Shakiba Yaghoubi, Bardh Hoxha, Georgios Fainekos, Gidon Ernst, Zhenya Zhang, Paolo Arcaini, Ichiro Hasuo, Sean Sedwards:
ARCH-COMP18 Category Report: Results on the Falsification Benchmarks. ARCH@ADHS 2018: 104-109 - [c36]Paolo Arcaini, Pavel Jezek, Jan Kofron:
Modelling the Hybrid ERTMS/ETCS Level 3 Case Study in Spin. ABZ 2018: 277-291 - [c35]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Closing the gap between the specification and the implementation: the ASMETA way. Models: Concepts, Theory, Logic, Reasoning and Semantics 2018: 242-263 - [c34]Paolo Arcaini, Raffaela Mirandola, Elvinia Riccobene, Patrizia Scandurra:
A DSL for MAPE Patterns Representation in Self-adapting Systems. ECSA 2018: 3-19 - [c33]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Interactive Testing and Repairing of Regular Expressions. ICTSS 2018: 1-16 - [c32]Paolo Arcaini, Angelo Gargantini, Marco Radavelli:
An evolutionary process for product-driven updates of feature models. VaMoS 2018: 67-74 - [c31]Paolo Arcaini, Riccardo Melioli, Elvinia Riccobene:
AsmetaF: A Flattener for the ASMETA Framework. F-IDE@FLoC 2018: 26-36 - [r1]Paolo Arcaini, Gloria Bordogna:
Geotemporal Querying of Social Networks and Summarization. Encyclopedia of Social Network Analysis and Mining. 2nd Ed. 2018 - 2017
- [j11]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori:
A novel use of equivalent mutants for static anomaly detection in software artifacts. Information & Software Technology 81: 52-64 (2017) - [j10]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Rigorous development process of a safety-critical system: from ASM models to Java code. STTT 19(2): 247-269 (2017) - [j9]Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra:
Formal Design and Verification of Self-Adaptive Systems with Decentralized Control. TAAS 11(4): 25:1-25:35 (2017) - [c30]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
MutRex: A Mutation-Based Generator of Fault Detecting Strings for Regular Expressions. ICST Workshops 2017: 87-96 - [c29]Paolo Arcaini, Xavier Devroey, Shuai Wang:
Message from the A-MOST 2017 Chairs. ICST Workshops 2017: 317-318 - [c28]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
NuSeen: A Tool Framework for the NuSMV Model Checker. ICST 2017: 476-483 - [c27]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
SMT for state-based formal methods: the ASM case study. AFM@NFM 2017: 1-18 - [c26]Paolo Arcaini, Catia Trubiani:
Collaborative development of feature models and evaluation of performance bounds. SAC 2017: 1162-1167 - [c25]Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Automated Repairing of Variability Models. SPLC (A) 2017: 9-18 - [p1]Gloria Bordogna, Simone Sterlacchini, Paolo Arcaini, Giacomo Cappellini, Mattia Cugini, Elisabetta Mangioni, Chrysanthi Polyzoni:
A Geo-Spatial Data Infrastructure for Flexible Discovery, Retrieval and Fusion of Scenario Maps in Preparedness of Emergency. Granular, Soft and Fuzzy Approaches for Intelligent Systems 2017: 171-189 - 2016
- [j8]Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene:
ASM-based formal design of an adaptivity component for a Cloud system. Formal Asp. Comput. 28(4): 567-595 (2016) - [j7]Paolo Arcaini, Gloria Bordogna, Dino Ienco, Simone Sterlacchini:
User-driven geo-temporal density-based exploration of periodic and not periodic events reported in social networks. Inf. Sci. 340-341: 122-143 (2016) - [c24]Paolo Arcaini, Silvia Bonfanti, Marcel Dausend, Angelo Gargantini, Atif Mashkoor, Alexander Raschke, Elvinia Riccobene, Patrizia Scandurra, Michael Stegmaier:
Unified Syntax for Abstract State Machines. ABZ 2016: 231-236 - [c23]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
How to Assure Correctness and Safety of Medical Software: The Hemodialysis Machine Case Study. ABZ 2016: 344-359 - [c22]Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Automatic Detection and Removal of Conformance Faults in Feature Models. ICST 2016: 102-112 - [c21]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
SMT-Based Automatic Proof of ASM Model Refinement. SEFM 2016: 253-269 - [c20]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Elvinia Riccobene:
Visual Notation and Patterns for Abstract State Machines. STAF Workshops 2016: 163-178 - 2015
- [j6]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
How to Optimize the Use of SAT and SMT Solvers for Test Generation of Boolean Expressions. Comput. J. 58(11): 2900-2920 (2015) - [j5]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Using mutation to assess fault detection capability of model review. Softw. Test., Verif. Reliab. 25(5-7): 629-652 (2015) - [c19]Paolo Arcaini, Elvinia Riccobene, Patrizia Scandurra:
Modeling and Analyzing MAPE-K Feedback Loops for Self-Adaptation. SEAMS@ICSE 2015: 13-23 - [c18]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Paolo Vavassori:
Rehabilitating equivalent mutants as static anomaly detectors in software artifacts. ICST Workshops 2015: 1-6 - [c17]Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Generating Tests for Detecting Faults in Feature Models. ICST 2015: 1-10 - [c16]Paolo Arcaini, Silvia Bonfanti, Angelo Gargantini, Atif Mashkoor, Elvinia Riccobene:
Formal validation and verification of a medical software critical component. MEMOCODE 2015: 80-89 - [c15]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Improving model-based test generation by model decomposition. ESEC/SIGSOFT FSE 2015: 119-130 - [c14]Paolo Arcaini, Roxana-Maria Holom, Elvinia Riccobene:
Modeling and Formal Analysis of a Client-Server Application for Cloud Services. WS-FM 2015: 51-66 - 2014
- [j4]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Using SMT for dealing with nondeterminism in ASM-based runtime verification. ECEASST 70 (2014) - [j3]Paolo Arcaini, Angelo Gargantini:
Test generation for sequential nets of Abstract State Machines with information passing. Sci. Comput. Program. 94: 93-108 (2014) - [c13]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Modeling and Analyzing Using ASMs: The Landing Gear System Case Study. ABZ (Case Study) 2014: 36-51 - [c12]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Offline Model-Based Testing and Runtime Monitoring of the Sensor Voting Module. ABZ (Case Study) 2014: 95-109 - [c11]Paolo Arcaini, Angelo Gargantini, Paolo Vavassori:
Validation of Models and Tests for Constrained Combinatorial Interaction Testing. ICST Workshops 2014: 98-107 - [c10]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
An Abstraction Technique for Testing Decomposable Systems by Model Checking. TAP 2014: 36-52 - 2013
- [c9]Paolo Arcaini, Gloria Bordogna, Simone Sterlacchini:
Flexible Querying of Volunteered Geographic Information for Risk Management. EUSFLAT Conf. 2013 - [c8]Paolo Arcaini, Gloria Bordogna, Simone Sterlacchini:
Wildfire Susceptibility Maps Flexible Querying and Answering. FQAS 2013: 352-363 - [c7]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Online Testing of LTL Properties for Java Code. Haifa Verification Conference 2013: 95-111 - [c6]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Combining Model-Based Testing and Runtime Monitoring for Program Testing in the Presence of Nondeterminism. ICST Workshops 2013: 178-187 - 2012
- [c5]Paolo Arcaini, Francesco Bolis, Angelo Gargantini:
Test Generation for Sequential Nets of Abstract State Machines. ABZ 2012: 36-50 - 2011
- [j2]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
A model advisor for NuSMV specifications. ISSE 7(2): 97-107 (2011) - [j1]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene, Patrizia Scandurra:
A model-driven process for engineering a toolset for a formal method. Softw., Pract. Exper. 41(2): 155-166 (2011) - [c4]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Optimizing the automatic test generation by SAT and SMT solving for Boolean expressions. ASE 2011: 388-391 - [c3]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
CoMA: Conformance Monitoring of Java Programs by Abstract State Machines. RV 2011: 223-238 - 2010
- [c2]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
AsmetaSMV: A Way to Link High-Level ASM Models to Low-Level NuSMV Specifications. ASM 2010: 61-74 - [c1]Paolo Arcaini, Angelo Gargantini, Elvinia Riccobene:
Automatic Review of Abstract State Machines by Meta Property Verification. NASA Formal Methods 2010: 4-13
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org and opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy.
Citation data
Add a list of citing articles from to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy.
Tweets on dblp homepage
Show tweets from 
on the dblp homepage.
Privacy notice: By enabling the option above, your browser will contact twitter.com and twimg.com to load tweets curated by our Twitter accout. At the same time, Twitter will persitently store several cookies with your web browser. While we did signal Twitter to not track our users by setting the "dnt" flag, we do not have any control over how Twitter uses your data. So please proceed with care and consider checking the Twitter privacy policy.
last updated on 2019-11-01 21:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
