I agree that this site is using cookies. You can find further informations here.
X
Arcaini, P
106  results:
Search for persons X
?
1

27th International Systems and Software Product Line Confer..:

Arcaini, P ; Ter Beek, M. H ; Perrouin, G...
info:eu-repo/semantics/altIdentifier/isbn/979-8-4007-0091-0.  , 2023
Link: https://hdl.handle.net/1..
 
?
2

Modelling an Automotive Software-Intensive System with Adap..:

Arcaini P ; Bonfanti S ; Gargantini A..
info:eu-repo/semantics/altIdentifier/isbn/9783030480769.  , 2020
Link: http://hdl.handle.net/24..
 
?
3

Fault-based test generation for regular expressions by muta..:

P. Arcaini ; A. Gargantini ; E. Riccobene
info:eu-repo/semantics/altIdentifier/wos/WOS:000458911000001.  , 2019
Link: http://hdl.handle.net/24..
 
?
4

Integrating formal methods into medical software developmen..:

P. Arcaini ; S. Bonfanti ; A. Gargantini..
info:eu-repo/semantics/altIdentifier/wos/WOS:000431163000009.  , 2018
Link: http://hdl.handle.net/24..
 
?
5

Rigorous development process of a safety-critical system: f..:

P. Arcaini ; A. Gargantini ; E. Riccobene
info:eu-repo/semantics/altIdentifier/wos/WOS:000398167200007.  , 2017
Link: http://hdl.handle.net/24..
 
?
6

A novel use of equivalent mutants for static anomaly detect..:

P. Arcaini ; A. Gargantini ; E. Riccobene.
info:eu-repo/semantics/altIdentifier/wos/WOS:000387634200005.  , 2017
Link: http://hdl.handle.net/24..
 
?
7

TOOL-ASSISTED VALIDATION AND VERIFICATION TECHNIQUES FOR ST..:

P. Arcaini
http://hdl.handle.net/2434/217561.  , 2013
Link: http://hdl.handle.net/24..
 
?
8

CoMA : Conformance Monitoring of Java Programs by Abstract ..:

P. Arcaini ; E. Riccobene ; A. Gargantini
info:eu-repo/semantics/altIdentifier/isbn/9783642298592.  , 2012
Link: http://hdl.handle.net/24..
 
?
9

Test Generation for Sequential Nets of Abstract State Machi..:

P. Arcaini ; F. Bolis ; A. Gargantini
info:eu-repo/semantics/altIdentifier/isbn/9783642308840.  , 2012
Link: http://hdl.handle.net/24..
 
?
10

Components monitoring through formal specifications:

P. Arcaini ; E. Riccobene ; A. Gargantini
info:eu-repo/semantics/altIdentifier/isbn/9781450313483.  , 2012
Link: http://hdl.handle.net/24..
 
?
11

Optimizing the automatic test generation by SAT and SMT sol..:

P. Arcaini ; E. Riccobene ; A. Gargantini
info:eu-repo/semantics/altIdentifier/isbn/9781457716393.  , 2011
Link: http://hdl.handle.net/24..
 
?
12

Equivalence checking of NuSMV specifications:

P. Arcaini ; E. Riccobene ; A. Gargantini
http://hdl.handle.net/2434/213879.  , 2011
Link: http://hdl.handle.net/24..
 
?
13

Automatic review of Abstract State Machines by meta-propert..:

P. Arcaini ; E. Riccobene ; A. Gargantini
ispartofseries:NASA/CP.  , 2010
Link: http://hdl.handle.net/24..
 
?
14

AsmetaSMV : a model checker for AsmetaL models. Tutorial:

P. Arcaini ; E. Riccobene ; A. Gargantini
ispartofseries:Note del Polo - Ricerca.  , 2009
Link: http://hdl.handle.net/24..
 
?
15

Impact of comorbidities and body mass index on the outcomes..:

Polverelli, Nicola ; Bonneville, Edouard F. ; de Wreede, Liesbeth C....
American Journal of Hematology.  99 (2024)  5 - p. 993-996 , 2024
Link: https://doi.org/10.1002/..
 
1-15