FIORAVANTI, FABIO
 Distribuzione geografica
Continente #
AS - Asia 11
EU - Europa 2
Totale 13
Nazione #
CN - Cina 9
FI - Finlandia 2
SG - Singapore 2
Totale 13
Città #
Helsinki 2
Singapore 1
Totale 3
Nome #
Efficient generation of test data structures using constraint logic programming and program transformation 2
Generalization strategies for the verification of infinite state systems 1
Predicate pairing with abstraction for relational verification 1
Controlling Polyvariance for Specialization-Based Verification 1
Using Real Relaxations During Program Specialization 1
Verification of Programs by Combining Iterated Specialization with Interpolation 1
A Constraint-Based Transformation for Verifying Infinite State Systems 1
Specialization with Constrained Generalization for Software Model Checking 1
A Statechart based representation for SBML descriptions 1
Program Transformation for Development, Verification, and Synthesis of Programs 1
Enhancing Predicate Pairing with Abstraction for Relational Verification 1
Generalization Strategies for the Verification of Infinite State Systems 1
Totale 13
Categoria #
all - tutte 528
article - articoli 207
book - libri 0
conference - conferenze 0
curatela - curatele 0
other - altro 0
patent - brevetti 0
selected - selezionate 0
volume - volumi 0
Totale 735


Totale Lug Ago Sett Ott Nov Dic Gen Feb Mar Apr Mag Giu
2023/20249 0 0 0 0 0 0 0 0 0 0 9 0
2024/20254 4 0 0 0 0 0 0 0 0 0 0 0
Totale 13