Metamodels for Object Oriented Systems: A Proposition of Metamodels describing Object Oriented Systems at Consecutive Levels of Abstraction. - Simon Moser (Softw. Concepts Tools, 1995)

The Effect of Object-Oriented Frameworks on Developer Productivity. - Simon Moser; Oscar Nierstrasz (Computer, 1996)

Measuring Class Coupling and Cohesion: A Formal Metamodel Approach. - Simon Moser; Vojislav B. Misic (APSEC, 1997)

A Formal Approach to Metamodeling: A Generic Object-Oriented Perspective. - Vojislav B. Misic; Simon Moser (ER, 1997)

From Formal Metamodels to Metrics: An Object-Oriented Approach. - Vojislav B. Misic; Simon Moser (TOOLS (24), 1997)

Measuring Object-Oriented Business Models. - Simon Moser; Brian Henderson-Sellers; Vojislav B. Misic (TOOLS (25), 1997)

Cost estimation based on business models. - Simon Moser; Brian Henderson-Sellers; Vojislav B. Misic (J. Syst. Softw., 1999)

Extending the message flow debugger for MQSI. - Shuxia Tan; Eshrat Arjomandi; Richard F. Paige; Evan Mamas; Simon Moser; Bill O'Farrell (CASCON, 2001)

Farbhistogramm-basierte visuelle Monte-Carlo-Lokalisation für mobile Roboter. - Alexander König; Simon Daniel Moser; Horst-Michael Groß (AMS, 2003)

Mit "Model-Driven-Architecture (MDA)" und der System Meter Methode zu verbessertem Management von IT-Projekten. - Simon Moser (Liechtensteinisches Wirtschaftsinformatik-Symposium, 2004)

Analyzing Compatibility of BPEL Processes. - Axel Martens; Simon Moser; Achim Gerhardt; Karoline Funk (AICT/ICIW, 2006)

Diagnosing SCA Components Using Wombat. - Axel Martens; Simon Moser (Business Process Management, 2006)

A Hybrid Approach for Generating Compatible WS-BPEL Partner Processes. - Simon Moser; Axel Martens; Marc Häbich; Jutta A. Mülle (Business Process Management, 2006)

Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. - Simon Moser; Axel Martens; Katharina Görlach; Wolfram Amme; Artur Godlinski (IEEE SCC, 2007)

Generic CSSA-Based Pattern over Boolean Data for an Improved WS-BPEL to Petri Net Mappping. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ICIW, 2008)

Automatic Workflow Graph Refactoring and Completion. - Jussi Vanhatalo; Hagen Völzer; Frank Leymann; Simon Moser (ICSOC, 2008)

Extending the compatibility notion for abstract WS-BPEL processes. - Dieter König; Niels Lohmann; Simon Moser; Christian Stahl; Karsten Wolf (WWW, 2008)

The Dichotomy of Modeling and Execution. - Matthias Kloppmann; Dieter König; Simon Moser (Handbook of Research on Business Process Modeling, 2009)

A Restructuring Method for WS-BPEL Business Processes Based on Extended Workflow Graphs. - Thomas S. Heinze; Wolfram Amme; Simon Moser (BPM, 2009)

Verifying Business Rules Using an SMT Solver for BPEL Processes. - Ganna Monakova; Oliver Kopp; Frank Leymann; Simon Moser; Klaus Schäfers (BPSC, 2009)

Umstrukturierung von WS-BPEL-Prozessen zur Verbesserung des Validierungsverhaltens. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ZEUS, 2009)

Advanced verification of distributed WS-BPEL business processes incorporating CSSA-based data flow analysis. - Wolfram Amme; Axel Martens; Simon Moser (Int. J. Bus. Process. Integr. Manag., 2009)

Process Restructuring in the Presence of Message-Dependent Variables. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ICSOC Workshops, 2010)

Prozessumstrukturierung unter Berücksichtigung von Nachrichteninhalten. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ZEUS, 2010)

Effiziente Abschätzung von Datenflussfehlern in strukturierten Geschäftsprozessen. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ZEUS, 2011)

Guided Control Flow Unfolding for Workflow Graphs Using Value Range Information. - Thomas S. Heinze; Wolfram Amme; Simon Moser; Kai Gebhardt (ZEUS, 2012)

Integrating Configuration Management with Model-driven Cloud Management based on TOSCA. - Johannes Wettinger; Michael Behrendt; Tobias Binz; Uwe Breitenbücher; Gerd Breiter; Frank Leymann; Simon Moser; Isabell Schwertle; Thomas Spatzier (CLOSER, 2013)

Control Flow Unfolding of Workflow Graphs Using Predicate Analysis and SMT Solving. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ZEUS, 2013)

Portable Green Cloud Services. - Stephan Ulbricht; Wolfram Amme; Thomas S. Heinze; Simon Moser; Hans-Dieter Wehle (CLOSER, 2014)

Compiling More Precise Petri Net Models for an Improved Verification of Service Implementations. - Thomas S. Heinze; Wolfram Amme; Simon Moser (SOCA, 2014)

Message Assertions and Predicate-Based Control-Flow Unfolding Revisited. - Thomas S. Heinze; Wolfram Amme; Simon Moser (ZEUS, 2014)

Software defined environments based on TOSCA in IBM cloud implementations. - Gerd Breiter; Michael Behrendt; Manish Gupta; Simon Daniel Moser; Ruediger Schulze; Isabell Sippli; Thomas Spatzier (IBM J. Res. Dev., 2014)

Systemische Notwendigkeit zur Weiterentwicklung von Hybridnetzen. - Robert Tichler; Simon Moser (Elektrotech. Informationstechnik, 2017)

Static analysis and process model transformation for an advanced business process to Petri net mapping. - Thomas S. Heinze; Wolfram Amme; Simon Moser (Softw. Pract. Exp., 2018)

The 'Industrial Symbiosis Gap': information asymmetries are the main challenge for industrial symbiosis - evidence from four Austrian testbeds with a focus on heat exchange. - Simon Moser; Valerie Rodin (Elektrotech. Informationstechnik, 2021)

Securing Network-Booting Linux Systems at the Example of bwLehrpool and bwForCluster NEMO. - Simon Moser (CoRR, 2024)