|
[FS10b]
|
Ken-etsu Fujita and Aleksy Schubert.
The undecidability of type related problems in type-free style
System F.
In Christopher Lynch, editor, Proceedings of the 21st
International Conference on Rewriting Techniques and Applications, volume 6
of Leibniz International Proceedings in Informatics (LIPIcs), pages
103-118, Dagstuhl, Germany, 2010. Schloss Dagstuhl-Leibniz-Zentrum fuer
Informatik.
[ DOI |
http ]
|
|
[FS10a]
|
Ken-etsu Fujita and Aleksy Schubert.
Existential type systems between Church and Curry style.
Extended version, 2010.
[ .pdf ]
|
|
[FDJS10]
|
Jedrzej Fulara, Konrad Durnoga, Krzysztof Jakubczyk, and Aleksy Schubert.
Relational abstract domain of weighted hexagons.
Electronic Notes in Theoretical Computer Science,
267(1):59-72, 2010.
[ DOI ]
|
|
[CSS09]
|
Jacek Chrząszcz, Aleksy Schubert, and Tadeusz Sznuk.
Verification and certification of Java classes using BML tools.
Unpublished manuscript, 2009.
|
|
[FS09]
|
Ken-etsu Fujita and Aleksy Schubert.
Existential type systems with no types in terms.
In Pierre-Louis Curien, editor, Typed Lambda Calculi and
Applications, 9th International Conference, TLCA 2009, Brasília, Brazil,
July 1-3, 2009. Proceedings, volume 5608 of Lecture Notes in Computer
Science, pages 112-126. Springer, 2009.
Extended version available as
http://www.mimuw.edu.pl/~alx/papers/existential-chcu.pdf.
|
|
[Sch09]
|
Aleksy Schubert.
The existential fragment of the one-step parallel rewriting theory.
In Ralf Treinen, editor, Rewriting Techniques and Applications,
20th International Conference, RTA 2009, Brasília, Brazil, June 29 -
July 1, 2009, Proceedings, volume 5595 of Lecture Notes in Computer
Science, pages 78-92. Springer, 2009.
[ DOI ]
|
|
[SWC09]
|
Aleksy Schubert and Daria Walukiewicz-Chrząszcz.
The non-interference protection in BML.
Electronic Notes in Theoretical Computer Science, 253:113-127,
December 2009.
[ DOI |
http ]
|
|
[FJS08]
|
J. Fulara, K. Jakubczyk, and A. Schubert.
Supplementing Java bytecode with specifications.
In T. Hruška, L. Madeyski, and M. Ochodek, editors, Software
Engineering Techniques in Progress, pages 215-228. Oficyna Wydawnicza
Politechniki Wroclawskiej, 2008.
|
|
[Sch08]
|
Aleksy Schubert.
On the building of affine retractions.
Mathematical Structures in Computer Science, 18(4):753-793,
2008.
[ DOI ]
|
|
[CHS08]
|
Jacek Chrząszcz, Marieke Huisman, and Aleksy Schubert.
BML and related tools.
In Frank S. de Boer, Marcello M. Bonsangue, and Eric Madelain,
editors, Formal Methods for Components and Objects, 7th International
Symposium, FMCO 2008, Sophia Antipolis, France, October 21-23, 2008, Revised
Lectures, volume 5751 of Lecture Notes in Computer Science, pages
278-297. Springer, 2008.
|
|
[CS08]
|
Patryk Czarnik and Aleksy Schubert.
Extending operational semantics of the Java bytecode.
In Gilles Barthe and Cédric Fournet, editors, Trustworthy
Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France,
November 5-6, 2007, Revised Selected Papers, volume 4912 of Lecture
Notes in Computer Science, pages 57-72. Springer, 2008.
|
|
[SCB+08]
|
Aleksy Schubert, Jacek Chrząszcz, Tomasz Batkiewicz, Jaroslaw Paszek,
and Wojciech Wąs.
Technical aspects of class specification in the byte code of Java
language.
In Bytecode'08 proceedings, Electronic Notes in Theoretical
Computer Science, 2008.
to appear.
|
|
[HPS08]
|
Christian Haack, Erik Poll, and Aleksy Schubert.
Explicit information flow properties in JML.
In 3rd Benelux Workshop on Information and System Security,
2008.
informal proceedings.
|
|
[CKST08]
|
Jacek Chrząszcz, Lukasz Kamiński, Aleksy Schubert, and Andrzej
Tarlecki.
Stworzenie definicji pojecia funkcyjności dla jezyka java.
Technical report, University of Warsaw, 2008.
in Polish, the English title Design of a defnition of functional
methods for Java programming language, Opracowane w ramach projektu WKP
1/1.4.1/1/2006/92/92/647/2007/U, Nowatorski system zintegrowanej
kontroli jakosści i detekcji bledów w oprogramowaniu.
[ .pdf ]
|
|
[HPSS07]
|
Christian Haack, Erik Poll, Jan Schäfer, and Aleksy Schubert.
Immutable objects for a Java-like language.
In Rocco De Nicola, editor, Programming Languages and Systems,
16th European Symposium on Programming, ESOP 2007, Held as Part of the Joint
European Conferences on Theory and Practics of Software, ETAPS 2007, Braga,
Portugal, March 24 - April 1, 2007, Proceedings, volume 4421 of Lecture
Notes in Computer Science, pages 347-362. Springer, 2007.
|
|
[PS07]
|
Erik Poll and Aleksy Schubert.
Verifying an implementation of SSH.
In Proceedings on WITS'2007, 2007.
[ .pdf ]
|
|
[CSGSS07]
|
Jacek Chrząszcz, Tomasz Stachowicz, Andrzej Gąsienica-Samek, and Aleksy
Schubert.
Minik: A tool for maintaining proper Java code structure.
In Krzysztof Sacha, editor, Software Engineering Techniques:
Design for Quality, volume Volume 227/2007 of IFIP International
Federation for Information Processing, pages 361-371. Springer, 2007.
|
|
[CFJ+06]
|
Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubczyk, Lukasz Jancewicz,
Jacek Chrząszcz, Lukasz Kamiński, and Aleksy Schubert.
Propagation of JML non-null annotations in Java programs.
In PPPJ '06: Proceedings of the 4th international symposium on
Principles and practice of programming in Java, pages 135-140, New York,
NY, USA, 2006. ACM Press.
[ DOI ]
|
|
[SC06]
|
Aleksy Schubert and Jacek Chrząszcz.
ESC/Java2 as a tool to ensure security in the source code of Java
applications.
In Krzysztof Sacha, editor, Software Engineering Techniques:
Design for Quality, volume 227/2006 of IFIP International Federation
for Information Processing, pages 337-348. Springer, 2006.
Available PDF with a preliminary version.
[ .pdf ]
|
|
[GSSCS06]
|
Andrzej Gąsienica-Samek, Tomasz Stachowicz, Jacek Chrząszcz, and Aleksy
Schubert.
KOTEK: Clustering of the enterprise code.
In Krzysztof Zielinski and Tomasz Szmuc, editors, Software
Engineering: Evolution and Emerging Technologies, volume 130, pages
412-417. IOS Press, 2006.
|
|
[HPS06]
|
Christian Haack, Erik Poll, and Aleksy Schubert.
Immutable objects in Java.
Technical report, Radboud University Nijmegen, Department of Computer
Science, 2006.
|
|
[Sch01a]
|
Aleksy Schubert.
The complexity of β-reduction in low orders.
In Samson Abramsky, editor, Typed Lambda Calculi and
Applications, 5th International Conference, TLCA 2001, Krakow, Poland, May
2-5, 2001, Proceedings, volume 2044 of Lecture Notes in Computer
Science, pages 400-414. Springer, 2001.
Available preliminary version.
[ .pdf ]
|
|
[Sch01b]
|
Aleksy Schubert.
Zastosowanie unifikacji do problemów wyprowadzania typów.
PhD thesis, The University of Warsaw, 2001.
In Polish.
[ .pdf ]
|
|
[Sch00]
|
Aleksy Schubert.
Type inference for first order logic.
In Jerzy Tiuryn, editor, Proceedings of Foundations of Software
Science and Computation Structures, volume 1784 of Lecture Notes in
Computer Science, pages 297-314. Springer, 2000.
|
|
[FS00]
|
Ken-etsu Fujita and Aleksy Schubert.
Partially typed terms between Church-style and Curry-style.
In Jan van Leeuwen, Osamu Watanabe, Masami Hagiya, Peter D. Mosses,
and Takayasu Ito, editors, Theoretical Computer Science, Exploring New
Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000,
Sendai, Japan, August 17-19, 2000, Proceedings, volume 1872 of Lecture
Notes in Computer Science, pages 505-520. Springer, 2000.
|
