The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Maria Sorea: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
    Lazy Theorem Proving for Bounded Model Checking over Infinite Domains. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:438-455 [Conf]
  2. Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
    SAL 2. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:496-500 [Conf]
  3. Leonardo Mendonça de Moura, Harald Rueß, Maria Sorea
    Bounded Model Checking and Induction: From Refutation to Verification (Extended Abstract, Category A). [Citation Graph (0, 0)][DBLP]
    CAV, 2003, pp:14-26 [Conf]
  4. Maria Sorea
    A Decidable Fixpoint Logic for Time-Outs. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2002, pp:255-271 [Conf]
  5. Wilfried Steiner, John M. Rushby, Maria Sorea, Holger Pfeifer
    Model Checking a Fault-Tolerant Startup Algorithm: From Design Exploration To Exhaustive Fault Simulation. [Citation Graph (0, 0)][DBLP]
    DSN, 2004, pp:189-198 [Conf]
  6. Maria Sorea
    Lazy Approximation for Dense Real-Time Systems. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:363-378 [Conf]
  7. Bruno Dutertre, Maria Sorea
    Modeling and Verification of a Fault-Tolerant Real-Time Startup Protocol Using Calendar Automata. [Citation Graph (0, 0)][DBLP]
    FORMATS/FTRTFT, 2004, pp:199-214 [Conf]
  8. Mila E. Majster-Cederbaum, Frank Salger, Maria Sorea
    A Priori Verification of Reactive Systems. [Citation Graph (0, 0)][DBLP]
    FORTE, 2000, pp:35-50 [Conf]
  9. Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Pritam Roy, Maria Sorea
    Sociable Interfaces. [Citation Graph (0, 0)][DBLP]
    FroCos, 2005, pp:81-105 [Conf]
  10. Martin Strecker, Maria Sorea
    Integrating an Equality Prover into a Software Development System Based on Type Theory. [Citation Graph (0, 0)][DBLP]
    KI, 1997, pp:147-158 [Conf]
  11. M. Oliver Möller, Harald Rueß, Maria Sorea
    Predicate Abstraction for Dense Real-Time System. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:65, n:6, pp:- [Journal]
  12. Maria Sorea
    Bounded Model Checking for Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:68, n:5, pp:- [Journal]
  13. Christoph Heller, Josef Schalk, Stefan Schneele, Maria Sorea, Sebastian Voss
    Flexible Communication Architecture for Dependable Time-Triggered Systems. [Citation Graph (0, 0)][DBLP]
    WADS, 2006, pp:316-336 [Conf]

  14. SAL-Based Symbolic Scheduling in Time-Triggered Networks. [Citation Graph (, )][DBLP]


  15. Non-functional Avionics Requirements. [Citation Graph (, )][DBLP]


  16. Modeling and Verification of Time-Triggered Communication Protocols. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002