Simon Moser - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 32 from 32

2021

The 'Industrial Symbiosis Gap': information asymmetries are the main challenge for industrial symbiosis - evidence from four Austrian testbeds with a focus on heat exchangeSimon Moser, Valerie Rodin. ei, 138(4):264-268, 2021. [doi]

2018

Static analysis and process model transformation for an advanced business process to Petri net mappingThomas S. Heinze, Wolfram Amme, Simon Moser. SPE, 48(1):161-195, 2018. [doi]

2017

Systemische Notwendigkeit zur Weiterentwicklung von HybridnetzenRobert Tichler, Simon Moser. ei, 134(3):222-228, 2017. [doi]

2014

2013

Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT SolvingThomas S. Heinze, Wolfram Amme, Simon Moser. zeus 2013: 1-8 [doi]

Integrating Configuration Management with Model-driven Cloud Management based on TOSCAJohannes Wettinger, Michael Behrendt, Tobias Binz, Uwe Breitenbücher, Gerd Breiter, Frank Leymann, Simon Moser, Isabell Schwertle, Thomas Spatzier. closer 2013: 437-446

2012

Guided Control Flow Unfolding for Workflow Graphs Using Value Range InformationThomas S. Heinze, Wolfram Amme, Simon Moser, Kai Gebhardt. zeus 2012: 128-135 [doi]

2011

Effiziente Abschätzung von Datenflussfehlern in strukturierten GeschäftsprozessenThomas S. Heinze, Wolfram Amme, Simon Moser. zeus 2011: 73-80 [doi]

2010

Prozessumstrukturierung unter Berücksichtigung von NachrichteninhaltenThomas S. Heinze, Wolfram Amme, Simon Moser. zeus 2010: 89-96 [doi]

Process Restructuring in the Presence of Message-Dependent VariablesThomas S. Heinze, Wolfram Amme, Simon Moser. icsoc 2011: 121-132 [doi]

2009

Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysisWolfram Amme, Axel Martens, Simon Moser. ijbpim, 4(1):47-59, 2009. [doi]

A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow GraphsThomas S. Heinze, Wolfram Amme, Simon Moser. BPM 2009: 211-228 [doi]

Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des ValidierungsverhaltensThomas S. Heinze, Wolfram Amme, Simon Moser. zeus 2009: 88-94 [doi]

The Dichotomy of Modeling and ExecutionMatthias Kloppmann, Dieter König, Simon Moser. In Jorge S. Cardoso, Wil M. P. van der Aalst, editors, Handbook of Research on Business Process Modeling. pages 70-91, IGI Global, 2009. [doi]

Verifying Business Rules Using an SMT Solver for BPEL ProcessesGanna Monakova, Oliver Kopp, Frank Leymann, Simon Moser, Klaus Schäfers. bpsc 2009: 81-94

2008

2007

Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow AnalysisSimon Moser, Axel Martens, Katharina Görlach, Wolfram Amme, Artur Godlinski. IEEEscc 2007: 98-105 [doi]

2006

Diagnosing SCA Components Using WombatAxel Martens, Simon Moser. BPM 2006: 378-388 [doi]

Analyzing Compatibility of BPEL ProcessesAxel Martens, Simon Moser, Achim Gerhardt, Karoline Funk. aict 2006: 147 [doi]

A Hybrid Approach for Generating Compatible WS-BPEL Partner ProcessesSimon Moser, Axel Martens, Marc Häbich, Jutta Mülle. BPM 2006: 458-464 [doi]

2001

Extending the message flow debugger for MQSIShuxia Tan, Eshrat Arjomandi, Richard F. Paige, Evan Mamas, Simon Moser, Bill O Farrell. cascon 2001: 15 [doi]

1999

Cost estimation based on business modelsSimon Moser, Brian Henderson-Sellers, Vojislav B. Misic. jss, 49(1):33-42, 1999. [doi]

1997

1996

The Effect of Object-Oriented Frameworks on Developer ProductivitySimon Moser, Oscar Nierstrasz. Computer, 29(9):45-51, 1996.

1995

Metamodels for Object Oriented Systems: A Proposition of Metamodels describing Object Oriented Systems at Consecutive Levels of AbstractionSimon Moser. stp, 16(2):63-80, 1995.

Sign in or sign up to see more results.

runs on WebDSL