Schnelleinstieg Reader


Startseite FSU

Publikationen im Jahr 2007

Publikationen des Lehrstuhls für Softwaretechnik der FSU Jena im Jahr 2007


  • Philipp Adler, Wolfram Amme:
    Efficient Bytecode Verification for Constrained Devices
    Proceedings of the 2nd Workshop on Embedded Systems Security (WESS 2007) at IEEE/ACM EMSOFT'2007, Salzburg, Austria, October 2007. (PDF)
  • Philipp Adler, Wolfram Amme:
    Type-Separation as a Method for Efficient Bytecode Verification
    Proceedings of the 13th International Workshop on Compilers for Parallel Computers (CPC 2007), Lisbon, Portugal, 09.-11. July 2007. (PDF)
  • Simon Moser, Axel Martens, Wolfram Amme, Arthur Godlinski:
    Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis
    Proceedings of IEEE Int. Conf. on Services Computing (SCC 2007), July 9-13, Salt Lake City, Utah, USA, 2007.
  • Wolfram Amme, Jeffery von Ronne, Michael Franz:
    SSA-Based Mobile Code: Implementation and Empirical Evaluation
    ACM Journal Transactions on Architecture and Code Optimization, Vol 4, No. 2, 2007.
  • Christian Erfurth, Wilhelm Rossak, Christian Schachtzabel, D. Hornbostel, Steffen Skatulla:
    Concepts of Model-Driven Software Development in Practice
    Proc. 9th International Conference on Enterprise Information Systems, ICEIS 2007, Volume ISAS, ACM SIGMIS and AAAI, published by INSTIC Portugal, June, Funchal, Portugal, pp. 278-286, 2007.
  • Ivonne Erfurth, Wilhelm Rossak:
    A Look at Typical Difficulties in Practical Software Development from the Developer perspective – A Field Study and a First Solution Proposal with UPEX
    Proc.  14th IEEE International Conference on the Engineering of Computer Based Systems, IEEE Computer Society Press, Los Alamitos CA , March 2007, Tucson AZ , USA , pp. 241-248, 2007.