Wolfram Amme
Affiliations:- Friedrich Schiller University of Jena, Germany
According to our database1,
Wolfram Amme
authored at least 51 papers
between 1996 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Vulnerability Prediction and Assessment Using Software Product Metrics and Machine Learning: What Does Not Work.
Proceedings of the 24th IEEE International Conference on Software Quality, 2024
2023
Proceedings of the 17th IEEE International Workshop on Software Clones, 2023
Proceedings of the 17th IEEE International Workshop on Software Clones, 2023
2022
Proceedings of the 16th IEEE International Workshop on Software Clones, 2022
2021
Complex Syst. Informatics Model. Q., 2021
Proceedings of the 13th European Workshop on Services and their Composition (ZEUS 2021), 2021
>Stubber: Compiling Source Code into Bytecode without Dependencies for Java Code Clone Detection.
Proceedings of the 15th IEEE International Workshop on Software Clones, 2021
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2021
U sing Clone Detection for Finding Signatures of Malware Families: A Case Study on FinSpy.
Proceedings of the IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2021
2020
Proceedings of the 12th ZEUS Workshop on Services and their Composition, 2020
Proceedings of the Intelligent Systems and Applications, 2020
Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2020
Proceedings of the 2020 IEEE International Conference on Autonomic Computing and Self-Organizing Systems, 2020
2018
Static analysis and process model transformation for an advanced business process to Petri net mapping.
Softw. Pract. Exp., 2018
2016
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016
2015
A Complete and the Most Liberal Semantics for Converging OR Gateways in Sound Processes.
Complex Syst. Informatics Model. Q., 2015
2014
Proceedings of the 6th Central-European Workshop on Services and their Composition, 2014
Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations.
Proceedings of the 7th IEEE International Conference on Service-Oriented Computing and Applications, 2014
Proceedings of the Compiler Construction - 23rd International Conference, 2014
2013
Proceedings of the 5<sup>th</sup> Central-European Workshop on Services and their Composition, 2013
Proceedings of the Service-Oriented Computing - ICSOC 2013 Workshops, 2013
2012
Proceedings of the 4<sup>th</sup> Central-European Workshop on Services and their Composition, 2012
2011
Proceedings of the 3rd Central-European Workshop on Services and their Composition, 2011
2010
Proceedings of the 2nd Central-European Workshop on Services and their Composition, 2010
Proceedings of the Service-Oriented Computing, 2010
2009
The effectiveness of producer-side machine-independent optimizations for mobile code.
Softw. Pract. Exp., 2009
Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis.
Int. J. Bus. Process. Integr. Manag., 2009
Proceedings of the 1st Central-European Workshop on Services and their Composition, 2009
Proceedings of the Runtime Verification, 9th International Workshop, 2009
A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs.
Proceedings of the Business Process Management, 7th International Conference, 2009
2008
Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping.
Proceedings of the Third International Conference on Internet and Web Applications and Services, 2008
2007
ACM Trans. Archit. Code Optim., 2007
Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis.
Proceedings of the 2007 IEEE International Conference on Services Computing (SCC 2007), 2007
2006
Data Flow Analysis as a General Concept for the Transport of Verifiable Program Annotations.
Proceedings of the 5th International Workshop on Compiler Optimization meets Compiler Verification, 2006
2005
Proceedings of the Fourth International Workshop on Compiler Optimization meets Compiler Verification, 2005
2003
Proceedings of the Compiler Optimization Meets Compiler Verification, 2003
2002
Efficient online optimization by utilizing offline analysis and the safeTSA representation.
Proceedings of the naugural International Symposium on Principles and Practice of Programming in Java, 2002
2001
SafeTSA: A Type Safe and Referentially Secure Mobile-Code Representation Based on Static Single Assignment Form.
Proceedings of the 2001 ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2001
2000
1999
PAOLA - Program Analysis of Object-Oriented Languages.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999
Mapping List Algorithms on Parallel Systems.
Proceedings of the Workshops zur Architektur von Rechensystemen, 1999
1998
1997
Proceedings of the Euro-Par '97 Parallel Processing, 1997
Proceedings of the 23rd EUROMICRO Conference '97, 1997
Proceedings of the 23rd EUROMICRO Conference '97, 1997
1996
A/D Graphs - A Data Structure for Data Dependence Analysis in Programs with Pointers.
Proceedings of the Parallel Computation, 1996