Publications of Zoltán Ádám Mann

Click on the links below to download publication in the desired format. Should you experience any problems, please contact me (you can find my e-mail address at the bottom of the page).

2008

  • Zoltán Ádám Mann & Marco Prucha: Applikationssoftware optimal in Komponenten schneiden (in German)
    Hanser Automotive, 1-2/2008, pp. 58-60
    [.pdf]

2007

  • Zoltán Ádám Mann & András Orbán & Péter Arató: Finding optimal hardware/software partitions
    Formal Methods in System Design, volume 31, issue 3, pages 241-263, Springer, 2007
    [.pdf]
  • Zoltán Ádám Mann & András Orbán & Viktor Farkas: Evaluating the Kernighan-Lin heuristic for hardware/software partitioning
    International Journal of Applied Mathematics and Computer Science, volume 17, issue 2, pages 249-267, 2007
    [.pdf]
  • Klaus Höllerer & Zoltán Ádám Mann & Steffen Kölbel: Integrationstest für die Prozesskette Softwarelogistik und Steuergeräteprogrammierung (Flash, Codierung, Freischaltung) (in German)
    Tagungsband der Product Life live, pp. 105-112, VDE Verlag, 2007
    [.pdf]
  • Christian Kamm & Zoltán Ádám Mann & Klaus Renzel: Softwaretechnik im Auto (in German)
    Schriftlicher Management-Lehrgang "Software im Automobil", Euroforum Verlag, 2007
    [Lehrgang]  [Leseprobe]
  • Christian Kamm & Zoltán Ádám Mann & Klaus Renzel: Softwaretechnik im Automobil - Gegenwart und Zukunft der digitalen Revolution im Fahrzeugbau (in German)
    sd&m AG, 2007, 102 pages

2006

  • Zoltán Ádám Mann: Pragmatische Modellierung von Testfällen für Software im Automobil (in German)
    Model-based Testing (MOTES06), Dresden (Germany), 2006. Published in: Informatik 2006 - Beiträge der 36. Jahrestagung der Gesellschaft für Informatik e.V., Lecture Notes in Informatics (LNI, Volume P-94), Band 2, pp. 231-235
    [.pdf]
  • Zoltán Ádám Mann: Three public enemies: cut, copy, and paste
    Computer, volume 39, issue 7, pages 31-35, IEEE, 2006
    [.pdf]
  • Andreas Heider & Zoltán Ádám Mann & Bernhard Staudacher: Verteiltes System (in German)
    Automobil Elektronik, 03/2006, pp. 34-35
    [.pdf]

2005

  • Péter Arató & Zoltán Ádám Mann & András Orbán: Time-constrained scheduling of large pipelined datapaths
    Journal of Systems Architecture, volume 51, issue 12, pages 665-687, Elsevier, 2005
    [.ps.gz]  [.pdf] 
  • Martin Kempa & Zoltán Ádám Mann: Aktuelles Schlagwort: Model Driven Architecture (in German)
    Informatik Spektrum, August 2005, pp. 298-302, Springer Verlag, 2005
    [.ps.gz]  [.pdf] 
  • Péter Arató & Zoltán Ádám Mann & András Orbán: Algorithmic aspects of hardware/software partitioning
    ACM Transactions on Design Automation of Electronic Systems, volume 10, issue 1, pages 136-156, 2005
    [.ps.gz]  [.pdf] 
  • Péter Arató & Zoltán Ádám Mann & András Orbán: Extending component-based design with hardware components
    Science of Computer Programming, volume 56, issues 1-2, pages 23-39, Elsevier, 2005
    [.ps.gz]  [.pdf] 
2004

  • András Orbán & Zoltán Ádám Mann & Péter Arató: Time-constrained design of pipelined control-intensive systems
    Periodica Polytechnica, Series Electrical Engineering, volume 48, number 3-4, pp. 133-149, 2004
    [.ps.gz]  [.pdf] 
  • Zoltán Ádám Mann: Partitioning algorithms for hardware/software co-design
    PhD thesis in Computer Science, Budapest University of Technology and Economics, 2004
    [.ps.gz]  [.pdf]
  • Zoltán Ádám Mann & Károly Kondorosi: Tracing system-level communication in distributed systems
    Software: Practice and Experience, volume 34, issue 8, pages 727 - 755, Wiley, 2004
    [.ps.gz]  [.pdf] 
  • Péter Arató & Zoltán Ádám Mann & András Orbán: Component-based hardware/software co-design
    Proceedings of the 17th International Conference on Architecture of Computing Systems, Augsburg (Germany), 2004. Published by Springer-Verlag in the Lecture Notes in Computer Science series (LNCS 2981)
    [.ps.gz]  [.pdf] 
  • Zoltán Ádám Mann & András Orbán: Hardware/software partitioning
    Poster presentation at the PhD Forum at the 2004 Design Automation and Test in Europe Conference, Paris (France), 2004
    [abstract]
  • Zoltán Ádám Mann: Metric-Based Approximation Algorithms for Graph Cut Problems
    Master's thesis in Mathematics, Eötvös Loránd University, 2004
    [.ps.gz]  [.pdf]
2003

  • Zoltán Ádám Mann & András Orbán & Péter Arató: Component-based hardware/software co-design
    Poster presentation at the Microsoft Research Academic Conference, Budapest (Hungary), 2003
    [abstract]
  • Péter Arató & Sándor Juhász & Zoltán Ádám Mann & András Orbán & Dávid Papp: Hardware-software partitioning in embedded system design
    Proceedings of the 2003 IEEE International Symposium on Intelligent Signal Processing, Budapest (Hungary), 2003
    [.ps.gz]  [.pdf]
  • Péter Arató & Zoltán Ádám Mann & András Orbán: Hardware-software co-design for Kohonen's self-organizing map
    Proceedings of the IEEE 7th International Conference on Intelligent Engineering Systems, Luxor (Egypt), 2003
    [.ps.gz]  [.pdf]
  • Zoltán Ádám Mann & András Orbán: Optimization problems in system-level synthesis
    Proceedings of the 3rd Hungarian-Japanese Symposium on Discrete Mathematics and Its Applications, Tokyo (Japan), 2003
    [.ps.gz]  [.pdf]
2002

  • István Zsolt Berta & Zoltán Ádám Mann: Implementing Elliptic Curve Cryptography on PC and smart card
    Periodica Polytechnica, Series Electrical Engineering, volume 46, number 1-2, pp. 47-73, 2002
    [.ps.gz]  [.pdf] 
  • Péter Arató & Zoltán Ádám Mann & András Orbán: Genetic scheduling algorithm for high-level synthesis
    Proceedings of the IEEE 6th International Conference on Intelligent Engineering Systems, Opatija (Croatia), 2002
    [.ps.gz]  [.pdf]
  • Bence Golda & Bálint Laczay & Zoltán Ádám Mann & Csaba Megyeri & András Recski: Implementation of VLSI routing algorithms
    Proceedings of the IEEE 6th International Conference on Intelligent Engineering Systems, Opatija (Croatia), 2002
    [.ps.gz]  [.pdf]
  • Zoltán Ádám Mann & Jacques Calmet & Peter Kullmann: Testing access to external information sources in a mediator environment
    Proceedings of the 14th IFIP International Conference on Testing Communicating Systems, 19-22 March 2002, Berlin (Germany). Published by Kluwer Academic Publishers
    [.ps.gz]  [.pdf]
2001

  • Zoltán Ádám Mann: Dynamische Validierung von Zugriffen auf externe Informationsquellen in einer Mediatorumgebung (in German)
    Master's thesis in Computer Engineering, University of Karlsruhe / Budapest University of Technology and Economics, 2001
    [.ps.gz]  [.pdf]
  • Zoltán Ádám Mann: Validating Access to External Information Sources in a Mediator Environment
    Technical report (based on my Master's thesis), 2001
    [.ps.gz]  [.pdf]
  • Zoltán Ádám Mann: Tracing system-level communication in object-oriented distributed systems
    IEEE Hungary Section Student Paper Contest, 2001
    [.ps.gz]  [.pdf]
  • Zoltán Ádám Mann & András Orbán: Integrating formal, soft and diagrammatic approaches in high-level synthesis and hardware-software co-design
    Proceedings of Informatik 2001 (Jahrestagung der Gesellschaft für Informatik), 25-28 September 2001, Vienna (Austria); workshop 'Integrating Formal and Diagrammatic Specification Techniques'
    [abstract]  [.ps.gz]  [.pdf]
  • István Zsolt Berta & Zoltán Ádám Mann: Programozható chipkártyák kriptográfiai alkalmazása (in Hungarian)
    Proceedings of Networkshop 2001, 18-20 April 2001, Sopron (Hungary)
    [összefoglalás]  [abstract]  [.rtf]  [.ps.gz]  [.pdf]
  • Zoltán Ádám Mann: Tracing CORBA applications using interceptors
    Proceedings of the OMG Information Day, 19 March 2001, Budapest (Hungary)
    [abstract]  [.ppt]
  • Zoltán Ádám Mann & András Orbán & András Recski: Aufgaben zur theoretischen Informatik (in German)
    Department of Computer Science, Budapest University of Technology and Economics, 2001
    [.ps.gz]  [.pdf]
2000

  • István Zsolt Berta & Zoltán Ádám Mann: Cryptographic application of programmable smart cards
    Presentation at Nokia Hungary, 2000
    [.rtf]  [.ps.gz]  [.pdf]
  • István Zsolt Berta & Zoltán Ádám Mann: Smart cards - present and future
    Híradástechnika, Journal on C5, 2000
    [.ps.gz]  [.pdf]
  • István Zsolt Berta & Zoltán Ádám Mann: Programozható chipkártyák - elmélet és gyakorlati tapasztalatok (in Hungarian)
    Magyar Távközlés, 2000
    [abstract]  [.rtf]  [.ps.gz]  [.pdf]
  • Mann Zoltán Ádám: CORBA alkalmazások nyomkövetése interceptor-ok segítségével (in Hungarian)
    Tudományos diákköri dolgozat, Budapesti Műszaki és Gazdaságtudományi Egyetem, 2000
    [abstract]  [.rtf]  [.ps.gz]  [.pdf]
  • Berta István Zsolt & Mann Zoltán Ádám: Elliptikus görbéken alapuló nyilvános kulcsú kriptográfia elemzése chipkártyás és PC-s környezetben (in Hungarian)
    Tudományos diákköri dolgozat, Budapesti Műszaki és Gazdaságtudományi Egyetem, 2000
    [abstract]  [.ps.gz]  [.pdf]
  • Mann Zoltán Ádám & Orbán András: Új ütemező algoritmusok a magas szintű szintézisben (in Hungarian)
    Tudományos diákköri dolgozat, Budapesti Műszaki és Gazdaságtudományi Egyetem, 2000
    [abstract]  [.rtf]  [.ps.gz]  [.pdf]
1999

  • Berta István Zsolt & Mann Zoltán Ádám: A hitelesség biztosításának lehetőségei intelligens smartcard segítségével (in Hungarian)
    Tudományos diákköri dolgozat, Budapesti Műszaki és Gazdaságtudományi Egyetem, 1999
    [.rtf]  [.ps.gz]  [.pdf]
  • Zoltán Ádám Mann: Vortrag im Studentenforum im Rahmen des 28. Internationalen Symposiums der Ingenieurpädagogik (in German)
    28. International Symposium on Engineering Education, Istambul (Turkey), 1999. Published in IGIP Report 11/1999
    [.rtf]  [.pdf]


Back to the main page
© Zoltán Mann, 1999-2008.
e-mail address