Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Corina S. Păsăreanu
Quantifying Information Leaks Using Reliability Analysis
Automated Assume-Guarantee Reasoning by Abstraction Refinement
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Quantifying Information Flow Using Min-Entropy
Quantifying Biofilm Structure Using Image Analysis
Journal of Microbiological Methods
Microbiology
Molecular Biology
Reliability Analysis Using Weibull Distribution
International Journal of Science and Research (IJSR)
Reliability Enhancement Using Optimization Analysis
Scientific Journal of Silesian University of Technology. Series Transport
Circuit Reliability Analysis Using Symbolic Techniques
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
Electrical
Software
Computer Graphics
Computer-Aided Design
Electronic Engineering
Reliability Assessment of Temporary Structures Using Past Performance Information
International Journal of Reliability and Safety
Quality
Reliability
Safety
Risk
Quantifying Lingual Coarticulation in German Using Mutual Information: An Ultrasound Study
Journal of the Acoustical Society of America
Acoustics
Ultrasonics
Arts
Humanities
Quantifying Information Flow During Emergencies
Scientific Reports
Multidisciplinary
Quantifying Information Flow With Beliefs
Journal of Computer Security
Risk
Computer Networks
Hardware
Communications
Reliability
Safety
Architecture
Quality
Software
