Segui
Francesco Adalberto Bianchi
Titolo
Citata da
Citata da
Anno
First evidence for a charm radial excitation, D∗′
P Abreu, W Adam, T Adye, P Adzic, I Ajinenko, GD Alekseev, R Alemany, ...
Physics Letters B 426 (1-2), 231-242, 1998
931998
Measurement of the spin density matrix for the ϱ0, K∗ 0 (892) and F produced in Z0 decays
P Abreu, W Adam, T Adye, GD Alekseev, R Alemany, PP Allport, ...
Physics Letters B 406 (3), 271-286, 1997
681997
A survey of recent trends in testing concurrent software systems
FA Bianchi, A Margara, M Pezzè
IEEE Transactions on Software Engineering 44 (8), 747-783, 2017
582017
Search for Leptoquarks and FCNC in e+ e− annihilations at s= 183 GeV
P Abreu, W Adam, T Adye, P Adzic, T Aldeweireld, GD Alekseev, ...
Physics Letters B 446 (1), 62-74, 1999
521999
Reusing constraint proofs in program analysis
A Aquino, FA Bianchi, M Chen, G Denaro, M Pezzè
Proceedings of the 2015 International Symposium on Software Testing and …, 2015
372015
Reproducing concurrency failures from crash stacks
FA Bianchi, M Pezzè, V Terragni
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
312017
Coverage-driven test generation for thread-safe classes via parallel and conflict dependencies
V Terragni, M Pezzè, FA Bianchi
2019 12th IEEE Conference on Software Testing, Validation and Verification …, 2019
52019
Testing concurrent software systems
FA Bianchi
2016 IEEE International Conference on Software Testing, Verification and …, 2016
22016
A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt.
L Bernardinello, FA Bianchi
PNSE, 217-221, 2012
12012
Exposing concurrency failures
FA Bianchi
2018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–10