Maria Sorea

Model checking a fault-tolerant startup algorithm: from design exploration to exhaustive fault simulation

Wilfried Steiner, John Rushby, Maria Sorea et al. · 2004 · 72 citations

Computing, Computer Science, Systems Engineering +14

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 · 2003 · 70 citations · Full text

Computing, Computer Science, Logic +16

Timed Systems in SAL

Bruno Dutertre, Maria Sorea · 2004 · 46 citations

Computing, Computer Science, Real-time Systems +3

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 · 2002 · 32 citations · Full text

Computing, Computer Engineering, Computer Science +14

Predicate Abstraction for Dense Real-Time Systems

Maria Sorea · BRICS Report Series · 2001 · 30 citations · Full text

Computing, Computer Science, Computer Systems +15