Suche

Publications


    2017

  • No silver brick: Opportunities and limitations of teaching Scrum with Lego workshops
    Jan-Philipp Steghöfer, Håkan Burden, Hiva Alahyari, Dominik Haneberg
    Journal of Systems and Software, Elsevier
    abstract;

     
  • 2014

  • Development of a Verified Flash File System
    Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Dominik Haneberg, Wolfgang Reif
    Proc. of 4th International Conference ABZ 2014, Springer
    abstract; Development of a Verified Flash File System (446 KB); Presentation (invited Talk) (2892 KB);

     
  • KIV: overview and VerifyThis competition
    Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
    International Journal on Software Tools for Technology Transfer (STTT), Springer
    abstract;

     
  • Crash-Safe Refinement for a Verified Flash File System
    Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg and Wolfgang Reif
    Reports / Technische Berichte - Herausgeber: Fakultät für Angewandte Informatik der Universität Augsburg, OPUS, Report 2014-02
    abstract;

     
  • Verification of a Virtual Filesystem Switch
    Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, and Wolfgang Reif
    In Proc. of Fifth Working Conference on Verified Software: Theories, Tools and Experiments, Springer
    abstract; Verification of a Virtual Filesystem Switch (363 KB);

     
  • 2013

  • Formal Specification of an Erase Block Management Layer for Flash Memory
    Jörg Pfähler, Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, and Wolfgang Reif
    In Proc. of 9th International Haifa Verification Conference, Springer
    abstract; Formal Specification of an Erase Block Management Layer for Flash Memory (362 KB);

     
  • 2012

  • A Formal Model of a Virtual Filesystem Switch
    Gidon Ernst, Gerhard Schellhorn, Dominik Haneberg, Jörg Pfähler, Wolfgang Reif
    In Proc. of Systems Software Verification, pp 33-45, EPTCS Vol. 102
    abstract; A Formal Model of a Virtual Filesystem Switch (233 KB);

     
  • Towards Model-based Evolution for Robot-based Automation
    Dominik Haneberg, Alwin Hoffmann, Hella Seebach, Michael Vistein, and Wolfgang Reif
    Modellierung in der Automatisierungstechnik (MAT 2012), Workshop im Rahmen der Modellierung 2012, Bamberg, Germany, March 15, 2012
    abstract; Workshop;

     
  • 2011

  • Simulating a Flash File System with CoreASM and Eclipse
    Dominik Haneberg, Maximilian Junker, Gerhard Schellhorn, Wolfgang Reif and Gidon Ernst
    GI Lecture Notes in Informatics 192: Informatik 2011, Gesellschaft für Informatik
    abstract;

     
  • Mondex: Engineering a Provable Secure Electronic Purse
    Dominik Haneberg, Nina Moebius, Wolfgang Reif, Gerhard Schellhorn, Kurt Stenzel
    International Journal of Software and Informatics, 5(1):159-184, 2011. http://www.ijsi.org
    abstract;

     
  • 2009

  • Abstract Specification of the UBIFS File System for Flash Memory
    Andreas Schierl, Gerhard Schellhorn, Dominik Haneberg, Wolfgang Reif
    Proceedings of FM 2009: Formal Methods, pages 190-206, Springer Berlin / Heidelberg
    abstract; http://link.springer.com/chapter/10.1007/978-3-642-05089-3_13;

     
  • 2008

  • A Systematic Verification Approach for Mondex Electronic Purses using ASMs
    G. Schellhorn, H. Grandy, D. Haneberg, N. Moebius, W. Reif
    Rigorous Methods for Software Construction and Analysis - Papers Dedicated to Egon Börger on the Occasion of His 60th Birthday. Jean-Raymond Abrial, Uwe Glässer (Editors), LNCS 5115, Springer
    abstract; http://link.springer.com/chapter/10.1007/978-3-642-11447-2_7;

     
  • Electronic ticketing: risks in e-commerce applications
    D. Haneberg
    Digital Excellence: University Meets Economy. Paul J. J. Welfens, Ellen Walther-Klaus (Editors), , Springer
    abstract; http://www.springer.com/gp/book/9783540726203;

     
  • Verification of Mondex electronic purses with KIV: from transactions to a security protocol
    D. Haneberg, G. Schellhorn, H. Grandy, W. Reif
    Formal Aspects of Computing (2008) 20:41-59, Springer
    abstract; http://link.springer.com/article/10.1007%2Fs00165-007-0057-0;

     
  • 2007

  • A Modeling Framework for the Development of Provably Secure E-Commerce Applications
    Nina Moebius, Dominik Haneberg, Wolfgang Reif, Gerhard Schellhorn
    Proceedings of the International Conference on Software Engineering Advances 2007, IEEE Computer Society Press **** Best Paper Award ****
    abstract; http://dx.doi.org/10.1109/ICSEA.2007.7;

     
  • Verifying Smart Card Applications: An ASM Approach.
    D. Haneberg, H. Grandy, W. Reif, G. Schellhorn
    Proceedings of the conference on integrated Formal Methods 2007 (iFM 2007), Springer LNCS 4591, Springer
    abstract; http://link.springer.com/chapter/10.1007/978-3-540-73210-5_17;

     
  • 2006

  • Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol
    D. Haneberg, G. Schellhorn, H. Grandy, W. Reif
    Technical Report, Institute of Computer Science, University of Augsburg, December 2006
    abstract; Verification of Mondex Electronic Purses with KIV: From Transactions to a Security Protocol (284 KB);

     
  • The Mondex Case Study: From Specifications to Code
    H. Grandy, N. Moebius, M. Bischof, D. Haneberg, G. Schellhorn, K. Stenzel, W. Reif
    Technical Report, Institute of Computer Science, University of Augsburg, December 2006
    abstract; The Mondex Case Study: From Specifications to Code (445 KB);

     
  • A Systematic Verification Approach for Mondex Electronic Purses using ASMs
    G. Schellhorn, H. Grandy, D. Haneberg, N. Moebius, W. Reif
    Technical Report, Institute of Computer Science, University of Augsburg
    abstract; A Systematic Verification Approach for Mondex Electronic Purses using ASMs (279 KB);

     
  • Sicherheit von Smart Card-Anwendungen
    Dominik Haneberg

    Dissertation, Fakultät für Angewandte Informatik, Universität Augsburg, verfügbar als Buch
    , Logos Verlag Berlin
    abstract; Diss-Haneberg-2006 (0 KB);

     
  • The Mondex Challenge: Machine Checked Proofs for an Electronic Purse
    Gerhard Schellhorn, Holger Grandy, Dominik Haneberg, Wolfgang Reif
    Proceedings of FM 2006: Formal Methods 14th International Symposium on Formal Methods Hamilton, Canada, August 21-27, 2006, Springer LNCS 4085, Springer
    abstract; http://link.springer.com/chapter/10.1007/11813040_2;

     
  • Developing Provable Secure M-Commerce Applications
    Holger Grandy, Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
    Emerging Trends in Information and Communication Security, Proceedings. Springer LNCS 3995, 2006.
    abstract; http://link.springer.com/chapter/10.1007/11766155_9;

     
  • Verifying Smart Card Applications: An ASM Approach.
    Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
    Technical Report, Institute of Computer Science, University of Augsburg
    abstract; download PDF version (767 KB);

     
  • The User Interface of the KIV Verification System - A System Description
    Dominik Haneberg, Simon Bäumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn, Jonathan Schmitt, Kurt Stenzel
    ENTCS special issue (to appear), Elsevier
    abstract;

     
  • The Mondex Challenge: Machine Checked Proofs for an Electronic Purse
    G. Schellhorn, H. Grandy, D. Haneberg, W. Reif
    Technical Report, Institute of Computer Science, University of Augsburg
    abstract; The Mondex Challenge: Machine Checked Proofs for an Electronic Purse (0 KB);

     
  • 2005

  • The User Interface of the KIV Verification System - A System Description
    Dominik Haneberg, Simon Bäumler, Michael Balser, Holger Grandy, Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn, Jonathan Schmitt, Kurt Stenzel
    Proceedings of the User Interfaces for Theorem Provers Workshop (UITP 2005)
    download pdf version (810 KB);

     
  • Verifying Security Protocols: An ASM Approach.
    Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn
    Proceedings of the 12th International Workshop on Abstract State Machines (ASM 2005)
    download pdf version (193 KB);

     
  • 2004

  • A Construction Kit for Modeling the Security of M-Commerce Applications
    Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
    Manuel Núñez et al. (Eds.), Applying Formal Methods: Testing, Performance and M/E-Commerce. FORTE 2004 Workshops ITM/EPEW/TheFormEMC Proceedings, LNCS 3236
    http://link.springer.com/chapter/10.1007%2F978-3-540-30233-9_6;

     
  • Electronic-Onboard-Ticketing: Software Challenges of an State-of-the-Art M-Commerce Application
    D. Haneberg, W. Reif, K. Stenzel
    K. Pousttchi, K. Turowski (Hrsg.), Mobile Economy - Transaktionen, Prozesse, Anwendungen und Dienste, Proceedings zum 4. Workshop Mobile Commerce, Lecture Notes in Informatics Vol. P-42
    download pdf version (58 KB);

     
  • 2003

  • Design for Trust: Security im M-Commerce
    D. Haneberg, A. Kreibich, W. Reif, K. Stenzel
    K.P. Jantke, W. S. Wittig, J. Herrmann (Hrsg.), Von e-Learning bis e-Payment 2003 - Tagungsband LIT '03, Akademische Verlagsgesellschaft Aka Berlin

     
  • A rediscovered Llull tract and the Augsburg Web Edition of Llull's electoral writings
    M. Drton, G. Hägele, D. Haneberg, F. Pukelsheim, W. Reif
    Le Médiéviste et l'Ordinateur 43 (2003)

     
  • Design for Trust: Security im M-Commerce
    D. Haneberg, A. Kreibich, W. Reif, K. Stenzel
    K. Dittrich, W. König, A. Oberweis, K. Rannenberg, W. Wahlster (Hrsg.), Informatik 2003 - Proceedings der 33. Jahrestagung der Gesellschaft für Informatik Band 1, Lecture Notes in Informatics Vol. P-34
    download second pdf version (163 KB); download pdf version (336 KB);

     
  • 2002

  • electronic Ticketing --- A Smartcard Application Case-Study
    D.Haneberg
    Technical Report, Institute of Computer Science, University of Augsburg, December 2002
    abstract; download pdf version (0 KB); download postscript version (1332 KB);

     
  • A Method for Secure Smartcard Applications
    Dominik Haneberg, Wolfgang Reif, Kurt Stenzel
    H. Kirchner, C. Ringeissen, editors, Algebraic Methodology and Software Technology, LNCS 2422, Springer
    download postscript version (1217 KB); http://link.springer.com/chapter/10.1007/3-540-45719-4_22;

     
  • 2001

  • electronic Ticketing - a Case-Study
    D.Haneberg
    Technical Report, Institute of Computer Science, University of Augsburg, December 2001
    abstract; download postscript version (480 KB);

     
  • A rediscovered Llull tract and the Augsburg Web Edition of Llull's electoral writings
    M. Drton, G. Hägele, D. Haneberg, F. Pukelsheim, W. Reif
    Technical report 439, Institut für Mathematik, Universität Augsburg
    Technical report 439;

     
  • Ramon Llulls Traktate zu Wahlverfahren: Ziele und Realisierung einer Internet-Edition
    M. Drton, G. Hägele, D. Haneberg, F. Pukelsheim, W. Reif
    Mediävistik und Neue Medien (Hg. I. Bennewitz, K. van Eickels, R. Weichselbaumer), Thorbecke: Stuttgart 2003, 131-140
    Ramon Llull website in math faculty of university Augsburg;