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 | 99 | 1998 |
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 | 71 | 1997 |
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 | 59 | 2017 |
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 | 52 | 1999 |
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 | 39 | 2015 |
Reproducing concurrency failures from crash stacks FA Bianchi, M Pezzè, V Terragni Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 34 | 2017 |
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 | 5 | 2019 |
Testing concurrent software systems FA Bianchi 2016 IEEE International Conference on Software Testing, Verification and …, 2016 | 2 | 2016 |
A Concurrent Simulator for Petri Nets Based on the Paradigm of Actors of Hewitt. L Bernardinello, FA Bianchi PNSE, 217-221, 2012 | 1 | 2012 |
Exposing concurrency failures FA Bianchi | | 2018 |