Search the dblp DataBase

Publications of Author

1. Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine
   SPeeDI - A Verification Tool for Polygonal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   CAV, 2002, pp:354-358 [Conf]
   
2. Eugene Asarin, Gerardo Schneider
   Widening the Boundary between Decidable and Undecidable Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2002, pp:193-208 [Conf]
   
3. David Cachera, Thomas P. Jensen, David Pichardie, Gerardo Schneider
   Certified Memory Usage Analysis. [Citation Graph (0, 0)][DBLP]
   FM, 2005, pp:91-106 [Conf]
   
4. Gordon J. Pace, Gerardo Schneider
   Static Analysis for State-Space Reduction of Polygonal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
   FORMATS, 2006, pp:306-321 [Conf]
   
5. Pablo Giambiagi, Gerardo Schneider, Frank D. Valencia
   On the Expressiveness of Infinite Behavior and Name Scoping in Process Calculi. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2004, pp:226-240 [Conf]
   
6. Gerardo Schneider, Qiwen Xu
   Towards a Formal Semantics of Verilog Using Duration Calculus. [Citation Graph (0, 0)][DBLP]
   FTRTFT, 1998, pp:282-293 [Conf]
   
7. Eugene Asarin, Gerardo Schneider, Sergio Yovine
   On the Decidability of the Reachability Problem for Planar Differential Inclusions. [Citation Graph (0, 0)][DBLP]
   HSCC, 2001, pp:89-104 [Conf]
   
8. Eugene Asarin, Gerardo Schneider, Sergio Yovine
   Towards Computing Phase Portraits of Polygonal Differential Inclusions. [Citation Graph (0, 0)][DBLP]
   HSCC, 2002, pp:49-61 [Conf]
   
9. Pablo Giambiagi, Olaf Owe, Gerardo Schneider, Anders P. Ravn
   Language-based support for service oriented architectures: Future directions. [Citation Graph (0, 0)][DBLP]
   ICSOFT (1), 2006, pp:339-344 [Conf]
   
10. Gordon J. Pace, Gerardo Schneider
    A Compositional Algorithm for Parallel Model Checking of Polygonal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    ICTAC, 2006, pp:168-182 [Conf]
    
11. Gilles Barthe, Mariela Pavlova, Gerardo Schneider
    Precise Analysis of Memory Consumption using Program Logics. [Citation Graph (0, 0)][DBLP]
    SEFM, 2005, pp:86-95 [Conf]
    
12. Gordon J. Pace, Gerardo Schneider
    Model Checking Polygonal Differential Inclusions Using Invariance Kernels. [Citation Graph (0, 0)][DBLP]
    VMCAI, 2004, pp:110-121 [Conf]
    
13. Gerardo Schneider
    Computing Invariance Kernels of Polygonal Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    Nord. J. Comput., 2004, v:11, n:2, pp:194-209 [Journal]
    
14. Gordon J. Pace, Cristian Prisacariu, Gerardo Schneider
    Model Checking Contracts - A Case Study. [Citation Graph (0, 0)][DBLP]
    ATVA, 2007, pp:82-97 [Conf]
    
15. Cristian Prisacariu, Gerardo Schneider
    A Formal Language for Electronic Contracts. [Citation Graph (0, 0)][DBLP]
    FMOODS, 2007, pp:174-189 [Conf]
    
16. Eugene Asarin, Gerardo Schneider, Sergio Yovine
    Algorithmic analysis of polygonal hybrid systems, part I: Reachability. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2007, v:379, n:1-2, pp:231-265 [Journal]
    
17. 
    A Model for Visual Specification of E-contracts. [Citation Graph (, )][DBLP]
    
    
18. 
    Run-Time Monitoring of Electronic Contracts. [Citation Graph (, )][DBLP]
    
    
19. 
    CLAN: A Tool for Contract Analysis and Conflict Discovery. [Citation Graph (, )][DBLP]
    
    
20. 
    Safe Runtime Verification of Real-Time Properties. [Citation Graph (, )][DBLP]
    
    
21. 
    Abstract specification of legal contracts. [Citation Graph (, )][DBLP]
    
    
22. 
    Relaxing Goodness Is Still Good. [Citation Graph (, )][DBLP]
    
    
23. 
    Automatic Conflict Detection on Contracts. [Citation Graph (, )][DBLP]
    
    
24. 
    GSPeeDI - A Verification Tool for Generalized Polygonal Hybrid Systems. [Citation Graph (, )][DBLP]
    
    
25. 
    Challenges in the Specification of Full Contracts. [Citation Graph (, )][DBLP]
    
    
26. 
    Reachability analysis of generalized polygonal hybrid systems. [Citation Graph (, )][DBLP]
    
    
27. 
    Reachability analysis of GSPDIs: theory, optimization, and implementation. [Citation Graph (, )][DBLP]
    
    
28. 
    LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper). [Citation Graph (, )][DBLP]
    
    
29. 
    Components, objects, and contracts. [Citation Graph (, )][DBLP]
    
    
30. 
    Computation and Visualisation of Phase Portraits for Model Checking SPDIs. [Citation Graph (, )][DBLP]
    
    
31. 
    : An Action-Based Logic for Reasoning about Contracts. [Citation Graph (, )][DBLP]
    
    
32. 
    Dynamic Event-Based Runtime Monitoring of Real-Time and Contextual Properties. [Citation Graph (, )][DBLP]
    
    
33. 
    On the Definition and Policies of Confidentiality. [Citation Graph (, )][DBLP]
    
    
34. 
    Wrap Your Objects Safely. [Citation Graph (, )][DBLP]
    
    
35. 
    On the Specification of Full Contracts. [Citation Graph (, )][DBLP]