Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Massimo Narizzano

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 Simone Vuotto

> Home > Persons > Massimo Narizzano

Publications

2020
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/NarizzanoPTV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/NarizzanoPTV20
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Automated Requirements-Based Testing of Black-Box Reactive Systems. NFM 2020: 153-169
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2005-06750
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2005-06750
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Automated Requirements-Based Testing of Black-Box Reactive Systems. CoRR abs/2005.06750 (2020)
2019
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/isse/NarizzanoPTV19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/isse/NarizzanoPTV19
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Property specification patterns at work: verification and inconsistency explanation. Innov. Syst. Softw. Eng. 15(3-4): 307-323 (2019)
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/VuottoNPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/VuottoNPT19
Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella:
Automata based test generation with SpecPro. RET@ICSE 2019: 13-16
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/VuottoNPT19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/VuottoNPT19
Simone Vuotto, Massimo Narizzano, Luca Pulina, Armando Tacchella:
Poster: Automatic Consistency Checking of Requirements with ReqV. ICST 2019: 363-366
2018
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/NarizzanoPTV18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/NarizzanoPTV18
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. NFM 2018: 383-398
2017
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1712-04162
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1712-04162
Massimo Narizzano, Luca Pulina, Armando Tacchella, Simone Vuotto:
Consistency of Property Specification Patterns with Boolean and Constrained Numerical Signals. CoRR abs/1712.04162 (2017)

a service of

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.