Follow
Francesco Adalberto Bianchi
Title
Cited by
Cited by
Year
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
572017
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
302017
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
The system can't perform the operation now. Try again later.
Articles 1–10