Gerardo Schneider's Publications: Internal Reports

[1] Raúl Pardo, César Sánchez, and Gerardo Schneider. Timed epistemic knowledge bases for social networks (extended version). Technical Report abs/1708.04070, CoRR - arXiv.org, 2017. [ bib | http ]
[2] John J. Camilleri, Mohammad Reza Haghshenas, and Gerardo Schneider. A web-based tool for analysing normative documents in english. Technical Report abs/1707.03997, CoRR - arXiv.org, 2017. [ bib | http ]
[3] John J. Camilleri, Normunds Gruzitis, and Gerardo Schneider. Extracting formal models from normative texts. Technical Report abs/1607.01485, CoRR - arXiv.org, 2016. [ bib | http ]
[4] Thibaud Antignac, David Sands, and Gerardo Schneider. Data minimisation: A language-based approach (long version). Technical Report abs/1611.05642, CoRR - arXiv.org, 2016. [ bib | http ]
[5] John J. Camilleri, Gabriele Paganelli, and Gerardo Schneider. A CNL for contract-oriented diagrams. Technical Report abs/1406.5691, CoRR - arXiv.org, 2014. [ bib | http ]
[6] Hallstein Hansen, Gerardo Schneider, and Martin Steffen. Reachability analysis of complex planar hybrid systems. Technical Report 412, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, November 2011. [ bib | http | .pdf | Abstract ]
[7] Christian Colombo, Gordon Pace, and Gerardo Schneider. Resource-bounded runtime verification of java programs with real-time properties. Technical Report CS2009-01, Department of Computer Science, University of Malta, December 2009. [ bib | .pdf | Abstract ]
[8] Gordon J. Pace and Gerardo Schneider. FLACOS'09 Workshop Proceedings. Technical Report 385, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, September 2009. Editors. [ bib | .pdf ]
[9] Gordon J. Pace and Gerardo Schneider. FLACOS'08 Workshop Proceedings. Technical Report 377, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, October 2008. Editors. [ bib | .pdf ]
[10] Cristian Prisacariu and Gerardo Schneider. CL: A Logic for Reasoning about Legal Contracts -Semantics. Technical Report 371, Oslo, Norway, February 2008. [ bib | .pdf | Abstract ]
[11] Gordon Pace and Gerardo Schneider. Relaxing Goodness is Still Good for SPDIs. Technical Report 372, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, January 2008. [ bib | .pdf | Abstract ]
[12] Einar B. Johnsen, Olaf Owe, and Gerardo Schneider. NWPT'07/FLACOS'07 Workshop Proceedings. Technical Report 366, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, October 2007. Editors. [ bib | .pdf ]
[13] Olaf Owe, Gerardo Schneider, and Arild Torjusen. Towards integration of XML in the Creol object-oriented language. Technical Report 365, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, October 2007. [ bib | .pdf | Abstract ]
[14] Olaf Owe, Gerardo Schneider, and Martin Steffen. Components, objects, and contracts. Technical Report 363, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, August 2007. [ bib | .pdf | Abstract ]
[15] Gordon Pace, Cristian Prisacariu, and Gerardo Schneider. Model checking contracts -a case study. Technical Report 362, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, August 2007. [ bib | .pdf | Abstract ]
[16] Cristian Prisacariu and Gerardo Schneider. An Algebraic Structure for the Action-Based Contract Language CL - theoretical results. Technical Report 361, Department of Informatics, University of Oslo, Oslo, Norway, July 2007. Updated March 2008. [ bib | .pdf | Abstract ]
[17] Gerardo Schneider. On the decidability of the reachability problem for GSPDIs. Technical Report 359, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, June 2007. [ bib | .pdf | Abstract ]
[18] Cristian Prisacariu and Gerardo Schneider. Towards a formal definition of electronic contracts. Technical Report 348, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, January 2007. [ bib | .pdf | Abstract ]
[19] Gordon Pace and Gerardo Schneider. Static analysis of SPDIs for state-space reduction. Technical Report 336, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, April 2006. [ bib | .pdf | Abstract ]
[20] Pablo Giambiagi, Olaf Owe, Anders P. Ravn, and Gerardo Schneider. Contract-based internet service software development: A proposal. Technical Report 333, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, January 2006. [ bib | .pdf | Abstract ]
[21] Gerardo Schneider. Towards computing phase portrait objects of polygonal hybrid systems on surfaces. Technical Report 331, Department of Informatics, University of Oslo, PO Box 1080 Blindern, N-0316 Oslo, Norway, March 2005. [ bib | .pdf | Abstract ]
[22] Gerardo Schneider. A constraint-based algorithm for analysing memory usage on java cards. Technical Report RR-5440, INRIA, December 2004. [ bib | .ps.gz | Abstract ]
[23] Michael Baldamus, Richard Mayr, and Gerardo Schneider. A backward/forward strategy for verifying safety properties of infinite-state systems. Technical Report 2003-065, Department of Information Technology, Uppsala University, January 2004. [ bib | .pdf | Abstract ]
[24] Pablo Giambiagi, Gerardo Schneider, and Frank D. Valencia. On the expressiveness of CCS-like calculi. Technical Report 2004-002, Department of Information Technology, Uppsala University, Sweden, January 2004. [ bib | .ps.gz | Abstract ]
[25] Gerardo Schneider. Invariance kernels of polygonal differential inclusions. Technical Report 2003-042, Department of Information Technology, Uppsala University, August 2003. [ bib | .ps.gz | Abstract ]
[26] Eugene Asarin, Gerardo Schneider, and Sergio Yovine. On the decidability of the reachability problem for planar differential inclusions. Technical report, VERIMAG, Grenoble, France, January 2001. [ bib | .ps.gz | Abstract ]
[27] Gerardo Schneider and Xu Qiwen. Towards an Operational Semantics of Verilog. Technical Report 147, UNU/IIST, P.O.Box 3058, Macau, October 1998. [ bib | .ps.gz | Abstract ]
[28] Pablo Giambiagi and Gerardo Schneider. A Verilog specification of STARI. Technical report, UNU/IIST, P.O.Box 3058, Macau, February 1998. [ bib | .ps.gz | Abstract ]
[29] Gerardo Schneider and Xu Qiwen. Towards a Formal Semantics of Verilog using Duration Calculus. Technical Report 133, UNU/IIST, P.O.Box 3058, Macau, February 1998. [ bib | .ps.gz | Abstract ]
[30] Gerardo Schneider. Fixed point theory in Computer Science. Technical report, CPGCC da UFRGS, Porto Alegre, Brazil, January 1995. (In Portuguese). [ bib ]
[31] Gerardo Schneider. An algebraic specification language. Technical report, CPGCC da UFRGS, Porto Alegre, Brazil, July 1994. (In Portuguese). [ bib ]
[32] Gerardo Schneider. Using induction for algorithm design. Technical report, Dissertation for Engineering Degree. Facultad Regional Concepción del Uruguay - UTN, Concepción del Uruguay, Argentina, December 1992. (In Spanish). [ bib ]

This file was generated by bibtex2html 1.97.