Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite


Inhaltsbereich

Bibliographie

Referenzen auf Publikationen, sortiert nach Erscheinungsjahr und Autoren.

Hofmann, M and Pavlova, M (2007).
Elimination of Ghost Variables in Program Logics
In: Trustworthy Global Computing, Third Symposium, TGC 2007, Sophia-Antipolis, France, November 5-6, 2007, Revised Selected Papers, ed. by Gilles Barthe and Cédric Fournet, vol. 4912, pp. 1-20, Springer. Lecture Notes in Computer Science (ISBN: 978-3-540-78662-7).

Barthe, G, Beringer, L, Crégut, P, Grégoire, B, Hofmann, M, Müller, P, Poll, E, Puebla, G, Stark, I, and Vétillard, E (2006).
MOBIUS: Mobility, Ubiquity, Security
In: Trustworthy Global Computing, Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers, ed. by Ugo Montanari and Donald Sannella and Roberto Bruni, vol. 4661, pp. 10-29, Springer. Lecture Notes in Computer Science (ISBN: 978-3-540-75333-9).

Benton, N, Kennedy, A, Hofmann, M, and Beringer, L (2006).
Reading, Writing and Relations
In: Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, ed. by Naoki Kobayashi, vol. 4279, pp. 114-130, Springer. Lecture Notes in Computer Science (ISBN: 3-540-48937-1).

Beringer, L and Hofmann, M (2006).
A Bytecode Logic for JML and Types
In: Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, ed. by Naoki Kobayashi, vol. 4279, pp. 389-405, Springer. Lecture Notes in Computer Science (ISBN: 3-540-48937-1).

Dax, C, Hofmann, M, and Lange, M (2006).
A Proof System for the Linear Time µ-Calculus
In: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, 26th International Conference, Kolkata, India, December 13-15, 2006, Proceedings, ed. by S. Arun-Kumar and Naveen Garg, vol. 4337, pp. 273-284, Springer. Lecture Notes in Computer Science (ISBN: 3-540-49994-6).

Hammond, K, Ferdinand, C, Heckmann, R, Dyckhoff, R, Hofmann, M, Jost, S, Loidl, H, Michaelson, G, Pointon, RF, Scaife, N, Sérot, J, and Wallace, A (2006).
Towards Formally Verifiable WCET Analysis for a Functional Programming Language
In: 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany, ed. by Frank Mueller, vol. 4, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. OASICS.

Hofmann, M and Jost, S (2006).
Type-Based Amortised Heap-Space Analysis
In: Programming Languages and Systems, 15th European Symposium on Programming, ESOP 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, ed. by Peter Sestoft, vol. 3924, pp. 22-37, Springer. Lecture Notes in Computer Science (ISBN: 3-540-33095-X).

Hammond, K, Dyckhoff, R, Ferdinand, C, Heckmann, R, Hofmann, M, Jost, S, Loidl, H, Michaelson, G, Pointon, RF, Scaife, N, Sérot, J, and Wallace, A (2005).
The Embounded project (project start paper)
In: Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005., ed. by Marko C. J. D. van Eekelen, vol. 6, pp. 195-210, Intellect. Trends in Functional Programming (ISBN: 978-1-84150-176-5).

Hofmann, M (2005).
Proof-Theoretic Approach to Description-Logic
In: 20th IEEE Symposium on Logic in Computer Science (LICS 2005), 26-29 June 2005, Chicago, IL, USA, Proceedings, pp. 229-237, IEEE Computer Society (ISBN: 0-7695-2266-1).

Lago, UD and Hofmann, M (2005).
Quantitative Models and Implicit Complexity
In: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science, 25th International Conference, Hyderabad, India, December 15-18, 2005, Proceedings, ed. by Ramaswamy Ramanujam and Sandeep Sen, vol. 3821, pp. 189-200, Springer. Lecture Notes in Computer Science (ISBN: 3-540-30495-9).

Sannella, D, Hofmann, M, Aspinall, D, Gilmore, S, Stark, I, Beringer, L, Loidl, H, MacKenzie, K, Momigliano, A, and Shkaravska, O (2005).
Mobile Resource Guarantees (project evaluation paper)
In: Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, Tallinn, Estonia, 23-24 September 2005., ed. by Marko C. J. D. van Eekelen, vol. 6, pp. 211-226, Intellect. Trends in Functional Programming (ISBN: 978-1-84150-176-5).

Aspinall, D, Beringer, L, Hofmann, M, Loidl, H, and Momigliano, A (2004).
A Program Logic for Resource Verification
In: Theorem Proving in Higher Order Logics, 17th International Conference, TPHOLs 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings, ed. by Konrad Slind and Annette Bunker and Ganesh Gopalakrishnan, vol. 3223, pp. 34-49, Springer. Lecture Notes in Computer Science (ISBN: 3-540-23017-3).

Aspinall, D, Gilmore, S, Hofmann, M, Sannella, D, and Stark, I (2004).
Mobile Resource Guarantees for Smart Devices
In: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers, ed. by Gilles Barthe and Lilian Burdy and Marieke Huisman and Jean-Louis Lanet and Traian Muntean, vol. 3362, pp. 1-26, Springer. Lecture Notes in Computer Science (ISBN: 3-540-24287-2).

Beringer, L, Hofmann, M, Momigliano, A, and Shkaravska, O (2004).
Automatic Certification of Heap Consumption
In: Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings, ed. by Franz Baader and Andrei Voronkov, vol. 3452, pp. 347-362, Springer. Lecture Notes in Computer Science (ISBN: 3-540-25236-3).

Hofmann, M (2004).
What Do Program Logics and Type Systems Have in Common?
In: Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, ed. by Josep D\'ıaz and Juhani Karhumäki and Arto Lepistö and Donald Sannella, vol. 3142, pp. 4-7, Springer. Lecture Notes in Computer Science (ISBN: 3-540-22849-7).

Hofmann, M (2003).
Certification of Memory Usage
In: Theoretical Computer Science, 8th Italian Conference, ICTCS 2003, Bertinoro, Italy, October 13-15, 2003, Proceedings, ed. by Carlo Blundo and Cosimo Laneve, vol. 2841, pp. 21, Springer. Lecture Notes in Computer Science (ISBN: 3-540-20216-1).

Hofmann, M and Jost, S (2003).
Static prediction of heap space usage for first-order functional programs
In: POPL, pp. 185-197.

Aspinall, D and Hofmann, M (2002).
Another Type System for In-Place Update
In: Programming Languages and Systems, 11th European Symposium on Programming, ESOP 2002, held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings, ed. by Daniel Le Métayer, vol. 2305, pp. 36-52, Springer. Lecture Notes in Computer Science (ISBN: 3-540-43363-5).

Hofmann, M (2002).
The strength of non-size increasing computation
In: POPL, pp. 260-269.

Altenkirch, T, Dybjer, P, Hofmann, M, and Scott, PJ (2001).
Normalization by Evaluation for Typed Lambda Calculus with Coproducts
In: 16th Annual IEEE Symposium on Logic in Computer Science, Boston, Massachusetts, USA, June 16-19, 2001, Proceedings, pp. 303-310, IEEE Computer Society (ISBN: 0-7695-1281-X).

Hofmann, M (2001).
From Bounded Arithmetic to Memory Management: Use of Type Theory to Capture Complexity Classes and Space Behaviour
In: TLCA, pp. 2-3.

Hofmann, M (2001).
The Strength of Non-size-increasing Computation (Introduction and Summary)
In: Mathematical Foundations of Computer Science 2001, 26th International Symposium, MFCS 2001 Marianske Lazne, Czech Republic, August 27-31, 2001, Proceedings, ed. by Jiri Sgall and Ales Pultr and Petr Kolman, vol. 2136, pp. 58-61, Springer. Lecture Notes in Computer Science (ISBN: 3-540-42496-2).

Hofmann, M (2000).
A Type System for Bounded Space and Functional In-Place Update–Extended Abstract
In: Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, ed. by Gert Smolka, vol. 1782, pp. 165-179, Springer. Lecture Notes in Computer Science (ISBN: 3-540-67262-1).

Hofmann, M and Tang, F (2000).
Implementing a Program Logic of Objects in a Higher-Order Logic Theorem Prover
In: Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings, ed. by Mark Aagaard and John Harrison, vol. 1869, pp. 268-282, Springer. Lecture Notes in Computer Science (ISBN: 3-540-67863-8).

Hofmann, M (1999).
Linear Types and Non-Size-Increasing Polynomial Time Computation
In: 14th Annual IEEE Symposium on Logic in Computer Science, Trento, Italy, July 2-5, 1999, pp. 464-473, IEEE Computer Society (ISBN: 0-7695-0158-3).


Funktionsleiste