Gerardo Schneider's Publications

On-going Work

  1. Gerardo Schneider. A Constraint-based Algorithm for Estimating Memory Usage on Java Cards.  Submitted.
  2. Gerardo Schneider. Computing Phase Portrait Objects of Polygonal Hybrid Systems on Surfaces. Submitted.
  3. D. Cachera, T. Jensen, D. Pichardie and G. Schneider. A Certified Memory Analyser for Java Cards. Submitted.

Journal Papers

  1. Gerardo Schneider. Computing Invariance Kernels of Polygonal Hybrid Systems.  In: Nordic Journal of Computing  11 (2): 194--210, 2004. Postscript (preliminary version).

Papers in Conferences or Workshop Proceedings

  1.  P. Giambiagi, G. Schneider and F.D. Valencia. On the expressiveness of infinite behavior and name scoping in process calculi. In: FOSSACS'04. LNCS Nro. 2987. Barcelone, Spain, p.226--240. March 27 - April 04, 2004. Postscript (© Springer-Verlag)
  2. G. Pace and G. Schneider. Model Checking Polygonal Differential Inclusions Using Invariance Kernels. In: VMCAI'2004.  LNCS Nro. 2937. Venice, Italy, p.110--121, January 11-13, 2004. Postscript (© Springer-Verlag)
  3. E. Asarin and G. Schneider. Widening the Boundary Between Decidable and Undecidable Hybrid Systems. In: CONCUR'2002. LNCS Nro. 2421, Brno, Czech Republic, p.193-208, August 2002. Postscript (© Springer-Verlag)
  4. E. Asarin,  G. Pace, G. Schneider and S. Yovine. SPeeDI - a Verification Tool for Polygonal Hybrid Systems.  In: CAV'2002. LNCS Nro. 2404, Copenhagen, Denmark, p.354-35, July 27-31, 2002. Postscript   (© Springer-Verlag)
  5. E. Asarin, G. Schneider and S. Yovine.  Towards Computing Phase Portraits of Polygonal Differential Inclusions. In: HSCC'2002 (Hybrid Systems: Computation and Control). LNCS Nro. 2289, Stanford, USA, p.49-61, March  2002.  Postscript  (© Springer-Verlag)
  6. E. Asarin, G. Schneider and S. Yovine. On the Decidability of the Reachability Problem for Planar Differential Inclusions.  In: HSCC'2001 (Hybrid Systems: Computation and Control). LNCS Nro. 2034, Rome, Italy, p.89-104, March 2001. (© Springer-Verlag)
  7. G. Lafferriere, G.J. Pappas, G. Schneider and S. Yovine. Parameter Synthesis in Robot Motion Planning Using Symbolic Reachability Computation. In: Proceedings of 8th IEEE Mediterranean Conference on Control and Automation. Rio, Greece, July 2000. 6 p. Postscript
  8. G. Schneider and Xu Qiwen. Towards a Formal Semantics of Verilog using Duration Calculus. In: FTRTFT'98. LNCS Nro. 1486, Lyngby, Denmark, p.282-293, September 1998. Postscript  (© Springer-Verlag)
  9. G. Schneider and A.C. da Rocha Costa. Coherence Space as Event Structure and Concrete Data Structure. In: XXIV SEMISH, Seminário Integrado de Software e Hardware,  Brasilia, Brazil, p.423-434, August 1997. 
  10. G. Schneider and A.C. da Rocha Costa. Sequential and Parallel Computation Strategies on Coherence Spaces. In: XXII Latin-American Conference of Informatica CLEI Panel 96, v.1, Bogotá, Colombia, p.276-287, June 1996. 

Thesis

  1. G. Schneider. Algorithmic Analysis of Polygonal Hybrid Systems. Ph.D. thesis, VERIMAG - UJF, Grenoble, France. July 2002. 214 p. Postscript
  2. G. Schneider. Sequential and Parallel Computation Strategies on Coherence Spaces. M.Sc. thesis, CPGCC da UFRGS, Brazil. March 1996. 144 p. (In portuguese) Postscript

Other Contributions

  1. G. Schneider. Memory usage estimation for Java cards. In: NWPT'2004. Uppsala, Sweden, October 06-08, 2004. (Extended Abstract). Postscript
  2. P. Giambiagi, G. Schneider and F.D. Valencia. A Note on Scope and Infinite Behaviour in CCS-like Calculi. In: NWPT'2003. Turku, Finland, October 29-31, 2003. (Extended Abstract). Postscript 
  3.  G. Schneider. Computing Invariance Kernels of Polygonal Hybrid Systems. In: NWPT'2003. Turku, Finland, October 29-31, 2003. (Extended Abstract). Postscript
  4. G. Schneider and Rafael Accorsi. Introduction to Linear Logic. In: Primeiro Workshop sobre Métodos Formais e Qualidade de Software, Porto Alegre, Brazil, p.15-42, July 1997. (Survey, in portuguese)
  5. G. Schneider and Laira V. Toscani. Fixed point theory in Computer Science. In: Anais do Congresso Nacional de Matemática Aplicada e Computacional (CNMAC'95), v.1, Curitiba, Brazil, p.150-154, August 1995. (Extended abstract, in Portuguese).

Internal Reports

  1. G. Schneider. A constraint-based algorithm for analysing memory usage on Java cards. Technical Report No. RR-5440, INRIA, Rennes. December 2004, 26 pages. Postscript
  2. P. Giambiagi, G. Schneider and F.D. Valencia. On the expressiveness of CCS-like calculi. Technical Report No. 2004-002, Department of Information Technology, Uppsala University. January 2004. 21 pages. Postscript
  3.  M. Baldamus, R. Mayr and G. Schneider. A backward/forward strategy for verifying safety properties of infinite-state systems. Technical Report No. 2003-065, Department of Information Technology, Uppsala University. December 2003. 17 pages. Postscript
  4. G. Schneider. Invariance kernels of Polygonal Differential Inclusions. Technical Report 2003-042, Department of Information Technology, Uppsala University. August 2003. 14 pages. Postscript
  5. E. Asarin, G. Schneider and S. Yovine. On the Decidability of the Reachability Problem for Planar Differential Inclusions. Technical Report, VERIMAG. January 2001. 32 p. Postscript
  6. G. Schneider and Xu Qiwen. Towards an Operational Semantics of Verilog. Technical Report No. 147, UNU/IIST, P.O. Box 3058, Macau, October 1998. 10 p. Postscript
  7. G. Schneider and Xu Qiwen. Towards a Formal Semantics of Verilog using Duration Calculus. Technical Report No. 133, UNU/IIST, P.O. Box 3058, Macau, March 1998. 73 p. Postscript
  8. P. Giambiagi and G. Schneider. A Verilog Specification of the STARI. Technical Report, UNU/IIST, P.O. Box 3058, Macau. March 1998. 40 p. Postscript
  9. G. Schneider and Laira V. Toscani. Fixed point theory in Computer Science. Porto Alegre: CPGCC da UFRGS, January 1995. 68p. (In Portuguese).
  10. G. Schneider. An algebraic specification language. PortoAlegre: CPGCC da UFRGS, July 1994. 44p. (In Portuguese).
  11. G. Schneider. Using Induction for Algorithms Design. Concepcion del Uruguay: Facultad Regional Concepción del Uruguay de la Universidad Tecnológica Nacional, October 1992. 91p. (In Spanish).

Go back to Gerardo Schneider's Homepage