Francesco Adalberto Bianchi
Titolo
Citata da
Citata da
Anno
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
511999
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
312017
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
302015
Reproducing concurrency failures from crash stacks
FA Bianchi, M Pezzè, V Terragni
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
262017
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
32019
Testing Concurrent Software Systems
FA Bianchi
2016 IEEE International Conference on Software Testing, Verification and …, 2016
12016
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: a comprehensive survey of the state of the art and a novel approach to reproduce field failures
FA Bianchi
Università della Svizzera italiana, 2018
2018
Search for composite and exotic fermions at LEP 2
T Alderweireld, D Bertrand, EG Anassontzis, AW Borgland, AC Benvenuti, ...
The European Physical Journal C-Particles and Fields 8 (1), 41-58, 1999
1999
First evidence for a charm radial excitation, D
D Bertrand, M Chen, AW Borgland, AC Benvenuti, FR Cavallo, M Begalli, ...
Physics Letters. Section B: Nuclear, Elementary Particle and High-Energy …, 1998
1998
Measurement of the spin density matrix for the ρ0, K*0(892) and φ produced in Z0 decays
D Bertrand, C Bricman, F Cao, M Chen, AW Borgland, AC Benvenuti, ...
Physics Letters. Section B: Nuclear, Elementary Particle and High-Energy …, 1997
1997
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–11