Search the dblp DataBase

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]