Maria Sorea - Concepedia

Author

Maria Sorea

Also Known As

M. Sorea, Maria Sorea

Publications

885

Citations

H-Index

Concepts

All Affiliations

Maria Sorea is an author at SRI International specializing in formal methods, engineering, and systems engineering.

#	Concept	H-Index	Publications	Citations
1	Engineering	4	4	203
2	Computer Science	4	4	203
3	Systems Engineering	4	4	203
4	Computer Engineering	1	1	72
5	Compilers	1	1	32

Maria Sorea

Publications

273

Citations

H-Index

Page 1

	Year	Citations
Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulation Wilfried Steiner, John Rushby, Maria Sorea, EngineeringVerificationSoftware EngineeringModel CheckingDependable System Architecture	2004	72
Bounded Model Checking for Timed Automata1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096. Maria Sorea Electronic Notes in Theoretical Computer Science EngineeringReachability ProblemVerificationComputer-aided VerificationComputational Complexity	2003	69
Timed Systems in SAL Bruno Dutertre, Maria Sorea	2004	46
Predicate Abstraction for Dense Real-Time Systems1 1This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096 and by NASA Langley Research Center under contract B09060051 and Cooperative Agreement NCC-1-399 with Honeywell Minneapolis. Most of this research has been conducted while the first author was visiting SRI International, July/August 2001. Harald Rueß, Maria Sorea Electronic Notes in Theoretical Computer Science EngineeringVerificationDense Real-time SystemsComputer-aided VerificationModel Checking	2002	32
Predicate Abstraction for Dense Real-Time Systems Maria Sorea BRICS Report Series EngineeringVerificationDense Real-time SystemsModel CheckingPredicate Abstraction Algorithm	2001	30
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains Leonardo de Moura, Maria Sorea	2002	24

Page 1