Simon Moser

Publication Activity (10 Years)

Years Active: 1995-2021
Publications (10 Years): 3

Top Topics

Static Analysis

Top Venues

Elektrotech. Informationstechnik

Publications

Simon Moser, Valerie Rodin
The 'Industrial Symbiosis Gap': information asymmetries are the main challenge for industrial symbiosis - evidence from four Austrian testbeds with a focus on heat exchange. Elektrotech. Informationstechnik 138 (4-5) (2021)
Thomas S. Heinze, Wolfram Amme, Simon Moser
Static analysis and process model transformation for an advanced business process to Petri net mapping. Softw. Pract. Exp. 48 (1) (2018)
Robert Tichler, Simon Moser
Systemische Notwendigkeit zur Weiterentwicklung von Hybridnetzen. Elektrotech. Informationstechnik 134 (3) (2017)
Thomas S. Heinze, Wolfram Amme, Simon Moser
Message Assertions and Predicate-Based Control-Flow Unfolding Revisited. ZEUS (2014)
Stephan Ulbricht, Wolfram Amme, Thomas S. Heinze, Simon Moser, Hans-Dieter Wehle
Portable Green Cloud Services. CLOSER (2014)
Thomas S. Heinze, Wolfram Amme, Simon Moser
Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations. SOCA (2014)
Thomas S. Heinze, Wolfram Amme, Simon Moser
Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving. ZEUS (2013)
Johannes Wettinger, Michael Behrendt, Tobias Binz, Uwe Breitenbücher, Gerd Breiter, Frank Leymann, Simon Moser, Isabell Schwertle, Thomas Spatzier
Integrating Configuration Management with Model-driven Cloud Management based on TOSCA. CLOSER (2013)
Thomas S. Heinze, Wolfram Amme, Simon Moser, Kai Gebhardt
Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information. ZEUS (2012)
Thomas S. Heinze, Wolfram Amme, Simon Moser
Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen. ZEUS (2011)
Thomas S. Heinze, Wolfram Amme, Simon Moser
Process Restructuring in the Presence of Message-Dependent Variables. ICSOC Workshops (2010)
Thomas S. Heinze, Wolfram Amme, Simon Moser
Prozessumstrukturierung unter Berücksichtigung von Nachrichteninhalten. ZEUS (2010)
Thomas S. Heinze, Wolfram Amme, Simon Moser
Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens. ZEUS (2009)
Thomas S. Heinze, Wolfram Amme, Simon Moser
A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs. BPM (2009)
Ganna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers
Verifying Business Rules Using an SMT Solver for BPEL Processes. BPSC (2009)
Wolfram Amme, Axel Martens, Simon Moser
Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. Int. J. Bus. Process. Integr. Manag. 4 (1) (2009)
Jussi Vanhatalo, Hagen Völzer, Frank Leymann, Simon Moser
Automatic Workflow Graph Refactoring and Completion. ICSOC (2008)
Thomas S. Heinze, Wolfram Amme, Simon Moser
Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping. ICIW (2008)
Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, Karsten Wolf
Extending the compatibility notion for abstract WS-BPEL processes. WWW (2008)
Simon Moser, Axel Martens, Katharina Görlach, Wolfram Amme, Artur Godlinski
Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. IEEE SCC (2007)
Axel Martens, Simon Moser, Achim Gerhardt, Karoline Funk
Analyzing Compatibility of BPEL Processes. AICT/ICIW (2006)
Axel Martens, Simon Moser
Diagnosing SCA Components Using Wombat. Business Process Management (2006)
Simon Moser, Axel Martens, Marc Häbich, Jutta A. Mülle
A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes. Business Process Management (2006)
Simon Moser
Mit "Model-Driven-Architecture (MDA)" und der System Meter Methode zu verbessertem Management von IT-Projekten. Liechtensteinisches Wirtschaftsinformatik-Symposium (2004)
Shuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O'Farrell
Extending the message flow debugger for MQSI. CASCON (2001)
Simon Moser, Brian Henderson-Sellers, Vojislav B. Misic
Cost estimation based on business models. J. Syst. Softw. 49 (1) (1999)
Simon Moser, Vojislav B. Misic
Measuring Class Coupling and Cohesion: A Formal Metamodel Approach. APSEC (1997)
Simon Moser, Brian Henderson-Sellers, Vojislav B. Misic
Measuring Object-Oriented Business Models. TOOLS (25) (1997)
Vojislav B. Misic, Simon Moser
A Formal Approach to Metamodeling: A Generic Object-Oriented Perspective. ER (1997)
Vojislav B. Misic, Simon Moser
From Formal Metamodels to Metrics: An Object-Oriented Approach. TOOLS (24) (1997)
Simon Moser, Oscar Nierstrasz
The Effect of Object-Oriented Frameworks on Developer Productivity. Computer 29 (9) (1996)
Simon Moser
Metamodels for Object Oriented Systems: A Proposition of Metamodels describing Object Oriented Systems at Consecutive Levels of Abstraction. Softw. Concepts Tools 16 (2) (1995)