Nicola Mazzocca

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Luigi Velardi

> Home > Persons > Nicola Mazzocca

Publications

2020
[j60]
- view
  authority control:
- export record
  dblp key:
  - journals/jss/NardoneMGABBGMM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jss/NardoneMGABBGMM20
Roberto Nardone, Stefano Marrone, Ugo Gentile, Aniello Amato, Gregorio Barberio, Massimo Benerecetti, Renato De Guglielmo, Beniamino Di Martino, Nicola Mazzocca, Adriano Peron, Gaetano Pisani, Luigi Velardi, Valeria Vittorini:
An OSLC-based environment for system-level functional testing of ERTMS/ETCS controllers. J. Syst. Softw. 161 (2020)
2017
[j53]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/BenerecettiGGMM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/BenerecettiGGMM17
Massimo Benerecetti, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Nicola Mazzocca, Roberto Nardone, Adriano Peron, Luigi Velardi, Valeria Vittorini:
Dynamic state machines for modelling railway control systems. Sci. Comput. Program. 133: 116-153 (2017)
2014
[c112]
- view
  authority control:
- export record
  dblp key:
  - conf/ftscs/NardoneGPBVMGMV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftscs/NardoneGPBVMGMV14
Roberto Nardone, Ugo Gentile, Adriano Peron, Massimo Benerecetti, Valeria Vittorini, Stefano Marrone, Renato De Guglielmo, Nicola Mazzocca, Luigi Velardi:
Dynamic State Machines for Formalizing Railway Control System Specifications. FTSCS 2014: 93-109
[c107]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BarberioMMVAGGMNPV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BarberioMMVAGGMNPV14
Gregorio Barberio, Beniamino Di Martino, Nicola Mazzocca, Luigi Velardi, Aniello Amato, Renato De Guglielmo, Ugo Gentile, Stefano Marrone, Roberto Nardone, Adriano Peron, Valeria Vittorini:
An Interoperable Testing Environment for ERTMS/ETCS Control Systems. SAFECOMP Workshops 2014: 147-156

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.