default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDFabio Martinelli
- > Home > Persons > Fabio Martinelli
Publications
- 2020
[c284]Michela Fazzolari, Manuel Pratelli, Fabio Martinelli, Marinella Petrocchi:
Emotions and Interests of Evolving Twitter Bots. EAIS 2020: 1-8- 2018
- [j49]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci
, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra:
Risk analysis of Android applications: A user-centric solution. Future Gener. Comput. Syst. 80: 505-518 (2018) - 2017
- [c191]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi:
Efficient Detection of Conflicts in Data Sharing Agreements. ICISSP (Revised Selected Papers) 2017: 148-172 - [c190]Gianpiero Costantino, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi:
Analysis of Data Sharing Agreements. ICISSP 2017: 167-178 - 2015
- [j35]Noura Faci, Marinella Petrocchi, Gianpiero Costantino, Fabio Martinelli, Zakaria Maamar:
A quality model for social networks populated with web services. Serv. Oriented Comput. Appl. 9(2): 139-155 (2015) - [c148]Zakaria Maamar, Gianpiero Costantino, Marinella Petrocchi, Fabio Martinelli:
Business Reputation of Social Networks of Web Services. FNC/MobiSPC 2015: 18-25 - 2014
- [j34]Vincenzo Ciancia, José Antonio Martín, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Ernesto Pimentel:
Automated Synthesis and Ranking of Secure BPMN Orchestrators. Int. J. Secur. Softw. Eng. 5(2): 44-64 (2014) - [c138]Alessandro Celestini, Gianpiero Costantino, Rocco De Nicola, Zakaria Maamar, Fabio Martinelli, Marinella Petrocchi, Francesco Tiezzi:
Reputation-Based Composition of Social Web Services. AINA 2014: 735-742 - [c128]Zakaria Maamar, Gianpiero Costantino, Marinella Petrocchi, Fabio Martinelli:
Using Incentives to Analyze Social Web Services' Behaviors. WISE Workshops 2014: 148-160 - 2013
- [c127]Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel:
Automated Synthesis and Ranking of Secure BPMN Orchestrators. ARES 2013: 455-464 - [c109]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra:
Evaluating the Trust of Android Applications through an Adaptive and Distributed Multi-criteria Approach. TrustCom/ISPA/IUCC 2013: 1541-1546 - 2012
- [c106]Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Luca Wiegand:
A Formal Support for Collaborative Data Sharing. CD-ARES 2012: 547-561 - [c105]Gianpiero Costantino, Fabio Martinelli, Marinella Petrocchi:
Priorities-Based Review Computation. AAAI Spring Symposium: Intelligent Web Services Meet Social Computing 2012 - [c100]Gianluca Dini, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, Andrea Saracino, Daniele Sgandurra:
A Multi-criteria-Based Evaluation of Android Applications. INTRUST 2012: 67-82 - [c95]Vincenzo Ciancia, Fabio Martinelli, Ilaria Matteucci, Marinella Petrocchi, José Antonio Martín, Ernesto Pimentel:
A tool for the synthesis of cryptographic orchestrators. MDsec@MoDELS 2012: 10 - 2010
- [j21]Levente Buttyán, László Dóra, Fabio Martinelli, Marinella Petrocchi:
Fast certificate-based authentication scheme in multi-operator maintained wireless mesh networks. Comput. Commun. 33(8): 907-922 (2010) - 2009
- [c68]Fabio Martinelli, Marinella Petrocchi:
Executable Specification of Cryptofraglets in Maude for Security Verification. BIONETICS 2009: 11-23 - 2008
- [j13]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi:
Formal Models and Analysis of Secure Multicast in Wired and Wireless Networks. J. Autom. Reason. 41(3-4): 325-364 (2008) - [c58]Fabio Martinelli, Marinella Petrocchi:
Signed and Weighted Trust Credentials in Fraglets. BIONETICS 2008: 7 - [c56]Stefano Campanelli, Alessandro Falleni, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Mobile Implementation and Formal Verification of an e-Voting System. ICIW 2008: 476-481 - 2007
- [c48]Fabio Martinelli, Marinella Petrocchi:
Access Control Mechanisms for Fraglets. BIONETICS 2007: 101-104 - [c45]Maurizio Colombo, Fabio Martinelli, Paolo Mori, Marinella Petrocchi, Anna Vaccarelli:
Fine Grained Access Control with Trust and Reputation Management for Globus. OTM Conferences (2) 2007: 1505-1515 - [i1]Maurice H. ter Beek, Stefania Gnesi, Fabio Martinelli, Franco Mazzanti, Marinella Petrocchi:
Formal Modelling and Verification in Service-Oriented Computing. ERCIM News 2007(70) (2007) - 2006
- [j10]Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Formal analysis of some secure procedures for certificate delivery. Softw. Test. Verification Reliab. 16(1): 33-59 (2006) - [c37]Fabio Martinelli, Marinella Petrocchi:
A Uniform Framework for Security and Trust Modeling and Analysis with Crypto-CCS. ICS@SYNASC 2006: 85-99 - [c36]Fabio Martinelli, Marinella Petrocchi:
On Relating and Integrating Two Trust Management Frameworks. VODCA@FOSAD 2006: 191-205 - 2005
- [j9]Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
SEAS, a secure e-voting protocol: Design and implementation. Comput. Secur. 24(8): 642-652 (2005) - [c32]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi:
A Formalization of Credit and Responsibility Within the GNDC Schema. STM 2005: 61-78 - 2004
- [c31]Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Local Management of Credits and Debits in Mobile Ad Hoc Networks. Communications and Multimedia Security 2004: 31-45 - 2003
- [c27]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Compositional Verification of Integrity for Digital Stream Signature Protocols. ACSD 2003: 142-149 - [c24]Roberto Gorrieri, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Formal Anaylsis of Some Timed Security Properties in Wireless Protocols. FMOODS 2003: 139-154 - [c22]Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Compositional Verification of Secure Streamed Data: A Case Study with EMSS. ICTCS 2003: 383-396 - [c21]Fabrizio Baiardi, Alessandro Falleni, Riccardo Granchi, Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
SEAS: A Secure E-Voting Applet System. ISSS 2003: 318-329 - 2002
- [c11]Fabio Martinelli, Marinella Petrocchi, Anna Vaccarelli:
Automated Analysis of Some Security Mechanisms of SCEP. ISC 2002: 414-427
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).
Privacy notice: By enabling the option above, your browser will contact the API of 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.
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, opencitations.net, and semanticscholar.org to load article reference 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, as well as the AI2 Privacy Policy covering Semantic Scholar.
Add a list of citing articles from and 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 and semanticscholar.org 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 as well as the AI2 Privacy Policy covering Semantic Scholar.
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional 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 information given by OpenAlex.
last updated on 2025-06-17 00:21 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
