MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Maria Sorea" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

15 documents found, showing 1 through 10. Next 10 →

ATOM

Logical Action Refinement
by Maria Sorea
…Logical Action Renement Maria Sorea Universitat Mannheim Fakultat fur Mathematik und Informatik…
Add To MetaCart

Bounded Model Checking for Timed Automata
by Maria Sorea — 2002 — Electronic Notes in Theoretical Computer Science
…CSL Technical Report SRI-CSL-02-03 May 23, 2002 Bounded Model Checking for Timed Automata Maria…
Cited by 14 (5 self) – Add To MetaCart

Tempo: A Model Checker for Event-Recording Automata
by Maria Sorea — 2001 — In Proceedings of RT-Tools'01
…Tempo: A Model Checker for Event-Recording Automata ? Maria Sorea ?? Computer Science Laboratory…
Cited by 4 (0 self) – Add To MetaCart

Timed systems in SAL
by Bruno Dutertre, Maria Sorea — 2004 — Computer Science Laboratory
…Timed Systems in SAL Bruno Dutertre and Maria Sorea ∗ ∗ Abteilung Künstliche Intelligenz…
Cited by 8 (2 self) – Add To MetaCart

Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata
by Bruno Dutertre, Maria Sorea — 2004
… Draft of a paper to be presented at FORMATS/FTRTFT'04, Grenoble 2004 Bruno Dutertre 1 and Maria Sorea…
Cited by 15 (1 self) – Add To MetaCart

Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration to Exhaustive Fault Simulation
by Wilfried Steiner, John Rushby, Maria Sorea, Holger Pfeifer — 2004 — In The International Conference on Dependable Systems and Networks
…@(email omitted); John Rushby Computer Science Laboratory, SRI International, USA rushby@(email omitted); Maria Sorea…
Cited by 22 (9 self) – Add To MetaCart

Lazy Approximation for Dense Real-Time Systems (Extended Abstract)
by Maria Sorea, Universitt Ulm Abteilung Knstliche Intelligenz — 2004
… to be presented at FORMATS/FTRTFT'04, Grenoble 2004 Maria Sorea ## Universitt Ulm, Abteilung Knstliche…
Add To MetaCart

Bounded model checking and induction: From refutation to verification (extended abstract, category A
by Leonardo De Moura, Harald Ruess, Maria Sorea — Proceedings of the 15th International Conference on Computer Aided Verification, CAV 2003, volume 2725 of Lecture Notes in Computer Science
…, Category A) Leonardo de Moura, Harald Ruess, and Maria Sorea ?? SRI International Computer Science…
Cited by 34 (8 self) – Add To MetaCart

Lazy theorem proving for bounded model checking over infinite domains
by Leonardo De Moura, Harald Ruess, Maria Sorea — 2002
…, Harald Ruess, and Maria Sorea ?? SRI International Computer Science Laboratory 333 Ravenswood Avenue…
Cited by 53 (11 self) – Add To MetaCart

Sal 2
by Leonardo De Moura, Sam Owre, Harald Rueß, John Rushby, N. Shankar, Maria Sorea, Ashish Tiwari — 2004
… # Leonardo de Moura, Sam Owre, Harald Rue, John Rushby, N. Shankar, Maria Sorea, Ashish Tiwari Computer…
Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB