Davide Basile
发表
Franco Mazzanti,
Davide Basile,
2020,
ERCIM News.
Emilio Tuosto,
Gian Luigi Ferrari,
Davide Basile,
2014,
ICE.
Davide Basile,
Gian-Luigi Ferrari,
Pierpaolo Degano,
2014
.
Davide Basile,
Alessandro Fantechi,
Luigi Rucher,
2019,
RSSRail.
Maurice H. ter Beek,
Davide Basile,
Rosario Pugliese,
2019,
COORDINATION.
Gian Luigi Ferrari,
Davide Basile,
Francesco Tiezzi,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
MODELSWARD.
Maurice H. ter Beek,
Stefania Gnesi,
Davide Basile,
2018,
SPLC.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
SEFM Workshops.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
SAC.
Felicita Di Giandomenico,
Maurice H. ter Beek,
Stefania Gnesi,
2017,
SPLC.
Felicita Di Giandomenico,
Gian Luigi Ferrari,
Stefania Gnesi,
2017,
VaMoS.
Maurice H. ter Beek,
Franco Mazzanti,
Davide Basile,
2020,
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE).
Davide Basile,
D. Basile,
2016
.
Silvano Chiaradonna,
Felicita Di Giandomenico,
Davide Basile,
2019,
From Software Engineering to Formal Methods and Tools, and Back.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2018,
IFM.
Gian Luigi Ferrari,
Davide Basile,
Pierpaolo Degano,
2014,
The Journal of Supercomputing.
Gian Luigi Ferrari,
Davide Basile,
Pierpaolo Degano,
2013,
PaCT.
Gian Luigi Ferrari,
Davide Basile,
Pierpaolo Degano,
2014,
TGC.
Axel Legay,
Maurice H. ter Beek,
Davide Basile,
2019,
FMICS.
Axel Legay,
Felicita Di Giandomenico,
Gian Luigi Ferrari,
2020,
Sci. Comput. Program..
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
RSSRail.
Davide Basile,
2019,
International Journal on Software Tools for Technology Transfer.
Axel Legay,
Maurice H. ter Beek,
Davide Basile,
2020,
FORTE.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2016,
ISoLA.
Felicita Di Giandomenico,
Maurice H. ter Beek,
Stefania Gnesi,
2020,
ISoLA.
Vincenzo Ciancia,
Maurice H. ter Beek,
Davide Basile,
2018,
ISoLA.
Emilio Tuosto,
Gian Luigi Ferrari,
Davide Basile,
2016,
FORTE.
Axel Legay,
Maurice H. ter Beek,
Davide Basile,
2018,
VECoS.
Davide Sangiorgi,
Gian Luigi Ferrari,
Davide Basile,
2017
.
Silvano Chiaradonna,
Felicita Di Giandomenico,
Stefania Gnesi,
2015,
SERENE.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017
.
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2017,
SPLC.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2020,
Leveraging Applications of Formal Methods.
Axel Legay,
Maxime Cordy,
Maurice H. ter Beek,
2020,
SPLC.
Maurice H. ter Beek,
Stefania Gnesi,
Franco Mazzanti,
2019,
RSSRail.
Synthesis of Orchestrations and Choreographies: Bridging the Gap between Supervisory Control and Coordination of Services
pdf
Maurice H. ter Beek,
Davide Basile,
Rosario Pugliese,
2020,
Log. Methods Comput. Sci..
Andrea Bondavalli,
Davide Basile,
Andrea Ceccarelli,
2019,
SAFECOMP Workshops.
Gian Luigi Ferrari,
Davide Basile,
Pierpaolo Degano,
2016,
Log. Methods Comput. Sci..
Davide Basile,
Letterio Galletta,
Gianluca Mezzetti,
2015,
Programming Languages with Applications to Biology and Security.
A stochastic model-based approach to analyse reliable energy-saving rail road switch heating systems
Silvano Chiaradonna,
Felicita Di Giandomenico,
Stefania Gnesi,
2016,
J. Rail Transp. Plan. Manag..
Felicita Di Giandomenico,
Stefania Gnesi,
Davide Basile,
2019
.
Axel Legay,
Davide Basile,
Maurice H. ter Beek,
2019,
Innovations in Systems and Software Engineering.
Axel Legay,
Felicita Di Giandomenico,
Gian Luigi Ferrari,
2021,
FORTE.
Davide Basile,
2021,
ERCIM News.
Maurice H. ter Beek,
Franco Mazzanti,
Davide Basile,
2021,
ArXiv.
Davide Basile,
Alessandro Fantechi,
Irene Rosadi,
2021,
FMICS.
Davide Basile,
Alessandro Fantechi,
Luigi Rucher,
2021,
Formal Aspects of Computing.
Maurice H. ter Beek,
Davide Basile,
M. Beek,
2021,
COORDINATION.
Felicita Di Giandomenico,
Gian Luigi Ferrari,
Maurice H. ter Beek,
2017
.