Login
中文
Corina S Păsăreanu
HIndex: 17
Follow
Share
I Know This Author
Publication
Citation
Affiliation
Research Interests
Anything in here will be replaced on browsers that support the canvas element
Abstract machine
Data structure
Abstraction
Software quality
Formal methods
Java
Verification and validation
Logic
Algorithm
Theory of computation
Artificial intelligence
Model checking
Analysis
Software Testing
Reliability
Verification
Machine learning
Model of computation
State space
Haplogroup N
Software system
Satisfiability
Component-based software engineering
Program analysis
Software verification
Co-author Map
More
Mentorship
More
Papers
Ranking by:
Time
Paper rank
Research Area:
All Area
Abstract machine
Data structure
Abstraction
Software quality
Formal methods
Java
Verification and validation
Logic
Algorithm
Theory of computation
Artificial intelligence
Model checking
Analysis
Software Testing
Reliability
Verification
Machine learning
Model of computation
State space
Haplogroup N
Software system
Satisfiability
Component-based software engineering
Program analysis
Software verification
Paper Recommendation
×
Match this author profile with one of the following researchers:
Author Name
Affiliation
Papers
Corina S Păsăreanu
Carnegie Mellon Silicon Valley
64
Corina S Pǎsǎreanu
Carnegie Mellon Silicon Valley
8
×
Share to your followers
Submit