School of Computer Science
University of Manchester, UK
|
|
Modeling and verification of real-time systems |
|
|
Abstraction techniques |
|
|
Real-time model checking |
|
|
Hybrid systems |
|
|
Real-time logics |
|
|
Maria Sorea
Verification of Real-Time Systems through Lazy Approximations PhD Thesis, University of Ulm, Germany 2004. |
|
|
Maria Sorea
Lazy Approximation for Dense Real-Time Systems To be presented at FORMATS'04. |
|
|
Bruno Dutertre and Maria Sorea
Modeling and Verification of a Fault-Tolerant Real-time Startup Protocol using Calendar Automata To be presented at FTRTFT'04. |
|
|
Leonardo de Moura, Sam Owre, Harald Ruess, John Rushby, N. Shankar, Maria Sorea and Ashish Tiwari
SAL 2 Tool description to be presented at CAV 2004. |
|
|
Wilfried Steiner, John Rushby, Maria Sorea, Holger Pfeifer
Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation To be presented at DSN 2004. |
|
|
Leonardo de Moura, Harald Rueß and Maria Sorea
Bounded Model Checking and Induction: From Refutation to Verification Accepted to CAV 2003. |
|
|
Maria Sorea
Bounded Model Checking for Timed Automata Accepted for publication at the Third Workshop on Models for Time-Critical Systems (MTCS) 2002; affiliated with CONCUR 2002. |
|
|
Maria Sorea
A Decidable Fixpoint Logic for Time-Outs Accepted to CONCUR 2002. |
|
|
Leonardo de Moura, Harald Rueß and Maria Sorea
Lazy Theorem Proving for Bounded Model Checking over Infinite Domains Accepted to CADE'2002. |
|
|
M. Oliver Möller, Harald Rueß and Maria Sorea
Predicate Abstraction for Dense Real-Time Systems Accepted for publication at the Workshop on Theory and Practice of Timed Systems 2002. Electronic Notes in Theoretical Computer Science, Vol. 65, No. 6, 2002. |
|
|
Maria Sorea
TEMPO: A Model Checker for Event-Recording Automata Accepted for publication at the Workshop on Real-Time Tools (RT-TOOLS) 2001. |
|
|
Martin Strecker, Maria Sorea
Integrating an Equality Prover into a Software Development System based on Type Theory Proc. of KI'97, Springer LNAI 1303, pp. 147-158, 1997 |
|
|
Maria Sorea
Integration von Gleichheitsverfahren in einen typentheoretischen Beweiser Master Thesis, University of Ulm, Germany, Dec. 1996 |
|
|
Bruno Dutertre and Maria Sorea
Timed Systems in SAL (gzipped postscript), (postscript), (pdf) SRI International, 2004, SRI-SDL-04-03 |
|
|
N. Shankar and M. Sorea
Counterexample-Driven Model Checking (revisited version) (gzipped postscript), (postscript) SRI International, 2003, SRI-CSL-03-04 |
|
|
Maria Sorea
Bounded Model Checking for Timed Automata (gzipped postscript) SRI International, 2002, SRI-CSL-02-03 |
|
|
Maria Sorea
Results on Event-Recording Logic (gzipped postscript) SRI International, 2001, SRI-CSL-01-06 |
|
|
M. Oliver Möller, Harald Rueß, Maria Sorea
Predicate Abstraction for Dense Real-Time Systems (gzipped postscript) University of Aalborg, Denmark, 2001, BRICS-RS-01-44 |
|
|
Maria Sorea
TEMPO: A Model Checker for Event-Recording Automata (gzipped postscript) SRI International, 2001, SRI-CSL-01-04 |
|
|
Verifikation von Echtzeitsystemen mittels verzögerter Approximationen (Dissertation defense, July 5, 2004, Ulm.) (pdf) |
|
|
Counterexample-Driven Model Checking (Berkeley, September 29, 2003.) (pdf) |
|
|
Approximationsbasierte Verifikationsmethoden für Echtzeitsysteme (Promotionsvorhaben, University Ulm, Germany, May 27, 2003) (pdf) |
|
|
Counterexample-Driven Model Checking (NIA, Virginia, Feb. 2003) (pdf) |
|
|
Bounded Model Checking for Timed Automata (MTCS 2002) (gzipped postscript) |
|
|
A Decidable Fixpoint Logic for Time-Outs (CONCUR 2002) (gzipped postscript) |
|
|
TEMPO: A Model Checker for Event-Recording Automata (RT-TOOLS 2001) (gzipped postscript) |
|
|
Maria Sorea
Logical Action Refinement (gzipped postscript) Unpublished Manuscript, University of Mannheim, Germany, 2000. |
|
|
Rescaling documents on a different size of paper |
|
|
File converter (ppt to pdf and so on) |
Romanian Painted Monasteries.