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.