Personal information

Other IDs

Scopus Author ID: 6603593744

Activities

Collapse all

Works (30)

Extending abstraction-refinement methods for compliance checking of inter-organizational business processes with incomplete information

Proceedings - International Carnahan Conference on Security Technology
2017 | Conference paper
DOI: 10.1109/CCST.2016.7815703
EID:

2-s2.0-85011716139
Contributors: D'Iddio, A.C.; Schunck, C.H.; Arcieri, F.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Online and offline conformance checking of inter-organizational business processes with incomplete process logs

Proceedings - International Carnahan Conference on Security Technology
2017 | Conference paper
DOI: 10.1109/CCST.2016.7815702
EID:

2-s2.0-85011650190
Contributors: D'Iddio, A.C.; Schunck, C.H.; Arcieri, F.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Providing online operational support for distributed, security sensitive electronic business processes

Proceedings - International Carnahan Conference on Security Technology
2016 | Conference paper
DOI: 10.1109/CCST.2015.7389656
EID:

2-s2.0-84964858997
Contributors: Talamo, M.; Povilionis, A.; Arcieri, F.; Schunck, C.H.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Conformance checking of electronic business processes to secure distributed transactions

Proceedings - International Carnahan Conference on Security Technology
2013 | Conference paper
DOI: 10.1109/CCST.2013.6922056
EID:

2-s2.0-84908230322
Contributors: Talamo, M.; Arcieri, F.; Schunck, C.H.; D'Iddio, A.C.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Providing context-based security for inter-organizational electronic business processes

2013 IEEE Conference on Communications and Network Security, CNS 2013
2013 | Conference paper
DOI: 10.1109/CNS.2013.6682744
EID:

2-s2.0-84893609516
Contributors: Talamo, M.; Arcieri, F.; Schunck, C.H.; D'Iddio, A.C.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Simulation based verification of concurrent processing on security devices

SysCon 2013 - 7th Annual IEEE International Systems Conference, Proceedings
2013 | Conference paper
DOI: 10.1109/SysCon.2013.6549863
EID:

2-s2.0-84882958371
Contributors: Talamo, M.; Galinium, M.; Schunck, C.H.; Arcieri, F.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Process mining manifesto

Lecture Notes in Business Information Processing
2012 | Book
DOI: 10.1007/978-3-642-28108-2_19
EID:

2-s2.0-84863011087
Contributors: Van Der Aalst, W.; Adriansyah, A.; De Medeiros, A.K.A.; Arcieri, F.; Baier, T.; Blickle, T.; Bose, J.C.; Van Den Brand, P.; Brandtjen, R.; Buijs, J. et al.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

State space blow-up in the verification of secure smartcard interoperability

Proceedings - International Carnahan Conference on Security Technology
2012 | Conference paper
DOI: 10.1109/CCST.2012.6393546
EID:

2-s2.0-84873117455
Contributors: Talamo, M.; Galinium, M.; Schunck, C.H.; Arcieri, F.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Verifying extended criteria for the interoperability of security devices

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2008 | Book
DOI: 10.1007/978-3-540-88873-4-14
EID:

2-s2.0-58049121647
Contributors: Talamo, M.; Arcieri, F.; Della Penna, G.; Dimitri, A.; Intrigila, B.; Magazzeni, D.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

A prevention strategy for security: A bayesian approach to anomalies detection

IFIP Advances in Information and Communication Technology
2005 | Book
EID:

2-s2.0-84900465576
Contributors: Arcieri, F.; Dimitri, A.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

An infrastructural approach to secure interoperability of electronic IDs: The bridging backbone

Lecture Notes in Computer Science
2005 | Conference paper
EID:

2-s2.0-26844561215
Contributors: Arcieri, F.; Dimitri, A.; Fioravanti, F.; Nardelli, E.; Pallucca, K.; Postiglione, A.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

The italian electronic identity card: Overall architecture and it infrastructure

IFIP Advances in Information and Communication Technology
2005 | Book
EID:

2-s2.0-84900450721
Contributors: Arcieri, F.; Ciclosi, M.; Dimitri, A.; Fioravanti, F.; Nardelli, E.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

A layered IT infrastructure for secure interoperability in Personal Data Registry digital government services

Proceedings of the IEEE International Workshop on Research Issues in Data Engineering
2004 | Conference paper
DOI: 10.1109/RIDE.2004.1281708
EID:

2-s2.0-2442621215
Contributors: Arcieri, F.; Fioravanti, F.; Nardelli, E.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

A specification for security services on computational grids

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004 | Book
EID:

2-s2.0-35048901421
Contributors: Arcieri, F.; Fioravanti, F.; Nardelli, E.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Inter-organizational e-services accounting management on computational Grids

IFIP Advances in Information and Communication Technology
2004 | Book
EID:

2-s2.0-84902439785
Contributors: Arcieri, F.; Fioravanti, F.; Nardelli, E.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Reliable peer-to-peer access for Italian citizens to digital government services on the internet

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2004 | Book
EID:

2-s2.0-26844559262
Contributors: Arcieri, F.; Fioravanti, F.; Nardelli, E.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Certifying performance of cooperative services in a digital government framework

Proceedings - 2003 Symposium on Applications and the Internet, SAINT 2003
2003 | Conference paper
DOI: 10.1109/SAINT.2003.1183057
EID:

2-s2.0-84943426206
Contributors: Arcieri, F.; Fioravanti, F.; Giaccio, R.; Nardelli, E.; Talmo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

E-government services: Certification and security overlay

IFIP Advances in Information and Communication Technology
2003 | Book
DOI: 10.1007/978-0-387-35696-9
EID:

2-s2.0-84904319180
Contributors: Arcieri, F.; Giaccio, R.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

A reference architecture for the certification of E-services in a digital government infrastructure

Distributed and Parallel Databases
2002 | Journal article
DOI: 10.1023/A:1016555202639
EID:

2-s2.0-0036713731
Contributors: Arcieri, F.; Melideo, G.; Nardelli, E.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Coherence maintenance in cooperative information systems: The access key warehouse approach

International Journal of Cooperative Information Systems
2002 | Journal article
EID:

2-s2.0-0035994573
Contributors: Arcieri, F.; Cappadozzi, E.; Naggar, P.; Nardelli, E.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Experiences and issues in the realization of e-government services

Proceedings of the IEEE International Workshop on Research Issues in Data Engineering
2002 | Conference paper
DOI: 10.1109/RIDE.2002.995108
EID:

2-s2.0-84948449610
Contributors: Arcieri, F.; Melideo, G.; Nardelli, E.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Distributed territorial data management and exchange for public organizations

Proceedings - 3rd International Workshop on Advanced Issues of E-Commerce and Web-Based Information Systems, WECWIS 2001
2001 | Conference paper
DOI: 10.1109/WECWIS.2001.933904
EID:

2-s2.0-84963595097
Contributors: Arcieri, F.; Cappadozzi, E.; Nardelli, E.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Keeping Coherence Among Web Sources

Proceedings of the Third International Workshop on Web Information and Data Management (WIDM)
2001 | Conference paper
EID:

2-s2.0-0141919400
Contributors: Arcieri, F.; Melideo, G.; Nardelli, E.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

SIM: A working example of an e-government service infrastructure for mountain communities

Proceedings - International Workshop on Database and Expert Systems Applications, DEXA
2001 | Conference paper
DOI: 10.1109/DEXA.2001.953095
EID:

2-s2.0-84949776552
Contributors: Arcieri, F.; Cappadozzi, E.; Nardelli, E.; Talamo, M.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Ensuring data coherence amongst autonomous organisations. Italian Cadastral data exchange system

Geomatics Info Magazine
1999 | Journal article
EID:

2-s2.0-0033389401
Contributors: Arcieri, F.; Cammino, C.; Nardelli, E.; Talamo, M.; Venza, A.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

SICC: An exchange system for cadastral information

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1999 | Book
DOI: 10.1007/3-540-48482-5_22
EID:

2-s2.0-84958779877
Contributors: Talamo, M.; Arcieri, F.; Conia, G.; Nardelli, E.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

The Italian cadastral information system: A real-life spatio-temporal DBMS (Extended abstract)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1999 | Book
EID:

2-s2.0-84902461393
Contributors: Arcieri, F.; Cammino, C.; Nardelli, E.; Talamo, M.; Venza, A.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

A computer aided system for developing graphical telematic applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
1996 | Book
DOI: 10.1007/3-540-61478-8_87
EID:

2-s2.0-84957891513
Contributors: Arcieri, F.; Fossa, M.; Nardelli, E.
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

HERMES: An integrated environment for the design of on-line decision support systems

Proceedings of the International Conference on Applications of Advanced Technologies in Transportation Engineering
1996 | Conference paper
EID:

2-s2.0-0029772392
Contributors: Arcieri, Franco; Apolloni, Ettore
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier

Integration approach to the management of geographical information: CARTECH

Proceedings of the Second International Conference on Systems Integration
1992 | Conference paper
EID:

2-s2.0-0027001082
Contributors: Arcieri, Franco; Nardelli, Enrico
Source: Self-asserted source
Franco ARCIERI via Scopus - Elsevier
How many people are using ORCID?