The SCEAS System
Navigation Menu

Search the dblp DataBase


Gerardo Schneider: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.005secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002